Improve testcase

gadmm · gadmm · commit 412db980bfd9 · 2023-08-25T20:25:05.000+02:00
Make sure that the printing functions do not interfere with the
polling.
diff --git a/testsuite/tests/c-api/alloc_async.ml b/testsuite/tests/c-api/alloc_async.ml
@@ -6,15 +6,16 @@
    The C stub itself contains more details on the mechanism. *)
 
 external test : int ref -> unit = "stub"
+external print_status : string -> int -> unit = "print_status_caml" [@@noalloc]
 
 let f () =
   let r = ref 42 in
   Gc.finalise (fun s -> r := !s) (ref 17);
-  Printf.printf "OCaml, before: %d\n%!" !r;
+  print_status "OCaml, before" !r;
   test r;
-  Printf.printf "OCaml, after: %d\n%!" !r;
+  print_status "OCaml, after" !r;
   ignore (Sys.opaque_identity (ref 100));
-  Printf.printf "OCaml, after alloc: %d\n%!" !r;
+  print_status "OCaml, after alloc" !r;
   ()
 
 let () = (f [@inlined never]) ()
diff --git a/testsuite/tests/c-api/alloc_async_stubs.c b/testsuite/tests/c-api/alloc_async_stubs.c
@@ -5,14 +5,27 @@
 #define CAML_INTERNALS
 #include "caml/gc_ctrl.h"
 
+
+void print_status(const char *str, int n)
+{
+  printf("%s: %d\n", str, n);
+  fflush(stdout);
+}
+
+value print_status_caml(value str, value n)
+{
+  print_status(String_val(str), Int_val(n));
+  return Val_unit;
+}
+
 const char* strs[] = { "foo", "bar", 0 };
 value stub(value ref)
 {
   CAMLparam1(ref);
   CAMLlocal2(x, y);
   char* s; intnat coll_before;
 
-  printf("C, before: %d\n", Int_val(Field(ref, 0)));
+  print_status("C, before", Int_val(Field(ref, 0)));
 
   /* First, do enough major allocations to do a full major collection cycle */
   coll_before = caml_stat_major_collections;
@@ -50,7 +63,6 @@ value stub(value ref)
   free(s);
 
 
-  printf("C, after: %d\n", Int_val(Field(ref, 0)));
-  fflush(stdout);
+  print_status("C, after", Int_val(Field(ref, 0)));
   CAMLreturn (Val_unit);
 }
