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

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