鯨書閱讀筆記-------第八章數據流分析（二）：到達---定值分析

本篇通過到達--定值分析來引出數據流分析的過程 什麼是到達--定值？ 定值是對某個變量的賦值。        假設變量x的定值爲d，如果存在一條緊隨在定值d後面的程序點到達某一個程序點p的路徑，並且在這條路徑上d並沒有被「殺死」（也就是說，變量x沒有被重新賦值爲其他值），我們就說定值到達程序點p。一個編譯器能夠根據到達定值信息知道變量x在程序點p上的值是否爲常量。 局部數據流分析和全局數據流分析

>>阅读原文<<