https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108796
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|GCC 13 accepts [[noreturn]] |Can't intermix C2x and GNU
|attribute without -std=c2x |style attributes
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Simple testcase:
__attribute__((noreturn)) [[noreturn]]
void foo(void) {
while(true);
}
The C++ front-end accepts this but not the C front-end.
