diff options
Diffstat (limited to 'byterun/fail.c')
| -rw-r--r-- | byterun/fail.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/byterun/fail.c b/byterun/fail.c index d785d98f3..64d766fe4 100644 --- a/byterun/fail.c +++ b/byterun/fail.c @@ -49,6 +49,7 @@ CAMLexport void caml_raise_constant(value tag) bucket = caml_alloc_small (1, 0); Field(bucket, 0) = tag; caml_raise(bucket); + CAMLnoreturn; } CAMLexport void caml_raise_with_arg(value tag, value arg) @@ -60,6 +61,7 @@ CAMLexport void caml_raise_with_arg(value tag, value arg) Field(bucket, 0) = tag; Field(bucket, 1) = arg; caml_raise(bucket); + CAMLnoreturn; } CAMLexport void caml_raise_with_string(value tag, char *msg) @@ -69,6 +71,7 @@ CAMLexport void caml_raise_with_string(value tag, char *msg) vmsg = caml_copy_string(msg); caml_raise_with_arg(tag, vmsg); + CAMLnoreturn; } CAMLexport void caml_failwith (char *msg) |