[Bug tree-optimization/47061] VRP doesn't propagate through x<<=1, but it does for x*=2

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.12.28 15:04:25
                 CC|                            |rguenth at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-12-28 15:04:25 UTC ---
VRP needs a lot of TLC with respect to how it treats ranges with constant
bounds.
Yes, it doesn't handle shifts at all at the moment.