Merge branch 'master' into summaries

Author: sipma

CodeHawk/CHB/bchlib/bCHBCTypeUtil.ml

@@ -187,6 +187,8 @@ let is_float_double t = match t with TFloat (FDouble, _, _) -> true | _ -> false
 
 let is_pointer t = match t with TPtr _ -> true | _ -> false
 
+let is_void_pointer t = match t with TPtr (TVoid _, _) -> true | _ -> false
+
 let is_scalar t = (is_int t) || (is_float t) || (is_pointer t)
 
 let is_pointer_to_struct t = match t with TPtr (TComp _,_) -> true | _ -> false

CodeHawk/CHB/bchlib/bCHBCTypeUtil.mli

@@ -136,6 +136,7 @@ val is_float_float: btype_t -> bool
 val is_float_double: btype_t -> bool
 val is_scalar: btype_t -> bool
 val is_pointer: btype_t -> bool
+val is_void_pointer: btype_t -> bool
 val is_unsigned: btype_t -> bool  (* true if unsigned, false if signed or unknown *)
 val is_function_type: btype_t -> bool
 val is_unknown_type: btype_t -> bool

CodeHawk/CHB/bchlib/bCHVersion.ml

@@ -95,8 +95,8 @@ end
 
 
 let version = new version_info_t 
-  ~version:"0.6.0_20241202"
-  ~date:"2024-12-02"
+  ~version:"0.6.0_20241217"
+  ~date:"2024-12-17"
   ~licensee: None
   ~maxfilesize: None
   ()

CodeHawk/CHB/bchlibarm32/bCHFnARMDictionary.ml

@@ -493,6 +493,7 @@ object (self)
       let (vrd, rtype) =
         let fintf = floc#get_call_target#get_function_interface in
         let rtype = get_fts_returntype fintf in
+        let rtype = if is_void_pointer rtype then t_ptrto t_uchar else rtype in
         let reg =
           if is_float rtype then
             let regtype =

CodeHawk/CHB/bchlibarm32/bCHFnARMTypeConstraints.ml

@@ -325,6 +325,7 @@ object (self)
        let (rvreg, rtype) =
          let fintf = floc#get_call_target#get_function_interface in
          let rtype = get_fts_returntype fintf in
+         let rtype = if is_void_pointer rtype then t_ptrto t_uchar else rtype in
          let reg =
            if is_float rtype then
              let regtype =