[CIL users] tut2 interesting error

[Xiaoyang Z. <xia...@um...>]

Hi all,

I am new to CIL and I am going through the tutorials. I have successfully
ran tut2 according to the tutorial, however, when I did some simple
modification to main.ml and tut2.c, the code seems not working.

What I did is very simple. For one test, I changed the function name "foo"
to "foo1", and edited corresponding call the tut2 in mail.ml. However, with
this modification the code did not work, i.e., the assignment "bar = 0" in
function "foo1" was not deleted. When I changed the function name back to
"foo", the code worked again.

For another test, I added another global variable bar2, and another
function "foo2". And changed the call of tut2 in mail.ml to ("foo2",
"bar2"), however, the assignment in "bar = 0" in function "foo" is deleted
instead of that in the function "foo2".

I am very confused about the strange error. Does anyone can help?


Thanks,
Xiaoyang