blob: 7d48b4947da2a0fe93dffcdea79e0cde403fa65f (
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
|
(* TEST
frame_pointers;
readonly_files = "fp_backtrace.c c_call_.c";
all_modules = "${readonly_files} c_call.ml";
native;
*)
external fp_backtrace : unit -> unit = "fp_backtrace"
external fp_backtrace_no_alloc : unit -> unit = "fp_backtrace" [@@noalloc]
external fp_backtrace_many_args : 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 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 ();
(* Check caml_c_call correctly restores rbp register *)
fp_backtrace_no_alloc ();
42
let () = ignore (f ())
|
