source: vendor/gcc/3.3.4/libjava/exception.cc

Last change on this file was 2, checked in by bird, 22 years ago

Initial revision

  • Property cvs2svn:cvs-rev set to 1.1
  • Property svn:eol-style set to native
  • Property svn:executable set to *
File size: 11.1 KB
Line 
1// Functions for Exception Support for Java.
2
3/* Copyright (C) 1998, 1999, 2001, 2002 Free Software Foundation
4
5 This file is part of libgcj.
6
7This software is copyrighted work licensed under the terms of the
8Libgcj License. Please consult the file "LIBGCJ_LICENSE" for
9details. */
10
11#include <config.h>
12
13#include <stddef.h>
14#include <stdlib.h>
15
16#include <java/lang/Class.h>
17#include <java/lang/NullPointerException.h>
18#include <gcj/cni.h>
19#include <jvm.h>
20
21// unwind-pe.h uses std::abort(), but sometimes we compile libjava
22// without libstdc++-v3. The following hack forces it to use
23// stdlib.h's abort().
24namespace std
25{
26 static __attribute__ ((__noreturn__)) void
27 abort ()
28 {
29 ::abort ();
30 }
31}
32#include "unwind.h"
33
34struct alignment_test_struct
35{
36 char space;
37 char end[0] __attribute__((aligned));
38};
39
40struct java_exception_header
41{
42 /* Cache handler details between Phase 1 and Phase 2. */
43 _Unwind_Ptr landingPad;
44 int handlerSwitchValue;
45
46 /* The object being thrown. Compiled code expects this to be immediately
47 before the generic exception header. Which is complicated by the fact
48 that _Unwind_Exception is ((aligned)). */
49
50 char pad[sizeof(jthrowable) < sizeof(alignment_test_struct)
51 ? sizeof(alignment_test_struct) - sizeof(jthrowable) : 0]
52 __attribute__((aligned));
53
54 jthrowable value;
55
56 /* The generic exception header. */
57 _Unwind_Exception unwindHeader;
58};
59
60// This is the exception class we report -- "GNUCJAVA".
61const _Unwind_Exception_Class __gcj_exception_class
62= ((((((((_Unwind_Exception_Class) 'G'
63 << 8 | (_Unwind_Exception_Class) 'N')
64 << 8 | (_Unwind_Exception_Class) 'U')
65 << 8 | (_Unwind_Exception_Class) 'C')
66 << 8 | (_Unwind_Exception_Class) 'J')
67 << 8 | (_Unwind_Exception_Class) 'A')
68 << 8 | (_Unwind_Exception_Class) 'V')
69 << 8 | (_Unwind_Exception_Class) 'A');
70
71
72static inline java_exception_header *
73get_exception_header_from_ue (_Unwind_Exception *exc)
74{
75 return reinterpret_cast<java_exception_header *>(exc + 1) - 1;
76}
77
78/* Perform a throw, Java style. Throw will unwind through this call,
79 so there better not be any handlers or exception thrown here. */
80
81extern "C" void
82_Jv_Throw (jthrowable value)
83{
84 java_exception_header *xh
85 = static_cast<java_exception_header *>(_Jv_AllocRawObj (sizeof (*xh)));
86
87 if (value == NULL)
88 value = new java::lang::NullPointerException ();
89 xh->value = value;
90
91 xh->unwindHeader.exception_class = __gcj_exception_class;
92 xh->unwindHeader.exception_cleanup = NULL;
93
94 /* We're happy with setjmp/longjmp exceptions or region-based
95 exception handlers: entry points are provided here for both. */
96 _Unwind_Reason_Code code;
97#ifdef SJLJ_EXCEPTIONS
98 code = _Unwind_SjLj_RaiseException (&xh->unwindHeader);
99#else
100 code = _Unwind_RaiseException (&xh->unwindHeader);
101#endif
102
103 /* If code == _URC_END_OF_STACK, then we reached top of stack without
104 finding a handler for the exception. Since each thread is run in
105 a try/catch, this oughtn't happen. If code is something else, we
106 encountered some sort of heinous lossage from which we could not
107 recover. As is the way of such things, almost certainly we will have
108 crashed before now, rather than actually being able to diagnose the
109 problem. */
110 abort();
111}
112
113
114
115#include "unwind-pe.h"
116
117
118struct lsda_header_info
119{
120 _Unwind_Ptr Start;
121 _Unwind_Ptr LPStart;
122 const unsigned char *TType;
123 const unsigned char *action_table;
124 unsigned char ttype_encoding;
125 unsigned char call_site_encoding;
126};
127
128static const unsigned char *
129parse_lsda_header (_Unwind_Context *context, const unsigned char *p,
130 lsda_header_info *info)
131{
132 _Unwind_Word tmp;
133 unsigned char lpstart_encoding;
134
135 info->Start = (context ? _Unwind_GetRegionStart (context) : 0);
136
137 // Find @LPStart, the base to which landing pad offsets are relative.
138 lpstart_encoding = *p++;
139 if (lpstart_encoding != DW_EH_PE_omit)
140 p = read_encoded_value (context, lpstart_encoding, p, &info->LPStart);
141 else
142 info->LPStart = info->Start;
143
144 // Find @TType, the base of the handler and exception spec type data.
145 info->ttype_encoding = *p++;
146 if (info->ttype_encoding != DW_EH_PE_omit)
147 {
148 p = read_uleb128 (p, &tmp);
149 info->TType = p + tmp;
150 }
151 else
152 info->TType = 0;
153
154 // The encoding and length of the call-site table; the action table
155 // immediately follows.
156 info->call_site_encoding = *p++;
157 p = read_uleb128 (p, &tmp);
158 info->action_table = p + tmp;
159
160 return p;
161}
162
163static jclass
164get_ttype_entry (_Unwind_Context *context, lsda_header_info *info, long i)
165{
166 _Unwind_Ptr ptr;
167
168 i *= size_of_encoded_value (info->ttype_encoding);
169 read_encoded_value (context, info->ttype_encoding, info->TType - i, &ptr);
170
171 return reinterpret_cast<jclass>(ptr);
172}
173
174
175// Using a different personality function name causes link failures
176// when trying to mix code using different exception handling models.
177#ifdef SJLJ_EXCEPTIONS
178#define PERSONALITY_FUNCTION __gcj_personality_sj0
179#define __builtin_eh_return_data_regno(x) x
180#else
181#define PERSONALITY_FUNCTION __gcj_personality_v0
182#endif
183
184extern "C" _Unwind_Reason_Code
185PERSONALITY_FUNCTION (int version,
186 _Unwind_Action actions,
187 _Unwind_Exception_Class exception_class,
188 struct _Unwind_Exception *ue_header,
189 struct _Unwind_Context *context)
190{
191 java_exception_header *xh = get_exception_header_from_ue (ue_header);
192
193 lsda_header_info info;
194 const unsigned char *language_specific_data;
195 const unsigned char *action_record;
196 const unsigned char *p;
197 _Unwind_Ptr landing_pad, ip;
198 int handler_switch_value;
199 bool saw_cleanup;
200 bool saw_handler;
201
202
203 // Interface version check.
204 if (version != 1)
205 return _URC_FATAL_PHASE1_ERROR;
206
207 // Shortcut for phase 2 found handler for domestic exception.
208 if (actions == (_UA_CLEANUP_PHASE | _UA_HANDLER_FRAME)
209 && exception_class == __gcj_exception_class)
210 {
211 handler_switch_value = xh->handlerSwitchValue;
212 landing_pad = xh->landingPad;
213 goto install_context;
214 }
215
216 // FIXME: In Phase 1, record _Unwind_GetIP in xh->obj as a part of
217 // the stack trace for this exception. This will only collect Java
218 // frames, but perhaps that is acceptable.
219 // FIXME2: _Unwind_GetIP is nonsensical for SJLJ, being a call-site
220 // index instead of a PC value. We could perhaps arrange for
221 // _Unwind_GetRegionStart to return context->fc->jbuf[1], which
222 // is the address of the handler label for __builtin_longjmp, but
223 // there is no solution for DONT_USE_BUILTIN_SETJMP.
224
225 language_specific_data = (const unsigned char *)
226 _Unwind_GetLanguageSpecificData (context);
227
228 // If no LSDA, then there are no handlers or cleanups.
229 if (! language_specific_data)
230 return _URC_CONTINUE_UNWIND;
231
232 // Parse the LSDA header.
233 p = parse_lsda_header (context, language_specific_data, &info);
234 ip = _Unwind_GetIP (context) - 1;
235 landing_pad = 0;
236 action_record = 0;
237 handler_switch_value = 0;
238
239#ifdef SJLJ_EXCEPTIONS
240 // The given "IP" is an index into the call-site table, with two
241 // exceptions -- -1 means no-action, and 0 means terminate. But
242 // since we're using uleb128 values, we've not got random access
243 // to the array.
244 if ((int) ip <= 0)
245 return _URC_CONTINUE_UNWIND;
246 else
247 {
248 _Unwind_Word cs_lp, cs_action;
249 do
250 {
251 p = read_uleb128 (p, &cs_lp);
252 p = read_uleb128 (p, &cs_action);
253 }
254 while (--ip);
255
256 // Can never have null landing pad for sjlj -- that would have
257 // been indicated by a -1 call site index.
258 landing_pad = cs_lp + 1;
259 if (cs_action)
260 action_record = info.action_table + cs_action - 1;
261 goto found_something;
262 }
263#else
264 // Search the call-site table for the action associated with this IP.
265 while (p < info.action_table)
266 {
267 _Unwind_Ptr cs_start, cs_len, cs_lp;
268 _Unwind_Word cs_action;
269
270 // Note that all call-site encodings are "absolute" displacements.
271 p = read_encoded_value (0, info.call_site_encoding, p, &cs_start);
272 p = read_encoded_value (0, info.call_site_encoding, p, &cs_len);
273 p = read_encoded_value (0, info.call_site_encoding, p, &cs_lp);
274 p = read_uleb128 (p, &cs_action);
275
276 // The table is sorted, so if we've passed the ip, stop.
277 if (ip < info.Start + cs_start)
278 p = info.action_table;
279 else if (ip < info.Start + cs_start + cs_len)
280 {
281 if (cs_lp)
282 landing_pad = info.LPStart + cs_lp;
283 if (cs_action)
284 action_record = info.action_table + cs_action - 1;
285 goto found_something;
286 }
287 }
288#endif // SJLJ_EXCEPTIONS
289
290 // If ip is not present in the table, C++ would call terminate.
291 // ??? It is perhaps better to tweek the LSDA so that no-action
292 // is mapped to no-entry for Java.
293 return _URC_CONTINUE_UNWIND;
294
295 found_something:
296 saw_cleanup = false;
297 saw_handler = false;
298
299 if (landing_pad == 0)
300 {
301 // If ip is present, and has a null landing pad, there are
302 // no cleanups or handlers to be run.
303 }
304 else if (action_record == 0)
305 {
306 // If ip is present, has a non-null landing pad, and a null
307 // action table offset, then there are only cleanups present.
308 // Cleanups use a zero switch value, as set above.
309 saw_cleanup = true;
310 }
311 else
312 {
313 // Otherwise we have a catch handler.
314 _Unwind_Sword ar_filter, ar_disp;
315
316 while (1)
317 {
318 p = action_record;
319 p = read_sleb128 (p, &ar_filter);
320 read_sleb128 (p, &ar_disp);
321
322 if (ar_filter == 0)
323 {
324 // Zero filter values are cleanups.
325 saw_cleanup = true;
326 }
327
328 // During forced unwinding, we only run cleanups. With a
329 // foreign exception class, we have no class info to match.
330 else if ((actions & _UA_FORCE_UNWIND)
331 || exception_class != __gcj_exception_class)
332 ;
333
334 else if (ar_filter > 0)
335 {
336 // Positive filter values are handlers.
337
338 jclass catch_type = get_ttype_entry (context, &info, ar_filter);
339
340 // The catch_type is either a (java::lang::Class*) or
341 // is one more than a (Utf8Const*).
342 if ((size_t)catch_type & 1)
343 catch_type = _Jv_FindClass ((Utf8Const*)catch_type - 1, NULL);
344
345 if (_Jv_IsInstanceOf (xh->value, catch_type))
346 {
347 handler_switch_value = ar_filter;
348 saw_handler = true;
349 break;
350 }
351 }
352 else
353 {
354 // Negative filter values are exception specifications,
355 // which Java does not use.
356 // ??? Perhaps better to make them an index into a table
357 // of null-terminated strings instead of playing games
358 // with Utf8Const+1 as above.
359 abort ();
360 }
361
362 if (ar_disp == 0)
363 break;
364 action_record = p + ar_disp;
365 }
366 }
367
368 if (! saw_handler && ! saw_cleanup)
369 return _URC_CONTINUE_UNWIND;
370
371 if (actions & _UA_SEARCH_PHASE)
372 {
373 if (! saw_handler)
374 return _URC_CONTINUE_UNWIND;
375
376 // For domestic exceptions, we cache data from phase 1 for phase 2.
377 if (exception_class == __gcj_exception_class)
378 {
379 xh->handlerSwitchValue = handler_switch_value;
380 xh->landingPad = landing_pad;
381 }
382 return _URC_HANDLER_FOUND;
383 }
384
385 install_context:
386 _Unwind_SetGR (context, __builtin_eh_return_data_regno (0),
387 (_Unwind_Ptr) &xh->unwindHeader);
388 _Unwind_SetGR (context, __builtin_eh_return_data_regno (1),
389 handler_switch_value);
390 _Unwind_SetIP (context, landing_pad);
391 return _URC_INSTALL_CONTEXT;
392}
Note: See TracBrowser for help on using the repository browser.