blob: 12a071a85e590a7b30510d25a5b0057ada61f6d2 (
plain)
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
|
// PR c++/88337 - Implement P1327R1: Allow dynamic_cast/typeid in constexpr.
// { dg-do compile { target c++20 } }
// { dg-additional-options "-fdelete-null-pointer-checks" }
// dynamic_cast in a constructor.
// [class.cdtor]#6: "If the operand of the dynamic_cast refers to the object
// under construction or destruction and the static type of the operand is not
// a pointer to or object of the constructor or destructor's own class or one
// of its bases, the dynamic_cast results in undefined behavior.
#if __cpp_constexpr_exceptions >= 202411L
namespace std {
struct exception {
constexpr exception () noexcept {}
constexpr virtual ~exception () noexcept {}
constexpr exception (const exception &) = default;
constexpr exception &operator= (const exception &) = default;
constexpr virtual const char *what () const noexcept { return "std::exception"; }
};
struct bad_cast : public exception {
constexpr virtual ~bad_cast () noexcept {}
constexpr virtual const char *what () const noexcept { return "std::bad_cast"; }
};
}
#endif
struct V {
virtual void f();
};
struct A : V { };
struct B : V {
constexpr B(V*, A*);
};
struct D : A, B {
constexpr D() : B((A*)this, this) { } // { dg-message "in 'constexpr' expansion of" "" { target c++23_down } }
};
constexpr B::B(V* v, A* a)
{
// well-defined: v of type V*, V base of B results in B*
B* b = dynamic_cast<B*>(v);
if (b != nullptr)
__builtin_abort ();
B& br = dynamic_cast<B&>(*v); // { dg-error "reference .dynamic_cast. failed" "" { target c++23_down } }
// { dg-message "dynamic type .A. of its operand does not have an unambiguous public base class .B." "" { target c++23_down } .-1 }
}
constexpr D d; // { dg-message "in 'constexpr' expansion of" "" { target c++23_down } }
// { dg-error "uncaught exception" "" { target c++26 } .-1 }
|
