#include <stdarg.h>

void abort(void);
void exit(int);

int main(void) {
    double f(int x, ...) {
        va_list args;
        double a;

        va_start(args, x);
        a = va_arg(args, double);
        va_end(args);
        return a;
    }

    if (f(1, (double)1) != 1.0)
        abort();
    exit(0);
}
/* { dg-require-effective-target nested } */
