1/* PR target/64979 */
2
3#include <stdarg.h>
4
5void __attribute__((noinline, noclone))
6bar (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
19void __attribute__((noinline, noclone))
20foo (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
31int
32main ()
33{
34  foo (100, 1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 0.5);
35  return 0;
36}
37