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

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Tue Jul 23 07:17:39 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()");
----------------
nikic wrote:

Should convert this into `if(isa<AllocaInst>(UO)) return`.

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


More information about the llvm-commits mailing list