This ICE occured during a compile of libfloat with mainline. Attached is a delta reduced test that produces the ICE when compiled with -O2.
softfloat/bits64/softfloat.c: In function float128_rem: softfloat/bits64/softfloat.c:4483: internal compiler error: in compare_name_with_value, at tree-vrp.c:3064 __inline__ void shift128Right (int count, long long int *z1Ptr) { long long int z1; if (count == 0); else if (count < 64); else z1 = (count < 64) ? count : 0; *z1Ptr = z1; } float128_rem () { signed int expDiff; long long int aSig1; long long int sigMean1; if (-64 < expDiff) shift128Right (-expDiff, &aSig1); add128 (&sigMean1); } -- Summary: VRP ICE in compare_name_with_value Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: sebastian dot pop at cri dot ensmp dot fr http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24670