1af44c8236f7a73e71b16b707bba56f33af4d01cesewardj/* 286562bd89ac23ce795d19c71fabcb9d1c8f956d3bart This file is part of drd, a thread error detector. 3af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 4d4bab99f83dbc53665c5769c3f6b50ffcd2a9a7dbart Copyright (C) 2006-2013 Bart Van Assche <bvanassche@acm.org>. 5af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 6af44c8236f7a73e71b16b707bba56f33af4d01cesewardj This program is free software; you can redistribute it and/or 7af44c8236f7a73e71b16b707bba56f33af4d01cesewardj modify it under the terms of the GNU General Public License as 8af44c8236f7a73e71b16b707bba56f33af4d01cesewardj published by the Free Software Foundation; either version 2 of the 9af44c8236f7a73e71b16b707bba56f33af4d01cesewardj License, or (at your option) any later version. 10af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 11af44c8236f7a73e71b16b707bba56f33af4d01cesewardj This program is distributed in the hope that it will be useful, but 12af44c8236f7a73e71b16b707bba56f33af4d01cesewardj WITHOUT ANY WARRANTY; without even the implied warranty of 13af44c8236f7a73e71b16b707bba56f33af4d01cesewardj MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14af44c8236f7a73e71b16b707bba56f33af4d01cesewardj General Public License for more details. 15af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 16af44c8236f7a73e71b16b707bba56f33af4d01cesewardj You should have received a copy of the GNU General Public License 17af44c8236f7a73e71b16b707bba56f33af4d01cesewardj along with this program; if not, write to the Free Software 18af44c8236f7a73e71b16b707bba56f33af4d01cesewardj Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 19af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 02111-1307, USA. 20af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 21af44c8236f7a73e71b16b707bba56f33af4d01cesewardj The GNU General Public License is contained in the file COPYING. 22af44c8236f7a73e71b16b707bba56f33af4d01cesewardj*/ 23af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 24af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 25886b87c5e1adfa6657d24404283f7b79576e690cbart#include "drd_clientobj.h" /* struct mutex_info */ 26af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#include "drd_error.h" 27af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#include "drd_malloc_wrappers.h" 28886b87c5e1adfa6657d24404283f7b79576e690cbart#include "drd_mutex.h" 29886b87c5e1adfa6657d24404283f7b79576e690cbart#include "drd_suppression.h" /* drd_start_suppression() */ 30886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_drd_bitmap.h" /* LHS_W, ... */ 31af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#include "pub_tool_vki.h" 32af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#include "pub_tool_basics.h" 33886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_libcassert.h" /* tl_assert() */ 34886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_libcbase.h" /* strlen() */ 35886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_libcfile.h" /* VG_(get_startup_wd)() */ 36886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_libcprint.h" /* VG_(printf)() */ 37af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#include "pub_tool_machine.h" 38886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_mallocfree.h" /* VG_(malloc), VG_(free) */ 39b92ff0fd192dd05700f7d20db00795965e20b5c5bart#include "pub_tool_options.h" /* VG_(clo_xml) */ 40886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_threadstate.h" /* VG_(get_pthread_id)() */ 41886b87c5e1adfa6657d24404283f7b79576e690cbart#include "pub_tool_tooliface.h" /* VG_(needs_tool_errors)() */ 42af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 43af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 44e7086000dc09e5486e42206ad524fefe09f7cc72bart/* Local function declarations. */ 45e7086000dc09e5486e42206ad524fefe09f7cc72bart 468e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorianstatic const HChar* drd_get_error_name(const Error* e); 47e7086000dc09e5486e42206ad524fefe09f7cc72bart 48e7086000dc09e5486e42206ad524fefe09f7cc72bart 4916d76e507231c5edd065cd66b597bf372adbf7a4bart/* Local variables. */ 5016d76e507231c5edd065cd66b597bf372adbf7a4bart 51d2c5eae561040706a7eb45c0f3988dcd538c8d7ebartstatic Bool s_show_conflicting_segments = True; 5216d76e507231c5edd065cd66b597bf372adbf7a4bart 5316d76e507231c5edd065cd66b597bf372adbf7a4bart 54246fbf2655328fc150e528b701223b7a1eafe471bartvoid DRD_(set_show_conflicting_segments)(const Bool scs) 5516d76e507231c5edd065cd66b597bf372adbf7a4bart{ 56bedfd237fbdc80d0c917cfcb85a94b5561c92633bart s_show_conflicting_segments = scs; 5716d76e507231c5edd065cd66b597bf372adbf7a4bart} 5816d76e507231c5edd065cd66b597bf372adbf7a4bart 5919f91bbaedb4caef8a60ce94b0f507193cc0bc10florianvoid DRD_(trace_msg)(const HChar* format, ...) 60b92ff0fd192dd05700f7d20db00795965e20b5c5bart{ 61b92ff0fd192dd05700f7d20db00795965e20b5c5bart va_list vargs; 62b92ff0fd192dd05700f7d20db00795965e20b5c5bart va_start(vargs, format); 63e7086000dc09e5486e42206ad524fefe09f7cc72bart if (VG_(clo_xml)) { 64ad994e885caeb5241cbedf4e47e7821cf164f4e7bart VG_(printf_xml)(" <trace><text>"); 65e7086000dc09e5486e42206ad524fefe09f7cc72bart VG_(vprintf_xml)(format, vargs); 66ad994e885caeb5241cbedf4e47e7821cf164f4e7bart VG_(printf_xml)("</text></trace>\n"); 67e7086000dc09e5486e42206ad524fefe09f7cc72bart } else { 68e7086000dc09e5486e42206ad524fefe09f7cc72bart VG_(vmessage)(Vg_UserMsg, format, vargs); 69ad994e885caeb5241cbedf4e47e7821cf164f4e7bart VG_(message)(Vg_UserMsg, "\n"); 70e7086000dc09e5486e42206ad524fefe09f7cc72bart } 71e7086000dc09e5486e42206ad524fefe09f7cc72bart va_end(vargs); 72e7086000dc09e5486e42206ad524fefe09f7cc72bart} 73e7086000dc09e5486e42206ad524fefe09f7cc72bart 7419f91bbaedb4caef8a60ce94b0f507193cc0bc10florianvoid DRD_(trace_msg_w_bt)(const HChar* format, ...) 75ad994e885caeb5241cbedf4e47e7821cf164f4e7bart{ 76ad994e885caeb5241cbedf4e47e7821cf164f4e7bart va_list vargs; 77ad994e885caeb5241cbedf4e47e7821cf164f4e7bart va_start(vargs, format); 78ad994e885caeb5241cbedf4e47e7821cf164f4e7bart if (VG_(clo_xml)) { 79ad994e885caeb5241cbedf4e47e7821cf164f4e7bart VG_(printf_xml)(" <trace><text>"); 80ad994e885caeb5241cbedf4e47e7821cf164f4e7bart VG_(vprintf_xml)(format, vargs); 81ad994e885caeb5241cbedf4e47e7821cf164f4e7bart VG_(printf_xml)("</text>\n"); 82ad994e885caeb5241cbedf4e47e7821cf164f4e7bart } else { 83ad994e885caeb5241cbedf4e47e7821cf164f4e7bart VG_(vmessage)(Vg_UserMsg, format, vargs); 84ad994e885caeb5241cbedf4e47e7821cf164f4e7bart VG_(message)(Vg_UserMsg, "\n"); 85ad994e885caeb5241cbedf4e47e7821cf164f4e7bart } 86ad994e885caeb5241cbedf4e47e7821cf164f4e7bart VG_(get_and_pp_StackTrace)(VG_(get_running_tid)(), VG_(clo_backtrace_size)); 87ad994e885caeb5241cbedf4e47e7821cf164f4e7bart va_end(vargs); 88ad994e885caeb5241cbedf4e47e7821cf164f4e7bart if (VG_(clo_xml)) 89ad994e885caeb5241cbedf4e47e7821cf164f4e7bart VG_(printf_xml)(" </trace>\n"); 90ad994e885caeb5241cbedf4e47e7821cf164f4e7bart} 91ad994e885caeb5241cbedf4e47e7821cf164f4e7bart 92e7086000dc09e5486e42206ad524fefe09f7cc72bart/** 93e7086000dc09e5486e42206ad524fefe09f7cc72bart * Emit error message detail in the format requested by the user. 94e7086000dc09e5486e42206ad524fefe09f7cc72bart */ 9519f91bbaedb4caef8a60ce94b0f507193cc0bc10florianstatic void print_err_detail(const HChar* format, ...) PRINTF_CHECK(1, 2); 9619f91bbaedb4caef8a60ce94b0f507193cc0bc10florianstatic void print_err_detail(const HChar* format, ...) 97e7086000dc09e5486e42206ad524fefe09f7cc72bart{ 98e7086000dc09e5486e42206ad524fefe09f7cc72bart va_list vargs; 99e7086000dc09e5486e42206ad524fefe09f7cc72bart va_start(vargs, format); 100e7086000dc09e5486e42206ad524fefe09f7cc72bart if (VG_(clo_xml)) 101e7086000dc09e5486e42206ad524fefe09f7cc72bart VG_(vprintf_xml)(format, vargs); 102e7086000dc09e5486e42206ad524fefe09f7cc72bart else 103e7086000dc09e5486e42206ad524fefe09f7cc72bart VG_(vmessage)(Vg_UserMsg, format, vargs); 104b92ff0fd192dd05700f7d20db00795965e20b5c5bart va_end(vargs); 105b92ff0fd192dd05700f7d20db00795965e20b5c5bart} 106b92ff0fd192dd05700f7d20db00795965e20b5c5bart 107246fbf2655328fc150e528b701223b7a1eafe471bart/** 10861d36ff45485b6b96f443c8bebb1acf26eaff653bart * Describe the client address a as good as possible, putting the result in ai. 109886b87c5e1adfa6657d24404283f7b79576e690cbart */ 110ff1252ae10754371ac3428fdf8d7704c39acc23dbartstatic 11161d36ff45485b6b96f443c8bebb1acf26eaff653bartvoid describe_malloced_addr(Addr const a, AddrInfo* const ai) 112af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 11361d36ff45485b6b96f443c8bebb1acf26eaff653bart Addr heap_block_start; 114bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 11561d36ff45485b6b96f443c8bebb1acf26eaff653bart if (DRD_(heap_addrinfo)(a, &heap_block_start, &ai->size, &ai->lastchange)) 116bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 117bedfd237fbdc80d0c917cfcb85a94b5561c92633bart ai->akind = eMallocd; 11861d36ff45485b6b96f443c8bebb1acf26eaff653bart ai->rwoffset = a - heap_block_start; 119bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 120bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else 121bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 122bedfd237fbdc80d0c917cfcb85a94b5561c92633bart ai->akind = eUnknown; 123bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 124af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 125af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 126246fbf2655328fc150e528b701223b7a1eafe471bart/** 12761d36ff45485b6b96f443c8bebb1acf26eaff653bart * Report where a client synchronization object has been observed for the first 12861d36ff45485b6b96f443c8bebb1acf26eaff653bart * time. The printed call stack will either refer to a pthread_*_init() or a 12961d36ff45485b6b96f443c8bebb1acf26eaff653bart * pthread_*lock() call. 130886b87c5e1adfa6657d24404283f7b79576e690cbart */ 131d2c5eae561040706a7eb45c0f3988dcd538c8d7ebartstatic void first_observed(const Addr obj) 132886b87c5e1adfa6657d24404283f7b79576e690cbart{ 133bedfd237fbdc80d0c917cfcb85a94b5561c92633bart DrdClientobj* cl; 134bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 135bedfd237fbdc80d0c917cfcb85a94b5561c92633bart cl = DRD_(clientobj_get_any)(obj); 136e7086000dc09e5486e42206ad524fefe09f7cc72bart if (cl) { 137bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(cl->any.first_observed_at); 138e7086000dc09e5486e42206ad524fefe09f7cc72bart if (VG_(clo_xml)) { 139e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail(" <first_observed_at>\n" 140e7086000dc09e5486e42206ad524fefe09f7cc72bart " <what>%pS</what>\n" 141e7086000dc09e5486e42206ad524fefe09f7cc72bart " <address>0x%lx</address>\n", 142e7086000dc09e5486e42206ad524fefe09f7cc72bart DRD_(clientobj_type_name)(cl->any.type), obj); 143e7086000dc09e5486e42206ad524fefe09f7cc72bart VG_(pp_ExeContext)(cl->any.first_observed_at); 144e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail(" </first_observed_at>\n"); 145e7086000dc09e5486e42206ad524fefe09f7cc72bart } else { 146e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%s 0x%lx was first observed at:\n", 147e7086000dc09e5486e42206ad524fefe09f7cc72bart DRD_(clientobj_type_name)(cl->any.type), obj); 148e7086000dc09e5486e42206ad524fefe09f7cc72bart VG_(pp_ExeContext)(cl->any.first_observed_at); 149e7086000dc09e5486e42206ad524fefe09f7cc72bart } 150bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 151886b87c5e1adfa6657d24404283f7b79576e690cbart} 152886b87c5e1adfa6657d24404283f7b79576e690cbart 153af44c8236f7a73e71b16b707bba56f33af4d01cesewardjstatic 1548e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorianvoid drd_report_data_race(const Error* const err, 1558e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorian const DataRaceErrInfo* const dri) 156af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 157e7086000dc09e5486e42206ad524fefe09f7cc72bart const Bool xml = VG_(clo_xml); 15819f91bbaedb4caef8a60ce94b0f507193cc0bc10florian const HChar* const what_prefix = xml ? " <what>" : ""; 15919f91bbaedb4caef8a60ce94b0f507193cc0bc10florian const HChar* const what_suffix = xml ? "</what>" : ""; 16019f91bbaedb4caef8a60ce94b0f507193cc0bc10florian const HChar* const auxwhat_prefix = xml ? " <auxwhat>" : ""; 16119f91bbaedb4caef8a60ce94b0f507193cc0bc10florian const HChar* const auxwhat_suffix = xml ? "</auxwhat>" : ""; 16219f91bbaedb4caef8a60ce94b0f507193cc0bc10florian const HChar* const indent = xml ? " " : ""; 163bedfd237fbdc80d0c917cfcb85a94b5561c92633bart AddrInfo ai; 1641e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj 1651e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj XArray* /* of HChar */ descr1 1661e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj = VG_(newXA)( VG_(malloc), "drd.error.drdr2.1", 1671e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(free), sizeof(HChar) ); 1681e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj XArray* /* of HChar */ descr2 1691e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj = VG_(newXA)( VG_(malloc), "drd.error.drdr2.2", 1701e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(free), sizeof(HChar) ); 171bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 172bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(dri); 173bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(dri->addr); 174bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(dri->size > 0); 175bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 1761e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj (void) VG_(get_data_description)(descr1, descr2, dri->addr); 1771e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj /* If there's nothing in descr1/2, free them. Why is it safe to to 1781e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(indexXA) at zero here? Because VG_(get_data_description) 1791e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj guarantees to zero terminate descr1/2 regardless of the outcome 1801e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj of the call. So there's always at least one element in each XA 1811e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj after the call. 1821e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj */ 1831e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (0 == VG_(strlen)( VG_(indexXA)( descr1, 0 ))) { 1841e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(deleteXA)( descr1 ); 1851e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj descr1 = NULL; 1861e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj } 1871e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (0 == VG_(strlen)( VG_(indexXA)( descr2, 0 ))) { 1881e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(deleteXA)( descr2 ); 1891e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj descr2 = NULL; 1901e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj } 1911e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj /* Assume (assert) that VG_(get_data_description) fills in descr1 1921e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj before it fills in descr2 */ 1931e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (descr1 == NULL) 1941e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj tl_assert(descr2 == NULL); 1951e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj /* So anyway. Do we have something useful? */ 1961e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (descr1 == NULL) 197bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 1981e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj /* No. Do Plan B. */ 19961d36ff45485b6b96f443c8bebb1acf26eaff653bart describe_malloced_addr(dri->addr, &ai); 200bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 201e7086000dc09e5486e42206ad524fefe09f7cc72bart 202e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%sConflicting %s by thread %d at 0x%08lx size %ld%s\n", 203e7086000dc09e5486e42206ad524fefe09f7cc72bart what_prefix, dri->access_type == eStore ? "store" : "load", 204e7086000dc09e5486e42206ad524fefe09f7cc72bart dri->tid, dri->addr, dri->size, what_suffix); 205e7086000dc09e5486e42206ad524fefe09f7cc72bart 206bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(err)); 207e7086000dc09e5486e42206ad524fefe09f7cc72bart if (descr1 != NULL) { 208e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%s%s\n", indent, (HChar*)VG_(indexXA)(descr1, 0)); 2091e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (descr2 != NULL) 210e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%s%s\n", indent, (HChar*)VG_(indexXA)(descr2, 0)); 211e7086000dc09e5486e42206ad524fefe09f7cc72bart } else if (ai.akind == eMallocd && ai.lastchange) { 212ca7285e0c5651f184579a665d5e5fae970759fb0bart print_err_detail("%sAddress 0x%lx is at offset %ld from 0x%lx.%s%s", 213ca7285e0c5651f184579a665d5e5fae970759fb0bart auxwhat_prefix, dri->addr, ai.rwoffset, 214ca7285e0c5651f184579a665d5e5fae970759fb0bart dri->addr - ai.rwoffset, auxwhat_suffix, 215ca7285e0c5651f184579a665d5e5fae970759fb0bart xml ? "\n" : ""); 216e7086000dc09e5486e42206ad524fefe09f7cc72bart if (xml) 217ca7285e0c5651f184579a665d5e5fae970759fb0bart print_err_detail(" <allocation_context>\n"); 218e7086000dc09e5486e42206ad524fefe09f7cc72bart else 219e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail(" Allocation context:\n"); 220bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(ai.lastchange); 221e7086000dc09e5486e42206ad524fefe09f7cc72bart if (xml) 222ca7285e0c5651f184579a665d5e5fae970759fb0bart print_err_detail(" </allocation_context>\n"); 223e7086000dc09e5486e42206ad524fefe09f7cc72bart } else { 224e08950b4ce5a3f5d75a7279548f975cd6207dc74florian const HChar *sect_name; 225bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VgSectKind sect_kind; 226bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 227e08950b4ce5a3f5d75a7279548f975cd6207dc74florian sect_kind = VG_(DebugInfo_sect_kind)(§_name, dri->addr); 228ca7285e0c5651f184579a665d5e5fae970759fb0bart if (sect_kind != Vg_SectUnknown) { 229ca7285e0c5651f184579a665d5e5fae970759fb0bart print_err_detail("%sAllocation context: %ps section of %ps%s\n", 230ca7285e0c5651f184579a665d5e5fae970759fb0bart auxwhat_prefix, VG_(pp_SectKind)(sect_kind), 231ca7285e0c5651f184579a665d5e5fae970759fb0bart sect_name, auxwhat_suffix); 232e7086000dc09e5486e42206ad524fefe09f7cc72bart } else { 233ca7285e0c5651f184579a665d5e5fae970759fb0bart print_err_detail("%sAllocation context: unknown.%s\n", 234ca7285e0c5651f184579a665d5e5fae970759fb0bart auxwhat_prefix, auxwhat_suffix); 235bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 236bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 237bedfd237fbdc80d0c917cfcb85a94b5561c92633bart if (s_show_conflicting_segments) 238bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 239bedfd237fbdc80d0c917cfcb85a94b5561c92633bart DRD_(thread_report_conflicting_segments)(dri->tid, 240bedfd237fbdc80d0c917cfcb85a94b5561c92633bart dri->addr, dri->size, 241bedfd237fbdc80d0c917cfcb85a94b5561c92633bart dri->access_type); 242bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 243bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 2441e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (descr2) 2451e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(deleteXA)(descr2); 2461e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj if (descr1) 2471e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(deleteXA)(descr1); 248af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 249af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 25061d36ff45485b6b96f443c8bebb1acf26eaff653bart/** 25161d36ff45485b6b96f443c8bebb1acf26eaff653bart * Compare two error contexts. The core function VG_(maybe_record_error)() 25261d36ff45485b6b96f443c8bebb1acf26eaff653bart * calls this function to compare error contexts such that errors that occur 25331b983d29affe6c30a2283be8824c6d75c74d848bart * repeatedly are only printed once. This function is only called by the core 25461d36ff45485b6b96f443c8bebb1acf26eaff653bart * if the error kind of e1 and e2 matches and if the ExeContext's of e1 and 25561d36ff45485b6b96f443c8bebb1acf26eaff653bart * e2 also match. 25661d36ff45485b6b96f443c8bebb1acf26eaff653bart */ 2578e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorianstatic Bool drd_compare_error_contexts(VgRes res, const Error* e1, 2588e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorian const Error* e2) 259af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 260b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart tl_assert(VG_(get_error_kind)(e1) == VG_(get_error_kind)(e2)); 261b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart 262b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart switch (VG_(get_error_kind)(e1)) 263b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart { 264b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart case DataRaceErr: 265b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart { 266b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart const DataRaceErrInfo* const dri1 = VG_(get_error_extra)(e1); 267b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart const DataRaceErrInfo* const dri2 = VG_(get_error_extra)(e2); 268b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart return dri1->access_type == dri2->access_type 269b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart && dri1->size == dri2->size; 270b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart } 27194fb8d242689282bf78062ca4756edded011a54dbart case MutexErr: 27294fb8d242689282bf78062ca4756edded011a54dbart { 27394fb8d242689282bf78062ca4756edded011a54dbart const MutexErrInfo* const mei1 = VG_(get_error_extra)(e1); 27494fb8d242689282bf78062ca4756edded011a54dbart const MutexErrInfo* const mei2 = VG_(get_error_extra)(e2); 27594fb8d242689282bf78062ca4756edded011a54dbart return mei1->mutex == mei2->mutex; 27694fb8d242689282bf78062ca4756edded011a54dbart } 277b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart default: 278b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart return True; 279b80fa96a0202fd61a7c37d8fdc7c0bd2a9ffecacbart } 280af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 281af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 28261d36ff45485b6b96f443c8bebb1acf26eaff653bart/** 28361d36ff45485b6b96f443c8bebb1acf26eaff653bart * Called by the core just before an error message will be printed. Used by 28461d36ff45485b6b96f443c8bebb1acf26eaff653bart * DRD to print the thread number as a preamble. 28561d36ff45485b6b96f443c8bebb1acf26eaff653bart */ 2868e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorianstatic void drd_tool_error_before_pp(const Error* const e) 2871e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj{ 288d45d99553c15a361bb797d21ec6afb9bad22d2d4bart static DrdThreadId s_last_tid_printed = 1; 289d45d99553c15a361bb797d21ec6afb9bad22d2d4bart DrdThreadId* err_extra; 290d45d99553c15a361bb797d21ec6afb9bad22d2d4bart 291d45d99553c15a361bb797d21ec6afb9bad22d2d4bart err_extra = VG_(get_error_extra)(e); 292d45d99553c15a361bb797d21ec6afb9bad22d2d4bart 293e7086000dc09e5486e42206ad524fefe09f7cc72bart if (err_extra && *err_extra != s_last_tid_printed && !VG_(clo_xml)) { 2941e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj VG_(umsg)("%s:\n", DRD_(thread_get_name)(*err_extra)); 295d45d99553c15a361bb797d21ec6afb9bad22d2d4bart s_last_tid_printed = *err_extra; 296d45d99553c15a361bb797d21ec6afb9bad22d2d4bart } 29761d36ff45485b6b96f443c8bebb1acf26eaff653bart} 298d45d99553c15a361bb797d21ec6afb9bad22d2d4bart 29961d36ff45485b6b96f443c8bebb1acf26eaff653bart/** Report an error to the user. */ 3008e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorianstatic void drd_tool_error_pp(const Error* const e) 30161d36ff45485b6b96f443c8bebb1acf26eaff653bart{ 302e7086000dc09e5486e42206ad524fefe09f7cc72bart const Bool xml = VG_(clo_xml); 30319f91bbaedb4caef8a60ce94b0f507193cc0bc10florian const HChar* const what_prefix = xml ? " <what>" : ""; 30419f91bbaedb4caef8a60ce94b0f507193cc0bc10florian const HChar* const what_suffix = xml ? "</what>" : ""; 305e7086000dc09e5486e42206ad524fefe09f7cc72bart 306e7086000dc09e5486e42206ad524fefe09f7cc72bart if (xml) 307e7086000dc09e5486e42206ad524fefe09f7cc72bart VG_(printf_xml)( " <kind>%pS</kind>\n", drd_get_error_name(e)); 308e7086000dc09e5486e42206ad524fefe09f7cc72bart 309bedfd237fbdc80d0c917cfcb85a94b5561c92633bart switch (VG_(get_error_kind)(e)) 310bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 311bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case DataRaceErr: { 312bedfd237fbdc80d0c917cfcb85a94b5561c92633bart drd_report_data_race(e, VG_(get_error_extra)(e)); 313bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 314bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 315bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case MutexErr: { 316bedfd237fbdc80d0c917cfcb85a94b5561c92633bart MutexErrInfo* p = (MutexErrInfo*)(VG_(get_error_extra)(e)); 317bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(p); 318e7086000dc09e5486e42206ad524fefe09f7cc72bart if (p->recursion_count >= 0) { 319e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%s%s: mutex 0x%lx, recursion count %d, owner %d." 320e7086000dc09e5486e42206ad524fefe09f7cc72bart "%s\n", what_prefix, VG_(get_error_string)(e), 321e7086000dc09e5486e42206ad524fefe09f7cc72bart p->mutex, p->recursion_count, p->owner, what_suffix); 322e7086000dc09e5486e42206ad524fefe09f7cc72bart } else { 323e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%sThe object at address 0x%lx is not a mutex.%s\n", 324e7086000dc09e5486e42206ad524fefe09f7cc72bart what_prefix, p->mutex, what_suffix); 325bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 326bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 327bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(p->mutex); 328bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 329bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 330bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondErr: { 331bedfd237fbdc80d0c917cfcb85a94b5561c92633bart CondErrInfo* cdei =(CondErrInfo*)(VG_(get_error_extra)(e)); 332e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%s%s: cond 0x%lx%s\n", what_prefix, 333e7086000dc09e5486e42206ad524fefe09f7cc72bart VG_(get_error_string)(e), cdei->cond, what_suffix); 334bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 335bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cdei->cond); 336bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 337bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 338bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondDestrErr: { 339bedfd237fbdc80d0c917cfcb85a94b5561c92633bart CondDestrErrInfo* cdi = (CondDestrErrInfo*)(VG_(get_error_extra)(e)); 340e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%s%s: cond 0x%lx, mutex 0x%lx locked by thread %d%s\n", 341e7086000dc09e5486e42206ad524fefe09f7cc72bart what_prefix, VG_(get_error_string)(e), cdi->cond, 342e7086000dc09e5486e42206ad524fefe09f7cc72bart cdi->mutex, cdi->owner, what_suffix); 343bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 344bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cdi->mutex); 345bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 346bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 347bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondRaceErr: { 348bedfd237fbdc80d0c917cfcb85a94b5561c92633bart CondRaceErrInfo* cei = (CondRaceErrInfo*)(VG_(get_error_extra)(e)); 349e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%sProbably a race condition: condition variable 0x%lx" 350e7086000dc09e5486e42206ad524fefe09f7cc72bart " has been signaled but the associated mutex 0x%lx is" 351e7086000dc09e5486e42206ad524fefe09f7cc72bart " not locked by the signalling thread.%s\n", 352e7086000dc09e5486e42206ad524fefe09f7cc72bart what_prefix, cei->cond, cei->mutex, what_suffix); 353bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 354bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cei->cond); 355bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cei->mutex); 356bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 357bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 358bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondWaitErr: { 359bedfd237fbdc80d0c917cfcb85a94b5561c92633bart CondWaitErrInfo* cwei = (CondWaitErrInfo*)(VG_(get_error_extra)(e)); 360e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%s%s: condition variable 0x%lx, mutexes 0x%lx and" 361e7086000dc09e5486e42206ad524fefe09f7cc72bart " 0x%lx%s\n", what_prefix, VG_(get_error_string)(e), 362e7086000dc09e5486e42206ad524fefe09f7cc72bart cwei->cond, cwei->mutex1, cwei->mutex2, what_suffix); 363bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 364bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cwei->cond); 365bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cwei->mutex1); 366bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(cwei->mutex2); 367bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 368bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 369bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case SemaphoreErr: { 370bedfd237fbdc80d0c917cfcb85a94b5561c92633bart SemaphoreErrInfo* sei = (SemaphoreErrInfo*)(VG_(get_error_extra)(e)); 371bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(sei); 372b6ab69ec29ec9355b2b97749db7fbb269881fb42bart print_err_detail("%s%s: semaphore 0x%lx%s\n", what_prefix, 373b6ab69ec29ec9355b2b97749db7fbb269881fb42bart VG_(get_error_string)(e), sei->semaphore, what_suffix); 374bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 375bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(sei->semaphore); 376bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 377bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 378bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case BarrierErr: { 379bedfd237fbdc80d0c917cfcb85a94b5561c92633bart BarrierErrInfo* bei = (BarrierErrInfo*)(VG_(get_error_extra)(e)); 380bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(bei); 381e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%s%s: barrier 0x%lx%s\n", what_prefix, 382e7086000dc09e5486e42206ad524fefe09f7cc72bart VG_(get_error_string)(e), bei->barrier, what_suffix); 383bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 384e7086000dc09e5486e42206ad524fefe09f7cc72bart if (bei->other_context) { 385e7086000dc09e5486e42206ad524fefe09f7cc72bart if (xml) 386e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail(" <confl_wait_call>\n"); 387e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%sConflicting wait call by thread %d:%s\n", 388e7086000dc09e5486e42206ad524fefe09f7cc72bart what_prefix, bei->other_tid, what_suffix); 389bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(bei->other_context); 390e7086000dc09e5486e42206ad524fefe09f7cc72bart if (xml) 391e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail(" </confl_wait_call>\n"); 392bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 393bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(bei->barrier); 394bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 395bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 396bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case RwlockErr: { 397bedfd237fbdc80d0c917cfcb85a94b5561c92633bart RwlockErrInfo* p = (RwlockErrInfo*)(VG_(get_error_extra)(e)); 398bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(p); 399e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%s%s: rwlock 0x%lx.%s\n", what_prefix, 400e7086000dc09e5486e42206ad524fefe09f7cc72bart VG_(get_error_string)(e), p->rwlock, what_suffix); 401bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 402bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(p->rwlock); 403bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 404bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 405bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case HoldtimeErr: { 406bedfd237fbdc80d0c917cfcb85a94b5561c92633bart HoldtimeErrInfo* p =(HoldtimeErrInfo*)(VG_(get_error_extra)(e)); 407bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(p); 408bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(p->acquired_at); 409e7086000dc09e5486e42206ad524fefe09f7cc72bart if (xml) 410e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail(" <acquired_at>\n"); 411e7086000dc09e5486e42206ad524fefe09f7cc72bart else 412e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("Acquired at:\n"); 413bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(p->acquired_at); 414b6ab69ec29ec9355b2b97749db7fbb269881fb42bart if (xml) 415b6ab69ec29ec9355b2b97749db7fbb269881fb42bart print_err_detail(" </acquired_at>\n"); 416e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%sLock on %s 0x%lx was held during %d ms" 417e7086000dc09e5486e42206ad524fefe09f7cc72bart " (threshold: %d ms).%s\n", what_prefix, 418e7086000dc09e5486e42206ad524fefe09f7cc72bart VG_(get_error_string)(e), p->synchronization_object, 419e7086000dc09e5486e42206ad524fefe09f7cc72bart p->hold_time_ms, p->threshold_ms, what_suffix); 420bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 421bedfd237fbdc80d0c917cfcb85a94b5561c92633bart first_observed(p->synchronization_object); 422bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 423bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 424bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case GenericErr: { 42562cc23286aa2d2cbeb6643a15ef37fe020a3d159bart GenericErrInfo* gei = (GenericErrInfo*)(VG_(get_error_extra)(e)); 426e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%s%s%s\n", what_prefix, VG_(get_error_string)(e), 427e7086000dc09e5486e42206ad524fefe09f7cc72bart what_suffix); 428bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 42962cc23286aa2d2cbeb6643a15ef37fe020a3d159bart if (gei->addr) 43062cc23286aa2d2cbeb6643a15ef37fe020a3d159bart first_observed(gei->addr); 431bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 432bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 433b48bde21f5107f74335b88cacee76c556ae22aa7bart case InvalidThreadId: { 434b48bde21f5107f74335b88cacee76c556ae22aa7bart InvalidThreadIdInfo* iti =(InvalidThreadIdInfo*)(VG_(get_error_extra)(e)); 435e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%s%s 0x%llx%s\n", what_prefix, VG_(get_error_string)(e), 436e7086000dc09e5486e42206ad524fefe09f7cc72bart iti->ptid, what_suffix); 437b48bde21f5107f74335b88cacee76c556ae22aa7bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 438b48bde21f5107f74335b88cacee76c556ae22aa7bart break; 439b48bde21f5107f74335b88cacee76c556ae22aa7bart } 440141a7ed46d0a2d104c73c20c18941aacd2241881bart case UnimpHgClReq: { 44166f196dd7e23627a6e0e54dc90c89800a4878be2bart UnimpClReqInfo* uicr =(UnimpClReqInfo*)(VG_(get_error_extra)(e)); 442e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%sThe annotation macro %s has not yet been implemented" 443e7086000dc09e5486e42206ad524fefe09f7cc72bart " in %ps%s\n", what_prefix, uicr->descr, 444e7086000dc09e5486e42206ad524fefe09f7cc72bart "<valgrind/helgrind.h>", what_suffix); 44566f196dd7e23627a6e0e54dc90c89800a4878be2bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 44666f196dd7e23627a6e0e54dc90c89800a4878be2bart break; 44766f196dd7e23627a6e0e54dc90c89800a4878be2bart } 448141a7ed46d0a2d104c73c20c18941aacd2241881bart case UnimpDrdClReq: { 449141a7ed46d0a2d104c73c20c18941aacd2241881bart UnimpClReqInfo* uicr =(UnimpClReqInfo*)(VG_(get_error_extra)(e)); 450e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%sThe annotation macro %s has not yet been implemented" 451e7086000dc09e5486e42206ad524fefe09f7cc72bart " in %ps%s\n", what_prefix, uicr->descr, 452e7086000dc09e5486e42206ad524fefe09f7cc72bart "<valgrind/drd.h>", what_suffix); 453141a7ed46d0a2d104c73c20c18941aacd2241881bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 454141a7ed46d0a2d104c73c20c18941aacd2241881bart break; 455141a7ed46d0a2d104c73c20c18941aacd2241881bart } 456bedfd237fbdc80d0c917cfcb85a94b5561c92633bart default: 457e7086000dc09e5486e42206ad524fefe09f7cc72bart print_err_detail("%s%s%s\n", what_prefix, VG_(get_error_string)(e), 458e7086000dc09e5486e42206ad524fefe09f7cc72bart what_suffix); 459bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(pp_ExeContext)(VG_(get_error_where)(e)); 460bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 461bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 462af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 463af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 4648e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorianstatic UInt drd_tool_error_update_extra(const Error* e) 465af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 466bedfd237fbdc80d0c917cfcb85a94b5561c92633bart switch (VG_(get_error_kind)(e)) 467bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 468bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case DataRaceErr: 469bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(DataRaceErrInfo); 470bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case MutexErr: 471bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(MutexErrInfo); 472bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondErr: 473bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(CondErrInfo); 474bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondDestrErr: 475bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(CondDestrErrInfo); 476bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondRaceErr: 477bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(CondRaceErrInfo); 478bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondWaitErr: 479bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(CondWaitErrInfo); 480bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case SemaphoreErr: 481bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(SemaphoreErrInfo); 482bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case BarrierErr: 483bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(BarrierErrInfo); 484bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case RwlockErr: 485bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(RwlockErrInfo); 486bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case HoldtimeErr: 487bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(HoldtimeErrInfo); 488bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case GenericErr: 489bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return sizeof(GenericErrInfo); 490b48bde21f5107f74335b88cacee76c556ae22aa7bart case InvalidThreadId: 491b48bde21f5107f74335b88cacee76c556ae22aa7bart return sizeof(InvalidThreadIdInfo); 492141a7ed46d0a2d104c73c20c18941aacd2241881bart case UnimpHgClReq: 493141a7ed46d0a2d104c73c20c18941aacd2241881bart return sizeof(UnimpClReqInfo); 494141a7ed46d0a2d104c73c20c18941aacd2241881bart case UnimpDrdClReq: 49566f196dd7e23627a6e0e54dc90c89800a4878be2bart return sizeof(UnimpClReqInfo); 496bedfd237fbdc80d0c917cfcb85a94b5561c92633bart default: 497bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(False); 498bedfd237fbdc80d0c917cfcb85a94b5561c92633bart break; 499bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 500af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 501af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 50261d36ff45485b6b96f443c8bebb1acf26eaff653bart/** 50361d36ff45485b6b96f443c8bebb1acf26eaff653bart * Parse suppression name. 50461d36ff45485b6b96f443c8bebb1acf26eaff653bart * 50561d36ff45485b6b96f443c8bebb1acf26eaff653bart * The suppression types recognized by DRD are the same types as the error 50661d36ff45485b6b96f443c8bebb1acf26eaff653bart * types supported by DRD. So try to match the suppression name against the 50761d36ff45485b6b96f443c8bebb1acf26eaff653bart * names of DRD error types. 50861d36ff45485b6b96f443c8bebb1acf26eaff653bart */ 50919f91bbaedb4caef8a60ce94b0f507193cc0bc10florianstatic Bool drd_is_recognized_suppression(const HChar* const name, 51019f91bbaedb4caef8a60ce94b0f507193cc0bc10florian Supp* const supp) 511af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 51261d36ff45485b6b96f443c8bebb1acf26eaff653bart DrdErrorKind skind = 0; 513bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 514bedfd237fbdc80d0c917cfcb85a94b5561c92633bart if (VG_(strcmp)(name, STR_DataRaceErr) == 0) 51561d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = DataRaceErr; 516bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_MutexErr) == 0) 51761d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = MutexErr; 518bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_CondErr) == 0) 51961d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = CondErr; 520bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_CondDestrErr) == 0) 52161d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = CondDestrErr; 522bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_CondRaceErr) == 0) 52361d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = CondRaceErr; 524bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_CondWaitErr) == 0) 52561d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = CondWaitErr; 526bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_SemaphoreErr) == 0) 52761d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = SemaphoreErr; 528bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_BarrierErr) == 0) 52961d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = BarrierErr; 530bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_RwlockErr) == 0) 53161d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = RwlockErr; 532bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_HoldtimeErr) == 0) 53361d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = HoldtimeErr; 534bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else if (VG_(strcmp)(name, STR_GenericErr) == 0) 53561d36ff45485b6b96f443c8bebb1acf26eaff653bart skind = GenericErr; 536b48bde21f5107f74335b88cacee76c556ae22aa7bart else if (VG_(strcmp)(name, STR_InvalidThreadId) == 0) 537b48bde21f5107f74335b88cacee76c556ae22aa7bart skind = InvalidThreadId; 538141a7ed46d0a2d104c73c20c18941aacd2241881bart else if (VG_(strcmp)(name, STR_UnimpHgClReq) == 0) 539141a7ed46d0a2d104c73c20c18941aacd2241881bart skind = UnimpHgClReq; 540141a7ed46d0a2d104c73c20c18941aacd2241881bart else if (VG_(strcmp)(name, STR_UnimpDrdClReq) == 0) 541141a7ed46d0a2d104c73c20c18941aacd2241881bart skind = UnimpDrdClReq; 542bedfd237fbdc80d0c917cfcb85a94b5561c92633bart else 543bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return False; 544bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 545bedfd237fbdc80d0c917cfcb85a94b5561c92633bart VG_(set_supp_kind)(supp, skind); 546bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return True; 547af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 548af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 54961d36ff45485b6b96f443c8bebb1acf26eaff653bart/** 55061d36ff45485b6b96f443c8bebb1acf26eaff653bart * Read additional suppression information from the suppression file. 55161d36ff45485b6b96f443c8bebb1acf26eaff653bart * 55261d36ff45485b6b96f443c8bebb1acf26eaff653bart * None of the suppression patterns recognized by DRD has 'extra' lines 55361d36ff45485b6b96f443c8bebb1acf26eaff653bart * of information in the suppression file, so just return True to indicate 55461d36ff45485b6b96f443c8bebb1acf26eaff653bart * that reading the 'extra' lines succeeded. 55561d36ff45485b6b96f443c8bebb1acf26eaff653bart */ 556246fbf2655328fc150e528b701223b7a1eafe471bartstatic 55719f91bbaedb4caef8a60ce94b0f507193cc0bc10florianBool drd_read_extra_suppression_info(Int fd, HChar** bufpp, 558362441db825242200142a91bb07c4a0300b36a3ephilippe SizeT* nBufp, Int* lineno, Supp* supp) 559af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 560bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return True; 561af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 562af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 56361d36ff45485b6b96f443c8bebb1acf26eaff653bart/** 56461d36ff45485b6b96f443c8bebb1acf26eaff653bart * Determine whether or not the types of the given error message and the 56561d36ff45485b6b96f443c8bebb1acf26eaff653bart * given suppression match. 56661d36ff45485b6b96f443c8bebb1acf26eaff653bart */ 5678e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorianstatic Bool drd_error_matches_suppression(const Error* const e, 5688e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorian const Supp* const supp) 569af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 57061d36ff45485b6b96f443c8bebb1acf26eaff653bart return VG_(get_supp_kind)(supp) == VG_(get_error_kind)(e); 571af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 572af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 5738e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorianstatic const HChar* drd_get_error_name(const Error* e) 574af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 575bedfd237fbdc80d0c917cfcb85a94b5561c92633bart switch (VG_(get_error_kind)(e)) 576bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 577bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case DataRaceErr: return VGAPPEND(STR_, DataRaceErr); 578bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case MutexErr: return VGAPPEND(STR_, MutexErr); 579bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondErr: return VGAPPEND(STR_, CondErr); 580bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondDestrErr: return VGAPPEND(STR_, CondDestrErr); 581bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondRaceErr: return VGAPPEND(STR_, CondRaceErr); 582bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case CondWaitErr: return VGAPPEND(STR_, CondWaitErr); 583bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case SemaphoreErr: return VGAPPEND(STR_, SemaphoreErr); 584bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case BarrierErr: return VGAPPEND(STR_, BarrierErr); 585bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case RwlockErr: return VGAPPEND(STR_, RwlockErr); 586bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case HoldtimeErr: return VGAPPEND(STR_, HoldtimeErr); 587bedfd237fbdc80d0c917cfcb85a94b5561c92633bart case GenericErr: return VGAPPEND(STR_, GenericErr); 588b48bde21f5107f74335b88cacee76c556ae22aa7bart case InvalidThreadId: return VGAPPEND(STR_, InvalidThreadId); 589141a7ed46d0a2d104c73c20c18941aacd2241881bart case UnimpHgClReq: return VGAPPEND(STR_, UnimpHgClReq); 590141a7ed46d0a2d104c73c20c18941aacd2241881bart case UnimpDrdClReq: return VGAPPEND(STR_, UnimpDrdClReq); 591bedfd237fbdc80d0c917cfcb85a94b5561c92633bart default: 592bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(0); 593bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 594bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return 0; 595af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 596af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 59761d36ff45485b6b96f443c8bebb1acf26eaff653bart/** 598588adeffafa8102adcfa7a1c035ae272b35cf86dsewardj * Return extra suppression information. 59961d36ff45485b6b96f443c8bebb1acf26eaff653bart * 60061d36ff45485b6b96f443c8bebb1acf26eaff653bart * Invoked while printing a suppression pattern because the user 60161d36ff45485b6b96f443c8bebb1acf26eaff653bart * specified --gen-suppressions=yes or all on the command line. DRD does not 60261d36ff45485b6b96f443c8bebb1acf26eaff653bart * define any 'extra' suppression information. 60361d36ff45485b6b96f443c8bebb1acf26eaff653bart */ 604588adeffafa8102adcfa7a1c035ae272b35cf86dsewardjstatic 6058e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorianSizeT drd_get_extra_suppression_info(const Error* e, 6063e81b8bed1f7ab6848a83f5507487131a6f9d778florian /*OUT*/HChar* buf, Int nBuf) 607588adeffafa8102adcfa7a1c035ae272b35cf86dsewardj{ 6083e81b8bed1f7ab6848a83f5507487131a6f9d778florian tl_assert(nBuf >= 1); 6093e81b8bed1f7ab6848a83f5507487131a6f9d778florian buf[0] = '\0'; 6103e81b8bed1f7ab6848a83f5507487131a6f9d778florian return 0; 611588adeffafa8102adcfa7a1c035ae272b35cf86dsewardj} 612af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 6134e32d67a5b880bf1d871c5141822078d4dcdc3acphilippestatic 6148e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorianSizeT drd_print_extra_suppression_use(const Supp* su, 6153e81b8bed1f7ab6848a83f5507487131a6f9d778florian /*OUT*/HChar* buf, Int nBuf) 6164e32d67a5b880bf1d871c5141822078d4dcdc3acphilippe{ 6173e81b8bed1f7ab6848a83f5507487131a6f9d778florian tl_assert(nBuf >= 1); 6183e81b8bed1f7ab6848a83f5507487131a6f9d778florian buf[0] = '\0'; 6193e81b8bed1f7ab6848a83f5507487131a6f9d778florian return 0; 6204e32d67a5b880bf1d871c5141822078d4dcdc3acphilippe} 6214e32d67a5b880bf1d871c5141822078d4dcdc3acphilippe 6224e32d67a5b880bf1d871c5141822078d4dcdc3acphilippestatic 6238e3fbb5cd8276a7d07d5712bc05f9b3376d81a6aflorianvoid drd_update_extra_suppresion_use(const Error* e, const Supp* supp) 6244e32d67a5b880bf1d871c5141822078d4dcdc3acphilippe{ 6254e32d67a5b880bf1d871c5141822078d4dcdc3acphilippe return; 6264e32d67a5b880bf1d871c5141822078d4dcdc3acphilippe} 6274e32d67a5b880bf1d871c5141822078d4dcdc3acphilippe 62861d36ff45485b6b96f443c8bebb1acf26eaff653bart/** Tell the Valgrind core about DRD's error handlers. */ 6291335ecca5095dea85be94095885082b80573df8cbartvoid DRD_(register_error_handlers)(void) 630af44c8236f7a73e71b16b707bba56f33af4d01cesewardj{ 63161d36ff45485b6b96f443c8bebb1acf26eaff653bart VG_(needs_tool_errors)(drd_compare_error_contexts, 6321e29ebcf5a0d5d29434d112bda3a584b4a3f8066sewardj drd_tool_error_before_pp, 633bedfd237fbdc80d0c917cfcb85a94b5561c92633bart drd_tool_error_pp, 634d45d99553c15a361bb797d21ec6afb9bad22d2d4bart False, 635bedfd237fbdc80d0c917cfcb85a94b5561c92633bart drd_tool_error_update_extra, 63661d36ff45485b6b96f443c8bebb1acf26eaff653bart drd_is_recognized_suppression, 63761d36ff45485b6b96f443c8bebb1acf26eaff653bart drd_read_extra_suppression_info, 63861d36ff45485b6b96f443c8bebb1acf26eaff653bart drd_error_matches_suppression, 63961d36ff45485b6b96f443c8bebb1acf26eaff653bart drd_get_error_name, 6404e32d67a5b880bf1d871c5141822078d4dcdc3acphilippe drd_get_extra_suppression_info, 6414e32d67a5b880bf1d871c5141822078d4dcdc3acphilippe drd_print_extra_suppression_use, 6424e32d67a5b880bf1d871c5141822078d4dcdc3acphilippe drd_update_extra_suppresion_use); 643af44c8236f7a73e71b16b707bba56f33af4d01cesewardj} 644