すみません前スレのスタックフレームの者ですが、
局所変数は関数呼び出し時に、スタック領域に確保されるということでおｋですよね。

局所変数の大きさはソース見ればわかる、という回答者の方もいますが
実行時にソースを読んでいるわけではないですよね。
そうするとコンパイル時に大きさを求めて、そんで実行時、スタック領域に
局所変数に必要な大きさのフレームを確保する必要があると思うのですが
その大きさは、、、やはりどこから求めているのかわかりません。