source: trunk/src/gcc/libjava/exception.cc@ 435

Last change on this file since 435 was 2, checked in by bird, 23 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;