From e23f81c072b3b9e1c8d7cba6e8a0dfd698a535c8 Mon Sep 17 00:00:00 2001
From: Henny Sipma <hennysipma@mac.com>
Date: Sat, 18 Apr 2026 13:07:57 -0700
Subject: [PATCH] CHB:SUM: fix returntype for inet_addr

---
 CodeHawk/CHB/bchlib/bCHBCTypeXml.ml                  | 6 +++++-
 CodeHawk/CHB/bchlib/bCHVersion.ml                    | 4 ++--
 CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml | 2 +-
 3 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml b/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml
index 94f10941..306a81a2 100644
--- a/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml
+++ b/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml
@@ -6,7 +6,7 @@
 
    Copyright (c) 2005-2019 Kestrel Technology LLC
    Copyright (c) 2020      Henny Sipma
-   Copyright (c) 2021-2024 Aarno Labs LLC
+   Copyright (c) 2021-2026 Aarno Labs LLC
 
    Permission is hereby granted, free of charge, to any person obtaining a copy
    of this software and associated documentation files (the "Software"), to deal
@@ -131,6 +131,10 @@ let get_standard_txt_type (t: string): btype_t option =
   | "DWORD" -> Some (TInt (IUInt, []))
   | "gid_t" -> Some (TInt (IUInt, []))
   | "id_t" -> Some (TInt (IUInt, []))     (* used in getpriority *)
+  | "in_addr_t" ->
+     (* equivalent to the type uint32_t, see
+        https://pubs.opengroup.org/onlinepubs/9699919799/ *)
+     Some (TInt (IUInt, []))
   | "int" -> Some (TInt (IInt, []))
   | "Integer" -> Some (TInt (IInt, []))
   | "long" -> Some (TInt (ILong, []))
diff --git a/CodeHawk/CHB/bchlib/bCHVersion.ml b/CodeHawk/CHB/bchlib/bCHVersion.ml
index efeab196..856e226f 100644
--- a/CodeHawk/CHB/bchlib/bCHVersion.ml
+++ b/CodeHawk/CHB/bchlib/bCHVersion.ml
@@ -95,8 +95,8 @@ end
 
 
 let version = new version_info_t 
-  ~version:"0.6.0_20260407"
-  ~date:"2026-04-07"
+  ~version:"0.6.0_20260418"
+  ~date:"2026-04-18"
   ~licensee: None
   ~maxfilesize: None
   ()
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml b/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml
index 9cd75672..9339c76a 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml
@@ -19,7 +19,7 @@
         <type><ptr>char</ptr></type>
 	<pre><deref-read-nt/></pre>
       </par>
-      <returntype>ch__in_addr</returntype>
+      <returntype>in_addr_t</returntype>
     </api>
     <semantics>
       <io-actions/>