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

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