From: John Regehr <regehr@cs...> - 2005-08-06 23:44:39
This isn't a real bug but rather an example where CIL and gcc make
different decisions. The program below prints "0" when compiled with
gcc 3.3.4 and "1" when run through cilly 1.3.3.
int x = 0;
int f1 (int a, int b)
int f2 (void)
x = 1;
int main (void)
int y = f1 (x, f2 ());
printf ("%d\n", y);
Get latest updates about Open Source Projects, Conferences and News.