Testcase: int f1(unsigned t) { return (t*2)/2; }
This is done in combine on the RTL level. -- Summary: (unsigned * 2)/2 is not changed into unsigned &0x7FFFFFFF Product: gcc Version: 4.2.0 Status: UNCONFIRMED Keywords: missed-optimization, TREE Severity: normal Priority: P3 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: pinskia at gcc dot gnu dot org OtherBugsDependingO 19986 nThis: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25529