[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