1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
|
/***********************************************************************/
/* */
/* Objective Caml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* en Automatique. All rights reserved. This file is distributed */
/* under the terms of the GNU Library General Public License, with */
/* the special exception on linking described in file ../LICENSE. */
/* */
/***********************************************************************/
/* $Id$ */
/* Raising exceptions from C. */
#include <stdio.h>
#include <stdlib.h>
#include "alloc.h"
#include "fail.h"
#include "io.h"
#include "gc.h"
#include "memory.h"
#include "misc.h"
#include "mlvalues.h"
#include "printexc.h"
#include "signals.h"
#include "stacks.h"
CAMLexport struct longjmp_buffer * caml_external_raise = NULL;
value caml_exn_bucket;
CAMLexport void caml_raise(value v)
{
Unlock_exn();
caml_exn_bucket = v;
if (caml_external_raise == NULL) caml_fatal_uncaught_exception(v);
siglongjmp(caml_external_raise->buf, 1);
}
CAMLexport void caml_raise_constant(value tag)
{
CAMLparam1 (tag);
CAMLlocal1 (bucket);
bucket = caml_alloc_small (1, 0);
Field(bucket, 0) = tag;
caml_raise(bucket);
CAMLnoreturn;
}
CAMLexport void caml_raise_with_arg(value tag, value arg)
{
CAMLparam2 (tag, arg);
CAMLlocal1 (bucket);
bucket = caml_alloc_small (2, 0);
Field(bucket, 0) = tag;
Field(bucket, 1) = arg;
caml_raise(bucket);
CAMLnoreturn;
}
CAMLexport void caml_raise_with_args(value tag, int nargs, value args[])
{
CAMLparam1 (tag);
CAMLxparamN (args, nargs);
value bucket;
int i;
Assert(1 + nargs <= Max_young_wosize);
bucket = caml_alloc_small (1 + nargs, 0);
Field(bucket, 0) = tag;
for (i = 0; i < nargs; i++) Field(bucket, 1 + i) = args[i];
caml_raise(bucket);
CAMLnoreturn;
}
CAMLexport void caml_raise_with_string(value tag, char const *msg)
{
CAMLparam1 (tag);
CAMLlocal1 (vmsg);
vmsg = caml_copy_string(msg);
caml_raise_with_arg(tag, vmsg);
CAMLnoreturn;
}
/* PR#5115: Failure and Invalid_argument can be triggered by
input_value while reading the initial value of [caml_global_data]. */
CAMLexport void caml_failwith (char const *msg)
{
if (caml_global_data == 0) {
fprintf(stderr, "Fatal error: exception Failure(\"%s\")\n", msg);
exit(2);
}
caml_raise_with_string(Field(caml_global_data, FAILURE_EXN), msg);
}
CAMLexport void caml_invalid_argument (char const *msg)
{
if (caml_global_data == 0) {
fprintf(stderr, "Fatal error: exception Invalid_argument(\"%s\")\n", msg);
exit(2);
}
caml_raise_with_string(Field(caml_global_data, INVALID_EXN), msg);
}
CAMLexport void caml_array_bound_error(void)
{
caml_invalid_argument("index out of bounds");
}
/* Problem: we can't use [caml_raise_constant], because it allocates and
we're out of memory... Here, we allocate statically the exn bucket
for [Out_of_memory]. */
static struct {
header_t hdr;
value exn;
} out_of_memory_bucket = { 0, 0 };
CAMLexport void caml_raise_out_of_memory(void)
{
if (out_of_memory_bucket.exn == 0)
caml_fatal_error
("Fatal error: out of memory while raising Out_of_memory\n");
caml_raise((value) &(out_of_memory_bucket.exn));
}
CAMLexport void caml_raise_stack_overflow(void)
{
caml_raise_constant(Field(caml_global_data, STACK_OVERFLOW_EXN));
}
CAMLexport void caml_raise_sys_error(value msg)
{
caml_raise_with_arg(Field(caml_global_data, SYS_ERROR_EXN), msg);
}
CAMLexport void caml_raise_end_of_file(void)
{
caml_raise_constant(Field(caml_global_data, END_OF_FILE_EXN));
}
CAMLexport void caml_raise_zero_divide(void)
{
caml_raise_constant(Field(caml_global_data, ZERO_DIVIDE_EXN));
}
CAMLexport void caml_raise_not_found(void)
{
caml_raise_constant(Field(caml_global_data, NOT_FOUND_EXN));
}
CAMLexport void caml_raise_sys_blocked_io(void)
{
caml_raise_constant(Field(caml_global_data, SYS_BLOCKED_IO));
}
/* Initialization of statically-allocated exception buckets */
void caml_init_exceptions(void)
{
out_of_memory_bucket.hdr = Make_header(1, 0, Caml_white);
out_of_memory_bucket.exn = Field(caml_global_data, OUT_OF_MEMORY_EXN);
caml_register_global_root(&out_of_memory_bucket.exn);
}
|
