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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D155049#4651543 <https://reviews.llvm.org/D155049#4651543>, @fmayer wrote:

> 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.

SCEV (and other helpers) already refine UB, don't they? That said, you can disable the feature, right now via a command line flag. That said, we probably want a "catch all" try not to exploit UB flag.


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

https://reviews.llvm.org/D155049