[Bug c/37664] New: ice in remove_range_assertions, at tree-vrp.c:5116

[regehr at cs dot utah dot edu]

Seen on r140721.

[EMAIL PROTECTED]:~/volatile/tmp46$ current-gcc -O3 small.c
small.c: In function ‘T.4’:
small.c:27: internal compiler error: in remove_range_assertions, at
tree-vrp.c:5116
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[EMAIL PROTECTED]:~/volatile/tmp46$ cat small.c

typedef int int16_t;
typedef int int32_t;
typedef int uint32_t;

int lshift_u_u (int left, int right)
{
  if (right >= sizeof (int) * 8 || left > 4294967295U >> right)
    return left;
}

int mod_rhs (int rhs)
{
  return rhs;
}

uint32_t g_128;

uint32_t func_112 (int32_t p_113, uint32_t p_115);

uint32_t func_57 (int16_t p_58)
{
  uint32_t l_59 = 0x8EL;
  func_37 (l_59, func_60 (func_98 (1, l_59)), 1);
}

uint32_t func_98 (uint32_t p_99, uint32_t p_100)
{
  uint32_t l_111;
  uint32_t l_114 = 0x8899A862L;
  func_101 (l_111, lshift_u_u (func_112 (p_100 * l_114, 0), -1));
}

uint32_t func_112 (int32_t p_113, uint32_t p_115)
{
  func_116 (mod_rhs (lshift_u_u (g_128, (p_113 % mod_rhs (mod_rhs (p_113)))))
            || func_116 (1, 1), 1);
}

[EMAIL PROTECTED]:~/volatile/tmp46$ current-gcc -v

Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../configure --program-prefix=current-
--enable-languages=c,c++ --prefix=/home/regehr : (reconfigured) ../configure
--program-prefix=current- --enable-languages=c,c++ --prefix=/home/regehr :
(reconfigured) ../configure --program-prefix=current- --enable-languages=c,c++
--prefix=/home/regehr : (reconfigured) ../configure --program-prefix=current-
--enable-languages=c,c++ --prefix=/home/regehr : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion : (reconfigured) ../configure
--program-prefix=current- --prefix=/home/regehr --enable-languages=c,c++
--no-create --no-recursion
Thread model: posix
gcc version 4.4.0 20080927 (experimental) (GCC)


-- 
           Summary: ice in remove_range_assertions, at tree-vrp.c:5116
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: regehr at cs dot utah dot edu
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37664