[Bug tree-optimization/46864] New: [4.5/4.6 Regression] ICE: verify_stmts failed: statement marked for throw, but doesn't with -fnon-call-exceptions

[zsojka at seznam dot cz]

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

           Summary: [4.5/4.6 Regression] ICE: verify_stmts failed:
                    statement marked for throw, but doesn't with
                    -fnon-call-exceptions
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: zso...@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


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

Compiler output:
$ g++ -O -fnon-call-exceptions pr46734.C  
pr46734.C: In function 'void foo()':
pr46734.C:18:1: error: statement marked for throw, but doesn't
s.2__k_lsm.4_28 = i_29;

pr46734.C:18:1: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


Tested revisions:
r167621 - fail
4.5 r166509 - fail
4.4 r166509 - OK