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, 51 deletions

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