https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96452
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- Your understanding of what a compiler needs to do for ill-formed programs is wrong. [intro.compliance] If a program contains a violation of any diagnosable rule or an occurrence of a construct described in this document as “conditionally-supported” when the implementation does not support that construct, a conforming implementation shall issue at least one diagnostic message.