1  /* { dg-do run } */
       2  /* { dg-options "-O2 -fipa-pta -fdump-ipa-pta2-details" } */
       3  
       4  #include <stdarg.h>
       5  
       6  static void __attribute__((noinline,noclone))
       7  foo (int i, ...)
       8  {
       9    va_list ap;
      10    int *p;
      11    va_start (ap, i);
      12    p = va_arg (ap, int *);
      13    *p = 1;
      14    va_end (ap);
      15  }
      16  extern void abort (void);
      17  int main()
      18  {
      19    int i = 0;
      20    foo (0, &i);
      21    if (i != 1)
      22      abort ();
      23    return 0;
      24  }
      25  
      26  /* Verify we properly handle variadic arguments and do not let escape
      27     stuff through it.  */
      28  
      29  /* { dg-final { scan-ipa-dump "ESCAPED = { (ESCAPED )?(NONLOCAL )?}" "pta2" } } */