From a5f03d96eee482cd84861fc8cefff9eb451c0cad Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 29 Mar 2009 09:47:11 +0000
Subject: 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
---
 cil/doc/examples/ex41.txt | 69 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 69 insertions(+)
 create mode 100644 cil/doc/examples/ex41.txt

(limited to 'cil/doc/examples/ex41.txt')

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