From: haihao s. <hai...@gm...> - 2011-05-04 06:29:45
|
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 |