CHB:CIL/x86 fix warnings

Author: sipma

CodeHawk/CHB/bchcil/bCHCilToCBasic.ml

@@ -4,7 +4,7 @@
    ------------------------------------------------------------------------------
    The MIT License (MIT)
  
-   Copyright (c) 2021-2023  Aarno Labs LLC
+   Copyright (c) 2021-2024  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
@@ -145,7 +145,8 @@ and cil_attrparam_to_b_attrparam (a: GoblintCil.attrparam): b_attrparam_t =
   | GoblintCil.ADot (p, s) -> ADot (cp p, s)
   | GoblintCil.AStar p -> AStar (cp p)
   | GoblintCil.AAddrOf p -> AAddrOf (cp p)
-  | GoblintCil.AIndex (p1, p2) -> AIndex (cp p1, cp p2)
+  | GoblintCil.AAssign (p1, p2) -> AIndex (cp p1, cp p2)
+  | GoblintCil.AIndex (p1, p2) -> AAssign (cp p1, cp p2)
   | GoblintCil.AQuestion (p1, p2, p3) -> AQuestion (cp p1, cp p2, cp p3)
 
 

CodeHawk/CHB/bchcil/dune

@@ -3,7 +3,3 @@
   (libraries bchlib chlib chutil goblint-cil)
   (public_name codehawk.bchcil)
   (wrapped false))
-
-(env
-  (dev
-    (flags (:standard -warn-error -A))))

CodeHawk/CHB/bchlib/bCHBCDictionary.ml

@@ -142,8 +142,10 @@ object (self)
       | ADot (a,s) -> (tags @ [s], [self#index_attrparam a])
       | AStar a -> (tags, [self#index_attrparam a])
       | AAddrOf a -> (tags, [self#index_attrparam a])
+      | AAssign (a1, a2) ->
+         (tags, [self#index_attrparam a1; self#index_attrparam a2])
       | AIndex (a1,a2) ->
-         (tags, [self#index_attrparam a1; self#index_attrparam a2 ])
+         (tags, [self#index_attrparam a1; self#index_attrparam a2])
       | AQuestion (a1, a2, a3) ->
          (tags,
           [self#index_attrparam a1;
@@ -175,6 +177,7 @@ object (self)
     | "adot" -> ADot (self#get_attrparam (a 0), (t 1))
     | "astar" -> AStar (self#get_attrparam (a 0))
     | "aaddrof" -> AAddrOf (self#get_attrparam (a 0))
+    | "aassign" -> AAssign (self#get_attrparam (a 0), self#get_attrparam (a 1))
     | "aindex" -> AIndex (self#get_attrparam (a 0), self#get_attrparam (a 1))
     | "aquestion" ->
        AQuestion

CodeHawk/CHB/bchlib/bCHBCSumTypeSerializer.ml

@@ -271,6 +271,7 @@ object
     | ADot _ -> "adot"
     | AStar _ -> "astar"
     | AAddrOf _ -> "aaddrof"
+    | AAssign _ -> "aassign"
     | AIndex _ -> "aindex"
     | AQuestion _ -> "aquestion"
 

CodeHawk/CHB/bchlib/bCHBCTypes.mli

@@ -224,6 +224,7 @@ and b_attrparam_t =
 | ADot of b_attrparam_t * string
 | AStar of b_attrparam_t
 | AAddrOf of b_attrparam_t
+| AAssign of b_attrparam_t * b_attrparam_t
 | AIndex of b_attrparam_t * b_attrparam_t
 | AQuestion of b_attrparam_t * b_attrparam_t * b_attrparam_t
 

CodeHawk/CHB/bchlibpe/dune

@@ -3,7 +3,3 @@
   (libraries bchlib chlib chutil extlib str)
   (public_name codehawk.bchlibpe)
   (wrapped false))
-
-(env
-  (dev
-    (flags (:standard -warn-error -A))))

CodeHawk/CHB/bchlibx86/bCHPredefinedProlog4Semantics.ml

@@ -40,7 +40,6 @@ open Xprt
 (* bchlib *)
 open BCHBasicTypes
 open BCHBCTypeUtil
-open BCHFtsParameter
 open BCHFunctionInterface
 open BCHLibTypes
 open BCHMakeCallTargetInfo

CodeHawk/CHB/bchlibx86/bCHPullData.ml

@@ -42,7 +42,6 @@ open XprToPretty
 (* bchlib *)
 open BCHBCTypes
 open BCHBCTypePretty
-open BCHCallTarget
 open BCHDemangler
 open BCHDoubleword
 open BCHFloc

CodeHawk/CHB/bchlibx86/bCHTranslateToCHIF.ml

@@ -557,7 +557,7 @@ let translate_instruction
         @ cmds5
         @ cmds6)
 
-  | IndirectCall op ->
+  | IndirectCall _ ->
      let string_retriever = FFU.get_string_reference in
      default ((get_floc loc)#get_call_commands string_retriever)
 

CodeHawk/CHB/bchlibx86/dune

@@ -3,7 +3,3 @@
   (libraries bchlib bchlibpe bchlibelf chlib chutil extlib xprlib zarith)
   (public_name codehawk.bchlibx86)
   (wrapped false))
-
-(env
-  (dev
-    (flags (:standard -warn-error -A))))