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