191 lines
5.7 KiB
C++

// 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;
}
}