1 files changed, 31 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/va-arg-7.c b/gcc/testsuite/gcc.c-torture/execute/va-arg-7.c
new file mode 100644
index 000000000..f45219a56
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/va-arg-7.c
@@ -0,0 +1,31 @@
+/* Origin: Franz Sirl <Franz.Sirl-kernel@lauterbach.com> */
+
+#include <stdarg.h>
+
+inline void
+debug(int i1, int i2, int i3, int i4, int i5, int i6, int i7,
+      double f1, double f2, double f3, double f4, double f5,
+      double f6, double f7, double f8, double f9, ...)
+{
+  va_list ap;
+
+  va_start (ap, f9);
+
+  if (va_arg (ap,int) != 8)
+    abort ();
+  if (va_arg (ap,int) != 9)
+    abort ();
+  if (va_arg (ap,int) != 10)
+    abort ();
+
+  va_end (ap);
+}
+
+int
+main(void)
+{
+  debug (1, 2, 3, 4, 5, 6, 7,
+	 1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0,
+	 8, 9, 10);
+  exit (0);
+}