From d0fdd0eecf30a9d9360e7afafa9794874d14ca04 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Mon, 7 Feb 2022 16:57:16 +0100
Subject: [PATCH] [postdominators] Use the new Eva API
---
src/plugins/postdominators/compute.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/postdominators/compute.ml b/src/plugins/postdominators/compute.ml
index d0b257ac9a6..08cb906feaa 100644
--- a/src/plugins/postdominators/compute.ml
+++ b/src/plugins/postdominators/compute.ml
@@ -255,7 +255,7 @@ let () = Db.Main.extend output
include
PostDomDb
(struct
- let is_accessible = Db.Value.is_reachable_stmt
+ let is_accessible = Eva.Results.is_reachable
let dependencies = [ Db.Value.self ]
let name = "value"
let eval_cond stmt _e =
--
GitLab