1 /* { dg-options "-Wno-psabi" } */
2 /* { dg-require-effective-target int32plus } */
11 } __attribute__ ((aligned
)) c
;
18 void __attribute__((noinline
))
19 check2848va (int z
, ...)
24 __builtin_va_start (ap
, z
);
26 arg
= __builtin_va_arg (ap
, struct S2848
);
33 __builtin_va_end (ap
);
38 s2848
.a
= 4027477739U;
39 s2848
.b
= (723419448 + -218144346 * __extension__
1i
);
41 check2848va (1, s2848
);