Claire, attached is a new .ml version that has some additional code
to check on some special cases (since the original one you gave me
doesn't work with these cases). I feel it might be incorrect or
might have side effects. Could you look at it and let me know if it's
OK ?
thanks
VN -
On
I made some progress with this using different kind of Visitors. The
attached ml seems to do what I want (i.e., putting a s1: printf
"hello" at the outter most if and a s2: printf "world" at the inner
most if).I still feel it might have some side effects and
incorrect though --
To summa
Hi, I am trying to add a statement s1 outside of an if and another
statement s2 inside of the if as below
s1;
if (cond1 && cond2 && cond3){
s2;
}
CIL breaks that into multiple nested if's so it will look like
s1;
if(cond1){
if(cond2){
if (cond3){
s2;
}
}
