Revision as of 06:23, 10 May 2012 edit Helpful Pixie Bot (talk \| contribs) Bots 571,497 edits m ISBNs (Build KE) ← Previous edit		Revision as of 03:12, 29 July 2012 edit undo Edward (talk \| contribs) Administrators 94,541 edits m link exception handling using Find link Next edit →
Line 32: \|} We supply data-flow equations that define the values of these functions on various expressions and statements, in terms of the values of the functions on their syntactic subexpressions. Assume for the moment that there are no ''goto'', ''break'', ''continue'', ''return'', or [[exception handling]] statements. Following are a few examples of these equations: * Any expression or statement ''e'' that does not affect the set of variables definitely assigned: ''after''(''e'') = ''before''(''e'')

Definite assignment analysis: Difference between revisions