From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 3 Mar 2010 10:25:25 +0000 Subject: Getting rid of CIL git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/examples/ex12.txt | 32 -------------------------------- 1 file changed, 32 deletions(-) delete mode 100644 cil/doc/examples/ex12.txt (limited to 'cil/doc/examples/ex12.txt') 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); -} -} -- cgit