From: Julian Seward <jseward@acm.org>
Date: Wed, 17 Aug 2011 21:23:21 +0000 (+0000)
Subject: Improvements to debug printing with -v -v.  (Tom Hughes, tom@compton.nu)
X-Git-Tag: svn/VALGRIND_3_7_0~250
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9473baead3033eeab38239b915ab78faf2be9e4b;p=thirdparty%2Fvalgrind.git

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 dbed439c96..f22088b629 100644
--- 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;