http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54491
Richard Guenther <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |missed-optimization Status|UNCONFIRMED |NEW Last reconfirmed| |2012-09-05 Component|c |tree-optimization Ever Confirmed|0 |1 --- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-09-05 14:21:47 UTC --- You are basically requesting 12 < a < 32 to be converted to (unsigned) a - 12 < 20, something fold does but not forwprop or ifcombine.