[Bug tree-optimization/30318] VRP does not create ANTI_RANGEs on overflow

[glisse at gcc dot gnu.org]

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

Marc Glisse <glisse at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #27311|0                           |1
        is obsolete|                            |

--- Comment #9 from Marc Glisse <glisse at gcc dot gnu.org> 2012-05-05 13:17:43 
UTC ---
Created attachment 27317
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27317
Wrap plus/minus/mult

And now with MULT_EXPR as well. Strangely enough, tree-vrp doesn't mention
LSHIFT_EXPR anywhere, could be worth adding it, at least for the case with a
constant shift.