https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124054
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- I see, thanks for the clarification. This apparently fails with all the compilers that accept the code... And the fix looks indeed plausible.
