diff options
Diffstat (limited to 'cil/doc/examples/ex32.txt')
-rw-r--r-- | cil/doc/examples/ex32.txt | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/cil/doc/examples/ex32.txt b/cil/doc/examples/ex32.txt new file mode 100644 index 00000000..f2b6b5b1 --- /dev/null +++ b/cil/doc/examples/ex32.txt @@ -0,0 +1,16 @@ +/* Generated by CIL v. 1.3.5 */ +/* print_CIL_Input is true */ + +#line 1 "cilcode.tmp/ex32.c" +int x = 5; +#line 2 "cilcode.tmp/ex32.c" +int f(void) +{ int x___0 ; + + { +#line 3 + x___0 = 3; +#line 6 + return (x); +} +} |