[clang] [llvm] [mlir] [InferAttrs] Mark errnomem-setting libcalls as such (PR #124742)

Antonio Frighetto via llvm-commits llvm-commits at lists.llvm.org
Fri Jan 31 07:46:12 PST 2025


================
@@ -554,6 +579,7 @@ bool llvm::inferNonMandatoryLibFuncAttrs(Function &F,
     Changed |= setDoesNotThrow(F);
     Changed |= setDoesNotCapture(F, 0);
     Changed |= setOnlyReadsMemory(F, 0);
+    Changed |= setOnlyAccessesErrnoMemory(F);
----------------
antoniofrighetto wrote:

Hmm, shouldn’t marking all pointer arguments as readonly be semantically equivalent to having ArgMem: Ref?

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


More information about the llvm-commits mailing list