[PATCH] D95734: Use alias analysis to remove redundant instrumentation for Asan

[Evgenii Stepanov via Phabricator via llvm-commits]

eugenis added a comment.

I think it shows that aliasing is the wrong property for this task. It means that the two pointers are for the same memory, *as long as they are alive* - but that's exactly what we want to verify.


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

https://reviews.llvm.org/D95734