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

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

diff --git a/cil/test/small1/init1.c b/cil/test/small1/init1.c
new file mode 100644
index 00000000..e6334df9
--- /dev/null
+++ b/cil/test/small1/init1.c
@@ -0,0 +1,17 @@
+extern void exit(int);
+
+struct {
+  struct {
+    int *f1;
+    int *f2;
+  } s1;
+  struct {
+    int *f3;
+  } s2;
+} memory[10] = { 1 };
+
+int main() {
+  if(memory[0].s1.f1 != (int*)1)
+    exit(1);
+  exit(0);
+}
-- 
cgit