https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67064 --- Comment #13 from Ville Voutilainen <ville.voutilainen at gmail dot com> --- It is correct that currently none of the pedantic-flags diagnose the use of this extension; perhaps that should be fixed while fixing this bug...