[Bug tree-optimization/117693] New: need verification for abnormal edges and statements

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 117693
           Summary: need verification for abnormal edges and statements
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Keywords: internal-improvement
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

Extracted from PR 117668 since that is about the cleanup part and the
verification looks like it will need other fixes that I don't have time for GCC
15. so it will be pushed off until GCC 16.

Note stmt_can_make_abnormal_goto does not take into account `#pragma omp/acc`
for loops. Nor it handles the abnormal edges created from tmedge.
But that is what fixup_cfg uses to remove/cleanup the edges.

That being said is abnormal edges are a mess ...