[Bug tree-optimization/49000] New: ICE: verify_ssa failed with -O2 -g

[arthur.j.odwyer at gmail dot com]

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

           Summary: ICE: verify_ssa failed with -O2 -g
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: arthur.j.odwyer@gmail.com


Created attachment 24248
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24248
Output of "ajo-gcc -w -O2 -g test1426113557.c -v"

This reproduces for me with svn revision 173589 (2011-05-09). It doesn't
reproduce with gcc 4.5.1. I'm on Ubuntu 10.10, x86-64.

cat >test1426113557.c <<EOF
static MUL(int ui1, int ui2) {
  return (ui1) * (ui2);
}

static int func_60(int *p_61) {
    return (*p_61);
}

void func_97() {
    int l_234 = 42;
    int *l_342 = &l_234;
    MUL(func_60(&l_234), 3);
}

void func_1(void) {
    func_97();
}
EOF
gcc -w -O2 -g test1426113557.c

test1426113557.c: In function ‘func_1’:
test1426113557.c:17:1: error: expected an SSA_NAME object
test1426113557.c:17:1: error: in statement
# DEBUG D#1 => l_234
test1426113557.c:17:1: internal compiler error: verify_ssa failed


This test case is reduced from the output of Csmith 2.1.0 (git hash 541a6480,
https://github.com/csmith-project/csmith/), using the following command line:
csmith --no-paranoid --no-longlong --pointers --no-arrays --no-jumps
--no-consts --no-volatiles --checksum --no-divs --muls --no-bitfields
--no-packed-struct -s 1426113557