Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic1.C @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
131:84e7813d76e9 | 145:1830386684a0 |
---|---|
1 // PR c++/88337 - Implement P1327R1: Allow dynamic_cast/typeid in constexpr. | |
2 // { dg-do compile { target c++2a } } | |
3 | |
4 // Downcast. | |
5 | |
6 struct B { | |
7 virtual void baz () {} | |
8 }; | |
9 | |
10 struct D : B { }; | |
11 | |
12 constexpr bool | |
13 fn () | |
14 { | |
15 bool ok = true; | |
16 B b; | |
17 B *b1 = &b; | |
18 if (D *pd = dynamic_cast<D*>(b1)) | |
19 ok = false; | |
20 | |
21 D d; | |
22 B *b2 = &d; | |
23 if (D *pd = dynamic_cast<D*>(b2)) | |
24 /*OK*/; | |
25 else | |
26 ok = false; | |
27 | |
28 return ok; | |
29 } | |
30 | |
31 static_assert(fn ()); | |
32 | |
33 constexpr D d; | |
34 constexpr B b; | |
35 constexpr B *b1 = const_cast<B*>(&b); | |
36 constexpr B *b2 = const_cast<D*>(&d); | |
37 static_assert(dynamic_cast<D*>(b2) == &d); | |
38 static_assert(&dynamic_cast<D&>(*b2) == &d); | |
39 static_assert(dynamic_cast<const B*>(&d) == &d); | |
40 static_assert(&dynamic_cast<const B&>(d) == &d); |