Update isla-sail

rems-project · Sep 13, 2024 · f7ba93e · f7ba93e
1 parent 537a478
commit f7ba93e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/isla-sail/jib_ir.ml b/isla-sail/jib_ir.ml
@@ -97,7 +97,7 @@ let rec string_of_clexp = function
   | CL_field (clexp, field) -> string_of_clexp clexp ^ "." ^ zencode_id field
   | CL_addr clexp -> string_of_clexp clexp ^ "*"
   | CL_tuple (clexp, n) -> string_of_clexp clexp ^ "." ^ string_of_int n
-  | CL_void -> "void"
+  | CL_void _ -> "void"
   | CL_rmw _ -> assert false
 
 let string_of_creturn = function

diff --git a/isla-sail/sail_plugin_isla.ml b/isla-sail/sail_plugin_isla.ml
@@ -220,14 +220,15 @@ module Ir_config : Jib_compile.CONFIG = struct
   let optimize_anf _ aexp = aexp
 
   let unroll_loops = None
-  let make_call_precise _ _ = true
+  let make_call_precise _ _ _ _ = true
   let ignore_64 = false
   let struct_value = true
   let tuple_value = true
   let track_throw = true
   let branch_coverage = None
   let use_real = false
   let use_void = false
+  let eager_control_flow = false
 end
 
 let jib_of_ast env ast effect_info =