Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
| 2 | // RUN: %clang_cc1 -fsyntax-only -verify %s -triple x86_64-apple-darwin9 |
Anders Carlsson | 6eda8c9 | 2007-10-12 17:48:41 +0000 | [diff] [blame] | 3 | |
| 4 | void f1(int a) |
| 5 | { |
| 6 | __builtin_va_list ap; |
| 7 | |
| 8 | __builtin_va_start(ap, a, a); // expected-error {{too many arguments to function}} |
| 9 | __builtin_va_start(ap, a); // expected-error {{'va_start' used in function with fixed args}} |
| 10 | } |
| 11 | |
| 12 | void f2(int a, int b, ...) |
| 13 | { |
| 14 | __builtin_va_list ap; |
| 15 | |
| 16 | __builtin_va_start(ap, 10); // expected-warning {{second parameter of 'va_start' not last named argument}} |
| 17 | __builtin_va_start(ap, a); // expected-warning {{second parameter of 'va_start' not last named argument}} |
| 18 | __builtin_va_start(ap, b); |
| 19 | } |
Anders Carlsson | 88cf226 | 2008-02-11 04:20:54 +0000 | [diff] [blame] | 20 | |
| 21 | void f3(float a, ...) |
| 22 | { |
| 23 | __builtin_va_list ap; |
| 24 | |
| 25 | __builtin_va_start(ap, a); |
| 26 | __builtin_va_start(ap, (a)); |
| 27 | } |
Chris Lattner | 58ace88 | 2008-11-16 18:43:46 +0000 | [diff] [blame] | 28 | |
| 29 | |
| 30 | // stdarg: PR3075 |
| 31 | void f4(const char *msg, ...) { |
| 32 | __builtin_va_list ap; |
| 33 | __builtin_stdarg_start((ap), (msg)); |
| 34 | __builtin_va_end (ap); |
| 35 | } |
| 36 | |
Eli Friedman | 56f20ae | 2008-12-15 22:05:35 +0000 | [diff] [blame] | 37 | void f5() { |
| 38 | __builtin_va_list ap; |
| 39 | __builtin_va_start(ap,ap); // expected-error {{'va_start' used in function with fixed args}} |
| 40 | } |
| 41 | |
| 42 | void f6(int a, ...) { |
| 43 | __builtin_va_list ap; |
| 44 | __builtin_va_start(ap); // expected-error {{too few arguments to function}} |
| 45 | } |
Eli Friedman | 6597f98 | 2009-01-20 07:46:22 +0000 | [diff] [blame] | 46 | |
| 47 | // PR3350 |
| 48 | void |
| 49 | foo(__builtin_va_list authors, ...) { |
| 50 | __builtin_va_start (authors, authors); |
| 51 | (void)__builtin_va_arg(authors, int); |
| 52 | __builtin_va_end (authors); |
| 53 | } |
| 54 | |
Daniel Dunbar | adadd8d | 2009-02-12 09:21:08 +0000 | [diff] [blame] | 55 | void f7(int a, ...) { |
| 56 | __builtin_va_list ap; |
| 57 | __builtin_va_start(ap, a); |
| 58 | // FIXME: This error message is sub-par. |
Eli Friedman | 5320285 | 2009-05-03 22:36:05 +0000 | [diff] [blame] | 59 | __builtin_va_arg(ap, int) = 1; // expected-error {{expression is not assignable}} |
Daniel Dunbar | adadd8d | 2009-02-12 09:21:08 +0000 | [diff] [blame] | 60 | int *x = &__builtin_va_arg(ap, int); // expected-error {{address expression must be an lvalue or a function designator}} |
| 61 | __builtin_va_end(ap); |
| 62 | } |
Chris Lattner | f502691 | 2009-04-05 00:52:59 +0000 | [diff] [blame] | 63 | |
David Majnemer | 0adde12 | 2011-06-14 05:17:32 +0000 | [diff] [blame] | 64 | void f8(int a, ...) { |
| 65 | __builtin_va_list ap; |
| 66 | __builtin_va_start(ap, a); |
| 67 | (void)__builtin_va_arg(ap, void); // expected-error {{second argument to 'va_arg' is of incomplete type 'void'}} |
| 68 | __builtin_va_end(ap); |
| 69 | } |
Eli Friedman | 46d37c1 | 2011-07-11 21:45:59 +0000 | [diff] [blame] | 70 | |
| 71 | enum E { x = -1, y = 2, z = 10000 }; |
| 72 | void f9(__builtin_va_list args) |
| 73 | { |
| 74 | (void)__builtin_va_arg(args, float); // expected-warning {{second argument to 'va_arg' is of promotable type 'float'}} |
| 75 | (void)__builtin_va_arg(args, enum E); // Don't warn here in C |
| 76 | (void)__builtin_va_arg(args, short); // expected-warning {{second argument to 'va_arg' is of promotable type 'short'}} |
| 77 | (void)__builtin_va_arg(args, char); // expected-warning {{second argument to 'va_arg' is of promotable type 'char'}} |
| 78 | } |