[Bug tree-optimization/55831] New: ICE: verify_flow_info failed

[antoine.balestrat at gmail dot com]

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.