From 74492016c4d7abed9fe6145a62dbb6831f21901a Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 6 Jul 2022 12:44:08 +0200
Subject: [PATCH] [Pdg] removes circularity due to postdominators
---
src/plugins/postdominators/dune | 3 +--
src/plugins/postdominators/print.ml | 3 +--
2 files changed, 2 insertions(+), 4 deletions(-)
diff --git a/src/plugins/postdominators/dune b/src/plugins/postdominators/dune
index 7b84cb8f931..da173221fed 100644
--- a/src/plugins/postdominators/dune
+++ b/src/plugins/postdominators/dune
@@ -25,7 +25,6 @@
(deps (universe))
(action (progn
(echo "Postdominators:" %{lib-available:frama-c-postdominators.core} "\n")
- (echo " - Pdg-Types:" %{lib-available:frama-c-pdg.types.core} "\n")
(echo " - Eva:" %{lib-available:frama-c-eva.core} "\n")
)
)
@@ -36,7 +35,7 @@
(optional)
(public_name frama-c-postdominators.core)
(flags -open Frama_c_kernel :standard -w -9)
- (libraries frama-c.kernel frama-c-pdg.types.core frama-c-eva.core)
+ (libraries frama-c.kernel frama-c-eva.core)
)
(plugin (optional) (name postdominators) (libraries frama-c-postdominators.core) (site (frama-c plugins)))
diff --git a/src/plugins/postdominators/print.ml b/src/plugins/postdominators/print.ml
index 560c6965ce4..56e3d81e8ee 100644
--- a/src/plugins/postdominators/print.ml
+++ b/src/plugins/postdominators/print.ml
@@ -23,8 +23,7 @@
open Cil_types
open Cil_datatype
-let pretty_stmt fmt s = let open Pdg_types in
- let key = PdgIndex.Key.stmt_key s in PdgIndex.Key.pretty fmt key
+let pretty_stmt fmt s = Cil_printer.pp_stmt fmt s
module Printer = struct
--
GitLab