https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108845
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I'm not convinced it is a good idea. Sure, in the above case it is obvious it will never trigger, but if we say use ranger to decide if the operation can or can't overflow, then VRP is in many cases based on assumptions which only hold for valid code, but sanitizers actually want to diagnose invalid code.
