| // RUN: %clang_cc1 -triple x86_64 -fcxx-exceptions -std=c++20 -fexperimental-new-constant-interpreter -verify=expected,both %s |
| // RUN: %clang_cc1 -triple x86_64 -fcxx-exceptions -std=c++20 -verify=ref,both %s |
| |
| namespace Throw { |
| |
| constexpr int ConditionalThrow(bool t) { |
| if (t) |
| throw 4; // both-note {{subexpression not valid in a constant expression}} |
| |
| return 0; |
| } |
| |
| static_assert(ConditionalThrow(false) == 0, ""); |
| static_assert(ConditionalThrow(true) == 0, ""); // both-error {{not an integral constant expression}} \ |
| // both-note {{in call to 'ConditionalThrow(true)'}} |
| |
| constexpr int Throw() { // both-error {{never produces a constant expression}} |
| throw 5; // both-note {{subexpression not valid in a constant expression}} |
| return 0; |
| } |
| |
| constexpr int NoSubExpr() { // both-error {{never produces a constant expression}} |
| throw; // both-note 2{{subexpression not valid}} |
| return 0; |
| } |
| static_assert(NoSubExpr() == 0, ""); // both-error {{not an integral constant expression}} \ |
| // both-note {{in call to}} |
| } |
| |
| namespace Asm { |
| constexpr int ConditionalAsm(bool t) { |
| if (t) |
| asm(""); // both-note {{subexpression not valid in a constant expression}} |
| |
| return 0; |
| } |
| static_assert(ConditionalAsm(false) == 0, ""); |
| static_assert(ConditionalAsm(true) == 0, ""); // both-error {{not an integral constant expression}} \ |
| // both-note {{in call to 'ConditionalAsm(true)'}} |
| |
| |
| constexpr int Asm() { // both-error {{never produces a constant expression}} |
| __asm volatile(""); // both-note {{subexpression not valid in a constant expression}} |
| return 0; |
| } |
| } |
| |
| namespace Casts { |
| constexpr int a = reinterpret_cast<int>(12); // both-error {{must be initialized by a constant expression}} \ |
| // both-note {{reinterpret_cast is not allowed}} |
| |
| void func() { |
| struct B {}; |
| B b; |
| (void)*reinterpret_cast<void*>(&b); // both-error {{indirection not permitted on operand of type 'void *'}} |
| } |
| |
| /// Just make sure this doesn't crash. |
| float PR9558 = reinterpret_cast<const float&>("asd"); |
| |
| /// Ensure we don't crash when trying to dereference a cast pointer where the |
| /// target type is larger than the source allocation (GH#179015). |
| void GH179015() { |
| *(int **)""; // both-warning {{expression result unused}} |
| } |
| } |
| |
| |
| /// This used to crash in collectBlock(). |
| struct S { |
| }; |
| S s; |
| S *sp[2] = {&s, &s}; |
| S *&spp = sp[1]; |
| |
| namespace InvalidBitCast { |
| void foo() { |
| const long long int i = 1; // both-note {{declared const here}} |
| if (*(double *)&i == 2) { |
| i = 0; // both-error {{cannot assign to variable}} |
| } |
| } |
| |
| struct S2 { |
| void *p; |
| }; |
| struct T { |
| S2 s; |
| }; |
| constexpr T t = {{nullptr}}; |
| constexpr void *foo2() { return ((void **)&t)[0]; } // both-error {{never produces a constant expression}} \ |
| // both-note 2{{cast that performs the conversions of a reinterpret_cast}} |
| constexpr auto x = foo2(); // both-error {{must be initialized by a constant expression}} \ |
| // both-note {{in call to}} |
| |
| |
| struct sockaddr |
| { |
| char sa_data[8]; |
| }; |
| struct in_addr |
| { |
| unsigned int s_addr; |
| }; |
| struct sockaddr_in |
| { |
| unsigned short int sin_port; |
| struct in_addr sin_addr; |
| }; |
| /// Bitcast from sockaddr to sockaddr_in. Used to crash. |
| unsigned int get_addr(sockaddr addr) { |
| return ((sockaddr_in *)&addr)->sin_addr.s_addr; |
| } |
| |
| |
| struct s { int a; int b[1]; }; |
| struct s myx; |
| int *myy = ((struct s *)&myx.a)->b; |
| } |
| |
| namespace InvalidIntPtrRecord { |
| typedef __SIZE_TYPE__ Size_t; |
| |
| #define bufsize ((1LL << (8 * sizeof(Size_t) - 2)) - 256) |
| |
| struct S { |
| short buf[bufsize]; // both-error {{array is too large}} |
| int a; |
| }; |
| Size_t foo() { return (Size_t)(&((struct S *)0)->a); } |
| } |
| |
| namespace RetVoidInInvalidFunc { |
| |
| constexpr bool foo() { return; } // both-error {{non-void constexpr function 'foo' should return a value}} |
| template <int N> struct X { |
| int v = N; |
| }; |
| X<foo()> x; // both-error {{non-type template argument is not a constant expression}} |
| } |
| |
| namespace BitCastWithErrors { |
| template<class T> int f(); // both-note {{candidate template ignored}} |
| static union { char *x = f(); }; // both-error {{no matching function for call to 'f'}} |
| } |
| |
| namespace NullRecord { |
| struct S1; // both-note {{forward declaration}} |
| struct S2 { |
| S1 s[2]; // both-error {{field has incomplete type 'S1'}} |
| }; |
| S2 s = S2(); |
| } |
| |
| namespace NamedLoops { |
| constexpr int foo() { |
| bar: // both-note {{previous definition is here}} \ |
| // both-warning {{use of this statement in a constexpr function is a C++23 extension}} |
| return 0; |
| |
| bar: // both-error {{redefinition of label 'bar'}} |
| do { |
| break bar; // both-error {{named 'break' is only supported in C2y}} |
| } while (0); |
| } |
| } |
| |
| constexpr int invalidUnaryOrTypeTrait() { |
| return __builtin_vectorelements * 10; // both-error {{indirection requires pointer operand}} |
| } |
| |
| static_assert(invalidUnaryOrTypeTrait() == 11, ""); // both-error {{not an integral constant expression}} |
| |
| constexpr int invalidUnaryOrTypeTrait2() { |
| return alignof * 10; // both-error {{indirection requires pointer operand}} \ |
| // both-warning {{'alignof' applied to an expression is a GNU extension}} |
| } |
| |
| /// Pointer::toRValue() of a function type. |
| void foo() { *(void (*)()) ""; } // both-warning {{expression result unused}} |
| |
| namespace InvalidCallExpr { |
| constexpr bool foo() { |
| struct A {}; |
| A a; |
| a.~A(__builtin_popcountg == 0, ""); // both-error {{builtin functions must be directly called}} |
| |
| return true; |
| } |
| } |
| |
| namespace InvalidUnaryOperator { |
| typedef struct {} S; |
| void foo() { |
| S *s = (S *)malloc(sizeof(*s)); // both-error {{use of undeclared identifier 'malloc'}} |
| S *&sref = s; |
| for (int i = 0; i < 2; sref++) |
| ; |
| } |
| } |
| |
| namespace IncNonDereferencable { |
| struct S {}; |
| |
| void foo() { |
| S *s = (foo *)malloc(sizeof(*s)); // both-error {{expected expression}} |
| S *&sref = s; |
| for (int i = 0; i < 2; sref++) |
| ; |
| } |
| } |
| |
| namespace InvalidVirtualCast { |
| struct X {}; |
| struct Y : virtual X {}; |
| struct Z { |
| } z; |
| static_assert((X *)(Y *)&z, ""); // both-error {{not an integral constant expression}} \ |
| // both-note {{cast that performs the conversions of a reinterpret_cast is not allowed in a constant expression}} |
| } |
| |
| namespace DefinitionInBody { |
| int foo(); // both-note {{declared here}} |
| int foo() { |
| static_assert(foo() == 1); // both-error {{not an integral constant expression}} \ |
| // both-note {{non-constexpr function 'foo' cannot be used in a constant expression}} |
| return 5; |
| } |
| } |