|
From: <sv...@va...> - 2008-06-28 16:22:22
|
Author: bart
Date: 2008-06-28 17:22:24 +0100 (Sat, 28 Jun 2008)
New Revision: 8300
Log:
Changed function not_a_mutex() from static to extern.
Modified:
trunk/exp-drd/drd_mutex.c
trunk/exp-drd/drd_mutex.h
Modified: trunk/exp-drd/drd_mutex.c
===================================================================
--- trunk/exp-drd/drd_mutex.c 2008-06-28 16:06:01 UTC (rev 8299)
+++ trunk/exp-drd/drd_mutex.c 2008-06-28 16:22:24 UTC (rev 8300)
@@ -111,7 +111,7 @@
}
/** Let Valgrind report that there is no mutex object at address 'mutex'. */
-static void not_a_mutex(const Addr mutex)
+void not_a_mutex(const Addr mutex)
{
MutexErrInfo MEI = { mutex, -1, DRD_INVALID_THREADID };
VG_(maybe_record_error)(VG_(get_running_tid)(),
Modified: trunk/exp-drd/drd_mutex.h
===================================================================
--- trunk/exp-drd/drd_mutex.h 2008-06-28 16:06:01 UTC (rev 8299)
+++ trunk/exp-drd/drd_mutex.h 2008-06-28 16:22:24 UTC (rev 8300)
@@ -41,6 +41,7 @@
struct mutex_info* mutex_init(const Addr mutex,
const MutexT mutex_type);
void mutex_post_destroy(const Addr mutex);
+void not_a_mutex(const Addr mutex);
struct mutex_info* mutex_get(const Addr mutex);
void mutex_pre_lock(const Addr mutex, const MutexT mutex_type,
const Bool trylock);
|