C stub: fix precision range check #37

thvnx · Sep 3, 2024 · 355fb1b · 355fb1b
1 parent a356c25
commit 355fb1b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/mlmpfr_stubs.c b/src/mlmpfr_stubs.c
@@ -38,8 +38,8 @@ precision_in_range (value prec)
 {
   int p = Int_val (prec);
 
-  if (p <= Int_val (caml_mpfr_prec_min ())
-      || p >= Unsigned_int_val (caml_mpfr_prec_max ()))
+  if (p < Int_val (caml_mpfr_prec_min ())
+      || p > Unsigned_int_val (caml_mpfr_prec_max ()))
     caml_raise_with_arg (*caml_named_value ("precision range exception"),
                          Val_int (p));
 }

diff --git a/testsuite/initializationfunctions.ml b/testsuite/initializationfunctions.ml
@@ -36,5 +36,7 @@ let _ =
   let x = M.make_zero M.Negative in
   printf "%s\n" (rounding_to_string x);
   printf "%d\n" (M.get_prec x);
+  (* Should not raise Precision_range exception *)
+  let _ = M.make_zero ~prec:M.mpfr_prec_min M.Positive in ();
   Gc.full_major ()
 (* garbage collector full major *)