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/ex29.txt | 53 ----------------------------------------------- 1 file changed, 53 deletions(-) delete mode 100644 cil/doc/examples/ex29.txt (limited to 'cil/doc/examples/ex29.txt') diff --git a/cil/doc/examples/ex29.txt b/cil/doc/examples/ex29.txt deleted file mode 100644 index 7df8f681..00000000 --- a/cil/doc/examples/ex29.txt +++ /dev/null @@ -1,53 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 2 "cilcode.tmp/ex29.c" -struct mystruct { - int a ; - int b ; -}; -#line 1 "cilcode.tmp/ex29.c" -int main(void) -{ struct mystruct m ; - int local ; - int arr[3] ; - int *ptr ; - unsigned int __cil_tmp5 ; - unsigned int __cil_tmp6 ; - int __cil_tmp7 ; - unsigned int __cil_tmp8 ; - int *__cil_tmp9 ; - int __cil_tmp10 ; - unsigned int __cil_tmp11 ; - unsigned int __cil_tmp12 ; - unsigned int __cil_tmp13 ; - int m_b14 ; - int m_a15 ; - - { -#line 10 - ptr = & local; -#line 11 - __cil_tmp5 = 2 * 4U; -#line 11 - __cil_tmp6 = (unsigned int )(arr) + __cil_tmp5; -#line 11 - __cil_tmp7 = (*((int *)__cil_tmp6)); -#line 11 - __cil_tmp8 = (unsigned int )__cil_tmp7; -#line 11 - __cil_tmp9 = & local; -#line 11 - __cil_tmp10 = (*__cil_tmp9); -#line 11 - __cil_tmp11 = (unsigned int )__cil_tmp10; -#line 11 - __cil_tmp12 = __cil_tmp11 + 8U; -#line 11 - __cil_tmp13 = __cil_tmp12 + __cil_tmp8; -#line 11 - m_a15 = (int )__cil_tmp13; -#line 12 - return (m_a15); -} -} -- cgit