[Bug tree-optimization/48443] ICE: verify_flow_info failed: control flow in the middle of basic block with -fprefetch-loop-arrays --param l2-cache-size=0 and setjmp()

[antoine.balestrat at gmail dot com]

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

Antoine Balestrat <antoine.balestrat at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |antoine.balestrat at gmail
                   |                            |dot com

--- Comment #1 from Antoine Balestrat <antoine.balestrat at gmail dot com> 
2012-12-31 12:42:21 UTC ---
I was not able to reproduce the bug with this testcase (using GCC 4.8.0 as of
20121231), but this one looks to trigger the same ICE on current trunk.

$ 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.