[llvm] [InferAttrs] Mark floating-point libcalls as errno-writing (PR #124742)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Fri Feb 28 12:41:59 PST 2025


================
@@ -320,6 +357,7 @@ bool llvm::inferNonMandatoryLibFuncAttrs(Function &F,
     Changed |= setWillReturn(F);
     Changed |= setDoesNotCapture(F, 1);
     Changed |= setOnlyReadsMemory(F, 0);
+    Changed |= setOnlyAccessesArgOrErrnoMem(F);
----------------
nikic wrote:

It shouldn't be inaccessible memory -- but if you say this is argmem + errnomem only you're saying that locale doesn't exist at all. We just shouldn't add memory attributes for things that access locale at all.

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


More information about the llvm-commits mailing list