[Bug middle-end/49308] [4.7 Regression] segfault in rest_of_handle_ud_dce () at gcc/gcc/dce.c:518

[arthur.j.odwyer at gmail dot com]

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

Arthur O'Dwyer <arthur.j.odwyer at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |arthur.j.odwyer at gmail
                   |                            |dot com

--- Comment #10 from Arthur O'Dwyer <arthur.j.odwyer at gmail dot com> 
2011-06-08 17:50:12 UTC ---
Here's another reduced test case, in C, for what looks like the same bug:

cat >test.c <<EOF
extern unsigned g_63;
extern int g_169;
int F(unsigned left, unsigned int right) {
  return right ? 0 : (unsigned short)left;
}
void func_73(unsigned p_75) {
    for (unsigned l_120 = 0; l_120 < 3; ++l_120) {
        if (p_75)
          continue;
        g_169 &= (unsigned) F(g_63 ^ l_120, p_75);
    }
    g_169 = 1;
}
EOF
gcc -w -std=c99 -O2 -ggdb test.c

[segmentation fault]

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