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--)