diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-04 08:53:31 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-04 08:53:31 +0100 |
| commit | decb2ce78a04fe4432aead78ca0165106fd4d26d (patch) | |
| tree | 2e5f66d26a70a5e831308ab50d012ee0f420609e /backend/CSE3analysisaux.ml | |
| parent | 025a185487c579f768fb747dd6e91a931a2ae66b (diff) | |
| download | compcert-kvx-decb2ce78a04fe4432aead78ca0165106fd4d26d.tar.gz compcert-kvx-decb2ce78a04fe4432aead78ca0165106fd4d26d.zip | |
do not print "updates" to nodes
Diffstat (limited to 'backend/CSE3analysisaux.ml')
| -rw-r--r-- | backend/CSE3analysisaux.ml | 3 |
1 files changed, 2 insertions, 1 deletions
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 |