http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49000
--- Comment #9 from Arthur O'Dwyer <arthur.j.odwyer at gmail dot com>
2011-05-18 00:48:32 UTC ---
Please also check any proposed fix against this second failure, which looks to
me as if it's caused by the same thing. I've renamed homologous structures to
emphasize the similarity.
cat >test1875040564.c <<EOF
extern int g_5b;
static int *func_60b(int **p) { return *p; }
void func_97b(int *p_19b) {
int *l_234b = &g_5b;
int **l_25b = &l_234b;
p_19b = func_60b(&l_234b);
escape(0 == &p_19b);
}
int func_1b() {
func_97b(0);
}
EOF
gcc -w -O2 -g -c test1875040564.c
test1875040564.c: In function ‘func_1b’:
test1875040564.c:12:1: error: expected an SSA_NAME object
test1875040564.c:12:1: error: in statement
# DEBUG D#1 => l_234b
test1875040564.c:12:1: internal compiler error: verify_ssa failed
This second test case is reduced from the output of "csmith --no-paranoid
--longlong --pointers --arrays --jumps --no-consts --no-volatiles --no-checksum
--divs --no-muls --no-bitfields --no-packed-struct -s 1875040564".
