[xen staging-4.18] Revert "tools/ocaml: Fix oxenstored build warning"

[patchbot@xxxxxxx]

commit da7928d6daa8a03feac2449627186363ba87ba2e
Author:     Jan Beulich <jbeulich@xxxxxxxx>
AuthorDate: Thu Apr 3 07:52:11 2025 +0200
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Thu Apr 3 07:52:11 2025 +0200

    Revert "tools/ocaml: Fix oxenstored build warning"
    
    This reverts commit ca847010e3a8004af779836134502cca1ca2ca50. It
    depends on an OCaml version bump not present on this branch.
---
 tools/ocaml/xenstored/Makefile     |  1 -
 tools/ocaml/xenstored/perms.ml     |  2 +-
 tools/ocaml/xenstored/poll.ml      |  2 +-
 tools/ocaml/xenstored/process.ml   | 18 +++++++++---------
 tools/ocaml/xenstored/utils.ml     | 10 ++--------
 tools/ocaml/xenstored/xenstored.ml | 16 ++++++++--------
 6 files changed, 21 insertions(+), 28 deletions(-)

diff --git a/tools/ocaml/xenstored/Makefile b/tools/ocaml/xenstored/Makefile
index 9714b1ee46..fa45305d8c 100644
--- a/tools/ocaml/xenstored/Makefile
+++ b/tools/ocaml/xenstored/Makefile
@@ -53,7 +53,6 @@ OBJS = paths \
        history \
        parse_arg \
        process \
-       poll \
        xenstored
 
 INTF = symbol.cmi trie.cmi syslog.cmi systemd.cmi poll.cmi
diff --git a/tools/ocaml/xenstored/perms.ml b/tools/ocaml/xenstored/perms.ml
index 2c4ee9e617..14f8e334fe 100644
--- a/tools/ocaml/xenstored/perms.ml
+++ b/tools/ocaml/xenstored/perms.ml
@@ -70,7 +70,7 @@ struct
 
   let perm_of_string s =
     let ty = permty_of_char s.[0]
-    and id = Utils.int_of_string_exn (String.sub s 1 (String.length s - 1)) in
+    and id = int_of_string (String.sub s 1 (String.length s - 1)) in
     (id, ty)
 
   let of_strings ls =
diff --git a/tools/ocaml/xenstored/poll.ml b/tools/ocaml/xenstored/poll.ml
index f8571e4590..fefaa6e74c 100644
--- a/tools/ocaml/xenstored/poll.ml
+++ b/tools/ocaml/xenstored/poll.ml
@@ -30,7 +30,7 @@ external set_fd_limit: int -> unit = "stub_set_fd_limit"
 let get_sys_fs_nr_open () =
   try
     let ch = open_in "/proc/sys/fs/nr_open" in
-    let v = Utils.int_of_string_exn (input_line ch) in
+    let v = int_of_string (input_line ch) in
     close_in_noerr ch; v
   with _ -> 1024 * 1024
 
diff --git a/tools/ocaml/xenstored/process.ml b/tools/ocaml/xenstored/process.ml
index 0c9c460a99..432d66321c 100644
--- a/tools/ocaml/xenstored/process.ml
+++ b/tools/ocaml/xenstored/process.ml
@@ -229,7 +229,7 @@ let do_debug con t _domains cons data =
       Logging.xb_op ~tid:0 ~ty:Xenbus.Xb.Op.Debug ~con:"=======>" msg;
       None
     | "quota" :: domid :: _ ->
-      let domid = Utils.int_of_string_exn domid in
+      let domid = int_of_string domid in
       let quota = (Store.get_quota t.Transaction.store) in
       Some (Quota.to_string quota domid ^ "\000")
     | "watches" :: _ ->
@@ -242,7 +242,7 @@ let do_debug con t _domains cons data =
       History.trim ();
       Some "trimmed"
     | "txn" :: domid :: _ ->
-      let domid = Utils.int_of_string_exn domid in
+      let domid = int_of_string domid in
       let con = Connections.find_domain cons domid in
       let b = Buffer.create 128 in
       let () = con.transactions |> Hashtbl.iter @@ fun id tx ->
@@ -253,7 +253,7 @@ let do_debug con t _domains cons data =
       in
       Some (Buffer.contents b)
     | "xenbus" :: domid :: _ ->
-      let domid = Utils.int_of_string_exn domid in
+      let domid = int_of_string domid in
       let con = Connections.find_domain cons domid in
       let s = Printf.sprintf "xenbus: %s; overflow queue length: %d, 
can_input: %b, has_more_input: %b, has_old_output: %b, has_new_output: %b, 
has_more_work: %b. pending: %s"
           (Xenbus.Xb.debug con.xb)
@@ -267,7 +267,7 @@ let do_debug con t _domains cons data =
       in
       Some s
     | "mfn" :: domid :: _ ->
-      let domid = Utils.int_of_string_exn domid in
+      let domid = int_of_string domid in
       let con = Connections.find_domain cons domid in
       may (fun dom -> Printf.sprintf "%nd\000" (Domain.get_mfn dom)) 
(Connection.get_domain con)
     | _ -> None
@@ -340,7 +340,7 @@ let do_isintroduced con _t domains _cons data =
   then raise Define.Permission_denied;
   let domid =
     match (split None '\000' data) with
-    | domid :: _ -> Utils.int_of_string_exn domid
+    | domid :: _ -> int_of_string domid
     | _          -> raise Invalid_Cmd_Args
   in
   if domid = Define.domid_self || Domains.exist domains domid then "T\000" 
