>>845
このコードを gcc -S とかでアセンブラ出力してみれば分かるけど、

int main() { int foo[] = { 0, 1, 2, 3 }; }

余計なメモリは確保されないし、何の保証も無いよ