[llvm] [FunctionAttrs] Determine underlying object by `getUnderlyingObjectAggressive` (PR #100102)

via llvm-commits llvm-commits at lists.llvm.org
Wed Jul 24 05:02:46 PDT 2024


================
@@ -118,7 +118,7 @@ static void addLocAccess(MemoryEffects &ME, const MemoryLocation &Loc,
   if (isNoModRef(MR))
     return;
 
-  const Value *UO = getUnderlyingObject(Loc.Ptr);
+  const Value *UO = getUnderlyingObjectAggressive(Loc.Ptr);
   assert(!isa<AllocaInst>(UO) &&
          "Should have been handled by getModRefInfoMask()");
----------------
DianQK wrote:

Reland with a test case: https://github.com/llvm/llvm-project/commit/559be8e2b55afbf6736fed646542fb25793f0f7e.

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


More information about the llvm-commits mailing list