http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58494
Bug ID: 58494
Summary: ICE (verify_ssa failed)
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: ishiura-compiler at ml dot kwansei.ac.jp
Target: x86_64-pc-linux-gnu
GCC 4.9.0 ICEs on the following code. (x86_64)
$ cat test.c
int g0 = 1;
long g1 = 0;
int main (void)
{
int x0 = 1;
int x1 = 1;
int a = g0 != 1; /* a = 0 */
int t = x0 - g1; /* t = 1 */
int b = x1 & t; /* b = 1 */
int c = a & b; /* c = 0 */
int s = g0 * 1; /* s = 1 */
int d = s && 1; /* d = 1 */
int e = c & d; /* e = 0 */
if (e != 0) __builtin_abort();
return 0;
}
$ x86_64-unknown-linux-gnu-gcc-4.9.0 test.c -O1
test.c: In function 'main':
test.c:4:5: error: definition in block 2 follows the use
int main (void)
^
for SSA_NAME: _16 in statement:
c_10 = _16 & 1;
test.c:4:5: internal compiler error: verify_ssa failed
0xaa4779 verify_ssa(bool)
/home/hassy/gcc/gcc/tree-ssa.c:1046
0x87f3c1 execute_function_todo
/home/hassy/gcc/gcc/passes.c:1834
0x87fb17 execute_todo
/home/hassy/gcc/gcc/passes.c:1866
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
$ x86_64-unknown-linux-gnu-gcc-4.9.0 -v
Using built-in specs.
COLLECT_GCC=x86_64-unknown-linux-gnu-gcc-4.9.0
COLLECT_LTO_WRAPPER=/usr/local/x86_64-tools/gcc-4.9.0/libexec/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /home/hassy/gcc/configure
--prefix=/usr/local/x86_64-tools/gcc-4.9.0/
--with-gmp=/usr/local/gmp-5.1.1/ --with-mpfr=/usr/local/mpfr-3.1.2/
--with-mpc=/usr/local/mpc-1.0.1/ --disable-multilib --disable-nls
--enable-languages=c
Thread model: posix
gcc version 4.9.0 20130919 (experimental) (GCC)
