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
Hello.
I have some issues with the liveness module of CIL.
I used a bit on a couple of simple C programs and the results I get are a
bit strange.
More exactly, for the program below:
int main() {
int n;
int i;
for (n = 10; n > 0; n--)
