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

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Sun Feb 16 12:12:27 PST 2025


================
@@ -2926,6 +2928,11 @@ the behavior is undefined, unless one of the following exceptions applies:
   (including a zero alignment). If this is the case, then the pointer value
   must be a null pointer, otherwise the behavior is undefined.
 
+* ``dereferenceable(<n>)`` operand bundles only guarantee the pointer is
+    dereferenceable at the point of the assumption. The pointer may not be
----------------
nikic wrote:

This is indented too far and ends up rendering weirdly.

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


More information about the llvm-commits mailing list