[Bug tree-optimization/46165] New: ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce

[zsojka at seznam dot cz]

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

           Summary: ICE: verify_flow_info failed when casting-out
                    attribute noreturn with -fno-tree-ccp
                    -fno-tree-copy-prop -fno-tree-dce
           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 22146
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22146
reduced testcase (from gcc.c-torture/compile/20050202-1.c)

Compiler output:
$ gcc -O -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce pr46165.c 
pr46165.c: In function 'g':
pr46165.c:2:6: error: control flow in the middle of basic block 2
pr46165.c:2: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.

Tested revisions:
r165915 - crash
4.5 r165781 - crash
4.4 r165754 - crash
4.4 r149995 - crash