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
|
(* TEST
modules = "alloc_async_stubs.c";
*)
external test : int ref -> unit = "stub"
external print_status : string -> int -> unit = "print_status_caml" [@@noalloc]
(* This tests checks that the finaliser does not run during various
allocations from C, but runs at the first polling location in OCaml
code after that. For native backends, something like
RET_FROM_C_CALL from runtime/amd64.S is necessary, see its
description there and the documentation of
[Caml_state->action_pending] in runtime.signals.c. *)
let f () =
let r = ref 42 in
Gc.finalise (fun s -> r := !s) (ref 17);
print_status "OCaml, before" !r;
test r;
print_status "OCaml, after" !r;
ignore (Sys.opaque_identity (ref 100));
print_status "OCaml, after alloc" !r;
()
let () = (f [@inlined never]) ()
|
