GDB调试中main函数栈内存内0x00000000的来源疑问

场景信息 #

1. C源码 #

professor@Linux:~/$ cat stack2.c 
#include<stdio.h>

int function(int a , int b) 
{
        int x = 10;
        int y = 20;
        return 0;
}

int main(int argc, char *argv[])
{
        int i = 5;
        int j = 15;
        function(100,7);
        int k = 30;
        return 0;

}

2. 编译环境与命令 #

• 系统：Ubuntu 7.04
• 编译命令：gcc -z execstack stack2.c -o stack2

3. 调试疑问 #

GDB调试时，反汇编main函数并设置断点，运行后观察到main函数栈内存中存在0x00000000值，其余栈内容均已理解，询问该值的来源。

来源解析 #

这个0x00000000是**function函数的返回值**，具体逻辑和Ubuntu 7.04配套的老版本GCC（4.1.x）代码生成规则有关：

1. x86架构的C调用约定（cdecl）下，函数返回值会存入EAX寄存器，function返回0时，EAX被设为0。
2. 即便代码没有显式接收function的返回值，老版本GCC仍会默认生成将返回值写入栈内存的代码——这个栈位置恰好是后续变量k的预留空间。
3. 如果你在function(100,7)执行完毕、int k=30赋值前设置断点，此时k的内存位置已被写入function的返回值0，还未被30覆盖，因此会在栈中观察到这个0值。

程序继续执行到int k=30时，该位置的0会被30覆盖，后续栈中此位置的值将变为30。

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