1 /* { dg-do compile } */
2 /* { dg-options "-O3" } */
3 /* PR 14498.  */
4 #include <stdarg.h>
5 extern void baz(char *);
bar(va_list * args)6 void bar (va_list *args)
7 {
8   if (args)
9     {
10       char *s = va_arg(*args, char *);
11       baz(s);
12     }
13 }
14