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

Johannes Doerfert via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 27 17:00:51 PDT 2023


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



More information about the llvm-commits mailing list