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