diff options
Diffstat (limited to 'cil/doc/examples/ex12.txt')
-rw-r--r-- | cil/doc/examples/ex12.txt | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/cil/doc/examples/ex12.txt b/cil/doc/examples/ex12.txt deleted file mode 100644 index d04d83d8..00000000 --- a/cil/doc/examples/ex12.txt +++ /dev/null @@ -1,32 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 2 "cilcode.tmp/ex12.c" -struct foo { - int f1 ; - int f2 ; -}; -#line 1 "cilcode.tmp/ex12.c" -int main(void) -{ int x ; - struct foo a[3] ; - - { -#line 1 - x = 5; -#line 2 - a[0].f1 = 1; -#line 2 - a[0].f2 = 2; -#line 2 - a[1].f1 = 3; -#line 2 - a[1].f2 = 4; -#line 2 - a[2].f1 = 5; -#line 2 - a[2].f2 = 0; -#line 3 - return (0); -} -} |