commit 4dced351914c3ffb4b74990f1b9b37e598106807
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Tue Jun 04 22:54:20 2002 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Tue Jun 04 22:54:20 2002 +0000
tree c6d64b93c6d8951661e59697c02e7e32d323b015
parent 3d7c8d6bcd575b3da831d4f6a1da7184a5325ceb

A new kind of error: PThread errors.  Used to report detected misuse in
the pthread_* API.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@379 a5019735-40e9-0310-863c-91ae7b9d1cf9

coregrind/vg_include.h

diff --git a/coregrind/vg_include.h b/coregrind/vg_include.h
index ba22030..ec923b1 100644
--- a/coregrind/vg_include.h
+++ b/coregrind/vg_include.h
@@ -487,8 +487,11 @@
 
 #define VG_USERREQ__NUKE_OTHER_THREADS      0x3023
 
+
 /* Cosmetic ... */
 #define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
+/* Log a pthread error from client-space.  Cosmetic. */
+#define VG_USERREQ__PTHREAD_ERROR           0x3102
 
 /* 
 In vg_constants.h:
@@ -1306,6 +1309,8 @@
                                     Char* msg );
 extern void VG_(record_user_err) ( ThreadState* tst,
                                    Addr a, Bool isWriteLack );
+extern void VG_(record_pthread_err) ( ThreadId tid, Char* msg );
+
 
 
 /* The classification of a faulting address. */