From 5dba343249ef5abdc0cca2650176c5b81111896b Mon Sep 17 00:00:00 2001 From: "Dr. Michael Petter" Date: Thu, 19 Dec 2024 11:07:46 +0100 Subject: [PATCH] forgot to wrap speculative mode around bounds computation --- src/cdomains/apron/sharedFunctions.apron.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/cdomains/apron/sharedFunctions.apron.ml b/src/cdomains/apron/sharedFunctions.apron.ml index 112e327530..c277999b14 100644 --- 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 *)