[llvm] [AssumeBundles] Dereferenceable used in bundle only applies at assume. (PR #126117)

[Florian Hahn via llvm-commits]

================
@@ -1474,7 +1474,11 @@ Currently, only the following parameter attributes are defined:
     ``null_pointer_is_valid`` function attribute is present.
     ``n`` should be a positive number. The pointer should be well defined,
     otherwise it is undefined behavior. This means ``dereferenceable(<n>)``
-    implies ``noundef``.
+    implies ``noundef``. When ``dereferenceable(<n>)`` is used in an
+    :ref:`assume operand bundls <assume_opbundles>`, the pointer is only
----------------
fhahn wrote:

Should be fixed, thanks

https://github.com/llvm/llvm-project/pull/126117