GCC选项-Wdeclaration-after-statement是否仅为风格类校验选项？

1. -Wdeclaration-after-statement是否仅为风格类校验选项 #

是的，该选项属于纯风格合规性校验选项，不会对编译生成的最终代码产生任何影响。它的唯一作用是检查代码是否符合C90标准中「块内所有变量声明必须放在可执行语句之前」的语法要求，用于兼容需要严格遵循C90规范的编译场景。

2. 等价逻辑下C90到C99写法迁移的字节码一致性 #

只要变量的存储类型、初始化值、作用域、执行时机完全一致，仅将C90风格的块首声明+后续赋值的写法，改为C99支持的就近声明+初始化写法，最终生成的程序字节码完全一致。

C99允许混合声明与语句只是语法层面的放宽，编译器的栈帧分配、变量初始化逻辑不会因此发生变化。以下两组逻辑完全等价的代码编译后生成的机器码没有任何区别：
C90风格写法：

int a;
{
    a = 42;
    printf( "%d", a );
}

C99风格写法：

int a = 42;
printf( "%d", a );

注：如果迁移过程中调整了变量的作用域，比如将原本块外的声明挪到块内，导致变量生命周期发生变化，那生成的字节码差异是逻辑调整导致的，和语法特性本身无关。
GCC官方对-Wdeclaration-after-statement的说明：当代码块中出现声明位于语句之后的情况时触发告警。该语法特性源自C++，在ISO C99标准中正式引入，GCC默认支持该写法，但ISO C90标准不支持该特性。

内容的提问来源于stack exchange，提问作者Evan Carroll