ライブレンジと定義の比較

Question

コンパイラのデータフロー分析では、変数の有効範囲と定義に達していますか？両方とも同じことを指しているようです...

Answer 1

これは非常に異なるものです。私は、あなたが混乱してしまったあなたに戻って再読することをお勧めします。与えられた変数を使用するポイントの変数の到達定義は、とりわけ、その変数の定義でなければなりません。 変数の存続期間は、プログラムを使用できる部分です。定義以外のもの（例えば、読み込み中）が含まれます。

を参照してください、例えば、1986ドラゴンブックは、ページ534（おそらく、あまりにも一般的には有用であること）と610

Answer 2

到達定義は、プログラム内の特定の場所に関連して定義されています。たとえば、コード "a = b + c"の10行目では、コンパイラが "c"の到達定義が何であるかを知ることができます。つまり、変数cがどの文でライン10に到達できる値？ "

ライブ範囲は変数に対して定義されます。変数cの有効範囲は、変数cの定義から始まり、変数の次の定義（変数が強制終了される場所、またはSSAを使用する場合は別の変数として定義されます）、または変数cが存在する範囲（ブロック、関数、またはプログラム）。

2つの概念は似ていますが、同じものではありません。