forgot to wrap speculative mode around bounds computation

goblint · Dec 19, 2024 · 5dba343 · 5dba343
1 parent 4d60a82
commit 5dba343
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/cdomains/apron/sharedFunctions.apron.ml b/src/cdomains/apron/sharedFunctions.apron.ml
@@ -170,6 +170,7 @@ struct
                   | exception Invalid_argument _ -> raise (Unsupported_CilExp Exp_not_supported)
                   | true -> texpr1 e
                   | false -> (* Cast is not injective - we now try to establish suitable ranges manually  *)
+                    GobRef.wrap AnalysisState.executing_speculative_computations true @@ fun () ->
                     (* try to evaluate e by EvalInt Query *)
                     let res = try (query e @@ Cilfacade.get_ikind_exp e) with Invalid_argument _ -> raise (Unsupported_CilExp Exp_not_supported)  in
                     (* convert response to a constant *)