堆栈指针的疑问

Question

考虑一个程序：

#include <stdio.h>

void function(int a, int b, int c){
    char buffer1[5];
    char buffer2[10];
}

void main(){
        function(1,2,3);
}

编译这个
gcc test.c -m32 -g -o test -fno-stack-protector
和做
objdump -S test > test.dis

我得到了函数“function”的以下转储

void function(int a, int b, int c){
 80483ed:       55                      push   %ebp
 80483ee:       89 e5                   mov    %esp,%ebp
 80483f0:       83 ec 10                sub    $0x10,%esp
        char buffer1[5];
        char buffer2[10];
}

考虑同一程序的另一个变体：

#include <stdio.h>

void function(int a, int b, int c){
        char buffer1[7];
        char buffer2[10];
}

void main(){
        function(1,2,3);
}

关于使用我得到的相同命令编译和生成转储：

void function(int a, int b, int c){
 80483ed:       55                      push   %ebp
 80483ee:       89 e5                   mov    %esp,%ebp
 80483f0:       83 ec 20                sub    $0x20,%esp
        char buffer1[7];
        char buffer2[10];
}

我的问题是什么导致堆栈指针在第一种情况下减少 16，在第二种情况下减少 32，而在第二种情况下只需要 2 个字节？

我在英特尔处理器上运行 64 位 ubuntu 14.04

Answer 1

来自the GCC documentation：

-mpreferred-stack-boundary=num
尝试保持堆栈边界与 2 提升到 num 字节边界对齐。如果未指定 -mpreferred-stack-boundary，默认为 4（16 字节 或 128 位），除非优化代码大小 (-Os)，在这种情况下默认是最小正确对齐方式（x86 为 4 字节，x86-64 为 8 字节）。

因此，当在堆栈上为数组分配空间时，堆栈也会在 16 字节的默认边界上对齐。在第一种情况下，您有 15 个字节的数据小于 16，因此分配了 16 个字节。在第二种情况下，您有 17 个字节的数据，大于 16 但小于（16 的下一个倍数）32，因此分配了 32 个字节的空间。