blob: 44d9ce5b3a1cfcd3e7bdf74da403804628e8db9d (
plain)
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
|
(* TEST_BELOW
(* Blank lines added here to preserve locations. *)
*)
(* A test for stack backtraces *)
exception Error of string
let rec f msg n =
if n = 0 then raise(Error msg) else 1 + f msg (n-1)
exception Localized of exn
let g msg =
let exception_raised_internally () =
try Hashtbl.find (Hashtbl.create 3) 0
with Not_found -> false in
try
f msg 5
with Error "a" -> print_string "a"; print_newline(); 0
| Error "b" as exn -> print_string "b"; print_newline(); raise exn
| Error "c" -> raise (Error "c")
(** [Error "d"] not caught *)
| Error "e" as exn ->
let bt = Printexc.get_raw_backtrace () in
print_string "e"; print_newline ();
ignore (exception_raised_internally ());
Printexc.raise_with_backtrace exn bt
| Error "f" as exn ->
let bt = Printexc.get_raw_backtrace () in
print_string "f"; print_newline ();
Printexc.raise_with_backtrace (Localized exn) bt
let backtrace args =
try
ignore (g args.(0)); None
with exn ->
let exn = Printexc.to_string exn in
let trace = Printexc.get_raw_backtrace () in
Some (exn, trace)
let run args =
match backtrace args with
| None -> print_string "No exception\n"
| Some (exn, trace) ->
begin
(* raise another exception to stash the global backtrace *)
try ignore (f "c" 5); assert false with Error _ -> ();
end;
Printf.printf "Uncaught exception %s\n" exn;
Printexc.print_raw_backtrace stdout trace;
flush stdout
let _ =
run [| "a" |];
run [| "b" |];
run [| "c" |];
run [| "d" |];
run [| "e" |];
run [| "f" |];
run [| |]
(* TEST
flags = "-g";
ocamlrunparam += ",b=1";
*)
|