From d958bba9fdb96d4d2634c9b15d5165b92b2615d1 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Mon, 7 Feb 2022 16:57:04 +0100
Subject: [PATCH] [Pdg] Use the new Eva API
---
src/plugins/pdg/build.ml | 2 +-
src/plugins/pdg/register.ml | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/pdg/build.ml b/src/plugins/pdg/build.ml
index e90ada08bba..6606cbf535d 100644
--- a/src/plugins/pdg/build.ml
+++ b/src/plugins/pdg/build.ml
@@ -1000,7 +1000,7 @@ let degenerated top kf =
if top then PdgTypes.Pdg.top kf else PdgTypes.Pdg.bottom kf
let compute_pdg kf =
- if not (Db.Value.is_computed ()) then !Db.Value.compute ();
+ if not (Eva.Analysis.is_computed ()) then Eva.Analysis.compute ();
Pdg_parameters.feedback "computing for function %a" Kernel_function.pretty kf;
try
if is_variadic kf then
diff --git a/src/plugins/pdg/register.ml b/src/plugins/pdg/register.ml
index 5add8915f1c..0c1ae27625f 100644
--- a/src/plugins/pdg/register.ml
+++ b/src/plugins/pdg/register.ml
@@ -127,7 +127,7 @@ let compute_for_kf kf =
Kernel_function.Set.mem kf (Pdg_parameters.BuildFct.get ())
let compute () =
- !Db.Value.compute ();
+ Eva.Analysis.compute ();
let do_kf_pdg kf =
if compute_for_kf kf then
let pdg = !Db.Pdg.get kf in
--
GitLab