/* PR target/87807 */
/* Reported by Rainer Orth <ro@gcc.gnu.org> */

/* { dg-do run } */
/* { dg-options "-std=c99" } */

#include <stdarg.h>

typedef double __attribute__ ((vector_size (16))) vector_double;

vector_double v2df = { 1.0, 2.0 };

void
f (vector_double a, ...)
{
  va_list argp;
  va_start (argp, a);
  vector_double x = va_arg (argp, vector_double);
  if (x[0] != a[0] || x[1] != a[1])
    __builtin_abort ();
  va_end (argp);
}

int
main (void)
{
  f (v2df, v2df);
  return 0;
}