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/test/small1/init.c | 177 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 177 insertions(+)
 create mode 100644 cil/test/small1/init.c

(limited to 'cil/test/small1/init.c')

diff --git a/cil/test/small1/init.c b/cil/test/small1/init.c
new file mode 100644
index 00000000..4578b5be
--- /dev/null
+++ b/cil/test/small1/init.c
@@ -0,0 +1,177 @@
+#ifndef __NULLTERM
+#define __NULLTERM
+#define __SIZED
+#endif
+#include "testharness.h"
+
+extern int strcmp(const char*, const char*);
+
+/* run this with COMPATMODE=1 if compiling directly, since neither GCC nor 
+ * MSVCC fully support the C standard */
+static char *usageplocal = "Usage";
+static char usageescape = 'C';
+
+char *usagep = "Usage non-local";
+char *usagep1 = { "Usage in a brace" };
+int  g = { 6 } ;
+
+char usages[] = "Usage string";
+char strange[] = { "several" };
+
+char *null = (void*)0;
+
+
+typedef struct s {
+  char *name;
+  int   data;
+} STR;
+
+extern int afunc(int x);
+int (*fptr)(int) = afunc;
+
+STR a[] = {
+  {"first", 0},
+  {"second", 1},
+  {& usages[2], 2},
+  { & usageescape, 3},
+  { usages, 4},
+};
+
+
+typedef struct {
+  struct {
+    char * a1[10];
+    char * a2;
+    char   strbuff[20] __NULLTERM;
+  } f1;
+  struct {
+    int * i1;
+  } f2[5] __SIZED;
+} NESTED;
+
+NESTED glob1;
+
+int glob3;
+int * glob2 = & glob3;
+
+int afunc(int a) {
+  NESTED loc1;
+  char   locbuff[30] __NULLTERM;
+  char   indexbuff[10] __SIZED;
+
+  loc1.f1.a2 = glob1.f1.a2;
+  
+  return * loc1.f2[3].i1 + (locbuff[0] - indexbuff[0]);
+}
+
+
+
+// now initialization for union
+union  {
+  struct {
+    int a;
+    int *b;
+  } u1;
+  int c;
+} uarray[] = { 1, 0, 2, 0, 3, 0 };
+
+
+// now some examples from the standard
+int z[4][3] =
+{ { 1 }, { 2 }, { 3 }, { 4 } };
+
+struct str1 { int a[3]; int b;};
+
+struct str1 w[] =
+{ { 1 }, { 2 } };
+
+
+short q[4][3][2] = {
+  { 1 } ,
+  { 2, 3 },
+  { 4, 5, 6}
+};
+
+short q1[4][3][2] = {
+  1, 0, 0, 0, 0, 0,
+  2, 3, 0, 0, 0, 0,
+  4, 5, 6, 0, 0, 0,
+};
+
+
+
+#ifdef _GNUCC
+int a1[10] = {
+  1, 3, 5, 7, 9, [6] = 8, 6, 4, 2};
+
+
+enum { member_one, member_two, member_three };
+char *nm[] = {
+  [member_two] = "member_two",
+  [member_three] = "member_three",
+};
+
+
+#endif
+
+
+
+#define ERROR(n) { printf("Incorrect init: %d\n", n); exit(1); }
+// Test the initialization
+int main() {
+  int i;
+
+  struct str1 astr = w[0];
+    
+  if(strcmp(a[0].name, "first")) {
+    ERROR(0);
+  }
+  if(sizeof(uarray) / sizeof(uarray[0]) != 3) {
+    ERROR(1);
+  } 
+  if(uarray[2].u1.a != 3) {
+    ERROR(2);
+  }
+
+  if(z[2][0] != 3 ||
+     z[2][1] != 0) {
+    ERROR(4);
+  }
+
+  if(sizeof(w) / sizeof(w[0]) != 2 ||
+     w[1].a[0] != 2) {
+    ERROR(5);
+  }
+  {
+    short * ps = (short*)q, * ps1 = (short*)q1;
+    for(i=0;i<sizeof(q) / sizeof(short); i++, ps ++, ps1 ++) {
+      if(*ps != *ps1) {
+        ERROR(6);
+      }
+    }
+  }
+
+#ifdef _GNUCC
+  if(a1[1] != 3 ||
+     a1[5] != 0 ||
+     a1[6] != 8 ||
+     a1[7] != 6) {
+    ERROR(7);
+  }
+
+
+  if(strcmp(nm[1], "member_two") ||
+     strcmp(nm[2], "member_three") ||
+     sizeof(nm) != 3 * sizeof(nm[0])) {
+    ERROR(8);
+  }
+
+#endif
+
+  
+  printf("Initialization test succeeded\n");
+  return 0;
+}
+
+
+
-- 
cgit