Cleaned up configure script.

Distribution of CIL as an expanded source tree with changes applied
(instead of original .tar.gz + patches to be applied at config time).


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

1 files changed, 69 insertions, 0 deletions

diff --git a/cil/doc/examples/ex41.txt b/cil/doc/examples/ex41.txt
new file mode 100644
index 00000000..f1196f39
--- /dev/null
+++ b/cil/doc/examples/ex41.txt
@@ -0,0 +1,69 @@
+/* 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);
+}
+}