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

[Eva] Improves performance of values request by callstack.

parent 29bfab7b
No related branches found
No related tags found
No related merge requests found
......@@ -354,7 +354,7 @@ module Proxy(A : Analysis.S) : EvaProxy = struct
let dstate ~after stmt = function
| None -> (A.get_stmt_state ~after stmt :> dstate)
| Some cs ->
match A.get_stmt_state_by_callstack ~after stmt with
match A.get_stmt_state_by_callstack ~selection:[cs] ~after stmt with
| (`Top | `Bottom) as res -> res
| `Value cmap ->
try `Value (CSmap.find cmap cs)
......
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