From 033aa0555a209fa3e825b1eeb8a5fc00ff8163e3 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 1 Nov 2009 09:55:35 +0000 Subject: Support Clight initializers of the form "int * x = &y;". git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1162 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- test/c/initializers.c | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'test/c') diff --git a/test/c/initializers.c b/test/c/initializers.c index 2c52d51..97ce99b 100644 --- a/test/c/initializers.c +++ b/test/c/initializers.c @@ -31,6 +31,10 @@ typedef enum { AAA , BBB } MyEnum; const MyEnum x13[2] = { AAA, BBB }; +int * x14 = &x2; + +struct { char * y; int * z; float * u; double * v; } x15 = { x4, x5, &x11, &x12 }; + int main(int argc, char ** argv) { int i; @@ -54,6 +58,11 @@ int main(int argc, char ** argv) printf("x11 = %.10f\n", x11); printf("x12 = %.10f\n", x12); printf("x13 = { %d, %d }\n", x13[0], x13[1]); + if (x14 == &x2) printf("x14 ok\n"); else printf("x14 error\n"); + if (x15.y == x4 && x15.z == x5 && x15.u == &x11 && x15.v == &x12) + printf("x15 ok\n"); + else + printf("x15 error\n"); return 0; } -- cgit v1.2.3