drd_error.c revision 588adeffafa8102adcfa7a1c035ae272b35cf86d
1bedfd237fbdc80d0c917cfcb85a94b5561c92633bart/* -*- mode: C; c-basic-offset: 3; -*- */ 2af44c8236f7a73e71b16b707bba56f33af4d01cesewardj/* 386562bd89ac23ce795d19c71fabcb9d1c8f956d3bart This file is part of drd, a thread error detector. 4af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 586562bd89ac23ce795d19c71fabcb9d1c8f956d3bart Copyright (C) 2006-2009 Bart Van Assche <bart.vanassche@gmail.com>. 6af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 7af44c8236f7a73e71b16b707bba56f33af4d01cesewardj This program is free software; you can redistribute it and/or 8af44c8236f7a73e71b16b707bba56f33af4d01cesewardj modify it under the terms of the GNU General Public License as 9af44c8236f7a73e71b16b707bba56f33af4d01cesewardj published by the Free Software Foundation; either version 2 of the 10af44c8236f7a73e71b16b707bba56f33af4d01cesewardj License, or (at your option) any later version. 11af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 12af44c8236f7a73e71b16b707bba56f33af4d01cesewardj This program is distributed in the hope that it will be useful, but 13af44c8236f7a73e71b16b707bba56f33af4d01cesewardj WITHOUT ANY WARRANTY; without even the implied warranty of 14af44c8236f7a73e71b16b707bba56f33af4d01cesewardj MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 15af44c8236f7a73e71b16b707bba56f33af4d01cesewardj General Public License for more details. 16af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 17af44c8236f7a73e71b16b707bba56f33af4d01cesewardj You should have received a copy of the GNU General Public License 18af44c8236f7a73e71b16b707bba56f33af4d01cesewardj along with this program; if not, write to the Free Software 19af44c8236f7a73e71b16b707bba56f33af4d01cesewardj Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 20af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 02111-1307, USA. 21af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 22af44c8236f7a73e71b16b707bba56f33af4d01cesewardj The GNU General Public License is contained in the file COPYING. 23af44c8236f7a73e71b16b707bba56f33af4d01cesewardj*/ 24af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 25af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 26886b87c5e1adfa6657d24404283f7b79576e690cbart#include "drd_clientobj.h" /* struct mutex_info */ 27af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#include "drd_error.h" 28af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#include "drd_malloc_wrappers.h" 29886b87c5e1adfa6657d24404283f7b79576e690cbart#include "drd_mutex.h" 30886b87c5e1adfa6657d24404283f7b79576e690cbart#include "drd_suppression.h" /* drd_start_suppression() */ 31886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_drd_bitmap.h" /* LHS_W, ... */ 32af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#include "pub_tool_vki.h" 33af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#include "pub_tool_basics.h" 34886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_libcassert.h" /* tl_assert() */ 35886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_libcbase.h" /* strlen() */ 36886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_libcfile.h" /* VG_(get_startup_wd)() */ 37886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_libcprint.h" /* VG_(printf)() */ 38af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#include "pub_tool_machine.h" 39886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_mallocfree.h" /* VG_(malloc), VG_(free) */ 40886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_threadstate.h" /* VG_(get_pthread_id)() */ 41886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_tooliface.h" /* VG_(needs_tool_errors)() */ 42af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 43af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 4416d76e507231c5edd065cd66b597bf372adbf7a4bart/* Local variables. */ 4516d76e507231c5edd065cd66b597bf372adbf7a4bart 46d2c5eae561040706a7eb45c0f3988dcd538c8d7ebartstatic Bool s_show_conflicting_segments = True; 4716d76e507231c5edd065cd66b597bf372adbf7a4bart 4816d76e507231c5edd065cd66b597bf372adbf7a4bart 49246fbf2655328fc150e528b701223b7a1eafe471bartvoid DRD_(set_show_conflicting_segments)(const Bool scs) 5016d76e507231c5edd065cd66b597bf372adbf7a4bart{ 51bedfd237fbdc80d0c917cfcb85a94b5561c92633bart s_show_conflicting_segments = scs; 5216d76e507231c5edd065cd66b597bf372adbf7a4bart} 5316d76e507231c5edd065cd66b597bf372adbf7a4bart 54246fbf2655328fc150e528b701223b7a1eafe471bart/** 5561d36ff45485b6b96f443c8bebb1acf26eaff653bart * Describe the client address a as good as possible, putting the result in ai. 56886b87c5e1adfa6657d24404283f7b79576e690cbart */ 57ff1252ae10754371ac3428fdf8d7704c39acc23dbartstatic 5861d36ff45485b6b96f443c8bebb1acf26eaff653bartvoid describe_malloced_addr(Addr const a, AddrInfo* const ai) 59af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 6061d36ff45485b6b96f443c8bebb1acf26eaff653bart Addr heap_block_start; 61bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 6261d36ff45485b6b96f443c8bebb1acf26eaff653bart if (DRD_(heap_addrinfo)(a, &heap_block_start, &ai->size, &ai->lastchange)) 63bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 64bedfd237fbdc80d0c917cfcb85a94b5561c92633bart ai->akind = eMallocd; 6561d36ff45485b6b96f443c8bebb1acf26eaff653bart ai->rwoffset = a - heap_block_start; 66bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 67bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else 68bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 69bedfd237fbdc80d0c917cfcb85a94b5561c92633bart ai->akind = eUnknown; 70bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 71af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 72af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 73246fbf2655328fc150e528b701223b7a1eafe471bart/** 7461d36ff45485b6b96f443c8bebb1acf26eaff653bart * Report where a client synchronization object has been observed for the first 7561d36ff45485b6b96f443c8bebb1acf26eaff653bart * time. The printed call stack will either refer to a pthread_*_init() or a 7661d36ff45485b6b96f443c8bebb1acf26eaff653bart * pthread_*lock() call. 77886b87c5e1adfa6657d24404283f7b79576e690cbart */ 78d2c5eae561040706a7eb45c0f3988dcd538c8d7ebartstatic void first_observed(const Addr obj) 79886b87c5e1adfa6657d24404283f7b79576e690cbart{ 80bedfd237fbdc80d0c917cfcb85a94b5561c92633bart DrdClientobj* cl; 81bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 82bedfd237fbdc80d0c917cfcb85a94b5561c92633bart cl = DRD_(clientobj_get_any)(obj); 83bedfd237fbdc80d0c917cfcb85a94b5561c92633bart if (cl) 84bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 85bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(cl->any.first_observed_at); 86bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(message)(Vg_UserMsg, 871e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj "%s 0x%lx was first observed at:\n", 88bedfd237fbdc80d0c917cfcb85a94b5561c92633bart DRD_(clientobj_type_name)(cl->any.type), 89bedfd237fbdc80d0c917cfcb85a94b5561c92633bart obj); 90bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(cl->any.first_observed_at); 91bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 92886b87c5e1adfa6657d24404283f7b79576e690cbart} 93886b87c5e1adfa6657d24404283f7b79576e690cbart 94af44c8236f7a73e71b16b707bba56f33af4d01cesewardjstatic 95d2c5eae561040706a7eb45c0f3988dcd538c8d7ebartvoid drd_report_data_race(Error* const err, const DataRaceErrInfo* const dri) 96af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 97bedfd237fbdc80d0c917cfcb85a94b5561c92633bart AddrInfo ai; 981e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj 991e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj XArray* /* of HChar */ descr1 1001e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj = VG_(newXA)( VG_(malloc), "drd.error.drdr2.1", 1011e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(free), sizeof(HChar) ); 1021e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj XArray* /* of HChar */ descr2 1031e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj = VG_(newXA)( VG_(malloc), "drd.error.drdr2.2", 1041e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(free), sizeof(HChar) ); 105bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 106bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(dri); 107bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(dri->addr); 108bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(dri->size > 0); 109bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(descr1); 110bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(descr2); 111bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 1121e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj (void) VG_(get_data_description)(descr1, descr2, dri->addr); 1131e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj /* If there's nothing in descr1/2, free them. Why is it safe to to 1141e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(indexXA) at zero here? Because VG_(get_data_description) 1151e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj guarantees to zero terminate descr1/2 regardless of the outcome 1161e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj of the call. So there's always at least one element in each XA 1171e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj after the call. 1181e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj */ 1191e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (0 == VG_(strlen)( VG_(indexXA)( descr1, 0 ))) { 1201e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(deleteXA)( descr1 ); 1211e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj descr1 = NULL; 1221e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj } 1231e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (0 == VG_(strlen)( VG_(indexXA)( descr2, 0 ))) { 1241e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(deleteXA)( descr2 ); 1251e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj descr2 = NULL; 1261e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj } 1271e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj /* Assume (assert) that VG_(get_data_description) fills in descr1 1281e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj before it fills in descr2 */ 1291e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (descr1 == NULL) 1301e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj tl_assert(descr2 == NULL); 1311e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj /* So anyway. Do we have something useful? */ 1321e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (descr1 == NULL) 133bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 1341e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj /* No. Do Plan B. */ 13561d36ff45485b6b96f443c8bebb1acf26eaff653bart describe_malloced_addr(dri->addr, &ai); 136bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 137bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(message)(Vg_UserMsg, 13863c92ea799549976957f5b4d54ede744f762c56fbart "Conflicting %s by thread %d at 0x%08lx size %ld\n", 139bedfd237fbdc80d0c917cfcb85a94b5561c92633bart dri->access_type == eStore ? "store" : "load", 140bedfd237fbdc80d0c917cfcb85a94b5561c92633bart dri->tid, 141bedfd237fbdc80d0c917cfcb85a94b5561c92633bart dri->addr, 142bedfd237fbdc80d0c917cfcb85a94b5561c92633bart dri->size); 143bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(err)); 1441e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (descr1 != NULL) 145bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 1461e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(message)(Vg_UserMsg, "%s\n", (HChar*)VG_(indexXA)(descr1, 0)); 1471e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (descr2 != NULL) 1481e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(message)(Vg_UserMsg, "%s\n", (HChar*)VG_(indexXA)(descr2, 0)); 149bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 150bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (ai.akind == eMallocd && ai.lastchange) 151bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 152fca00e5b1485d8c6807936ccb44b2ed94c2e5852bart VG_(message)(Vg_UserMsg, 153bedfd237fbdc80d0c917cfcb85a94b5561c92633bart "Address 0x%lx is at offset %ld from 0x%lx." 1541e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj " Allocation context:\n", 155bedfd237fbdc80d0c917cfcb85a94b5561c92633bart dri->addr, ai.rwoffset, dri->addr - ai.rwoffset); 156bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(ai.lastchange); 157bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 158bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else 159bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 160bedfd237fbdc80d0c917cfcb85a94b5561c92633bart char sect_name[64]; 161bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VgSectKind sect_kind; 162bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 163e3f1e5988a94af9230f67273ca9236c4d7e8b8dasewardj sect_kind = VG_(DebugInfo_sect_kind)(sect_name, sizeof(sect_name), 164e3f1e5988a94af9230f67273ca9236c4d7e8b8dasewardj dri->addr); 165bedfd237fbdc80d0c917cfcb85a94b5561c92633bart if (sect_kind != Vg_SectUnknown) 166bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 167bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(message)(Vg_UserMsg, 1681e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj "Allocation context: %s section of %s\n", 169bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_SectKind)(sect_kind), 170bedfd237fbdc80d0c917cfcb85a94b5561c92633bart sect_name); 171bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 172bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else 173bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 1741e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(message)(Vg_UserMsg, "Allocation context: unknown.\n"); 175bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 176bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 177bedfd237fbdc80d0c917cfcb85a94b5561c92633bart if (s_show_conflicting_segments) 178bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 179bedfd237fbdc80d0c917cfcb85a94b5561c92633bart DRD_(thread_report_conflicting_segments)(dri->tid, 180bedfd237fbdc80d0c917cfcb85a94b5561c92633bart dri->addr, dri->size, 181bedfd237fbdc80d0c917cfcb85a94b5561c92633bart dri->access_type); 182bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 183bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 1841e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (descr2) 1851e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(deleteXA)(descr2); 1861e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (descr1) 1871e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(deleteXA)(descr1); 188af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 189af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 19061d36ff45485b6b96f443c8bebb1acf26eaff653bart/** 19161d36ff45485b6b96f443c8bebb1acf26eaff653bart * Compare two error contexts. The core function VG_(maybe_record_error)() 19261d36ff45485b6b96f443c8bebb1acf26eaff653bart * calls this function to compare error contexts such that errors that occur 19361d36ff45485b6b96f443c8bebb1acf26eaff653bart * repeatedly are only printed once. This function is only called by the core 19461d36ff45485b6b96f443c8bebb1acf26eaff653bart * if the error kind of e1 and e2 matches and if the ExeContext's of e1 and 19561d36ff45485b6b96f443c8bebb1acf26eaff653bart * e2 also match. 19661d36ff45485b6b96f443c8bebb1acf26eaff653bart */ 19761d36ff45485b6b96f443c8bebb1acf26eaff653bartstatic Bool drd_compare_error_contexts(VgRes res, Error* e1, Error* e2) 198af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 199b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart tl_assert(VG_(get_error_kind)(e1) == VG_(get_error_kind)(e2)); 200b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart 201b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart switch (VG_(get_error_kind)(e1)) 202b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart { 203b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart case DataRaceErr: 204b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart { 205b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart const DataRaceErrInfo* const dri1 = VG_(get_error_extra)(e1); 206b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart const DataRaceErrInfo* const dri2 = VG_(get_error_extra)(e2); 207b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart return dri1->access_type == dri2->access_type 208b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart && dri1->size == dri2->size; 209b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart } 21094fb8d242689282bf78062ca4756edded011a54dbart case MutexErr: 21194fb8d242689282bf78062ca4756edded011a54dbart { 21294fb8d242689282bf78062ca4756edded011a54dbart const MutexErrInfo* const mei1 = VG_(get_error_extra)(e1); 21394fb8d242689282bf78062ca4756edded011a54dbart const MutexErrInfo* const mei2 = VG_(get_error_extra)(e2); 21494fb8d242689282bf78062ca4756edded011a54dbart return mei1->mutex == mei2->mutex; 21594fb8d242689282bf78062ca4756edded011a54dbart } 216b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart default: 217b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart return True; 218b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart } 219af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 220af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 22161d36ff45485b6b96f443c8bebb1acf26eaff653bart/** 22261d36ff45485b6b96f443c8bebb1acf26eaff653bart * Called by the core just before an error message will be printed. Used by 22361d36ff45485b6b96f443c8bebb1acf26eaff653bart * DRD to print the thread number as a preamble. 22461d36ff45485b6b96f443c8bebb1acf26eaff653bart */ 2251e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardjstatic void drd_tool_error_before_pp(Error* const e) 2261e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj{ 227d45d99553c15a361bb797d21ec6afb9bad22d2d4bart static DrdThreadId s_last_tid_printed = 1; 228d45d99553c15a361bb797d21ec6afb9bad22d2d4bart DrdThreadId* err_extra; 229d45d99553c15a361bb797d21ec6afb9bad22d2d4bart 230d45d99553c15a361bb797d21ec6afb9bad22d2d4bart err_extra = VG_(get_error_extra)(e); 231d45d99553c15a361bb797d21ec6afb9bad22d2d4bart 232d45d99553c15a361bb797d21ec6afb9bad22d2d4bart if (err_extra && *err_extra != s_last_tid_printed) 233d45d99553c15a361bb797d21ec6afb9bad22d2d4bart { 2341e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(umsg)("%s:\n", DRD_(thread_get_name)(*err_extra)); 235d45d99553c15a361bb797d21ec6afb9bad22d2d4bart s_last_tid_printed = *err_extra; 236d45d99553c15a361bb797d21ec6afb9bad22d2d4bart } 23761d36ff45485b6b96f443c8bebb1acf26eaff653bart} 238d45d99553c15a361bb797d21ec6afb9bad22d2d4bart 23961d36ff45485b6b96f443c8bebb1acf26eaff653bart/** Report an error to the user. */ 24061d36ff45485b6b96f443c8bebb1acf26eaff653bartstatic void drd_tool_error_pp(Error* const e) 24161d36ff45485b6b96f443c8bebb1acf26eaff653bart{ 242bedfd237fbdc80d0c917cfcb85a94b5561c92633bart switch (VG_(get_error_kind)(e)) 243bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 244bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case DataRaceErr: { 245bedfd237fbdc80d0c917cfcb85a94b5561c92633bart drd_report_data_race(e, VG_(get_error_extra)(e)); 246bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 247bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 248bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case MutexErr: { 249bedfd237fbdc80d0c917cfcb85a94b5561c92633bart MutexErrInfo* p = (MutexErrInfo*)(VG_(get_error_extra)(e)); 250bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(p); 251bedfd237fbdc80d0c917cfcb85a94b5561c92633bart if (p->recursion_count >= 0) 252bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 253bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(message)(Vg_UserMsg, 2541e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj "%s: mutex 0x%lx, recursion count %d, owner %d.\n", 255bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(get_error_string)(e), 256bedfd237fbdc80d0c917cfcb85a94b5561c92633bart p->mutex, 257bedfd237fbdc80d0c917cfcb85a94b5561c92633bart p->recursion_count, 258bedfd237fbdc80d0c917cfcb85a94b5561c92633bart p->owner); 259bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 260bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else 261bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 262bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(message)(Vg_UserMsg, 2631e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj "The object at address 0x%lx is not a mutex.\n", 264bedfd237fbdc80d0c917cfcb85a94b5561c92633bart p->mutex); 265bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 266bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 267bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(p->mutex); 268bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 269bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 270bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondErr: { 271bedfd237fbdc80d0c917cfcb85a94b5561c92633bart CondErrInfo* cdei =(CondErrInfo*)(VG_(get_error_extra)(e)); 272bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(message)(Vg_UserMsg, 2731e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj "%s: cond 0x%lx\n", 274bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(get_error_string)(e), 275bedfd237fbdc80d0c917cfcb85a94b5561c92633bart cdei->cond); 276bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 277bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cdei->cond); 278bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 279bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 280bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondDestrErr: { 281bedfd237fbdc80d0c917cfcb85a94b5561c92633bart CondDestrErrInfo* cdi = (CondDestrErrInfo*)(VG_(get_error_extra)(e)); 282bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(message)(Vg_UserMsg, 28363c92ea799549976957f5b4d54ede744f762c56fbart "%s: cond 0x%lx, mutex 0x%lx locked by thread %d\n", 284bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(get_error_string)(e), 285bedfd237fbdc80d0c917cfcb85a94b5561c92633bart cdi->cond, cdi->mutex, 28663c92ea799549976957f5b4d54ede744f762c56fbart cdi->owner); 287bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 288bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cdi->mutex); 289bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 290bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 291bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondRaceErr: { 292bedfd237fbdc80d0c917cfcb85a94b5561c92633bart CondRaceErrInfo* cei = (CondRaceErrInfo*)(VG_(get_error_extra)(e)); 293bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(message)(Vg_UserMsg, 294bedfd237fbdc80d0c917cfcb85a94b5561c92633bart "Probably a race condition: condition variable 0x%lx has" 295bedfd237fbdc80d0c917cfcb85a94b5561c92633bart " been signaled but the associated mutex 0x%lx is not" 2961e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj " locked by the signalling thread.\n", 297bedfd237fbdc80d0c917cfcb85a94b5561c92633bart cei->cond, cei->mutex); 298bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 299bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cei->cond); 300bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cei->mutex); 301bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 302bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 303bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondWaitErr: { 304bedfd237fbdc80d0c917cfcb85a94b5561c92633bart CondWaitErrInfo* cwei = (CondWaitErrInfo*)(VG_(get_error_extra)(e)); 3056b71761ccfaa90b5d415dc7c19569568cf4579b4bart VG_(message)(Vg_UserMsg, 3061e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj "%s: condition variable 0x%lx, mutexes 0x%lx and 0x%lx\n", 3076b71761ccfaa90b5d415dc7c19569568cf4579b4bart VG_(get_error_string)(e), 308bedfd237fbdc80d0c917cfcb85a94b5561c92633bart cwei->cond, 309bedfd237fbdc80d0c917cfcb85a94b5561c92633bart cwei->mutex1, 310bedfd237fbdc80d0c917cfcb85a94b5561c92633bart cwei->mutex2); 311bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 312bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cwei->cond); 313bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cwei->mutex1); 314bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cwei->mutex2); 315bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 316bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 317bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case SemaphoreErr: { 318bedfd237fbdc80d0c917cfcb85a94b5561c92633bart SemaphoreErrInfo* sei = (SemaphoreErrInfo*)(VG_(get_error_extra)(e)); 319bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(sei); 3206b71761ccfaa90b5d415dc7c19569568cf4579b4bart VG_(message)(Vg_UserMsg, 3211e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj "%s: semaphore 0x%lx\n", 322bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(get_error_string)(e), 323bedfd237fbdc80d0c917cfcb85a94b5561c92633bart sei->semaphore); 324bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 325bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(sei->semaphore); 326bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 327bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 328bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case BarrierErr: { 329bedfd237fbdc80d0c917cfcb85a94b5561c92633bart BarrierErrInfo* bei = (BarrierErrInfo*)(VG_(get_error_extra)(e)); 330bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(bei); 331bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(message)(Vg_UserMsg, 3321e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj "%s: barrier 0x%lx\n", 333bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(get_error_string)(e), 334bedfd237fbdc80d0c917cfcb85a94b5561c92633bart bei->barrier); 335bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 336bedfd237fbdc80d0c917cfcb85a94b5561c92633bart if (bei->other_context) 337bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 338bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(message)(Vg_UserMsg, 33963c92ea799549976957f5b4d54ede744f762c56fbart "Conflicting wait call by thread %d:\n", 340bedfd237fbdc80d0c917cfcb85a94b5561c92633bart bei->other_tid); 341bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(bei->other_context); 342bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 343bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(bei->barrier); 344bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 345bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 346bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case RwlockErr: { 347bedfd237fbdc80d0c917cfcb85a94b5561c92633bart RwlockErrInfo* p = (RwlockErrInfo*)(VG_(get_error_extra)(e)); 348bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(p); 349bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(message)(Vg_UserMsg, 3501e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj "%s: rwlock 0x%lx.\n", 351bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(get_error_string)(e), 352bedfd237fbdc80d0c917cfcb85a94b5561c92633bart p->rwlock); 353bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 354bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(p->rwlock); 355bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 356bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 357bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case HoldtimeErr: { 358bedfd237fbdc80d0c917cfcb85a94b5561c92633bart HoldtimeErrInfo* p =(HoldtimeErrInfo*)(VG_(get_error_extra)(e)); 359bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(p); 360bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(p->acquired_at); 3611e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(message)(Vg_UserMsg, "Acquired at:\n"); 362bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(p->acquired_at); 363bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(message)(Vg_UserMsg, 3641e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj "Lock on %s 0x%lx was held during %d ms (threshold: %d ms).\n", 365bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(get_error_string)(e), 366bedfd237fbdc80d0c917cfcb85a94b5561c92633bart p->synchronization_object, 367bedfd237fbdc80d0c917cfcb85a94b5561c92633bart p->hold_time_ms, 368bedfd237fbdc80d0c917cfcb85a94b5561c92633bart p->threshold_ms); 369bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 370bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(p->synchronization_object); 371bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 372bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 373bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case GenericErr: { 374bedfd237fbdc80d0c917cfcb85a94b5561c92633bart //GenericErrInfo* gei =(GenericErrInfo*)(VG_(get_error_extra)(e)); 3751e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(message)(Vg_UserMsg, "%s\n", VG_(get_error_string)(e)); 376bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 377bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 378bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 379b48bde21f5107f74335b88cacee76c556ae22aa7bart case InvalidThreadId: { 380b48bde21f5107f74335b88cacee76c556ae22aa7bart InvalidThreadIdInfo* iti =(InvalidThreadIdInfo*)(VG_(get_error_extra)(e)); 381b48bde21f5107f74335b88cacee76c556ae22aa7bart VG_(message)(Vg_UserMsg, 382b48bde21f5107f74335b88cacee76c556ae22aa7bart "%s 0x%llx\n", VG_(get_error_string)(e), iti->ptid); 383b48bde21f5107f74335b88cacee76c556ae22aa7bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 384b48bde21f5107f74335b88cacee76c556ae22aa7bart break; 385b48bde21f5107f74335b88cacee76c556ae22aa7bart } 38666f196dd7e23627a6e0e54dc90c89800a4878be2bart case UnimpClReq: { 38766f196dd7e23627a6e0e54dc90c89800a4878be2bart UnimpClReqInfo* uicr =(UnimpClReqInfo*)(VG_(get_error_extra)(e)); 38866f196dd7e23627a6e0e54dc90c89800a4878be2bart VG_(message)(Vg_UserMsg, 38966f196dd7e23627a6e0e54dc90c89800a4878be2bart "The annotation macro %s has not yet been implemented in" 39066f196dd7e23627a6e0e54dc90c89800a4878be2bart " <helgrind/helgrind.h>\n", 39166f196dd7e23627a6e0e54dc90c89800a4878be2bart /*VG_(get_error_string)(e),*/ uicr->descr); 39266f196dd7e23627a6e0e54dc90c89800a4878be2bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 39366f196dd7e23627a6e0e54dc90c89800a4878be2bart break; 39466f196dd7e23627a6e0e54dc90c89800a4878be2bart } 395bedfd237fbdc80d0c917cfcb85a94b5561c92633bart default: 396d2c5eae561040706a7eb45c0f3988dcd538c8d7ebart VG_(message)(Vg_UserMsg, 3971e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj "%s\n", 398bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(get_error_string)(e)); 399bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 400bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 401bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 402af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 403af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 404d2c5eae561040706a7eb45c0f3988dcd538c8d7ebartstatic UInt drd_tool_error_update_extra(Error* e) 405af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 406bedfd237fbdc80d0c917cfcb85a94b5561c92633bart switch (VG_(get_error_kind)(e)) 407bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 408bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case DataRaceErr: 409bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(DataRaceErrInfo); 410bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case MutexErr: 411bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(MutexErrInfo); 412bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondErr: 413bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(CondErrInfo); 414bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondDestrErr: 415bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(CondDestrErrInfo); 416bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondRaceErr: 417bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(CondRaceErrInfo); 418bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondWaitErr: 419bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(CondWaitErrInfo); 420bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case SemaphoreErr: 421bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(SemaphoreErrInfo); 422bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case BarrierErr: 423bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(BarrierErrInfo); 424bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case RwlockErr: 425bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(RwlockErrInfo); 426bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case HoldtimeErr: 427bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(HoldtimeErrInfo); 428bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case GenericErr: 429bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(GenericErrInfo); 430b48bde21f5107f74335b88cacee76c556ae22aa7bart case InvalidThreadId: 431b48bde21f5107f74335b88cacee76c556ae22aa7bart return sizeof(InvalidThreadIdInfo); 43266f196dd7e23627a6e0e54dc90c89800a4878be2bart case UnimpClReq: 43366f196dd7e23627a6e0e54dc90c89800a4878be2bart return sizeof(UnimpClReqInfo); 434bedfd237fbdc80d0c917cfcb85a94b5561c92633bart default: 435bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(False); 436bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 437bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 438af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 439af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 44061d36ff45485b6b96f443c8bebb1acf26eaff653bart/** 44161d36ff45485b6b96f443c8bebb1acf26eaff653bart * Parse suppression name. 44261d36ff45485b6b96f443c8bebb1acf26eaff653bart * 44361d36ff45485b6b96f443c8bebb1acf26eaff653bart * The suppression types recognized by DRD are the same types as the error 44461d36ff45485b6b96f443c8bebb1acf26eaff653bart * types supported by DRD. So try to match the suppression name against the 44561d36ff45485b6b96f443c8bebb1acf26eaff653bart * names of DRD error types. 44661d36ff45485b6b96f443c8bebb1acf26eaff653bart */ 44761d36ff45485b6b96f443c8bebb1acf26eaff653bartstatic Bool drd_is_recognized_suppression(Char* const name, Supp* const supp) 448af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 44961d36ff45485b6b96f443c8bebb1acf26eaff653bart DrdErrorKind skind = 0; 450bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 451bedfd237fbdc80d0c917cfcb85a94b5561c92633bart if (VG_(strcmp)(name, STR_DataRaceErr) == 0) 45261d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = DataRaceErr; 453bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_MutexErr) == 0) 45461d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = MutexErr; 455bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_CondErr) == 0) 45661d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = CondErr; 457bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_CondDestrErr) == 0) 45861d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = CondDestrErr; 459bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_CondRaceErr) == 0) 46061d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = CondRaceErr; 461bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_CondWaitErr) == 0) 46261d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = CondWaitErr; 463bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_SemaphoreErr) == 0) 46461d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = SemaphoreErr; 465bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_BarrierErr) == 0) 46661d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = BarrierErr; 467bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_RwlockErr) == 0) 46861d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = RwlockErr; 469bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_HoldtimeErr) == 0) 47061d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = HoldtimeErr; 471bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_GenericErr) == 0) 47261d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = GenericErr; 473b48bde21f5107f74335b88cacee76c556ae22aa7bart else if (VG_(strcmp)(name, STR_InvalidThreadId) == 0) 474b48bde21f5107f74335b88cacee76c556ae22aa7bart skind = InvalidThreadId; 47566f196dd7e23627a6e0e54dc90c89800a4878be2bart else if (VG_(strcmp)(name, STR_UnimpClReq) == 0) 47666f196dd7e23627a6e0e54dc90c89800a4878be2bart skind = UnimpClReq; 477bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else 478bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return False; 479bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 480bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(set_supp_kind)(supp, skind); 481bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return True; 482af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 483af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 48461d36ff45485b6b96f443c8bebb1acf26eaff653bart/** 48561d36ff45485b6b96f443c8bebb1acf26eaff653bart * Read additional suppression information from the suppression file. 48661d36ff45485b6b96f443c8bebb1acf26eaff653bart * 48761d36ff45485b6b96f443c8bebb1acf26eaff653bart * None of the suppression patterns recognized by DRD has 'extra' lines 48861d36ff45485b6b96f443c8bebb1acf26eaff653bart * of information in the suppression file, so just return True to indicate 48961d36ff45485b6b96f443c8bebb1acf26eaff653bart * that reading the 'extra' lines succeeded. 49061d36ff45485b6b96f443c8bebb1acf26eaff653bart */ 491246fbf2655328fc150e528b701223b7a1eafe471bartstatic 49261d36ff45485b6b96f443c8bebb1acf26eaff653bartBool drd_read_extra_suppression_info(Int fd, Char** bufpp, 49361d36ff45485b6b96f443c8bebb1acf26eaff653bart SizeT* nBufp, Supp* supp) 494af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 495bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return True; 496af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 497af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 49861d36ff45485b6b96f443c8bebb1acf26eaff653bart/** 49961d36ff45485b6b96f443c8bebb1acf26eaff653bart * Determine whether or not the types of the given error message and the 50061d36ff45485b6b96f443c8bebb1acf26eaff653bart * given suppression match. 50161d36ff45485b6b96f443c8bebb1acf26eaff653bart */ 50261d36ff45485b6b96f443c8bebb1acf26eaff653bartstatic Bool drd_error_matches_suppression(Error* const e, Supp* const supp) 503af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 50461d36ff45485b6b96f443c8bebb1acf26eaff653bart return VG_(get_supp_kind)(supp) == VG_(get_error_kind)(e); 505af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 506af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 50761d36ff45485b6b96f443c8bebb1acf26eaff653bartstatic Char* drd_get_error_name(Error* e) 508af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 509bedfd237fbdc80d0c917cfcb85a94b5561c92633bart switch (VG_(get_error_kind)(e)) 510bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 511bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case DataRaceErr: return VGAPPEND(STR_, DataRaceErr); 512bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case MutexErr: return VGAPPEND(STR_, MutexErr); 513bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondErr: return VGAPPEND(STR_, CondErr); 514bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondDestrErr: return VGAPPEND(STR_, CondDestrErr); 515bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondRaceErr: return VGAPPEND(STR_, CondRaceErr); 516bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondWaitErr: return VGAPPEND(STR_, CondWaitErr); 517bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case SemaphoreErr: return VGAPPEND(STR_, SemaphoreErr); 518bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case BarrierErr: return VGAPPEND(STR_, BarrierErr); 519bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case RwlockErr: return VGAPPEND(STR_, RwlockErr); 520bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case HoldtimeErr: return VGAPPEND(STR_, HoldtimeErr); 521bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case GenericErr: return VGAPPEND(STR_, GenericErr); 522b48bde21f5107f74335b88cacee76c556ae22aa7bart case InvalidThreadId: return VGAPPEND(STR_, InvalidThreadId); 52366f196dd7e23627a6e0e54dc90c89800a4878be2bart case UnimpClReq: return VGAPPEND(STR_, UnimpClReq); 524bedfd237fbdc80d0c917cfcb85a94b5561c92633bart default: 525bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(0); 526bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 527bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return 0; 528af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 529af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 53061d36ff45485b6b96f443c8bebb1acf26eaff653bart/** 531588adeffafa8102adcfa7a1c035ae272b35cf86dsewardj * Return extra suppression information. 53261d36ff45485b6b96f443c8bebb1acf26eaff653bart * 53361d36ff45485b6b96f443c8bebb1acf26eaff653bart * Invoked while printing a suppression pattern because the user 53461d36ff45485b6b96f443c8bebb1acf26eaff653bart * specified --gen-suppressions=yes or all on the command line. DRD does not 53561d36ff45485b6b96f443c8bebb1acf26eaff653bart * define any 'extra' suppression information. 53661d36ff45485b6b96f443c8bebb1acf26eaff653bart */ 537588adeffafa8102adcfa7a1c035ae272b35cf86dsewardjstatic 538588adeffafa8102adcfa7a1c035ae272b35cf86dsewardjBool drd_get_extra_suppression_info(Error* e, 539588adeffafa8102adcfa7a1c035ae272b35cf86dsewardj /*OUT*/Char* buf, Int nBuf) 540588adeffafa8102adcfa7a1c035ae272b35cf86dsewardj{ 541588adeffafa8102adcfa7a1c035ae272b35cf86dsewardj return False; 542588adeffafa8102adcfa7a1c035ae272b35cf86dsewardj} 543af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 54461d36ff45485b6b96f443c8bebb1acf26eaff653bart/** Tell the Valgrind core about DRD's error handlers. */ 5451335ecca5095dea85be94095885082b80573df8cbartvoid DRD_(register_error_handlers)(void) 546af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 54761d36ff45485b6b96f443c8bebb1acf26eaff653bart VG_(needs_tool_errors)(drd_compare_error_contexts, 5481e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj drd_tool_error_before_pp, 549bedfd237fbdc80d0c917cfcb85a94b5561c92633bart drd_tool_error_pp, 550d45d99553c15a361bb797d21ec6afb9bad22d2d4bart False, 551bedfd237fbdc80d0c917cfcb85a94b5561c92633bart drd_tool_error_update_extra, 55261d36ff45485b6b96f443c8bebb1acf26eaff653bart drd_is_recognized_suppression, 55361d36ff45485b6b96f443c8bebb1acf26eaff653bart drd_read_extra_suppression_info, 55461d36ff45485b6b96f443c8bebb1acf26eaff653bart drd_error_matches_suppression, 55561d36ff45485b6b96f443c8bebb1acf26eaff653bart drd_get_error_name, 556588adeffafa8102adcfa7a1c035ae272b35cf86dsewardj drd_get_extra_suppression_info); 557af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 558