Added detection of more types of runtime errors. Cleaned up tracing output. Added test for tracing output (tc20_verifywrap2).

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7511 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/exp-drd/drd_main.c b/exp-drd/drd_main.c
index 5b8b436..af447f3 100644
--- a/exp-drd/drd_main.c
+++ b/exp-drd/drd_main.c
@@ -428,9 +428,10 @@
 void drd_post_mutex_lock(const DrdThreadId drd_tid,
                          const Addr mutex,
                          const SizeT size,
-                         const MutexT mutex_type)
+                         const MutexT mutex_type,
+                         const Bool took_lock)
 {
-   mutex_post_lock(mutex, size, mutex_type);
+   mutex_post_lock(mutex, size, mutex_type, took_lock);
 }
 
 void drd_pre_mutex_unlock(const DrdThreadId drd_tid,