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

[Antonio Frighetto via cfe-commits]

================
@@ -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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits