From 0919ed7222874f28a047d4ace01e15efd7edfe7d Mon Sep 17 00:00:00 2001
From: Dale Johannesen <dalej@gcc.gnu.org>
Date: Fri, 28 May 2004 17:09:22 +0000
Subject: [PATCH] New, from PR 14498.

From-SVN: r82368
---
 gcc/testsuite/gcc.dg/va-arg-3.c | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/va-arg-3.c

diff --git a/gcc/testsuite/gcc.dg/va-arg-3.c b/gcc/testsuite/gcc.dg/va-arg-3.c
new file mode 100644
index 00000000000..ef2344b4f3d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/va-arg-3.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-options "-O3" } */
+/* PR 14498.  */
+#include <stdarg.h>
+extern void baz(char *);
+void bar (va_list *args)
+{
+  if (args)
+    {
+      char *s = va_arg(*args, char *);
+      baz(s);
+    }
+}