[Bug tree-optimization/24670] New: VRP ICE in compare_name_with_value

["sebastian dot pop at cri dot ensmp dot fr" <gcc-bugzilla@gcc.gnu.org>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1070 bytes --]

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