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.