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

["regehr at cs dot utah dot edu" <gcc-bugzilla at gcc dot gnu dot org>]

regehr@john-home:~/volatile/bugs/tmp252$ current-gcc -O2 -c small.c
small.c: In function ?bar?:
small.c:12: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.

regehr@john-home:~/volatile/bugs/tmp252$ current-gcc -v

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

regehr@john-home:~/volatile/bugs/tmp252$ cat small.c

static short foo (long long si1, short si2)
{
  return si1 > 0 && si2 > 0 && si1 > 9223372036854775807LL - si2 || si1 < 0
    && si2 < 0 && si1 < 1 - si2 ? : si1 + si2;
}

int g_13;
unsigned g_17;

int safe (int, int);

void bar (short p_51, short * p_52)
{
  int *const l_55 = &g_13;
  if (safe (*p_52, g_13 != foo (*p_52 & *l_55 == g_13 && g_17 >= 1, 0)))
    {
    }
}


-- 
           Summary: ICE in extract_range_from_assert, at tree-vrp.c:1423
           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=42716