Změny v TS: Ilustrace
17/43
none
(i)
(i)
dead
live
live
a
b
c
další použití
stav
prom.
Textové pole: …
…
Textové pole: …
…
Textové pole: …
…
Textové pole: …
…
Textové pole: …
…
TS:
a je mrtvá, protože a:=b+c „usmrtí“ předchozí hodnotu proměnné a b, c jsou živé na řádku (i). Tuto informaci je potřeba šířit k příkazům použitým dříve v programu
(i) a:=b+c
zpětný průchod