| // 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}} |
| |
| struct X {} array[] = {undef()}; // expected-error {{use of undeclared identifier 'undef'}} |
| constexpr void test11() { |
| for (X& e : array) {} |
| } |