diff options
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2011-08-17 21:23:21 +0000 |
---|---|---|
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2011-08-17 21:23:21 +0000 |
commit | 14127d6c4b16f2069d3ef6d4cc7f751bc01e4732 (patch) | |
tree | 6ecbd33bd9e8f24a767e19481b51da3217a58e72 /coregrind | |
parent | 7696726f188b4b50dc792a2b351bf7e162517ba9 (diff) |
Improvements to debug printing with -v -v. (Tom Hughes, tom@compton.nu)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11987 a5019735-40e9-0310-863c-91ae7b9d1cf9
Diffstat (limited to 'coregrind')
-rw-r--r-- | coregrind/m_redir.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/coregrind/m_redir.c b/coregrind/m_redir.c index dbed439c..f22088b6 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; |