CHB:update version

Author: sipma

CodeHawk/CHB/bchlib/bCHVersion.ml

@@ -95,8 +95,8 @@ end
 
 
 let version = new version_info_t 
-  ~version:"0.6.0_20250201"
-  ~date:"2025-02-01"
+  ~version:"0.6.0_20250203"
+  ~date:"2025-02-03"
   ~licensee: None
   ~maxfilesize: None
   ()

CodeHawk/CHB/bchlibarm32/bCHFnARMTypeConstraints.ml

@@ -1094,8 +1094,7 @@ object (self)
              end) rndefs
        end
 
-    | UnsignedBitFieldExtract (_, rd, rn) ->
-       let rdreg = rd#to_register in
+    | UnsignedBitFieldExtract (_, _, rn) ->
        (match rn#get_kind with
         | ARMRegBitSequence (r, _, _) ->
            let rnreg = register_of_arm_register r in
@@ -1114,7 +1113,7 @@ object (self)
            end
         | _ -> ())
 
-    | UnsignedExtendHalfword (_, rd, rm, _) ->
+    | UnsignedExtendHalfword (_, rd, _, _) ->
        let rdreg = rd#to_register in
        let rdtypevar = mk_reglhs_typevar rdreg faddr iaddr in
        begin