xref: /llvm-project/libcxxabi/test/catch_ptr_02.pass.cpp (revision 3497500946c9b6a1b2e1452312a24c41ee412b34) 
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 // Compilers emit warnings about exceptions of type 'Child' being caught by
12 // an earlier handler of type 'Base'. Congrats, you've just diagnosed the
13 // behavior under test.
14 // ADDITIONAL_COMPILE_FLAGS: -Wno-exceptions
15 
16 #include <cassert>
17 #include <stdint.h>
18 
19 #if __cplusplus < 201103L
20 #define DISABLE_NULLPTR_TESTS
21 #endif
22 
23 struct  A {};
24 A a;
25 const A ca = A();
26 
test1()27 void test1 ()
28 {
29     try
30     {
31         throw &a;
32         assert(false);
33     }
34     catch ( const A* )
35     {
36     }
37     catch ( A *)
38     {
39         assert (false);
40     }
41 }
42 
test2()43 void test2 ()
44 {
45     try
46      {
47         throw &a;
48         assert(false);
49     }
50     catch ( A* )
51     {
52     }
53     catch ( const A *)
54     {
55          assert (false);
56     }
57 }
58 
test3()59 void test3 ()
60 {
61     try
62     {
63         throw &ca;
64         assert(false);
65     }
66     catch ( const A* )
67     {
68     }
69     catch ( A *)
70     {
71         assert (false);
72     }
73 }
74 
test4()75 void test4 ()
76 {
77     try
78     {
79         throw &ca;
80         assert(false);
81     }
82     catch ( A *)
83     {
84         assert (false);
85     }
86     catch ( const A* )
87     {
88     }
89 }
90 
91 struct base1 {int x;};
92 struct base2 {int x;};
93 struct derived : base1, base2 {};
94 
test5()95 void test5 ()
96 {
97     try
98     {
99         throw (derived*)0;
100         assert(false);
101     }
102     catch (base2 *p) {
103         assert (p == 0);
104     }
105     catch (...)
106     {
107         assert (false);
108     }
109 }
110 
test6()111 void test6 ()
112 {
113 #if !defined(DISABLE_NULLPTR_TESTS)
114     try
115     {
116         throw nullptr;
117         assert(false);
118     }
119     catch (base2 *p) {
120         assert (p == nullptr);
121     }
122     catch (...)
123     {
124         assert (false);
125     }
126 #endif
127 }
128 
test7()129 void test7 ()
130 {
131     try
132     {
133         throw (derived*)12;
134         assert(false);
135     }
136     catch (base2 *p) {
137         assert ((uintptr_t)p == 12+sizeof(base1));
138     }
139     catch (...)
140     {
141         assert (false);
142     }
143 }
144 
145 
146 struct vBase {};
147 struct vDerived : virtual public vBase {};
148 
test8()149 void test8 ()
150 {
151     vDerived derived;
152     try
153     {
154         throw &derived;
155         assert(false);
156     }
157     catch (vBase *p) {
158         assert(p != 0);
159     }
160     catch (...)
161     {
162         assert (false);
163     }
164 }
165 
test9()166 void test9 ()
167 {
168 #if !defined(DISABLE_NULLPTR_TESTS)
169     try
170     {
171         throw nullptr;
172         assert(false);
173     }
174     catch (vBase *p) {
175         assert(p == 0);
176     }
177     catch (...)
178     {
179         assert (false);
180     }
181 #endif
182 }
183 
test10()184 void test10 ()
185 {
186     try
187     {
188         throw (vDerived*)0;
189         assert(false);
190     }
191     catch (vBase *p) {
192         assert(p == 0);
193     }
194     catch (...)
195     {
196         assert (false);
197     }
198 }
199 
main(int,char **)200 int main(int, char**)
201 {
202     test1();
203     test2();
204     test3();
205     test4();
206     test5();
207     test6();
208     test7();
209     test8();
210     test9();
211     test10();
212 
213     return 0;
214 }
215