[Bug middle-end/81052] ICE in verify_dominators, at dominance.c:1184

[amonakov at gcc dot gnu.org]

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

--- Comment #7 from Alexander Monakov <amonakov at gcc dot gnu.org> ---
As an aside, shouldn't we issue a diagnostic here? OpenMP spec says branching
in/out of simd regions is not allowed, and I think we already diagnose invalid
branching for some other constructs.