[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