https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124192 --- Comment #4 from Liam Powell <liam at liampwll dot com> --- Although I see now that there's also a "If an implementation chooses to detect a violation of this restriction ..." so this is not mandatory to detect.