https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113440
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |missed-optimization CC| |amacleod at redhat dot com Blocks| |85316 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Yeah, looks like if (a+a < a) for unsigned doesn't register the appropriate range on the false edge. Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316 [Bug 85316] [meta-bug] VRP range propagation missed cases