Improvements to debug printing with -v -v. (Tom Hughes, tom@compton.nu)

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11987

diff --git a/coregrind/m_redir.c b/coregrind/m_redir.c
index dbed439c96297825ff76a1371ea1921ba1698c42..f22088b629432ca6cb64d18098224e1c14633f17 100644 (file)
--- a/coregrind/m_redir.c
+++ b/coregrind/m_redir.c
@@ -749,6 +749,11 @@ static void maybe_add_active ( Active act )
          if (old->becTag != 0 && act.becTag != 0 && old->becTag == act.becTag) {
             /* the replacements are behaviourally equivalent, so we can
                safely ignore this conflict, and not add the new one. */
+            if (VG_(clo_verbosity) > 2) {
+               VG_(message)(Vg_UserMsg, "Ignoring duplicate redirection:\n");
+               show_active(             "    old: ", old);
+               show_active(             "    new: ", &act);
+            }
          } else {
             what = "new redirection conflicts with existing -- ignoring it";
             goto bad;
@@ -772,6 +777,10 @@ static void maybe_add_active ( Active act )
                                  "redir_new_DebugInfo(from_addr)");
       VG_(discard_translations)( (Addr64)act.to_addr, 1,
                                  "redir_new_DebugInfo(to_addr)");
+      if (VG_(clo_verbosity) > 2) {
+         VG_(message)(Vg_UserMsg, "Adding active redirection:\n");
+         show_active(             "    new: ", &act);
+      }
    }
    return;