Skip to content
Snippets Groups Projects
Commit 7b5f37eb authored by Maxime Jacquemin's avatar Maxime Jacquemin Committed by David Bühler
Browse files

[Eva] api: Bug fix

The previous way of building eval_lval and eval_exp only evaluated the
functor Make once, which is not what we want. This should be fixed.
parent f53e7dc4
No related branches found
No related tags found
No related merge requests found
...@@ -348,7 +348,7 @@ end ...@@ -348,7 +348,7 @@ end
type evaluation = (module Evaluation) type evaluation = (module Evaluation)
type lvaluation type lvaluation
let eval_lval, eval_exp = let build_eval_lval_and_exp () =
let module M = Make () in let module M = Make () in
let open Response in let open Response in
let build = function let build = function
...@@ -371,9 +371,13 @@ let eval_lval, eval_exp = ...@@ -371,9 +371,13 @@ let eval_lval, eval_exp =
let eval_exp exp req = build @@ M.eval_exp exp req in let eval_exp exp req = build @@ M.eval_exp exp req in
eval_lval, eval_exp eval_lval, eval_exp
let eval_lval lval req = (fst @@ build_eval_lval_and_exp ()) lval req
let eval_var vi req = let eval_var vi req =
eval_lval (Cil.var vi) req eval_lval (Cil.var vi) req
let eval_exp exp req = (snd @@ build_eval_lval_and_exp ()) exp req
let eval_address _lval _req = let eval_address _lval _req =
raise Not_implemented raise Not_implemented
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment