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

[Florian Hahn via llvm-commits]

================
@@ -612,6 +612,48 @@ void getAddressSanitizerParams(const Triple &TargetTriple, int LongSize,
   *OrShadowOffset = Mapping.OrShadowOffset;
 }
 
+void removeASanIncompatibleFnAttributes(Function &F, bool ReadsArgMem) {
+  // Remove memory attributes that are invalid with ASan and HWSan.
+  // 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:

This needs reframing in terms of ReadsArgMem.

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