39 lines · cpp
1// RUN: %clang_cc1 -std=c++23 -verify -DTEST_LINUX %s2// RUN: %clang_cc1 -std=c++23 -verify -DTEST_WINDOWS %s3// RUN: %clang_cc1 -std=c++23 -verify -DTEST_DARWIN %s4 5// RUN: %clang_cc1 -std=c++23 -verify -DTEST_LINUX %s -fexperimental-new-constant-interpreter6// RUN: %clang_cc1 -std=c++23 -verify -DTEST_WINDOWS %s -fexperimental-new-constant-interpreter7// RUN: %clang_cc1 -std=c++23 -verify -DTEST_DARWIN %s -fexperimental-new-constant-interpreter8 9#ifdef __ASSERT_FUNCTION10#undef __ASSERT_FUNCTION11#endif12 13#if defined(TEST_LINUX)14 extern "C" void __assert_fail(const char*, const char*, unsigned, const char*);15 #define assert(cond) \16 ((cond) ? (void)0 : __assert_fail(#cond, __FILE__, __LINE__, __func__))17#elif defined(TEST_DARWIN)18 void __assert_rtn(const char *, const char *, int, const char *);19 #define assert(cond) \20 (__builtin_expect(!(cond), 0) ? __assert_rtn(__func__, __FILE__, __LINE__, #cond) : (void)0)21#elif defined(TEST_WINDOWS)22 void /*__cdecl*/ _wassert(const wchar_t*, const wchar_t*, unsigned);23 #define _CRT_WIDE_(s) L ## s24 #define _CRT_WIDE(s) _CRT_WIDE_(s)25 #define assert(cond) \26 (void)((!!(cond)) || (_wassert(_CRT_WIDE(#cond), _CRT_WIDE(__FILE__), (unsigned)(__LINE__)), 0))27#endif28 29consteval int square(int x) {30 int result = x * x;31 assert(result == 42); // expected-note {{assertion failed during evaluation of constant expression}}32 return result;33}34 35void test() {36 auto val = square(2); // expected-note {{in call to 'square(2)'}} \37 // expected-error {{call to consteval function 'square' is not a constant expression}}38}39