http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53986
vries at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED --- Comment #13 from vries at gcc dot gnu.org 2012-09-07 09:25:34 UTC --- (In reply to comment #1) > VRP does not handle LSHIFT like > > D.1734_10 = (long unsigned int) D.1731_7; > csui.1_9 = 1 << D.1734_10; > > it only handles LSHIFTs with a constant shift amount: > This is handled in the commit in comment 11. All other issues in the report have been addressed, closing bug.