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// _Unwind_ForcedUnwind raised exception can be caught by catch (...) and be
10// rethrown. If not rethrown, exception_cleanup will be called.
11
12// UNSUPPORTED: no-exceptions, c++03
13
14// VE only supports SjLj and doesn't provide _Unwind_ForcedUnwind.
15// UNSUPPORTED: target={{ve-.*}}
16
17// These tests fail on previously released dylibs, investigation needed.
18// XFAIL: stdlib=system && target={{.+}}-apple-macosx10.{{9|10|11|12|13|14|15}}
19// XFAIL: stdlib=system && target={{.+}}-apple-macosx{{11.0|12.0}}
20
21#include <stdlib.h>
22#include <string.h>
23#include <unwind.h>
24#include <tuple>
25#include <__cxxabi_config.h>
26
27static int bits = 0;
28
29struct C {
30 int bit;
31 C(int b) : bit(b) {}
32 ~C() { bits |= bit; }
33};
34
35template <typename T>
36struct Stop;
37
38template <typename R, typename... Args>
39struct Stop<R (*)(Args...)> {
40 // The third argument of _Unwind_Stop_Fn is uint64_t in Itanium C++ ABI/LLVM
41 // libunwind while _Unwind_Exception_Class in libgcc.
42 typedef typename std::tuple_element<2, std::tuple<Args...>>::type type;
43
44 static _Unwind_Reason_Code stop(int, _Unwind_Action actions, type,
45 struct _Unwind_Exception*,
46 struct _Unwind_Context*, void*) {
47 if (actions & _UA_END_OF_STACK)
48 abort();
49 return _URC_NO_REASON;
50 }
51};
52
53static void cleanup(_Unwind_Reason_Code, struct _Unwind_Exception* exc) {
54 bits |= 8;
55 delete exc;
56}
57
58static void forced_unwind() {
59 _Unwind_Exception* exc = new _Unwind_Exception;
60 memset(s: &exc->exception_class, c: 0, n: sizeof(exc->exception_class));
61 exc->exception_cleanup = cleanup;
62 _Unwind_ForcedUnwind(exc, Stop<_Unwind_Stop_Fn>::stop, 0);
63 abort();
64}
65
66static void test() {
67 try {
68 C four(4);
69 try {
70 C one(1);
71 forced_unwind();
72 } catch (...) {
73 bits |= 2;
74 throw;
75 }
76 } catch (int) {
77 } catch (...) {
78 // __cxa_end_catch calls cleanup.
79 }
80}
81
82int main(int, char**) {
83 test();
84 return bits != 15;
85}
86

source code of libcxxabi/test/forced_unwind1.pass.cpp