summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.c-torture/execute/20020412-1.c
diff options
context:
space:
mode:
authorupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
committerupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
commit554fd8c5195424bdbcabf5de30fdc183aba391bd (patch)
tree976dc5ab7fddf506dadce60ae936f43f58787092 /gcc/testsuite/gcc.c-torture/execute/20020412-1.c
downloadcbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.bz2
cbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.xz
obtained gcc-4.6.4.tar.bz2 from upstream website;upstream
verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository.
Diffstat (limited to 'gcc/testsuite/gcc.c-torture/execute/20020412-1.c')
-rw-r--r--gcc/testsuite/gcc.c-torture/execute/20020412-1.c56
1 files changed, 56 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/20020412-1.c b/gcc/testsuite/gcc.c-torture/execute/20020412-1.c
new file mode 100644
index 000000000..df0efe008
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20020412-1.c
@@ -0,0 +1,56 @@
+/* PR c/3711
+ This testcase ICEd on IA-32 at -O0 and was miscompiled otherwise,
+ because std_expand_builtin_va_arg didn't handle variable size types. */
+
+#include <stdarg.h>
+
+extern void abort (void);
+extern void exit (int);
+
+void bar (int c)
+{
+ static int d = '0';
+
+ if (c != d++)
+ abort ();
+ if (c < '0' || c > '9')
+ abort ();
+}
+
+void foo (int size, ...)
+{
+ struct
+ {
+ char x[size];
+ } d;
+ va_list ap;
+ int i;
+
+ va_start (ap, size);
+ d = va_arg (ap, typeof (d));
+ for (i = 0; i < size; i++)
+ bar (d.x[i]);
+ d = va_arg (ap, typeof (d));
+ for (i = 0; i < size; i++)
+ bar (d.x[i]);
+ va_end (ap);
+}
+
+int main (void)
+{
+ int z = 5;
+ struct { char a[z]; } x, y;
+
+ x.a[0] = '0';
+ x.a[1] = '1';
+ x.a[2] = '2';
+ x.a[3] = '3';
+ x.a[4] = '4';
+ y.a[0] = '5';
+ y.a[1] = '6';
+ y.a[2] = '7';
+ y.a[3] = '8';
+ y.a[4] = '9';
+ foo (z, x, y);
+ exit (0);
+}