Hi,
I found CIL treats the following two functions differently.
int a;
int b;
int get_a()
{
return a;
}
int get_b()
{
return b;
}
void loop_test1()
{
while((get_a()<1) && (get_b()<1))
{
a++;
b++;
}
}
void loop_test2()
{
while(!(get_a()<1) && !(get_b()<1))
{
a--;
b--;
}
}
void main()
{
a = 2;
b = 2;
loop_test1();
loop_test2();
}
Does CIL consider the complete of partial logic expression, e.g., !(get_a()<1)
VS. (get_a()<1) ?
Thanks,
Haihao
------------------------------------------------------------------------------
WhatsUp Gold - Download Free Network Management Software
The most intuitive, comprehensive, and cost-effective network
management toolset available today. Delivers lowest initial
acquisition cost and overall TCO of any competing solution.
http://p.sf.net/sfu/whatsupgold-sd
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
