1/* { dg-do compile } */
2/* { dg-require-effective-target lp64 } */
3/* { dg-options "-O2 -fomit-frame-pointer -mno-sse -mtune=k8" } */
4/* { dg-final { scan-assembler "subq\[\\t \]*\\\$88,\[\\t \]*%rsp" } } */
5/* { dg-final { scan-assembler-not "subq\[\\t \]*\\\$216,\[\\t \]*%rsp" } } */
6
7#include <stdarg.h>
8
9void foo (va_list va_arglist);
10
11void
12test (int a1, ...)
13{
14  va_list va_arglist;
15  va_start (va_arglist, a1);
16  foo (va_arglist);
17  va_end (va_arglist);
18}
19