44 lines · c
1// RUN: %clang_cc1 -fsyntax-only -verify %s2 3#if __has_feature(__builtin_add_overflow)4#warning defined as expected5// expected-warning@-1 {{defined as expected}}6#endif7 8void test(void) {9 unsigned r;10 const char * c;11 float f;12 const unsigned q = 0;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 type ('const char *' invalid)}}18 __builtin_add_overflow(1, c, &r); // expected-error {{operand argument to overflow builtin must be an integer type ('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 type ('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 type ('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 type ('const unsigned int *' invalid)}}22 23 {24 _BitInt(128) x = 1;25 _BitInt(128) y = 1;26 _BitInt(128) result;27 _Bool status = __builtin_mul_overflow(x, y, &result); // expect ok28 }29#if __BITINT_MAXWIDTH__ > 12830 {31 unsigned _BitInt(129) x = 1;32 unsigned _BitInt(129) y = 1;33 unsigned _BitInt(129) result;34 _Bool status = __builtin_mul_overflow(x, y, &result); // expect ok35 }36 {37 _BitInt(129) x = 1;38 _BitInt(129) y = 1;39 _BitInt(129) result;40 _Bool status = __builtin_mul_overflow(x, y, &result); // expected-error {{__builtin_mul_overflow does not support 'signed _BitInt' operands of more than 128 bits}}41 }42#endif43}44