[llvm] [CaptureTracking] Don't require offset to stay the same (PR #201106)

Antonio Frighetto via llvm-commits llvm-commits at lists.llvm.org
Tue Jun 2 07:04:26 PDT 2026


================
@@ -935,7 +935,7 @@ bool llvm::isBaseOfObject(const Value *V) {
 bool llvm::isEscapeSource(const Value *V) {
   if (auto *CB = dyn_cast<CallBase>(V)) {
     if (isIntrinsicReturningPointerAliasingArgumentWithoutCapturing(
-            CB, /*MustPreserveOffset=*/true))
+            CB, /*MustPreserveOffset=*/false))
----------------
antoniofrighetto wrote:

Do you think it would be possible / would make sense to add a test (even synthetic) that exercises this change as well?

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


More information about the llvm-commits mailing list