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
|
(* TEST_BELOW
(* Blank lines added here to preserve locations. *)
*)
(* Testing if uncaught exception handlers are behaving properly *)
let () = Printexc.record_backtrace true
exception UncaughtHandlerExn
exception CallbackExn
let handler final_exn exn =
let id = Thread.self () |> Thread.id in
let msg = Printexc.to_string exn in
Printf.eprintf "[thread %d] caught %s\n" id msg;
Printexc.print_backtrace stderr;
flush stderr;
raise final_exn
let fn () = Printexc.raise_with_backtrace
CallbackExn
(Printexc.get_raw_backtrace ())
let _ =
let th = Thread.create fn () in
Thread.join th;
Thread.set_uncaught_exception_handler (handler UncaughtHandlerExn);
let th = Thread.create fn () in
Thread.join th;
Thread.set_uncaught_exception_handler (handler Thread.Exit);
let th = Thread.create fn () in
Thread.join th
(* TEST
flags = "-g";
ocamlrunparam += ",b=1";
include systhreads;
hassysthreads;
{
bytecode;
}{
native;
}
*)
|
