Live-variable analysis: Difference between revisions

Revision as of 04:18, 14 May 2012

Revision as of 03:57, 4 December 2012

Line 9:

<td>

The set of live variables at line L3 is {<code>b</code>, <code>c</code>} because both are used in the addition, and thereby the call to <code>f</code> and assignment to <code>a</code>. But the set of live variables at line L1 is

only {<code>b</code>} since variable <code>c</code> is updated in line 2L2. The value of variable <code>a</code> is never used. Note that <code>f</code> may be stateful, so the never-live assignment to <code>a</code> can be eliminated, but there is insufficient information to rule on the entirety of <code>L3</code>.

so the variable is never live. Note that <code>f</code> may be stateful, so the never-live assignment to <code>a</code> can be eliminated, but there is insufficient information to rule on the entirety of <code>L3</code>.

</td>