1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
(* TEST
frame_pointers;
readonly_files = "fp_backtrace.c c_call_.c";
all_modules = "${readonly_files} c_call.ml";
native;
*)
external fp_backtrace : string -> unit = "fp_backtrace"
external fp_backtrace_no_alloc : string -> unit = "fp_backtrace" [@@noalloc]
external fp_backtrace_many_args : string -> int -> int -> int -> int -> int
-> int -> int -> int -> int -> int -> int -> unit =
"fp_backtrace_many_args_argv" "fp_backtrace_many_args"
let[@inline never] f () =
(* Check backtrace through caml_c_call_stack_args *)
fp_backtrace_many_args Sys.argv.(0) 1 2 3 4 5 6 7 8 9 10 11;
(* Check backtrace through caml_c_call.
* Also check that caml_c_call_stack_args correctly restores rbp register *)
fp_backtrace Sys.argv.(0);
(* Check caml_c_call correctly restores rbp register *)
fp_backtrace_no_alloc Sys.argv.(0);
42
let () = ignore (f ())
|
