Live-variable analysis: Difference between revisions

Revision as of 15:39, 27 July 2018

Revision as of 15:56, 27 July 2018

Line 1:

In [[compilers]], '''live variable analysis''' (or simply '''liveness analysis''') is a classic [[data-flow analysis]] to calculate, at each point in the program, the [[Variable (programming)|variables]] that mayare be''live'' potentiallyat readeach beforepoint their next write, that is,in the variablesprogram. thatA arevariable is ''live'' at some point if it holds a value that may be needed in the exitfuture, fromor eachequivalently programif pointits value may be read before the next time the variable is written to.

Stated simply: a variable is '''live''' if it holds a value that may be needed in the future.

== Example ==