Getting rid of CIL

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 0 insertions, 59 deletions

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);
-}
-}