1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
// RUN: %clang_cc1 %s -std=c++20 -fsyntax-only -fcxx-exceptions -verify
// verify no value-dependent-assertion crash in constexpr function body and no
// bogus diagnostics.
class Foo {
constexpr Foo() {
while (invalid()) {} // expected-error {{use of undeclared identifier}}
if (invalid()) {} // expected-error {{use of undeclared identifier}}
}
};
constexpr void test1() {
while (invalid()) {} // expected-error {{use of undeclared identifier}}
if (invalid()) {} // expected-error {{use of undeclared identifier}}
}
struct A {
int *p = new int(invalid()); // expected-error {{use of undeclared identifier}}
constexpr ~A() { delete p; }
};
constexpr int test2() {
A a;
return 1;
}
constexpr int test3() {
return invalid(); // expected-error {{use of undeclared identifier}}
}
constexpr int test4() {
if (invalid()) // expected-error {{use of undeclared identifier}}
return 1;
else
return 0;
}
constexpr int test5() { // expected-error {{constexpr function never produce}}
for (;; a++); // expected-error {{use of undeclared identifier}} \
expected-note {{constexpr evaluation hit maximum step limit; possible infinite loop?}}
return 1;
}
constexpr int test6() { // expected-error {{constexpr function never produce}}
int n = 0;
switch (n) {
for (;; a++) { // expected-error {{use of undeclared identifier}}
case 0:; // expected-note {{constexpr evaluation hit maximum step limit; possible infinite loop?}}
}
}
return 0;
}
constexpr bool test7() {
for (int n = 0; ; invalid()) { if (n == 1) return true; } // expected-error {{use of undeclared identifier}}
throw "bad";
}
constexpr void test8() {
do {} while (invalid()); // expected-error {{use of undeclared identifier}}
throw "bad";
}
template<int x> constexpr int f(int y) { // expected-note {{candidate template ignored}}
return x * y;
}
constexpr int test9(int x) {
return f<1>(f<x>(1)); // expected-error {{no matching function for call to 'f'}}
}
constexpr int test10() { return undef(); } // expected-error {{use of undeclared identifier 'undef'}}
static_assert(test10() <= 1, "should not crash"); // expected-error {{static_assert expression is not an integral constant expression}}
|
