Hello!
On Wed, May 04, 2011 at 02:29:32PM +0800, haihao shen wrote:
> I found CIL treats the following two functions differently.
> void loop_test1()
> while((get_a()<1) && (get_b()<1))
> void loop_test2()
> while(!(get_a()<1) && !(get_b()<1))
Your conditions that control the `w
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))
