1 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/20000519-1.c b/gcc/testsuite/gcc.c-torture/execute/20000519-1.c
new file mode 100644
index 000000000..eec5bdd8f
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20000519-1.c
@@ -0,0 +1,30 @@
+#include <stdarg.h>
+
+int
+bar (int a, va_list ap)
+{
+  int b;
+
+  do
+    b = va_arg (ap, int);
+  while (b > 10);
+
+  return a + b;
+}
+
+int
+foo (int a, ...)
+{
+  va_list ap;
+
+  va_start (ap, a);
+  return bar (a, ap);
+}
+
+int
+main ()
+{
+  if (foo (1, 2, 3) != 3)
+    abort ();
+  return 0;
+}