https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109013
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Even the dominating case could be valid. E.g. if the body does #pragma omp ordered foo (); bar (); #pragma omp ordered baz (); where bar () calls exit (0);