void main(void) { j = 0; int b = any_int (); // if (b<0) j=b; for (i=0;i<100;i++) {j = j+3; k = k + 8;}; }
void main() { int tmp = -1; unsigned int G; // We had a bug that replaced the next two lines with // G = any_int (); tmp = any_int(); G = tmp; tmp = tmp-3; if(tmp != 0) E(1); SUCCESS; }
void main () { int x; x = any_int(); if (0 <= x) { g = x; } if (0 >= x) { h =x; } if (x >= 0) { i =x; } if (x <= 0) { j =x; } if (0 < x) { k =x; } if (0 > x) { m =x; } if (x > 0) { l =x; } if (x < 0) { n =x; } G[0] = 0; if ((0 <= x) && (5 >= x)) G[0] = 7; }