[PATCH] D148043: [InferAttrs] Mark frexp and modf as memory(argmem: write)

[Vitaly Buka via Phabricator via llvm-commits]

vitalybuka added inline comments.


================
Comment at: llvm/lib/Transforms/Utils/BuildLibCalls.cpp:481-482
     Changed |= setWillReturn(F);
+    Changed |= setOnlyAccessesArgMemory(F);
+    Changed |= setOnlyWritesMemory(F);
     Changed |= setDoesNotCapture(F, 1);
----------------
this is not true with sanitizers, interceptors may check metadata

Maybe we can add TargetLibraryInfo::hasSanitizer() and use it here 


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D148043/new/

https://reviews.llvm.org/D148043