[Bug ipa/67811] New: [TM] ICE with try-block in transaction

["jason at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67811

            Bug ID: 67811
           Summary: [TM] ICE with try-block in transaction
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jason at gcc dot gnu.org
                CC: aldyh at gcc dot gnu.org, rth at gcc dot gnu.org,
                    torvald at gcc dot gnu.org
  Target Milestone: ---

void f()
{
  __transaction_relaxed {
    try { throw 42; }
    catch (...) { }
  }
}

wa.C: In function âvoid f()â:
wa.C:1:6: error: BB 11 is missing an edge
 void f()
      ^
wa.C:1:6: internal compiler error: verify_flow_info failed

This seems to happen when cleaning up from the IPA inline pass.