[Bug tree-optimization/27109] Simplify "a - 10 > 150" into "a > 160" when range of a is known (in VRP or somewhere else)

[glisse at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27109



--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> 2012-12-04 18:48:27 
UTC ---

This seems to be well handled in reassoc1 now:



Optimizing range tests a_2(D) -[0, 99] and +[0, 200] and -[10, 160]

 into a_2(D) + 4294967135 <= 39