http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55831
Bug #: 55831 Summary: ICE: verify_flow_info failed Classification: Unclassified Product: gcc Version: 4.8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization AssignedTo: unassig...@gcc.gnu.org ReportedBy: antoine.balest...@gmail.com Hello ! The following testcase makes GCC as of 20121231 ICE with -O -fstrict-overflow -ftree-vectorize. $ cat flow.c int g; void f(void) { short a, b, i; if(a) { label: for(i = 0; i < 8; i++) b ^= a++; if(!b) g = 0; } } $ xgcc -O -fstrict-overflow -ftree-vectorize flow.c flow.c: In function âfâ: flow.c:3:6: error: label void f(void) ^ label in the middle of basic block 4flow.c:3:6: internal compiler error: verify_flow_info failed Please submit a full bug report, with preprocessed source if appropriate. See <http://gcc.gnu.org/bugs.html> for instructions.