else "F\000"
@@ -437,7 +437,7 @@ let input_handle_error ~cons ~doms ~fct ~con ~t ~req =
   | Quota.Limit_reached          -> reply_error "EQUOTA"
   | Quota.Data_too_big           -> reply_error "E2BIG"
   | Quota.Transaction_opened     -> reply_error "EQUOTA"
-  | Utils.ConversionFailed s     -> reply_error "EINVAL"
+  | (Failure "int_of_string")    -> reply_error "EINVAL"
   | Define.Unknown_operation     -> reply_error "ENOSYS"
 
 let write_access_log ~ty ~tid ~con ~data =
@@ -578,7 +578,7 @@ let do_introduce con t domains cons data =
   let (domid, mfn, remote_port) =
     match (split None '\000' data) with
     | domid :: mfn :: remote_port :: _ ->
-      Utils.int_of_string_exn domid, Nativeint.of_string mfn, 
Utils.int_of_string_exn remote_port
+      int_of_string domid, Nativeint.of_string mfn, int_of_string remote_port
     | _                         -> raise Invalid_Cmd_Args;
   in
   let dom =
@@ -604,7 +604,7 @@ let do_release con t domains cons data =
   then raise Define.Permission_denied;
   let domid =
     match (split None '\000' data) with
-    | [domid;""] -> Utils.int_of_string_exn domid
+    | [domid;""] -> int_of_string domid
     | _          -> raise Invalid_Cmd_Args
   in
   let fire_spec_watches = Domains.exist domains domid in
@@ -620,7 +620,7 @@ let do_resume con _t domains _cons data =
   then raise Define.Permission_denied;
   let domid =
     match (split None '\000' data) with
-    | domid :: _ -> Utils.int_of_string_exn domid
+    | domid :: _ -> int_of_string domid
     | _          -> raise Invalid_Cmd_Args
   in
   if Domains.exist domains domid
diff --git a/tools/ocaml/xenstored/utils.ml b/tools/ocaml/xenstored/utils.ml
index 7a556bce75..48d84ef7d3 100644
--- a/tools/ocaml/xenstored/utils.ml
+++ b/tools/ocaml/xenstored/utils.ml
@@ -53,14 +53,8 @@ let hexify s =
     ) s;
   Bytes.unsafe_to_string hs
 
-exception ConversionFailed of string
-let int_of_string_exn s =
-  match int_of_string_opt s with
-  | Some x -> x
-  | None -> raise (ConversionFailed s)
-
 let unhexify hs =
-  let char_of_hexseq seq0 seq1 = Char.chr (int_of_string_exn (sprintf "0x%c%c" 
seq0 seq1)) in
+  let char_of_hexseq seq0 seq1 = Char.chr (int_of_string (sprintf "0x%c%c" 
seq0 seq1)) in
   let b = Bytes.create (String.length hs / 2) in
   for i = 0 to Bytes.length b - 1
   do
@@ -92,7 +86,7 @@ let read_file_single_integer filename =
   let buf = Bytes.make 20 '\000' in
   let sz = Unix.read fd buf 0 20 in
   Unix.close fd;
-  int_of_string_exn (Bytes.sub_string buf 0 sz)
+  int_of_string (Bytes.sub_string buf 0 sz)
 
 (* @path may be guest data and needs its length validating.  @connection_path
  * is generated locally in xenstored and always of the form 
"/local/domain/$N/" *)
diff --git a/tools/ocaml/xenstored/xenstored.ml 
b/tools/ocaml/xenstored/xenstored.ml
index 84dee622ea..1aaa3e995e 100644
--- a/tools/ocaml/xenstored/xenstored.ml
+++ b/tools/ocaml/xenstored/xenstored.ml
@@ -167,20 +167,20 @@ module DB = struct
                                                           e.g. a RO socket 
from a previous version: ignore it *)
             global_f ~rw
           | "evtchn-dev" :: fd :: domexc_port :: [] ->
-            evtchn_f ~fd:(Utils.int_of_string_exn fd)
-              ~domexc_port:(Utils.int_of_string_exn domexc_port)
+            evtchn_f ~fd:(int_of_string fd)
+              ~domexc_port:(int_of_string domexc_port)
           | "socket" :: fd :: [] ->
-            socket_f ~fd:(Utils.int_of_string_exn fd)
+            socket_f ~fd:(int_of_string fd)
           | "dom" :: domid :: mfn :: remote_port :: rest ->
             let local_port = match rest with
               | [] -> None (* backward compat: old version didn't have it *)
-              | local_port :: _ -> Some (Utils.int_of_string_exn local_port) in
+              | local_port :: _ -> Some (int_of_string local_port) in
             domain_f ?local_port
-              ~remote_port:(Utils.int_of_string_exn remote_port)
-              (Utils.int_of_string_exn domid)
+              ~remote_port:(int_of_string remote_port)
+              (int_of_string domid)
               (Nativeint.of_string mfn)
           | "watch" :: domid :: path :: token :: [] ->
-            watch_f (Utils.int_of_string_exn domid)
+            watch_f (int_of_string domid)
               (unhexify path) (unhexify token)
           | "store" :: path :: perms :: value :: [] ->
             store_f (getpath path)
@@ -214,7 +214,7 @@ module DB = struct
     in
     let global_f ~rw =
       let get_listen_sock sockfd =
-        let fd = sockfd |> Utils.int_of_string_exn |> Utils.FD.of_int in
+        let fd = sockfd |> int_of_string |> Utils.FD.of_int in
         Unix.listen fd 1;
         Some fd
       in
--
generated by git-patchbot for /home/xen/git/xen.git#staging-4.18