[Bug c++/51525] New: [4.7 Regression] ICE: verify_flow_info_failed in g++.dg/abi/covariant5.C

[ubizjak at gmail dot com]

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

             Bug #: 51525
           Summary: [4.7 Regression] ICE: verify_flow_info_failed in
                    g++.dg/abi/covariant5.C
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: ubiz...@gmail.com
              Host: alphaev68-pc-linux-gnu
            Target: alphaev68-pc-linux-gnu
             Build: alphaev68-pc-linux-gnu


Recent regression on 4.7:

~/gcc-build/gcc/cc1plus -O2 -quiet covariant5.C 
covariant5.C: In member function ‘C& C::_ZTch0_h8_N1C5ThreeEv()’:
covariant5.C:22:14: error: fallthru to exit from bb 2
covariant5.C:22:14: error: fallthru edge after a control statement in bb 2
covariant5.C:22:14: error: wrong outgoing edge flags at end of bb 2
covariant5.C:22:14: 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.