[Bug tree-optimization/57400] New: ICE: verify_ssa failed (definition in block n follows the use)

[antoine.balestrat at gmail dot com]

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

            Bug ID: 57400
           Summary: ICE: verify_ssa failed (definition in block n follows
                    the use)
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: antoine.balestrat at gmail dot com

Hello !
I'm using GCC 4.9.0 as of 20130524.

$ cat ssa.c
int a;

void f(void)
{
    int b;

    for(a = 0; a < 23; a++)
        b |= a > 0;

    a = !!b;
}

$ xgcc -O3 -w ssa.c
ssa.c: In function ‘f’:
ssa.c:3:6: error: definition in block 2 follows the use
 void f(void)
      ^
for SSA_NAME: _7 in statement:
b_34 = b_22 | _7;
ssa.c:3:6: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.