https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81687
--- Comment #2 from Joachim Protze <protze at itc dot rwth-aachen.de> --- Why do you classify the testcase to be invalid code? Neither OpenMP nor C forbid the use of a label there. Is this an undocumented restriction of the &&-extension? Also, clang and icc accept the code despite the use of the && GNU extension. For both compilers the resulting binaries produce reasonable output.
