Regenerate documentation

Author: kerneis

doc/cil.version.aux

@@ -0,0 +1,22 @@
+\relax 
+\@setckpt{cil.version}{
+\setcounter{page}{1}
+\setcounter{equation}{0}
+\setcounter{enumi}{0}
+\setcounter{enumii}{0}
+\setcounter{enumiii}{0}
+\setcounter{enumiv}{0}
+\setcounter{footnote}{0}
+\setcounter{mpfootnote}{0}
+\setcounter{part}{0}
+\setcounter{section}{0}
+\setcounter{subsection}{0}
+\setcounter{subsubsection}{0}
+\setcounter{paragraph}{0}
+\setcounter{subparagraph}{0}
+\setcounter{figure}{0}
+\setcounter{table}{0}
+\setcounter{cuttingdepth}{0}
+\setcounter{LT@tables}{0}
+\setcounter{LT@chunks}{0}
+}

doc/cil.version.tex

@@ -0,0 +1 @@
+\def\cilversion{1.7.3}

doc/cilcode.tmp/ex1.c

@@ -0,0 +1,6 @@
+int long signed x;
+signed long extern x;
+long static int long y;
+
+// Some code that uses these declaration, so that CIL does not remove them
+int main() { return x + y; }

doc/cilcode.tmp/ex1.cil.c

@@ -0,0 +1,17 @@
+/* Generated by CIL v. 1.7.3 */
+/* print_CIL_Input is true */
+
+#line 1 "cilcode.tmp/ex1.c"
+long x  ;
+#line 3 "cilcode.tmp/ex1.c"
+static long long y  ;
+#line 6 "cilcode.tmp/ex1.c"
+int main(void) 
+{ 
+
+
+  {
+#line 6
+  return ((int )((long long )x + y));
+}
+}

doc/cilcode.tmp/ex1.cil.i

@@ -0,0 +1,17 @@
+# 1 "cilcode.tmp/ex1.cil.c"
+# 1 "<command-line>"
+# 1 "cilcode.tmp/ex1.cil.c"
+# 1 "cilcode.tmp/ex1.c"
+long x ;
+# 3 "cilcode.tmp/ex1.c"
+static long long y ;
+# 6 "cilcode.tmp/ex1.c"
+int main(void)
+{
+
+
+  {
+# 6 "cilcode.tmp/ex1.c"
+  return ((int )((long long )x + y));
+}
+}

doc/cilcode.tmp/ex1.i

@@ -0,0 +1,9 @@
+# 1 "cilcode.tmp/ex1.c"
+# 1 "<command-line>"
+# 1 "cilcode.tmp/ex1.c"
+int long signed x;
+signed long extern x;
+long static int long y;
+
+
+int main() { return x + y; }

doc/cilcode.tmp/ex1.o

@@ -0,0 +1 @@
+char foo[] = "foo plus bar";

doc/cilcode.tmp/ex10.c

@@ -0,0 +1,10 @@
+/* Generated by CIL v. 1.7.3 */
+/* print_CIL_Input is true */
+
+#line 1 "cilcode.tmp/ex10.c"
+char foo[13]  = 
+#line 1 "cilcode.tmp/ex10.c"
+  {      (char )'f',      (char )'o',      (char )'o',      (char )' ', 
+        (char )'p',      (char )'l',      (char )'u',      (char )'s', 
+        (char )' ',      (char )'b',      (char )'a',      (char )'r', 
+        (char )'\000'};

doc/cilcode.tmp/ex10.cil.c

@@ -0,0 +1,10 @@
+# 1 "cilcode.tmp/ex10.cil.c"
+# 1 "<command-line>"
+# 1 "cilcode.tmp/ex10.cil.c"
+# 1 "cilcode.tmp/ex10.c"
+char foo[13] =
+# 1 "cilcode.tmp/ex10.c"
+  { (char )'f', (char )'o', (char )'o', (char )' ',
+        (char )'p', (char )'l', (char )'u', (char )'s',
+        (char )' ', (char )'b', (char )'a', (char )'r',
+        (char )'\000'};