[Bug c/57418] New: Another verify_ssa failure

["dcb314 at hotmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 57418
           Summary: Another verify_ssa failure
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com

I just out the source code from bug report # 49926 on the compiler
from 24 May 2013.

[dcb@localhost testsuite]$ ~/gcc/results/bin/gcc -c -g -O2 
gcc.dg/vect/pr49926.c
[dcb@localhost testsuite]$ ~/gcc/results/bin/gcc -c -g -O3 
gcc.dg/vect/pr49926.c
gcc.dg/vect/pr49926.c: In function âfooâ:
gcc.dg/vect/pr49926.c:7:1: error: definition in block 7 follows the use
 foo (unsigned int x, int y, int z, int *w)
 ^
for SSA_NAME: y_48 in statement:
# DEBUG D#1 => y_48 & a.1_56
gcc.dg/vect/pr49926.c:7:1: internal compiler error: verify_ssa failed
0xa70ff9 verify_ssa(bool)
    ../../src/trunk/gcc/tree-ssa.c:1046
0x8517b1 execute_function_todo
    ../../src/trunk/gcc/passes.c:1970
0x852107 execute_todo
    ../../src/trunk/gcc/passes.c:2002
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.