Skip to content

Commit e23f81c

Browse files
committed
CHB:SUM: fix returntype for inet_addr
1 parent 5a300fa commit e23f81c

3 files changed

Lines changed: 8 additions & 4 deletions

File tree

CodeHawk/CHB/bchlib/bCHBCTypeXml.ml

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
77
Copyright (c) 2005-2019 Kestrel Technology LLC
88
Copyright (c) 2020 Henny Sipma
9-
Copyright (c) 2021-2024 Aarno Labs LLC
9+
Copyright (c) 2021-2026 Aarno Labs LLC
1010
1111
Permission is hereby granted, free of charge, to any person obtaining a copy
1212
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 =
131131
| "DWORD" -> Some (TInt (IUInt, []))
132132
| "gid_t" -> Some (TInt (IUInt, []))
133133
| "id_t" -> Some (TInt (IUInt, [])) (* used in getpriority *)
134+
| "in_addr_t" ->
135+
(* equivalent to the type uint32_t, see
136+
https://pubs.opengroup.org/onlinepubs/9699919799/ *)
137+
Some (TInt (IUInt, []))
134138
| "int" -> Some (TInt (IInt, []))
135139
| "Integer" -> Some (TInt (IInt, []))
136140
| "long" -> Some (TInt (ILong, []))

CodeHawk/CHB/bchlib/bCHVersion.ml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -95,8 +95,8 @@ end
9595

9696

9797
let version = new version_info_t
98-
~version:"0.6.0_20260407"
99-
~date:"2026-04-07"
98+
~version:"0.6.0_20260418"
99+
~date:"2026-04-18"
100100
~licensee: None
101101
~maxfilesize: None
102102
()

CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@
1919
<type><ptr>char</ptr></type>
2020
<pre><deref-read-nt/></pre>
2121
</par>
22-
<returntype>ch__in_addr</returntype>
22+
<returntype>in_addr_t</returntype>
2323
</api>
2424
<semantics>
2525
<io-actions/>

0 commit comments

Comments
 (0)