Content deleted Content added
Line 14:
goto L1;
|}
The set of live variables at line {{code|L3}} is {<code>b</code>, <code>c</code>} because both are used in the
only {<code>b</code>} since variable <code>c</code> is updated in {{code|L2}}. 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>.
| |||