CHB: remove unused variables

static-analysis-engineering · Nov 20, 2024 · 5dfac12 · 5dfac12
1 parent 7e53e43
commit 5dfac12
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.ml b/CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.ml
@@ -50,7 +50,6 @@ open BCHCPURegisters
 open BCHDoubleword
 open BCHFloc
 open BCHFtsParameter
-open BCHFunctionData
 open BCHFunctionInfo
 open BCHFunctionInterface
 open BCHLibTypes
@@ -493,7 +492,6 @@ let translate_arm_instruction
       ~(funloc:location_int)
       ~(codepc:arm_code_pc_int)
       ~(blocklabel:symbol_t)
-      ~(exitlabel:symbol_t)
       ~(cmds:cmd_t list) =
   let (ctxtiaddr, instr) = codepc#get_next_instruction in
   let faddr = funloc#f in
@@ -4042,8 +4040,7 @@ object (self)
     let rec aux cmds =
       let (nodes,edges,newcmds) =
         try
-          translate_arm_instruction
-            ~funloc ~codepc ~blocklabel ~exitlabel ~cmds
+          translate_arm_instruction ~funloc ~codepc ~blocklabel ~cmds
         with
         | BCH_failure p ->
            let msg =

diff --git a/CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.mli b/CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.mli
@@ -40,7 +40,6 @@ val translate_arm_instruction:
   funloc:location_int
   -> codepc:arm_code_pc_int
   -> blocklabel:symbol_t
-  -> exitlabel:symbol_t
   -> cmds:cmd_t list
   -> ((symbol_t
        * (code_t, 'a) command_t list) list