[Bug c/43255] New: ICE in extract_range_from_assert, at tree-vrp.c:1423

[regehr at cs dot utah dot edu]

[reg...@gamow tmp276]$ current-gcc -c -O2 small.c

small.c: In function 'int32func':
small.c:15:6: internal compiler error: in extract_range_from_assert, at
tree-vrp.c:1423
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[reg...@gamow tmp276]$ cat small.c

int safe (int);

static unsigned foo (unsigned ui1, unsigned ui2)
{
  return ui1 + ui2;
}

int g_22;
int *volatile g_23 = &g_22;
int **g_282[8][10][1];
int *g_330 = &g_22;
volatile unsigned g_348;
int g_397;

void int32func (const unsigned char p_10)
{
  if (foo
      (~
       (p_10 |
        (*g_282[(unsigned long) g_397 % 8][(unsigned) g_22 % 10][g_348 % 1]) ==
        (*g_282[(unsigned long) g_397 % 8][(unsigned) g_22 % 10][g_348 % 1])),
1))
    {
    }
  else if (*g_330 >=
           safe (*g_23 ^
                 (**g_282[(unsigned long) g_397 % 8][(unsigned) g_22 % 10]
                  [g_348 % 1])) & **g_282[8][10][1], 1)
    {
    }
}

[reg...@gamow tmp276]$ current-gcc -v

Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/tmp/z/compiler-install/gcc-r157205-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.5.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --with-libelf=/usr/local --enable-lto
--prefix=/home/regehr/z/compiler-install/gcc-r157205-install
--program-prefix=r157205- --enable-languages=c,c++
Thread model: posix
gcc version 4.5.0 20100303 (experimental) (GCC)


-- 
           Summary: ICE in extract_range_from_assert, at tree-vrp.c:1423
           Product: gcc
           Version: 4.5.0
            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: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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