assert() перед объявлением переменных: почему это работает?

[cristobal_junta]

Недавно обнаружил, что assert() можно вставлять перед объявлением переменных. Это существенно упрощает жизнь, и я стал активно этим пользоваться. Но я не понимаю, почему это работает.

#include int main() { assert(0); int N = 0; return N; }
Код успешно транслируется командой gcc -Wall -Wextra main.c.

Результат обработки

Comments

[mr_mumble]

-Wdeclaration-after-statement

или сразу -pedantic.

[cristobal_junta]

Вот это да!
Мягко говоря, я очень удивлен.
С каких это пор в C разрешено declaration after a statement in a block?

[mr_mumble]

ISO C99 and ISO C++ allow declarations and code to be freely mixed within compound statements.
Начиная с какой-то версии GCC: As an extension, GCC also allows this in C90 mode.

[cristobal_junta]

Если это не будет проглатывать icc и bgxlc, то придется выставлять что-то в духе -pedantic -ansi и всё такое…