CHB: generalize offset handling

Author: sipma

CodeHawk/CHB/bchlib/bCHFloc.ml

@@ -1682,10 +1682,9 @@ object (self)
                             "symoff: " ^ (memory_offset_to_string symoff)])
                 symoff_r
 
-           | ConstantOffset (n, NoOffset) when is_pointer basevartype
-                                               && n#equal numerical_zero ->
+           | ConstantOffset (n, NoOffset) when is_pointer basevartype ->
               let symoff_r =
-                address_memory_offset (ptr_deref basevartype) zero_constant_expr in
+                address_memory_offset (ptr_deref basevartype) (num_constant_expr n) in
               TR.tbind (fun symoff ->
                   match symoff with
                   | FieldOffset ((fname, ckey), NoOffset) ->
@@ -1697,6 +1696,7 @@ object (self)
                             (p2s self#l#toPretty);
                             "get_basevar_type: address_memory_offset";
                             "basevar: " ^ (p2s basevar#toPretty);
+                            "offset: " ^ (memory_offset_to_string offset);
                             "basevartype: " ^ (btype_to_string basevartype);
                             "symoff: " ^ (memory_offset_to_string symoff)])
                 symoff_r

CodeHawk/CHB/bchlib/bCHVersion.ml

@@ -95,8 +95,8 @@ end
 
 
 let version = new version_info_t 
-  ~version:"0.6.0_20260119"
-  ~date:"2026-01-19"
+  ~version:"0.6.0_20260122"
+  ~date:"2026-01-22"
   ~licensee: None
   ~maxfilesize: None
   ()