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

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Tue Feb 11 09:58:45 PST 2025


================
@@ -171,7 +169,7 @@ static bool isDereferenceableAndAlignedPointer(
                                               Size, DL, CtxI, AC, DT, TLI,
                                               Visited, MaxDepth);
 
-  if (CtxI && (!UseDerefAtPointSemantics || !V->canBeFreed())) {
+  if (CtxI && !V->canBeFreed()) {
----------------
fhahn wrote:

Added + a TODO to extend to check between assume & use, thanks

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


More information about the llvm-commits mailing list