http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38718
Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |fxcoudert at gcc dot | |gnu.org Resolution| |FIXED Target Milestone|--- |4.7.0 --- Comment #7 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> 2011-11-09 09:42:34 UTC --- LSHIFT and RSHIFT were implemented at some point, and I have now added DREAL simplification. Closing as fixed on trunk.