スタック領域の順番が同じになってしまいます。

Question

C言語で
とある自作関数内に以下のローカル変数を宣言しました。
int auto_flag = 0;
char buffer[16];

これを逆の順番で宣言したら、スタック領域内にPUSHされる順番も変わりますよね？

char buffer[16];
int auto_flag = 0;

と逆順に宣言してgdbで
x64xw $rsp

とやって中身を覗いたら、PUSHされている順番が逆になっていなかったのです！

最初の中身
(gdb) x/x &auto_flag
0x7fffffffe62c: 0x00
(gdb) x/s buffer
0x7fffffffe610: "\260\a@"

auto_flag → bufferとなっていますよね・・・

逆順の中身
(gdb) x/s buffer
0x7fffffffe620: "\260\a@"
(gdb) x/x &auto_flag
0x7fffffffe63c: 0x00

auto_flag → buffer となっています・・・・

PUSHされる順番が逆になっていません。
最適化した時としない時でみてみたのですが、かわりませんでした。
なぜでしょうか？

Linux 64bit です。

Answer 1

独立した変数領域をスタック上にどの順序で割り当てるかは、完全にCコンパイラの自由となります。C言語仕様では規定しませんし、ABIでも関数内でのスタック利用について何も規定しません。

メモリレイアウトについて規定があるのは：

• 配列型の変数について、その要素順とメモリアドレス順序が一致すること。（要素間に"隙間"は存在しない）
• 構造体型の変数について、そのメンバ変数宣言順序とメモリアドレス順序が一致すること。（ただしメンバ変数同士が連続配置される保証はない／パディングが存在するかもしれない）

Comments

[strike1217]

Cコンパイラの自由で、特に決まっていないのですね！
ありがとうございます！

Answer 2

http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q11120139976
こちらのやりとりが参考になります。

追記: 構造体についての記載に誤りがあります。
構造体の中身の順序は規格上保証されています。
参考文献: http://portable-c.jugem.jp/?eid=17

Comments

[strike1217]

ありがとうございます！
見てみますね