[llvm] [AddressSanitizer] Remove memory effects from functions (PR #130495)

[Florian Hahn via llvm-commits]

================
@@ -612,6 +612,46 @@ void getAddressSanitizerParams(const Triple &TargetTriple, int LongSize,
   *OrShadowOffset = Mapping.OrShadowOffset;
 }
 
+void removeFnAttributes(Function &F) {
+  // Remove memory attributes that are invalid with ASan.
+  // ASan checks read from shadow, which invalidates memory(argmem: *)
+  // Short granule checks on function arguments read from the argument memory
+  // (last byte of the granule), which invalidates writeonly.
----------------
fhahn wrote:

Would be good to double check if this is also true for ASan.

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