[Bug tree-optimization/46233] New: [4.6 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block 3 with -foptimize-sibling-calls

[zsojka at seznam dot cz]

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

           Summary: [4.6 Regression] ICE: verify_flow_info failed: control
                    flow in the middle of basic block 3 with
                    -foptimize-sibling-calls
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: zso...@seznam.cz


Created attachment 22200
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22200
reduced testcase

Compiler output:
$ gcc -O -foptimize-sibling-calls pr46233.c 
pr46233.c: In function 'foo':
pr46233.c:5:1: error: control flow in the middle of basic block 3
pr46233.c:5:1: 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.

Tested revisions:
r166029 - crash
r161659 - crash
r159696 - OK