1*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -fsyntax-only -verify %s
2*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -fsyntax-only -verify %s -triple x86_64-apple-darwin9
3*f4a2713aSLionel Sambuc
f1(int a)4*f4a2713aSLionel Sambuc void f1(int a)
5*f4a2713aSLionel Sambuc {
6*f4a2713aSLionel Sambuc __builtin_va_list ap;
7*f4a2713aSLionel Sambuc
8*f4a2713aSLionel Sambuc __builtin_va_start(ap, a, a); // expected-error {{too many arguments to function}}
9*f4a2713aSLionel Sambuc __builtin_va_start(ap, a); // expected-error {{'va_start' used in function with fixed args}}
10*f4a2713aSLionel Sambuc }
11*f4a2713aSLionel Sambuc
f2(int a,int b,...)12*f4a2713aSLionel Sambuc void f2(int a, int b, ...)
13*f4a2713aSLionel Sambuc {
14*f4a2713aSLionel Sambuc __builtin_va_list ap;
15*f4a2713aSLionel Sambuc
16*f4a2713aSLionel Sambuc __builtin_va_start(ap, 10); // expected-warning {{second parameter of 'va_start' not last named argument}}
17*f4a2713aSLionel Sambuc __builtin_va_start(ap, a); // expected-warning {{second parameter of 'va_start' not last named argument}}
18*f4a2713aSLionel Sambuc __builtin_va_start(ap, b);
19*f4a2713aSLionel Sambuc }
20*f4a2713aSLionel Sambuc
f3(float a,...)21*f4a2713aSLionel Sambuc void f3(float a, ...)
22*f4a2713aSLionel Sambuc {
23*f4a2713aSLionel Sambuc __builtin_va_list ap;
24*f4a2713aSLionel Sambuc
25*f4a2713aSLionel Sambuc __builtin_va_start(ap, a);
26*f4a2713aSLionel Sambuc __builtin_va_start(ap, (a));
27*f4a2713aSLionel Sambuc }
28*f4a2713aSLionel Sambuc
29*f4a2713aSLionel Sambuc
30*f4a2713aSLionel Sambuc // stdarg: PR3075
f4(const char * msg,...)31*f4a2713aSLionel Sambuc void f4(const char *msg, ...) {
32*f4a2713aSLionel Sambuc __builtin_va_list ap;
33*f4a2713aSLionel Sambuc __builtin_stdarg_start((ap), (msg));
34*f4a2713aSLionel Sambuc __builtin_va_end (ap);
35*f4a2713aSLionel Sambuc }
36*f4a2713aSLionel Sambuc
f5()37*f4a2713aSLionel Sambuc void f5() {
38*f4a2713aSLionel Sambuc __builtin_va_list ap;
39*f4a2713aSLionel Sambuc __builtin_va_start(ap,ap); // expected-error {{'va_start' used in function with fixed args}}
40*f4a2713aSLionel Sambuc }
41*f4a2713aSLionel Sambuc
f6(int a,...)42*f4a2713aSLionel Sambuc void f6(int a, ...) {
43*f4a2713aSLionel Sambuc __builtin_va_list ap;
44*f4a2713aSLionel Sambuc __builtin_va_start(ap); // expected-error {{too few arguments to function}}
45*f4a2713aSLionel Sambuc }
46*f4a2713aSLionel Sambuc
47*f4a2713aSLionel Sambuc // PR3350
48*f4a2713aSLionel Sambuc void
foo(__builtin_va_list authors,...)49*f4a2713aSLionel Sambuc foo(__builtin_va_list authors, ...) {
50*f4a2713aSLionel Sambuc __builtin_va_start (authors, authors);
51*f4a2713aSLionel Sambuc (void)__builtin_va_arg(authors, int);
52*f4a2713aSLionel Sambuc __builtin_va_end (authors);
53*f4a2713aSLionel Sambuc }
54*f4a2713aSLionel Sambuc
f7(int a,...)55*f4a2713aSLionel Sambuc void f7(int a, ...) {
56*f4a2713aSLionel Sambuc __builtin_va_list ap;
57*f4a2713aSLionel Sambuc __builtin_va_start(ap, a);
58*f4a2713aSLionel Sambuc // FIXME: This error message is sub-par.
59*f4a2713aSLionel Sambuc __builtin_va_arg(ap, int) = 1; // expected-error {{expression is not assignable}}
60*f4a2713aSLionel Sambuc int *x = &__builtin_va_arg(ap, int); // expected-error {{cannot take the address of an rvalue}}
61*f4a2713aSLionel Sambuc __builtin_va_end(ap);
62*f4a2713aSLionel Sambuc }
63*f4a2713aSLionel Sambuc
f8(int a,...)64*f4a2713aSLionel Sambuc void f8(int a, ...) {
65*f4a2713aSLionel Sambuc __builtin_va_list ap;
66*f4a2713aSLionel Sambuc __builtin_va_start(ap, a);
67*f4a2713aSLionel Sambuc (void)__builtin_va_arg(ap, void); // expected-error {{second argument to 'va_arg' is of incomplete type 'void'}}
68*f4a2713aSLionel Sambuc __builtin_va_end(ap);
69*f4a2713aSLionel Sambuc }
70*f4a2713aSLionel Sambuc
71*f4a2713aSLionel Sambuc enum E { x = -1, y = 2, z = 10000 };
f9(__builtin_va_list args)72*f4a2713aSLionel Sambuc void f9(__builtin_va_list args)
73*f4a2713aSLionel Sambuc {
74*f4a2713aSLionel Sambuc (void)__builtin_va_arg(args, float); // expected-warning {{second argument to 'va_arg' is of promotable type 'float'}}
75*f4a2713aSLionel Sambuc (void)__builtin_va_arg(args, enum E); // Don't warn here in C
76*f4a2713aSLionel Sambuc (void)__builtin_va_arg(args, short); // expected-warning {{second argument to 'va_arg' is of promotable type 'short'}}
77*f4a2713aSLionel Sambuc (void)__builtin_va_arg(args, char); // expected-warning {{second argument to 'va_arg' is of promotable type 'char'}}
78*f4a2713aSLionel Sambuc }
79*f4a2713aSLionel Sambuc
f10(int a,...)80*f4a2713aSLionel Sambuc void f10(int a, ...) {
81*f4a2713aSLionel Sambuc int i;
82*f4a2713aSLionel Sambuc __builtin_va_list ap;
83*f4a2713aSLionel Sambuc i = __builtin_va_start(ap, a); // expected-error {{assigning to 'int' from incompatible type 'void'}}
84*f4a2713aSLionel Sambuc __builtin_va_end(ap);
85*f4a2713aSLionel Sambuc }
86