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

[Nikita Popov via llvm-commits]

================
@@ -626,7 +626,7 @@ static bool isKnownNonZeroFromAssume(const Value *V, const SimplifyQuery &Q) {
               *I, I->bundle_op_info_begin()[Elem.Index])) {
         if (RK.WasOn == V &&
             (RK.AttrKind == Attribute::NonNull ||
-             (RK.AttrKind == Attribute::Dereferenceable &&
+             (RK.AttrKind == Attribute::Dereferenceable && !V->canBeFreed() &&
----------------
nikic wrote:

I don't think you need this change. Even if the pointer is freed later, the fact that it was dereferenceable at some point implies that it is not null.

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