blob: e2c07f08ec9f26c6caef9e4cae0064974d204834 [file] [log] [blame]
John McCall03107a42015-10-29 20:48:01 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3#if __has_feature(__builtin_add_overflow)
4#warning defined as expected
5// expected-warning@-1 {{defined as expected}}
6#endif
7
8void test(void) {
9 unsigned r;
10 const char * c;
11 float f;
12 const unsigned q;
13
14 __builtin_add_overflow(); // expected-error {{too few arguments to function call, expected 3, have 0}}
15 __builtin_add_overflow(1, 1, 1, 1); // expected-error {{too many arguments to function call, expected 3, have 4}}
16
17 __builtin_add_overflow(c, 1, &r); // expected-error {{operand argument to overflow builtin must be an integer ('const char *' invalid)}}
18 __builtin_add_overflow(1, c, &r); // expected-error {{operand argument to overflow builtin must be an integer ('const char *' invalid)}}
19 __builtin_add_overflow(1, 1, 3); // expected-error {{result argument to overflow builtin must be a pointer to a non-const integer ('int' invalid)}}
20 __builtin_add_overflow(1, 1, &f); // expected-error {{result argument to overflow builtin must be a pointer to a non-const integer ('float *' invalid)}}
21 __builtin_add_overflow(1, 1, &q); // expected-error {{result argument to overflow builtin must be a pointer to a non-const integer ('const unsigned int *' invalid)}}
22}