後方解析
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/28 03:01 UTC 版)
生存変数 (live variables) 生存変数解析では、プログラムの各点で変数が次に更新される前に読み取られる可能性があるかどうかを計算する。 1: a = 3;2: b = 5;3: c = a + b; 行番号 2 における生存変数の集合は {a, b} だが、行番号 1 における生存変数の集合は {a} だけである。なんとなれば、変数 "b" は行番号 2 で更新されるからである。
※この「後方解析」の解説は、「データフロー解析」の解説の一部です。
「後方解析」を含む「データフロー解析」の記事については、「データフロー解析」の概要を参照ください。
- 後方解析のページへのリンク