[PATCH] D155049: [ScalarEvolution] Infer loop max trip count from memory accesses

[Florian Mayer via Phabricator via llvm-commits]

fmayer added a comment.

In D155049#4651542 <https://reviews.llvm.org/D155049#4651542>, @vitalybuka wrote:

> How this is going to affect sanitizers? We still want them being able to detect overflows.

more context: sanitizers use SCEV to decide to not instrument accesses where SCEV tells us that they are in range. With features like this that exploit UB in SCEV, we can no longer rely on this, because the whole point of the sanitizer is to catch UB.


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

https://reviews.llvm.org/D155049