blob: 27ed2f7da62825d25fe8db526e2ef38c1f9fb90d (
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
|
(* TEST
include unix
modules = "callbackprim.c"
* libunix
** bytecode
** native
*)
external raise_sigusr1 : unit -> unit = "raise_sigusr1"
let do_test () =
let seen_states = Array.make 5 (-1) in
let pos = ref 0 in
let sighandler signo =
(* These two instructions are duplicated everywhere, but we cannot
encapsulate them in a function, because function calls check
for signals in bytecode mode. *)
seen_states.(!pos) <- 3; pos := !pos + 1;
in
seen_states.(!pos) <- 0; pos := !pos + 1;
Sys.set_signal Sys.sigusr1 (Sys.Signal_handle sighandler);
seen_states.(!pos) <- 1; pos := !pos + 1;
raise_sigusr1 ();
seen_states.(!pos) <- 2; pos := !pos + 1;
let _ = Sys.opaque_identity (ref 1) in
seen_states.(!pos) <- 4; pos := !pos + 1;
Sys.set_signal Sys.sigusr1 Sys.Signal_default;
Array.iter (Printf.printf "%d") seen_states;
print_newline ()
let () =
for _ = 0 to 10 do do_test () done;
Printf.printf "OK\n"
|