Live-variable analysis: Difference between revisions

Content deleted Content added
m formatting consistency in example & grammar fix
Fixed wikilink
Line 1:
In [[compiler theory]], '''live variable analysis''' (or simply '''liveness analysis''') is a classic [[data -flow analysis]] performed by [[compiler]]s to calculate for each program point the [[Variable (programming)|variables]] that may be potentially read before their next write, that is, the variables that are ''live'' at the exit from each program point.
 
Stated simply: a variable is '''live''' if it holds a value that may be needed in the future.