cil/doc/examples/ex30.txt


1
2
3
4
5
6
7
8
9
10
11
12

/* Generated by CIL v. 1.3.5 */
/* print_CIL_Input is true */

#line 1 "cilcode.tmp/ex30.c"
int main(void) 
{ int x ;

  {
#line 2
  return (x == (x != 0));
}
}