| 1 | //===----------------------------------------------------------------------===// |
|---|
| 2 | // |
|---|
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
|---|
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
|---|
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
|---|
| 6 | // |
|---|
| 7 | //===----------------------------------------------------------------------===// |
|---|
| 8 | |
|---|
| 9 | // UNSUPPORTED: no-exceptions |
|---|
| 10 | |
|---|
| 11 | #include <typeinfo> |
|---|
| 12 | |
|---|
| 13 | // Test taken from 5.2.8.2 |
|---|
| 14 | // When typeid is applied to a glvalue expression whose type is a polymorphic |
|---|
| 15 | // class type, (10.3), the result refers to a std::type_info object |
|---|
| 16 | // representing the type of the most derived object (1.8) (that is, the |
|---|
| 17 | // dynamic type) to which the glvalue refers. If the glvalue expression is |
|---|
| 18 | // obtained by applying the unary * operator to a pointer(68) and the pointer |
|---|
| 19 | // is a null pointer value (4.10), the typeid expression throws the |
|---|
| 20 | // std::bad_typeid exception (18.7.3). |
|---|
| 21 | // |
|---|
| 22 | // 68) If p is an expression of pointer type, then *p, (*p), *(p), |
|---|
| 23 | // ((*p)), *((p)), and so on all meet this requirement. |
|---|
| 24 | bool bad_typeid_test () { |
|---|
| 25 | class A { virtual void f() {}}; |
|---|
| 26 | class B { virtual void g() {}}; |
|---|
| 27 | |
|---|
| 28 | B* bp = nullptr; |
|---|
| 29 | try { |
|---|
| 30 | bool b = typeid(*bp) == typeid(A); |
|---|
| 31 | ((void)b); |
|---|
| 32 | } catch (const std::bad_typeid&) { |
|---|
| 33 | return true; |
|---|
| 34 | } |
|---|
| 35 | return false; |
|---|
| 36 | } |
|---|
| 37 | |
|---|
| 38 | |
|---|
| 39 | // The value of a failed cast to pointer type is the null pointer value of |
|---|
| 40 | // the required result type. A failed cast to reference type throws |
|---|
| 41 | // std::bad_cast (18.7.2). |
|---|
| 42 | bool bad_cast_test () { |
|---|
| 43 | class A { virtual void f() {}}; |
|---|
| 44 | class B { virtual void g() {}}; |
|---|
| 45 | class D : public virtual A, private B {}; |
|---|
| 46 | |
|---|
| 47 | D d; |
|---|
| 48 | B *bp = (B*)&d; // cast needed to break protection |
|---|
| 49 | try { D &dr = dynamic_cast<D&> (*bp); ((void)dr); } |
|---|
| 50 | catch ( const std::bad_cast & ) { return true; } |
|---|
| 51 | return false; |
|---|
| 52 | } |
|---|
| 53 | |
|---|
| 54 | int main ( ) { |
|---|
| 55 | int ret_val = 0; |
|---|
| 56 | |
|---|
| 57 | if ( !bad_typeid_test ()) { |
|---|
| 58 | ret_val = 1; |
|---|
| 59 | } |
|---|
| 60 | |
|---|
| 61 | if ( !bad_cast_test ()) { |
|---|
| 62 | ret_val = 2; |
|---|
| 63 | } |
|---|
| 64 | |
|---|
| 65 | return ret_val; |
|---|
| 66 | } |
|---|
| 67 | |
|---|
