1 /* PR target/64979 */
2 
3 #include <stdarg.h>
4 
5 void __attribute__((noinline, noclone))
bar(int x,va_list * ap)6 bar (int x, va_list *ap)
7 {
8   if (ap)
9     {
10       int i;
11       for (i = 0; i < 10; i++)
12 	if (i != va_arg (*ap, int))
13 	  __builtin_abort ();
14       if (va_arg (*ap, double) != 0.5)
15 	__builtin_abort ();
16     }
17 }
18 
19 void __attribute__((noinline, noclone))
foo(int x,...)20 foo (int x, ...)
21 {
22   va_list ap;
23   int n;
24 
25   va_start (ap, x);
26   n = va_arg (ap, int);
27   bar (x, (va_list *) ((n == 0) ? ((void *) 0) : &ap));
28   va_end (ap);
29 }
30 
31 int
main()32 main ()
33 {
34   foo (100, 1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 0.5);
35   return 0;
36 }
37