https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67678
Daniel Krügler <daniel.kruegler at googlemail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |daniel.kruegler@googlemail. | |com --- Comment #1 from Daniel Krügler <daniel.kruegler at googlemail dot com> --- Personally I think that allowing this looks like a reasonable extension, but I agree that using -pedantic this should be diagnosed (which it doesn't yet).