>>449
変数の有効範囲が広い場合のﾃﾞﾒﾘｯﾄの一つとして「ﾃﾞﾊﾞｯｸ等のｿｰｽ解析時
に変数を追跡するべき範囲も広くなる」という点があると思う。
例えば、
　　　procedure ProcA;
　　　var a, b, c, d, e : Integer;
　　　begin
　　　　　（略）
　　　　　if( xxxx ) then
　　　　　begin
　　　　　　　　（略）
　　　　　end;
　　　　　（略）
　　　end;
だとProcAの全体を通して変数abcdeの追跡が必要になる可能性があるが、
　　　procedure xxxxxxx;
　　　var a : Integer;
　　　begin
　　　　　（略）
　　　　　if( xxxx ) then
　　　　　begin
　　　　　var b, c, d, e: Integer;
　　　　　　　　（略）
　　　　　end;
　　　　　（略）
　　　end;
てなかんじで書けたなら変数bcdeの有効範囲がifのﾌﾞﾛｯｸ内部に限定され
るのでその分ｺｰﾄﾞの解析も容易になるように思うのだがどうだろう。