source: mainline/uspace/lib/cpp/src/__bits/runtime.cpp@ ac49d23c

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since ac49d23c was 7dcce0a, checked in by jxsvoboda <5887334+jxsvoboda@…>, 6 years ago

cpp: abort and report when an unimplemented function is called

  • Property mode set to 100644
File size: 5.9 KB
Line 
1/*
2 * Copyright (c) 2018 Jaroslav Jindrak
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 *
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * - The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29#include <__bits/abi.hpp>
30#include <cstdlib>
31#include <cstdint>
32#include <exception>
33#include <mutex>
34
35void* __dso_handle = nullptr;
36
37namespace __cxxabiv1
38{
39 namespace aux
40 {
41 struct destructor_t
42 {
43 void (*func)(void*);
44 void* ptr;
45 void* dso;
46 };
47
48 destructor_t* destructors{nullptr};
49 std::size_t destructor_count{0};
50 std::size_t destructor_size{32};
51
52 /**
53 * C atexit does not pass any arguments,
54 * but __cxa_finalize requires one so we
55 * use a wrapper.
56 */
57 void atexit_destructors()
58 {
59 __cxa_finalize(nullptr);
60 }
61 }
62
63 /**
64 * No need for a body, this function is called when a virtual
65 * call of a pure virtual function cannot be made.
66 */
67 extern "C" void __cxa_pure_virtual()
68 {
69 std::terminate();
70 }
71
72 extern "C" int __cxa_atexit(void (*f)(void*), void* p, void* d)
73 {
74 if (!aux::destructors)
75 {
76 aux::destructors = new aux::destructor_t[aux::destructor_size];
77 std::atexit(aux::atexit_destructors);
78 }
79 else if (aux::destructor_count >= aux::destructor_size)
80 {
81 auto tmp = std::realloc(aux::destructors, aux::destructor_size * 2);
82
83 if (!tmp)
84 return -1;
85
86 aux::destructors = static_cast<aux::destructor_t*>(tmp);
87 aux::destructor_size *= 2;
88 }
89
90 auto& destr = aux::destructors[aux::destructor_count++];
91 destr.func = f;
92 destr.ptr = p;
93 destr.dso = d;
94
95 return 0;
96 }
97
98 extern "C" void __cxa_finalize(void *f)
99 {
100 if (!f)
101 {
102 for (std::size_t i = aux::destructor_count; i > 0; --i)
103 {
104 if (aux::destructors[i - 1].func)
105 (*aux::destructors[i - 1].func)(aux::destructors[i - 1].ptr);
106 }
107 }
108 else
109 {
110 for (std::size_t i = aux::destructor_count; i > 0; --i)
111 {
112 if (aux::destructors[i - 1].func == f)
113 {
114 (*aux::destructors[i - 1].func)(aux::destructors[i - 1].ptr);
115 aux::destructors[i - 1].func = nullptr;
116 aux::destructors[i - 1].ptr = nullptr;
117 aux::destructors[i - 1].dso = nullptr;
118 // TODO: shift and decrement count
119 }
120 }
121 }
122 }
123
124 using guard_t = std::uint64_t;
125 std::mutex static_guard_mtx{};
126
127 extern "C" int __cxa_guard_acquire(guard_t* guard)
128 {
129 static_guard_mtx.lock();
130
131 return !*((std::uint8_t*)guard);
132 }
133
134 extern "C" void __cxa_guard_release(guard_t* guard)
135 {
136 *((std::uint8_t*)guard) = 1;
137
138 static_guard_mtx.unlock();
139 }
140
141 extern "C" void __cxa_guard_abort(guard_t* guard)
142 {
143 static_guard_mtx.unlock();
144 }
145
146 __fundamental_type_info::~__fundamental_type_info()
147 { /* DUMMY BODY */ }
148
149 __array_type_info::~__array_type_info()
150 { /* DUMMY BODY */ }
151
152 __function_type_info::~__function_type_info()
153 { /* DUMMY BODY */ }
154
155 __enum_type_info::~__enum_type_info()
156 { /* DUMMY BODY */ }
157
158 __class_type_info::~__class_type_info()
159 { /* DUMMY BODY */ }
160
161 __si_class_type_info::~__si_class_type_info()
162 { /* DUMMY BODY */ }
163
164 __vmi_class_type_info::~__vmi_class_type_info()
165 { /* DUMMY BODY */ }
166
167 __pbase_type_info::~__pbase_type_info()
168 { /* DUMMY BODY */ }
169
170 __pointer_type_info::~__pointer_type_info()
171 { /* DUMMY BODY */ }
172
173 __pointer_to_member_type_info::~__pointer_to_member_type_info()
174 { /* DUMMY BODY */ }
175
176 /**
177 * This structure represents part of the vtable segment
178 * that contains data related to dynamic_cast.
179 */
180 struct vtable
181 {
182 // Unimportant to us.
183
184 std::ptrdiff_t offset_to_top;
185 std::type_info* tinfo;
186
187 // Actual vtable.
188 };
189 extern "C" void* __dynamic_cast(const void* sub, const __class_type_info* src,
190 const __class_type_info* dst, std::ptrdiff_t offset)
191 {
192 // TODO: implement
193 // NOTE: as far as I understand it, we get vtable prefix from sub, get the type_info
194 // ptr from that and then climb the inheritance hierarchy upwards till we either
195 // fint dst or fail and return nullptr
196 return nullptr;
197 }
198
199 // Needed on arm.
200 extern "C" void __cxa_end_cleanup()
201 { /* DUMMY BODY */ }
202}
Note: See TracBrowser for help on using the repository browser.