Home | History | Annotate | Download | only in helgrind

Lines Matching refs:HG_

59 ULong HG_(stats__string_table_queries) = 0;
61 ULong HG_(stats__string_table_get_map_size) ( void ) {
71 HG_(stats__string_table_queries)++;
75 string_table = VG_(newFM)( HG_(zalloc), "hg.sts.1",
76 HG_(free), string_table_cmp );
85 copy = HG_(strdup)("hg.sts.2", str);
96 ULong HG_(stats__LockN_to_P_queries) = 0;
98 ULong HG_(stats__LockN_to_P_get_map_size) ( void ) {
106 tl_assert( HG_(is_sane_LockNorP)(lk1) );
107 tl_assert( HG_(is_sane_LockNorP)(lk2) );
116 HG_(stats__LockN_to_P_queries)++;
117 tl_assert( HG_(is_sane_LockN)(lkn) );
119 map_LockN_to_P = VG_(newFM)( HG_(zalloc), "hg.mLPfLN.1",
120 HG_(free), lock_unique_cmp );
124 lkp = HG_(zalloc)( "hg.mLPfLN.2", sizeof(Lock) );
137 tl_assert( HG_(is_sane_LockP)(lkp) );
256 UInt HG_(update_extra) ( Error* err )
273 VG_(printf)("HG_(update_extra): "
286 = HG_(mm_find_containing_block)(
297 = VG_(newXA)( HG_(zalloc), "hg.update_extra.Race.descr1",
298 HG_(free), sizeof(HChar) );
300 = VG_(newXA)( HG_(zalloc), "hg.update_extra.Race.descr2",
301 HG_(free), sizeof(HChar) );
326 if (HG_(clo_history_level) >= 2) {
359 void HG_(record_error_Race) ( Thread* thr,
366 tl_assert( HG_(is_sane_Thread)(thr) );
402 // HG_(update_extra) just above, assuming the error ever makes
408 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
419 void HG_(record_error_UnlockUnlocked) ( Thread* thr, Lock* lk )
422 tl_assert( HG_(is_sane_Thread)(thr) );
423 tl_assert( HG_(is_sane_LockN)(lk) );
429 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
435 void HG_(record_error_UnlockForeign) ( Thread* thr,
439 tl_assert( HG_(is_sane_Thread)(thr) );
440 tl_assert( HG_(is_sane_Thread)(owner) );
441 tl_assert( HG_(is_sane_LockN)(lk) );
448 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
454 void HG_(record_error_UnlockBogus) ( Thread* thr, Addr lock_ga )
457 tl_assert( HG_(is_sane_Thread)(thr) );
463 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
469 void HG_(record_error_LockOrder)(
475 tl_assert( HG_(is_sane_Thread)(thr) );
476 if (!HG_(clo_track_lockorders))
486 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
492 void HG_(record_error_PthAPIerror) ( Thread* thr, HChar* fnname,
496 tl_assert( HG_(is_sane_Thread)(thr) );
506 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
512 void HG_(record_error_Misc_w_aux) ( Thread* thr, HChar* errstr,
516 tl_assert( HG_(is_sane_Thread)(thr) );
525 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
531 void HG_(record_error_Misc) ( Thread* thr, HChar* errstr )
533 HG_(record_error_Misc_w_aux)(thr, errstr, NULL, NULL);
536 Bool HG_(eq_Error) ( VgRes not_used, Error* e1, Error* e2 )
551 && (HG_(clo_cmp_race_err_addrs)
622 tl_assert(HG_(is_sane_Thread)(thr));
667 void HG_(before_pp_Error) ( Error* err )
706 void HG_(pp_Error) ( Error* err )
716 tl_assert( HG_(is_sane_Thread)( xe->XE.Misc.thr ) );
752 tl_assert( HG_(is_sane_Thread)( xe->XE.LockOrder.thr ) );
801 tl_assert( HG_(is_sane_Thread)( xe->XE.PthAPIerror.thr ) );
833 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockBogus.thr ) );
861 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockForeign.lock ) );
862 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockForeign.owner ) );
863 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockForeign.thr ) );
907 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockUnlocked.lock ) );
908 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockUnlocked.thr ) );
953 tl_assert( HG_(is_sane_Thread)( xe->XE.Race.thr ));
955 tl_assert( HG_(is_sane_Thread)( xe->XE.Race.h2_ct ));
1078 Char* HG_(get_error_name) ( Error* err )
1092 Bool HG_(recognised_suppression) ( Char* name, Supp *su )
1111 Bool HG_(read_extra_suppression_info) ( Int fd, Char** bufpp, SizeT* nBufp,
1119 Bool HG_(error_matches_suppression) ( Error* err, Supp* su )
1134 Bool HG_(get_extra_suppression_info) ( Error* err,