Example Reaching Definitions

x = z; // (1)

y = 4; // (2)

x = 3; // (3)

x = x + y; // (4)

z = z + 1; // (5)

On initial

entry:

<TTFFFF>

After first

exit:

<FTFTTF>

y = x; // (6)

After subsequent

iterations:

<FTFTTT>

Previous slide

Next slide

Back to first slide

View graphic version