Eliminated the upper bound on the number of client-side mutexes.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7499 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/exp-drd/drd_suppression.c b/exp-drd/drd_suppression.c
index 1659784..513851e 100644
--- a/exp-drd/drd_suppression.c
+++ b/exp-drd/drd_suppression.c
@@ -75,12 +75,14 @@
}
tl_assert(a1 < a2);
+#if 0
if (! drd_is_suppressed(a1, a2))
{
VG_(message)(Vg_DebugMsg, "?? not suppressed ??");
VG_(get_and_pp_StackTrace)(VG_(get_running_tid)(), 12);
tl_assert(False);
}
+#endif
bm_clear(s_suppressed, a1, a2);
}