Lines Matching refs:HG_
63 ULong HG_(stats__string_table_queries) = 0;
65 ULong HG_(stats__string_table_get_map_size) ( void ) {
75 HG_(stats__string_table_queries)++;
79 string_table = VG_(newFM)( HG_(zalloc), "hg.sts.1",
80 HG_(free), string_table_cmp );
88 copy = HG_(strdup)("hg.sts.2", str);
98 ULong HG_(stats__LockN_to_P_queries) = 0;
100 ULong HG_(stats__LockN_to_P_get_map_size) ( void ) {
108 tl_assert( HG_(is_sane_LockNorP)(lk1) );
109 tl_assert( HG_(is_sane_LockNorP)(lk2) );
142 HG_(stats__LockN_to_P_queries)++;
149 Lock* lock_list = HG_(get_admin_locks)();
163 tl_assert( HG_(is_sane_LockN)(lkn) );
166 map_LockN_to_P = VG_(newFM)( HG_(zalloc), "hg.mLPfLN.1",
167 HG_(free), lock_unique_cmp );
170 lkp = HG_(zalloc)( "hg.mLPfLN.2", sizeof(Lock) );
184 tl_assert( HG_(is_sane_LockP)(lkp) );
212 tl_assert( HG_(plausibleWS)(univ_lsets, lockset) );
213 UWord nLocks = HG_(cardinalityWS)(univ_lsets, lockset);
214 Lock** lockPs = HG_(zalloc)( "hg.eWSiLPa",
220 /* HG_(getPayloadWS) doesn't assign non-NULL to &lockNs if the
222 HG_(getPayloadWS)( &lockNs, &nLockNs, univ_lsets, lockset );
392 UInt HG_(update_extra) ( const Error* err )
409 HG_(get_univ_lsets)(),
421 VG_(printf)("HG_(update_extra): "
424 HG_(describe_addr) (xe->XE.Race.data_addr, &xe->XE.Race.data_addrinfo);
429 if (HG_(clo_history_level) >= 2) {
455 HG_(get_univ_lsets)(),
469 void HG_(record_error_Race) ( Thread* thr,
476 tl_assert( HG_(is_sane_Thread)(thr) );
513 // HG_(update_extra) just above, assuming the error ever makes
519 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
530 void HG_(record_error_UnlockUnlocked) ( Thread* thr, Lock* lk )
533 tl_assert( HG_(is_sane_Thread)(thr) );
534 tl_assert( HG_(is_sane_LockN)(lk) );
542 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
548 void HG_(record_error_UnlockForeign) ( Thread* thr,
552 tl_assert( HG_(is_sane_Thread)(thr) );
553 tl_assert( HG_(is_sane_Thread)(owner) );
554 tl_assert( HG_(is_sane_LockN)(lk) );
562 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
568 void HG_(record_error_UnlockBogus) ( Thread* thr, Addr lock_ga )
571 tl_assert( HG_(is_sane_Thread)(thr) );
577 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
583 void HG_(record_error_LockOrder)(
593 tl_assert( HG_(is_sane_Thread)(thr) );
594 tl_assert(HG_(clo_track_lockorders));
608 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
614 void HG_(record_error_PthAPIerror) ( Thread* thr, const HChar* fnname,
618 tl_assert( HG_(is_sane_Thread)(thr) );
628 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
634 void HG_(record_error_Misc_w_aux) ( Thread* thr, const HChar* errstr,
638 tl_assert( HG_(is_sane_Thread)(thr) );
647 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
653 void HG_(record_error_Misc) ( Thread* thr, const HChar* errstr )
655 HG_(record_error_Misc_w_aux)(thr, errstr, NULL, NULL);
658 Bool HG_(eq_Error) ( VgRes not_used, const Error* e1, const Error* e2 )
673 && (HG_(clo_cmp_race_err_addrs)
737 tl_assert(HG_(is_sane_Thread)(thr));
804 HG_(get_and_pp_addrdescr) (lk->guestaddr);
864 void HG_(before_pp_Error) ( const Error* err )
914 void HG_(pp_Error) ( const Error* err )
928 emit( " <kind>%s</kind>\n", HG_(get_error_name)(err));
933 tl_assert( HG_(is_sane_Thread)( xe->XE.Misc.thr ) );
968 tl_assert( HG_(is_sane_Thread)( xe->XE.LockOrder.thr ) );
1037 tl_assert( HG_(is_sane_Thread)( xe->XE.PthAPIerror.thr ) );
1068 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockBogus.thr ) );
1095 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockForeign.lock ) );
1096 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockForeign.owner ) );
1097 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockForeign.thr ) );
1131 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockUnlocked.lock ) );
1132 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockUnlocked.thr ) );
1168 tl_assert( HG_(is_sane_Thread)( xe->XE.Race.thr ));
1170 tl_assert( HG_(is_sane_Thread)( xe->XE.Race.h2_ct ));
1273 void HG_(print_access) (StackTrace ips, UInt n_ips,
1303 HG_(get_univ_lsets)(),
1308 HG_(free) (locksHeldW_P);
1314 const HChar* HG_(get_error_name) ( const Error* err )
1328 Bool HG_(recognised_suppression) ( const HChar* name, Supp *su )
1347 Bool HG_(read_extra_suppression_info) ( Int fd, HChar** bufpp, SizeT* nBufp,
1355 Bool HG_(error_matches_suppression) ( const Error* err, const Supp* su )
1370 SizeT HG_(get_extra_suppression_info) ( const Error* err,
1379 SizeT HG_(print_extra_suppression_use) ( const Supp* su,
1388 void HG_(update_extra_suppression_use) ( const Error* err, const Supp* su )
