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