[llvm] [AA] Refine ModRefInfo taking into account `errnomem` location (PR #157495)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Sun Sep 14 06:07:14 PDT 2025


================
@@ -951,7 +951,8 @@ ModRefInfo BasicAAResult::getModRefInfo(const CallBase *Call,
     return ModRefInfo::NoModRef;
 
   ModRefInfo ArgMR = ME.getModRef(IRMemLocation::ArgMem);
-  ModRefInfo OtherMR = ME.getWithoutLoc(IRMemLocation::ArgMem).getModRef();
+  ModRefInfo ErrnoMR = ME.getModRef(IRMemLocation::ErrnoMem);
+  ModRefInfo OtherMR = ME.getModRef(IRMemLocation::Other);
----------------
dtcxzyw wrote:

Why is `InaccessibleMem` excluded?


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


More information about the llvm-commits mailing list