[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