From decb2ce78a04fe4432aead78ca0165106fd4d26d Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 4 Nov 2020 08:53:31 +0100
Subject: do not print "updates" to nodes

---
 backend/CSE3analysisaux.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'backend/CSE3analysisaux.ml')

diff --git a/backend/CSE3analysisaux.ml b/backend/CSE3analysisaux.ml
index 6e190d35..bd4ca20a 100644
--- a/backend/CSE3analysisaux.ml
+++ b/backend/CSE3analysisaux.ml
@@ -125,7 +125,8 @@ let refine_invariants
   let add_todo (pc : RTL.node) =
     todo := IntSet.add (P.to_int pc) !todo in 
   let update_node (pc : RTL.node) =
-    Printf.printf "updating node %d\n" (P.to_int pc);
+    (if !Clflags.option_debug_compcert > 9
+     then Printf.printf "updating node %d\n" (P.to_int pc));
     if not (peq pc entrypoint)
     then
       let cur = PMap.get pc !invariants in
-- 
cgit