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

[Evgenii Stepanov via Phabricator via llvm-commits]

eugenis added a comment.

Furthermore, even nofree functions can update asan shadow - consider something like vector::pop_back with container overflow annotations. We might need to avoid optimizing over any function call at all. I'm not sure if we are going to see a significant perf improvement in that case.

As the next step, we could create and infer an attribute saying "this function and anything that it calls does not update ASan shadow".


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

https://reviews.llvm.org/D95734