Hi.
It seems to me also that the info about live vars printed out by CIL is
correct.
I have to agree that things are actually a bit more complex: we should
specify
clearly what live variable sets are we talking about. For example, Aho, Lam,
Sethi, Ullman
are talking in the dragon
I think that Cil is correct here. It is reporting i as live because you use it
before you set it
(i+=n). If you change n=10 to n=10,i=0, Cil reports neither i nor n as live at
1. I think that this
is correct for liveness analysis.
Jesse Draper
On 10/25/2012 06:13 AM, Alex Susu wrote:
> He
