We do not fold (long int) ((long unsigned int) b + 5) == (long int) b
-- Summary: [4.4 Regression] gcc.dg/tree-ssa/foldaddr-1.c XFAILed Product: gcc Version: 4.4.0 Status: UNCONFIRMED Keywords: xfail Severity: normal Priority: P3 Component: middle-end AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: rguenth at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38878