Změny v TS: Ilustrace
17/43
none
(
i
)
(
i
)
dead
live
live
a
b
c
další použití
stav
prom.
…
…
…
…
…
T
S
:
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