diff options
Diffstat (limited to 'cil/doc/examples')
47 files changed, 0 insertions, 1226 deletions
diff --git a/cil/doc/examples/ex1.txt b/cil/doc/examples/ex1.txt deleted file mode 100644 index 2fe6c210..00000000 --- a/cil/doc/examples/ex1.txt +++ /dev/null @@ -1,16 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex1.c" -long x ; -#line 3 "cilcode.tmp/ex1.c" -static long long y ; -#line 6 "cilcode.tmp/ex1.c" -int main(void) -{ - - { -#line 6 - return ((int )((long long )x + y)); -} -} diff --git a/cil/doc/examples/ex10.txt b/cil/doc/examples/ex10.txt deleted file mode 100644 index 7213b4c3..00000000 --- a/cil/doc/examples/ex10.txt +++ /dev/null @@ -1,10 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex10.c" -char foo[13] = -#line 1 - { (char )'f', (char )'o', (char )'o', (char )' ', - (char )'p', (char )'l', (char )'u', (char )'s', - (char )' ', (char )'b', (char )'a', (char )'r', - (char )'\000'}; diff --git a/cil/doc/examples/ex11.txt b/cil/doc/examples/ex11.txt deleted file mode 100644 index 683df519..00000000 --- a/cil/doc/examples/ex11.txt +++ /dev/null @@ -1,5 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex11.c" -char *foo = (char *)"foo plus bar "; 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); -} -} diff --git a/cil/doc/examples/ex13.txt b/cil/doc/examples/ex13.txt deleted file mode 100644 index 6486ad6e..00000000 --- a/cil/doc/examples/ex13.txt +++ /dev/null @@ -1,21 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex13.c" -int x = 5; -#line 2 "cilcode.tmp/ex13.c" -int main(void) -{ int x___0 ; - int x___1 ; - - { -#line 3 - x___0 = 6; -#line 5 - x___1 = 7; -#line 6 - return (x___1); -#line 8 - return (x___0); -} -} diff --git a/cil/doc/examples/ex14.txt b/cil/doc/examples/ex14.txt deleted file mode 100644 index 72fc719e..00000000 --- a/cil/doc/examples/ex14.txt +++ /dev/null @@ -1,22 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex14.c" -int x = 5; -#line 5 -int main(void) ; -#line 5 "cilcode.tmp/ex14.c" -static int x___1 = 7; -#line 2 "cilcode.tmp/ex14.c" -int main(void) -{ int x___0 ; - - { -#line 3 - x___0 = 6; -#line 6 - return (x___1); -#line 8 - return (x___0); -} -} diff --git a/cil/doc/examples/ex15.txt b/cil/doc/examples/ex15.txt deleted file mode 100644 index 4f64ae9b..00000000 --- a/cil/doc/examples/ex15.txt +++ /dev/null @@ -1,14 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex15.c" -int foo(void) -{ int x ; - - { -#line 2 - x = 5; -#line 3 - return (0); -} -} diff --git a/cil/doc/examples/ex16.txt b/cil/doc/examples/ex16.txt deleted file mode 100644 index 82290c28..00000000 --- a/cil/doc/examples/ex16.txt +++ /dev/null @@ -1,22 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex16.c" -extern int f(int ) ; -#line 1 "cilcode.tmp/ex16.c" -int main(void) -{ int x ; - int tmp ; - int tmp___0 ; - - { -#line 2 - tmp = x; -#line 2 - x ++; -#line 2 - tmp___0 = f(x); -#line 2 - return (tmp + tmp___0); -} -} diff --git a/cil/doc/examples/ex17.txt b/cil/doc/examples/ex17.txt deleted file mode 100644 index 20bbaa7a..00000000 --- a/cil/doc/examples/ex17.txt +++ /dev/null @@ -1,81 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex17.c" -int main(void) -{ int x ; - int y ; - int tmp ; - int z ; - int tmp___0 ; - - { -#line 2 - if (x) { -#line 2 - tmp = 2; - } else { -#line 2 - tmp = 4; - } -#line 2 - y = tmp; -#line 3 - if (x) { -#line 3 - tmp___0 = 1; - } else { -#line 3 - if (y) { -#line 3 - tmp___0 = 1; - } else { -#line 3 - tmp___0 = 0; - } - } -#line 3 - z = tmp___0; -#line 5 - if (x) { -#line 5 - if (y) { -#line 5 - return (0); - } else { -#line 5 - return (1); - } - } else { -#line 5 - return (1); - } -#line 8 - if (x) { -#line 8 - if (y) { - goto _L; - } else { - goto _L___0; - } - } else { - _L___0: /* CIL Label */ -#line 8 - if (z) { - _L: /* CIL Label */ -#line 8 - x ++; -#line 8 - y ++; -#line 8 - z ++; -#line 8 - x ++; -#line 8 - y ++; -#line 8 - return (z); - } - } -} -} diff --git a/cil/doc/examples/ex18.txt b/cil/doc/examples/ex18.txt deleted file mode 100644 index bcdb7ef2..00000000 --- a/cil/doc/examples/ex18.txt +++ /dev/null @@ -1,20 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex18.c" -extern int f() ; -#line 1 "cilcode.tmp/ex18.c" -int main(void) -{ int tmp___0 ; - - { -#line 2 - tmp___0 = f(); - if (! tmp___0) { -#line 2 - tmp___0 = 4; - } -#line 2 - return (tmp___0); -} -} diff --git a/cil/doc/examples/ex19.txt b/cil/doc/examples/ex19.txt deleted file mode 100644 index 3b82868f..00000000 --- a/cil/doc/examples/ex19.txt +++ /dev/null @@ -1,42 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex19.c" -int main(void) -{ int x ; - int i ; - - { -#line 2 - i = 0; -#line 2 - while (i < 5) { -#line 3 - if (i == 5) { - goto __Cont; - } -#line 4 - if (i == 4) { -#line 4 - break; - } -#line 5 - i += 2; - __Cont: /* CIL Label */ -#line 2 - i ++; - } -#line 7 - while (x < 5) { -#line 8 - if (x == 3) { -#line 8 - continue; - } -#line 9 - x ++; - } -#line 11 - return (0); -} -} diff --git a/cil/doc/examples/ex2.txt b/cil/doc/examples/ex2.txt deleted file mode 100644 index 20313828..00000000 --- a/cil/doc/examples/ex2.txt +++ /dev/null @@ -1,9 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex2.c" -struct __anonstruct_s_1 { - int x ; -}; -#line 1 "cilcode.tmp/ex2.c" -struct __anonstruct_s_1 s ; diff --git a/cil/doc/examples/ex20.txt b/cil/doc/examples/ex20.txt deleted file mode 100644 index 7a51db3b..00000000 --- a/cil/doc/examples/ex20.txt +++ /dev/null @@ -1,26 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex20.c" -int main(void) -{ int x ; - int y ; - int z ; - - { -#line 1 - x = 5; -#line 1 - y = x; -#line 2 - x ++; - L: -#line 2 - y -= x; -#line 2 - z = y; - goto L; -#line 3 - return (0); -} -} diff --git a/cil/doc/examples/ex21.txt b/cil/doc/examples/ex21.txt deleted file mode 100644 index 3f331e42..00000000 --- a/cil/doc/examples/ex21.txt +++ /dev/null @@ -1,25 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex21.c" -int main(void) -{ int x ; - int y ; - int z ; - int *tmp ; - - { -#line 2 - if (x) { -#line 2 - tmp = & y; - } else { -#line 2 - tmp = & z; - } -#line 2 - x ++; -#line 2 - return (tmp - & x); -} -} diff --git a/cil/doc/examples/ex22.txt b/cil/doc/examples/ex22.txt deleted file mode 100644 index 2224e7c7..00000000 --- a/cil/doc/examples/ex22.txt +++ /dev/null @@ -1,16 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 327 "/usr/include/stdio.h" -extern int printf(char const * __restrict __format , ...) ; -#line 7 "cilcode.tmp/ex22.c" -int main(void) -{ - - { -#line 9 - printf((char const * __restrict )"Hello world\n"); -#line 10 - return (0); -} -} diff --git a/cil/doc/examples/ex23.txt b/cil/doc/examples/ex23.txt deleted file mode 100644 index d48a1358..00000000 --- a/cil/doc/examples/ex23.txt +++ /dev/null @@ -1,56 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex23.c" -int foo(int predicate ) -{ int x ; - - { -#line 2 - x = 0; -#line 4 - if (predicate == 0) { - goto switch_0_0; - } else { -#line 5 - if (predicate == 1) { - goto switch_0_1; - } else { -#line 6 - if (predicate == 2) { - goto switch_0_2; - } else { -#line 7 - if (predicate == 3) { - goto switch_0_3; - } else { - { - goto switch_0_default; -#line 3 - if (0) { - switch_0_0: /* CIL Label */ -#line 4 - return (111); - switch_0_1: /* CIL Label */ -#line 5 - x ++; - switch_0_2: /* CIL Label */ -#line 6 - return (x + 3); - switch_0_3: /* CIL Label */ - goto switch_0_break; - switch_0_default: /* CIL Label */ ; -#line 8 - return (222); - } else { - switch_0_break: /* CIL Label */ ; - } - } - } - } - } - } -#line 10 - return (333); -} -} diff --git a/cil/doc/examples/ex24.txt b/cil/doc/examples/ex24.txt deleted file mode 100644 index 587ce674..00000000 --- a/cil/doc/examples/ex24.txt +++ /dev/null @@ -1,59 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -extern void * stackguard_get_ra(); -extern void stackguard_set_ra(void *new_ra); -/* You must provide an implementation for functions that get and set the - * return address. Such code is unfortunately architecture specific. - */ -struct stackguard_stack { - void * data; - struct stackguard_stack * next; -} * stackguard_stack; - -void stackguard_push(void *ra) { - void * old = stackguard_stack; - stackguard_stack = (struct stackguard_stack *) - malloc(sizeof(stackguard_stack)); - stackguard_stack->data = ra; - stackguard_stack->next = old; -} - -void * stackguard_pop() { - void * ret = stackguard_stack->data; - void * next = stackguard_stack->next; - free(stackguard_stack); - stackguard_stack->next = next; - return ret; -} -#line 3 "cilcode.tmp/ex24.c" -extern int ( /* missing proto */ scanf)() ; -#line 1 "cilcode.tmp/ex24.c" -int dangerous(void) -{ char array[10] ; - void *return_address ; - - { - return_address = (void *)stackguard_get_ra(); - stackguard_push(return_address); -#line 3 - scanf("%s", array); - { - return_address = (void *)stackguard_pop(); - stackguard_set_ra(return_address); -#line 4 - return (0); - } -} -} -#line 6 "cilcode.tmp/ex24.c" -int main(void) -{ int tmp ; - - { -#line 7 - tmp = dangerous(); -#line 7 - return (tmp); -} -} diff --git a/cil/doc/examples/ex25.txt b/cil/doc/examples/ex25.txt deleted file mode 100644 index 88f6902e..00000000 --- a/cil/doc/examples/ex25.txt +++ /dev/null @@ -1,40 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 3 "cilcode.tmp/ex25.c" -extern int ( /* missing proto */ scanf)() ; -#line 1 "cilcode.tmp/ex25.c" -struct dangerous_heapify { - char array[10] ; -}; -#line 1 "cilcode.tmp/ex25.c" -int dangerous(void) -{ struct dangerous_heapify *dangerous_heapify ; - int __cil_tmp3 ; - - { -#line 1 - dangerous_heapify = (struct dangerous_heapify *)malloc(sizeof(struct dangerous_heapify )); -#line 3 - scanf("%s", dangerous_heapify->array); - { -#line 4 - __cil_tmp3 = 0; -#line 4 - free(dangerous_heapify); -#line 4 - return (__cil_tmp3); - } -} -} -#line 6 "cilcode.tmp/ex25.c" -int main(void) -{ int tmp ; - - { -#line 7 - tmp = dangerous(); -#line 7 - return (tmp); -} -} diff --git a/cil/doc/examples/ex26.txt b/cil/doc/examples/ex26.txt deleted file mode 100644 index 8f5b1718..00000000 --- a/cil/doc/examples/ex26.txt +++ /dev/null @@ -1,29 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex26.c" -int foo(int predicate ) -{ int __retres ; - - { -#line 2 - if (predicate <= 0) { -#line 3 - __retres = 1; - goto return_label; - } else { -#line 5 - if (predicate > 5) { -#line 6 - __retres = 2; - goto return_label; - } -#line 7 - __retres = 3; - goto return_label; - } - return_label: /* CIL Label */ -#line 1 - return (__retres); -} -} diff --git a/cil/doc/examples/ex27.txt b/cil/doc/examples/ex27.txt deleted file mode 100644 index 60591132..00000000 --- a/cil/doc/examples/ex27.txt +++ /dev/null @@ -1,51 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex27.c" -int foo(int x , int y ) -{ int unknown ; - - { -#line 3 - if (unknown) { -#line 4 - return (9); - } -#line 5 - return (x + 3); -} -} -#line 8 "cilcode.tmp/ex27.c" -int main(void) -{ int a ; - int b ; - int c ; - int tmp ; - int tmp___0 ; - - { - { -#line 10 - tmp = foo(5, 7); -#line 10 - tmp___0 = foo(6, 7); -#line 10 - a = tmp + tmp___0; -#line 11 - b = 4; -#line 12 - c = 16; - } - { - { -#line 16 - return (20); - } -#line 13 - if (0) { -#line 14 - return (b - c); - } - } -} -} diff --git a/cil/doc/examples/ex28.txt b/cil/doc/examples/ex28.txt deleted file mode 100644 index 098b144a..00000000 --- a/cil/doc/examples/ex28.txt +++ /dev/null @@ -1,24 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex28.c" -int main(void) -{ int ***three ; - int **two ; - int **mem_3 ; - int *mem_4 ; - int *mem_5 ; - - { -#line 4 - mem_3 = (*three); -#line 4 - mem_4 = (*mem_3); -#line 4 - mem_5 = (*two); -#line 4 - (*mem_4) = (*mem_5); -#line 5 - return (0); -} -} 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); -} -} diff --git a/cil/doc/examples/ex3.txt b/cil/doc/examples/ex3.txt deleted file mode 100644 index 2ca8ac95..00000000 --- a/cil/doc/examples/ex3.txt +++ /dev/null @@ -1,20 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex3.c" -union baz { - int x1 ; - double x2 ; -}; -#line 1 "cilcode.tmp/ex3.c" -struct bar { - union baz u1 ; - int y ; -}; -#line 1 "cilcode.tmp/ex3.c" -struct foo { - struct bar s1 ; - int z ; -}; -#line 1 "cilcode.tmp/ex3.c" -struct foo f ; diff --git a/cil/doc/examples/ex30.txt b/cil/doc/examples/ex30.txt deleted file mode 100644 index 729cfb06..00000000 --- a/cil/doc/examples/ex30.txt +++ /dev/null @@ -1,12 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex30.c" -int main(void) -{ int x ; - - { -#line 2 - return (x == (x != 0)); -} -} diff --git a/cil/doc/examples/ex31.txt b/cil/doc/examples/ex31.txt deleted file mode 100644 index ab7d4716..00000000 --- a/cil/doc/examples/ex31.txt +++ /dev/null @@ -1,12 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex31.c" -int main(void) -{ - - { -#line 1 - return ((int )((1U - sizeof(int )) >> 32)); -} -} diff --git a/cil/doc/examples/ex32.txt b/cil/doc/examples/ex32.txt deleted file mode 100644 index f2b6b5b1..00000000 --- a/cil/doc/examples/ex32.txt +++ /dev/null @@ -1,16 +0,0 @@ -/* 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); -} -} diff --git a/cil/doc/examples/ex33.txt b/cil/doc/examples/ex33.txt deleted file mode 100644 index f73178f9..00000000 --- a/cil/doc/examples/ex33.txt +++ /dev/null @@ -1,24 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex33.c" -int (*pf)(void) ; -#line 2 "cilcode.tmp/ex33.c" -int f(void) -{ - - { -#line 4 - pf = & f; -#line 5 - pf = & f; -#line 6 - ((*pf))(); -#line 7 - ((*pf))(); -#line 8 - f(); -#line 9 - return (0); -} -} diff --git a/cil/doc/examples/ex34.txt b/cil/doc/examples/ex34.txt deleted file mode 100644 index 494ca916..00000000 --- a/cil/doc/examples/ex34.txt +++ /dev/null @@ -1,15 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex34.c" -struct __anonstruct_nested_2 { - int y ; - int z ; -}; -#line 1 "cilcode.tmp/ex34.c" -struct __anonstruct_i_1 { - int x ; - struct __anonstruct_nested_2 nested ; -}; -#line 1 "cilcode.tmp/ex34.c" -struct __anonstruct_i_1 i = {1, {2, 6}}; diff --git a/cil/doc/examples/ex35.txt b/cil/doc/examples/ex35.txt deleted file mode 100644 index 1af7447c..00000000 --- a/cil/doc/examples/ex35.txt +++ /dev/null @@ -1,32 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex35.c" -struct __anonstruct_T1_1 { - char *key ; - char *value ; -}; -#line 1 "cilcode.tmp/ex35.c" -typedef struct __anonstruct_T1_1 T1; -#line 7 "cilcode.tmp/ex35.c" -struct __anonstruct_T3_2 { - long type ; - char *value ; -}; -#line 7 "cilcode.tmp/ex35.c" -typedef struct __anonstruct_T3_2 T3; -#line 13 "cilcode.tmp/ex35.c" -struct __anonstruct_T3_2 __constr_expr_0 = {1L, (char *)1}; -#line 13 "cilcode.tmp/ex35.c" -T1 a[1] = { {(char *)"", (char *)(& __constr_expr_0)}}; -#line 20 "cilcode.tmp/ex35.c" -int main(void) -{ T3 *pt3 ; - - { -#line 21 - pt3 = (T3 *)a[0].value; -#line 22 - return ((int )pt3->value); -} -} diff --git a/cil/doc/examples/ex36.txt b/cil/doc/examples/ex36.txt deleted file mode 100644 index adbcdaaa..00000000 --- a/cil/doc/examples/ex36.txt +++ /dev/null @@ -1,20 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex36.c" -int main(void) -{ int __constr_expr_0[4] ; - - { -#line 1 - __constr_expr_0[0] = 1; -#line 1 - __constr_expr_0[1] = 2; -#line 1 - __constr_expr_0[2] = 3; -#line 1 - __constr_expr_0[3] = 4; -#line 1 - return (__constr_expr_0[1]); -} -} diff --git a/cil/doc/examples/ex37.txt b/cil/doc/examples/ex37.txt deleted file mode 100644 index 00d6ca44..00000000 --- a/cil/doc/examples/ex37.txt +++ /dev/null @@ -1,14 +0,0 @@ -/* 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); -} -} diff --git a/cil/doc/examples/ex38.txt b/cil/doc/examples/ex38.txt deleted file mode 100644 index 706e13d9..00000000 --- a/cil/doc/examples/ex38.txt +++ /dev/null @@ -1,12 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex38.c" -unsigned long foo(void) -{ - - { -#line 2 - return (536870911UL); -} -} diff --git a/cil/doc/examples/ex39.txt b/cil/doc/examples/ex39.txt deleted file mode 100644 index 2c8c25f9..00000000 --- a/cil/doc/examples/ex39.txt +++ /dev/null @@ -1,25 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex39.c" -int main(void) -{ int x ; - int y ; - int z ; - int *tmp ; - - { -#line 2 - if (x) { -#line 2 - tmp = & y; - } else { -#line 2 - tmp = & z; - } -#line 2 - x ++; -#line 2 - return (tmp - & x); -} -} diff --git a/cil/doc/examples/ex4.txt b/cil/doc/examples/ex4.txt deleted file mode 100644 index 00a22d31..00000000 --- a/cil/doc/examples/ex4.txt +++ /dev/null @@ -1,16 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 2 "cilcode.tmp/ex4.c" -struct foo { - int x ; -}; -#line 1 "cilcode.tmp/ex4.c" -int main(void) -{ struct foo foo ; - - { -#line 8 - return (foo.x); -} -} diff --git a/cil/doc/examples/ex40.txt b/cil/doc/examples/ex40.txt deleted file mode 100644 index c41496b3..00000000 --- a/cil/doc/examples/ex40.txt +++ /dev/null @@ -1,20 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex40.c" -extern int f() ; -#line 1 "cilcode.tmp/ex40.c" -int main(void) -{ int tmp___0 ; - - { -#line 2 - tmp___0 = f(); - if (! tmp___0) { -#line 2 - tmp___0 = -1; - } -#line 2 - return (tmp___0); -} -} diff --git a/cil/doc/examples/ex41.txt b/cil/doc/examples/ex41.txt deleted file mode 100644 index f1196f39..00000000 --- a/cil/doc/examples/ex41.txt +++ /dev/null @@ -1,69 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex41.c" -static void *jtab[2] ; -#line 4 -static int doit(int x ) ; -#line 4 "cilcode.tmp/ex41.c" -static int jtab_init = 0; -#line 2 "cilcode.tmp/ex41.c" -static int doit(int x ) -{ unsigned int __compgoto ; - - { -#line 5 - if (! jtab_init) { -#line 6 - jtab[0] = (void *)0; -#line 7 - jtab[1] = (void *)1; -#line 8 - jtab_init = 1; - } -#line 10 - __compgoto = (unsigned int )jtab[x]; -#line 10 - switch (__compgoto) { - case 1: - goto lbl2; - case 0: - goto lbl1; - default: -#line 10 - (*((int *)0)) = 0; - } - lbl1: -#line 12 - return (0); - lbl2: -#line 14 - return (1); -} -} -#line 18 -extern int ( /* missing proto */ exit)() ; -#line 17 "cilcode.tmp/ex41.c" -int main(void) -{ int tmp ; - int tmp___0 ; - - { -#line 18 - tmp = doit(0); -#line 18 - if (tmp != 0) { -#line 18 - exit(1); - } -#line 19 - tmp___0 = doit(1); -#line 19 - if (tmp___0 != 1) { -#line 19 - exit(1); - } -#line 20 - exit(0); -} -} diff --git a/cil/doc/examples/ex42.txt b/cil/doc/examples/ex42.txt deleted file mode 100644 index b0f40b88..00000000 --- a/cil/doc/examples/ex42.txt +++ /dev/null @@ -1,22 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex42.c" -int main(void) -{ int tmp ; - - { - goto L; -#line 1 - if (0) { - L: -#line 1 - tmp = 1; - } else { -#line 1 - tmp = 0; - } -#line 1 - return (tmp); -} -} diff --git a/cil/doc/examples/ex43.txt b/cil/doc/examples/ex43.txt deleted file mode 100644 index 4104f797..00000000 --- a/cil/doc/examples/ex43.txt +++ /dev/null @@ -1,46 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex43.c" -__inline static int foo__extinline(void) -{ - - { -#line 1 - return (1); -} -} -#line 2 "cilcode.tmp/ex43.c" -int firstuse(void) -{ int tmp ; - - { -#line 2 - tmp = foo__extinline(); -#line 2 - return (tmp); -} -} -#line 5 "cilcode.tmp/ex43.c" -int foo(void) -{ - - { -#line 5 - return (2); -} -} -#line 7 "cilcode.tmp/ex43.c" -int main(void) -{ int tmp ; - int tmp___0 ; - - { -#line 8 - tmp = foo(); -#line 8 - tmp___0 = firstuse(); -#line 8 - return (tmp + tmp___0); -} -} diff --git a/cil/doc/examples/ex44.txt b/cil/doc/examples/ex44.txt deleted file mode 100644 index 06f83ba3..00000000 --- a/cil/doc/examples/ex44.txt +++ /dev/null @@ -1,31 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex44.c" -struct s { - int i1 ; - int i2 ; -}; -#line 1 "cilcode.tmp/ex44.c" -union u { - int i ; - struct s s ; -}; -#line 8 "cilcode.tmp/ex44.c" -union u x = {6}; -#line 10 "cilcode.tmp/ex44.c" -int main(void) -{ struct s y ; - union u z ; - - { -#line 11 - y.i1 = 1; -#line 11 - y.i2 = 2; -#line 12 - z.s = y; -#line 13 - return (0); -} -} diff --git a/cil/doc/examples/ex45.txt b/cil/doc/examples/ex45.txt deleted file mode 100644 index aaafca3a..00000000 --- a/cil/doc/examples/ex45.txt +++ /dev/null @@ -1,11 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex45.c" -char i8 ; -#line 2 "cilcode.tmp/ex45.c" -short i16 ; -#line 3 "cilcode.tmp/ex45.c" -int i32 ; -#line 4 "cilcode.tmp/ex45.c" -long long i64 ; diff --git a/cil/doc/examples/ex46.txt b/cil/doc/examples/ex46.txt deleted file mode 100644 index 1f87ec2f..00000000 --- a/cil/doc/examples/ex46.txt +++ /dev/null @@ -1,23 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex46.c" -static int bar(int x , char y ) -{ - - { -#line 2 - return (x + (int )y); -} -} -#line 6 "cilcode.tmp/ex46.c" -int foo(int x , char y ) -{ int tmp ; - - { -#line 6 - tmp = bar(x, y); -#line 6 - return (tmp); -} -} diff --git a/cil/doc/examples/ex47.txt b/cil/doc/examples/ex47.txt deleted file mode 100644 index cc5c3067..00000000 --- a/cil/doc/examples/ex47.txt +++ /dev/null @@ -1,28 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex47.c" -struct __anonstruct____missing_field_name_3 { - int u ; - int v ; -}; -#line 1 "cilcode.tmp/ex47.c" -struct __anonstruct____missing_field_name_2 { - int y ; - int z ; - struct __anonstruct____missing_field_name_3 __annonCompField1 ; -}; -#line 1 "cilcode.tmp/ex47.c" -struct __anonstruct_a_1 { - int x ; - struct __anonstruct____missing_field_name_2 __annonCompField2 ; -}; -#line 1 "cilcode.tmp/ex47.c" -int main(void) -{ struct __anonstruct_a_1 a ; - - { -#line 10 - return ((((a.x + a.__annonCompField2.y) + a.__annonCompField2.z) + a.__annonCompField2.__annonCompField1.u) + a.__annonCompField2.__annonCompField1.v); -} -} diff --git a/cil/doc/examples/ex5.txt b/cil/doc/examples/ex5.txt deleted file mode 100644 index d750bb59..00000000 --- a/cil/doc/examples/ex5.txt +++ /dev/null @@ -1,27 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex5.c" -int f(double x ) ; -#line 3 -int g(double x ) ; -#line 2 "cilcode.tmp/ex5.c" -int f(double x ) -{ int tmp ; - - { -#line 3 - tmp = g(x); -#line 3 - return (tmp); -} -} -#line 5 "cilcode.tmp/ex5.c" -int g(double x ) -{ - - { -#line 6 - return ((int )x); -} -} diff --git a/cil/doc/examples/ex6.txt b/cil/doc/examples/ex6.txt deleted file mode 100644 index c33eb9e3..00000000 --- a/cil/doc/examples/ex6.txt +++ /dev/null @@ -1,7 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex6.c" -int a1[3] = { 1, 2, 3}; -#line 2 "cilcode.tmp/ex6.c" -int a2[8] ; diff --git a/cil/doc/examples/ex7.txt b/cil/doc/examples/ex7.txt deleted file mode 100644 index 55434c70..00000000 --- a/cil/doc/examples/ex7.txt +++ /dev/null @@ -1,22 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 2 "cilcode.tmp/ex7.c" -enum __anonenum_x_1 { - FIVE = 5, - SIX = 6, - SEVEN = 7, - FOUR = 4, - EIGHT = 8 -} ; -#line 1 "cilcode.tmp/ex7.c" -int main(void) -{ enum __anonenum_x_1 x ; - - { -#line 2 - x = 5; -#line 8 - return ((int )x); -} -} diff --git a/cil/doc/examples/ex8.txt b/cil/doc/examples/ex8.txt deleted file mode 100644 index 323a41e9..00000000 --- a/cil/doc/examples/ex8.txt +++ /dev/null @@ -1,13 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 2 "cilcode.tmp/ex8.c" -struct foo { - int x ; - int y ; -}; -#line 1 "cilcode.tmp/ex8.c" -int a1[5] = { 1, 2, 3, 0, - 0}; -#line 2 "cilcode.tmp/ex8.c" -struct foo s1 = {4, 0}; diff --git a/cil/doc/examples/ex9.txt b/cil/doc/examples/ex9.txt deleted file mode 100644 index 22e976ca..00000000 --- a/cil/doc/examples/ex9.txt +++ /dev/null @@ -1,16 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex9.c" -struct inner { - int z ; -}; -#line 1 "cilcode.tmp/ex9.c" -struct foo { - int x ; - int y ; - int a[5] ; - struct inner inner ; -}; -#line 1 "cilcode.tmp/ex9.c" -struct foo s = {0, 8, {0, 5, 5, 4, 0}, {3}}; |