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.
bad_typeid_test()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).
bad_cast_test()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
main()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