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