为何Apple Clang编译main函数时先写入0再存储argc？

问题背景 #

在Mac系统使用Apple Clang 12.0.0编译以下C代码：

#include <stdio.h>
#include <stdlib.h>

int main(int argc, char * argv[]) {
    puts("Hello, world!");
    return EXIT_SUCCESS;
}

生成的汇编片段开头包含如下操作：

_main:                                  ## @main
    .cfi_startproc
## %bb.0:
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset %rbp, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register %rbp
    subq    $32, %rsp
    movl    $0, -4(%rbp)
    movl    %edi, -8(%rbp)

其中movl $0, -4(%rbp)会将4字节的0写入栈帧的-4(%rbp)位置，而在RH Linux上使用GCC 4.8.5编译同一份代码时，并无此额外写0操作。

核心原因 #

• 安全初始化策略：Apple Clang 12.0.0默认启用了栈空间的安全初始化机制（对应等效编译选项-ftrivial-auto-var-init=zero）。-4(%rbp)属于栈帧中未被显式使用的预留对齐空间，Clang会主动将这类空间清零，避免栈上残留的垃圾数据引发未初始化变量误用、敏感信息泄露等安全风险。
• ABI规范差异：macOS遵循的系统ABI与Linux下的System V ABI存在细节差异。Apple Clang为适配macOS的栈帧布局规范，会在栈帧中预留特定的对齐空间，并要求对这些空间做初始化；而GCC 4.8.5遵循的Linux ABI没有强制要求初始化此类预留栈空间。
• 编译器版本特性差异：GCC 4.8.5是较旧的版本，当时默认未启用栈安全初始化相关选项；而Apple Clang 12.0.0作为较新的编译器，默认集成了更多安全防护特性，自动对未使用的栈空间执行清零操作。

内容的提问来源于stack exchange，提问作者Amittai Aviram