This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[testcase] va_arg handling
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Richard Henderson <rth at redhat dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Fri, 8 Mar 2002 15:17:15 +0100
- Subject: [testcase] va_arg handling
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
Hi!
In order to test that my va_arg patch did not broke something what used to
work previously, I cooked up following testcase.
Ok to commit?
2002-03-08 Jakub Jelinek <jakub@redhat.com>
* gcc.c-torture/execute/20020308-1.c: New test.
--- gcc/testsuite/gcc.c-torture/execute/20020308-1.c.jj Fri Mar 8 15:21:51 2002
+++ gcc/testsuite/gcc.c-torture/execute/20020308-1.c Fri Mar 8 15:21:02 2002
@@ -0,0 +1,78 @@
+#include <stdarg.h>
+
+extern void abort (void);
+extern void exit (int);
+
+void bar (int n, int c)
+{
+ static int lastn = -1, lastc = -1;
+
+ if (lastn != n)
+ {
+ if (lastc != lastn)
+ abort ();
+ lastc = 0;
+ lastn = n;
+ }
+
+ if (c != (char) (lastc ^ (n << 3)))
+ abort ();
+ lastc++;
+}
+
+#define D(N) typedef struct { char x[N]; } A##N;
+D(0) D(1) D(2) D(3) D(4) D(5) D(6) D(7)
+D(8) D(9) D(10) D(11) D(12) D(13) D(14) D(15)
+D(16) D(31) D(32) D(35) D(72)
+#undef D
+
+void foo (int size, ...)
+{
+#define D(N) A##N a##N;
+D(0) D(1) D(2) D(3) D(4) D(5) D(6) D(7)
+D(8) D(9) D(10) D(11) D(12) D(13) D(14) D(15)
+D(16) D(31) D(32) D(35) D(72)
+#undef D
+ va_list ap;
+ int i;
+
+ if (size != 21)
+ abort ();
+ va_start (ap, size);
+#define D(N) \
+ a##N = va_arg (ap, typeof (a##N)); \
+ for (i = 0; i < N; i++) \
+ bar (N, a##N.x[i]);
+D(0) D(1) D(2) D(3) D(4) D(5) D(6) D(7)
+D(8) D(9) D(10) D(11) D(12) D(13) D(14) D(15)
+D(16) D(31) D(32) D(35) D(72)
+#undef D
+ va_end (ap);
+}
+
+int main (void)
+{
+#define D(N) A##N a##N;
+D(0) D(1) D(2) D(3) D(4) D(5) D(6) D(7)
+D(8) D(9) D(10) D(11) D(12) D(13) D(14) D(15)
+D(16) D(31) D(32) D(35) D(72)
+#undef D
+ int i;
+
+#define D(N) \
+ for (i = 0; i < N; i++) \
+ a##N.x[i] = i ^ (N << 3);
+D(0) D(1) D(2) D(3) D(4) D(5) D(6) D(7)
+D(8) D(9) D(10) D(11) D(12) D(13) D(14) D(15)
+D(16) D(31) D(32) D(35) D(72)
+#undef D
+
+ foo (21
+#define D(N) , a##N
+D(0) D(1) D(2) D(3) D(4) D(5) D(6) D(7)
+D(8) D(9) D(10) D(11) D(12) D(13) D(14) D(15)
+D(16) D(31) D(32) D(35) D(72)
+#undef D
+ );
+ exit (0);
+}
Jakub