Lines Matching refs:HG_
170 Thread* thread = HG_(zalloc)( "hg.mk_Thread.1", sizeof(Thread) );
171 thread->locksetA = HG_(emptyWS)( univ_lsets );
172 thread->locksetW = HG_(emptyWS)( univ_lsets );
187 Lock* lock = HG_(zalloc)( "hg.mk_Lock.1", sizeof(Lock) );
198 tl_assert(HG_(is_sane_LockN)(lock));
207 tl_assert(HG_(is_sane_LockN)(lk));
213 HG_(free)(lk);
221 tl_assert(HG_(is_sane_LockN)(lk));
222 tl_assert(HG_(is_sane_Thread)(thr));
246 lk->heldBy = VG_(newBag)( HG_(zalloc), "hg.lNaw.1", HG_(free) );
267 tl_assert(HG_(is_sane_LockN)(lk));
272 tl_assert(HG_(is_sane_LockN)(lk));
273 tl_assert(HG_(is_sane_Thread)(thr));
300 lk->heldBy = VG_(newBag)( HG_(zalloc), "hg.lNar.1", HG_(free) );
304 tl_assert(HG_(is_sane_LockN)(lk));
314 tl_assert(HG_(is_sane_LockN)(lk));
315 tl_assert(HG_(is_sane_Thread)(thr));
331 tl_assert(HG_(is_sane_LockN)(lk));
344 tl_assert(HG_(is_sane_Thread)(thr));
345 tl_assert(HG_(elemWS)( univ_lsets,
348 = HG_(delFromWS)( univ_lsets, thr->locksetA, (Word)lk );
351 tl_assert(HG_(elemWS)( univ_lsets,
354 = HG_(delFromWS)( univ_lsets, thr->locksetW, (Word)lk );
545 map_threads = HG_(zalloc)( "hg.ids.1", VG_N_THREADS * sizeof(Thread*) );
550 map_locks = VG_(newFM)( HG_(zalloc), "hg.ids.2", HG_(free),
555 tl_assert(HG_(is_sane_LockN)(__bus_lock_Lock));
559 univ_tsets = HG_(newWordSetU)( HG_(zalloc), "hg.ids.3", HG_(free),
564 univ_lsets = HG_(newWordSetU)( HG_(zalloc), "hg.ids.4", HG_(free),
569 univ_laog = HG_(newWordSetU)( HG_(zalloc), "hg.ids.5 (univ_laog)",
570 HG_(free), 24/*cacheSize*/ );
584 tl_assert(HG_(is_sane_ThreadId)(thr->coretid));
607 tl_assert( HG_(is_sane_ThreadId)(coretid) );
616 tl_assert( HG_(is_sane_ThreadId)(coretid) );
627 tl_assert(HG_(is_sane_Thread)(thr));
632 tl_assert(HG_(is_sane_ThreadId)(tid));
651 tl_assert( HG_(is_sane_ThreadId)(coretid) );
670 tl_assert(HG_(is_sane_ThreadId)(tid));
676 tl_assert(HG_(is_sane_LockN)(lock));
682 tl_assert(HG_(is_sane_LockN)(oldlock));
811 if (!HG_(is_sane_Thread)(thr)) BAD("1");
815 if (!HG_(isSubsetOf)( univ_lsets, wsW, wsA )) BAD("7");
816 HG_(getPayloadWS)( &ls_words, &ls_size, univ_lsets, wsA );
820 if (!HG_(is_sane_LockN)(lk)) BAD("2");
859 if (!HG_(is_sane_LockN)(lk)) BAD("3");
870 // HG_(is_sane_LockN) above ensures these
872 tl_assert(HG_(is_sane_Thread)(thr));
873 if (!HG_(elemWS)(univ_lsets, thr->locksetA, (Word)lk))
877 && !HG_(elemWS)(univ_lsets, thr->locksetW, (Word)lk))
880 && HG_(elemWS)(univ_lsets, thr->locksetW, (Word)lk))
917 // return HG_(addToWS)( univ_lsets, lockset, (Word)__bus_lock_Lock );
920 // return HG_(delFromWS)( univ_lsets, lockset, (Word)__bus_lock_Lock );
971 // HG_(cardinalityWS)(univ_lsets,lset_old),
973 // HG_(cardinalityWS)(univ_lsets,lset_new),
981 // if (!HG_(isEmptyWS)( univ_lsets, lset_new )) {
989 // card_new = HG_(cardinalityWS)( univ_lsets, lset_new );
993 // card_old = HG_(cardinalityWS)( univ_lsets, lset_old );
1004 // tl_assert(!HG_(isEmptyWS)( univ_lsets, lset_old ));
1012 // lk = (Lock*)HG_(anyElementOfWS)( univ_lsets, lset_old );
1014 // HG_(cardinalityWS)( univ_lsets, lset_old), lk );
1017 // ga_to_lastlock = VG_(newFM)( HG_(zalloc), "hg.rlll.1", HG_(free), NULL );
1116 //zz tl_assert(HG_(is_sane_Thread)(thr));
1139 'HG_(is_sane_LockN)(lk)' is both a pre- and post-condition of this
1147 tl_assert(HG_(is_sane_Thread)(thr));
1152 tl_assert( HG_(is_sane_LockN)(lk) );
1171 HG_(record_error_Misc)(
1182 HG_(record_error_Misc)(
1195 HG_(record_error_Misc)(
1214 thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (Word)lk );
1215 thr->locksetW = HG_(addToWS)( univ_lsets, thr->locksetW, (Word)lk );
1219 tl_assert(HG_(is_sane_LockN)(lk));
1234 'HG_(is_sane_LockN)(lk)' is both a pre- and post-condition of this
1242 tl_assert(HG_(is_sane_Thread)(thr));
1249 tl_assert( HG_(is_sane_LockN)(lk) );
1268 HG_(record_error_Misc)( thr, "Bug in libpthread: read lock "
1287 thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (Word)lk );
1292 tl_assert(HG_(is_sane_LockN)(lk));
1315 tl_assert(HG_(is_sane_Thread)(thr));
1322 HG_(record_error_UnlockBogus)( thr, lock_ga );
1327 tl_assert(HG_(is_sane_LockN)(lock));
1330 HG_(record_error_Misc)( thr, "pthread_rwlock_unlock with a "
1334 HG_(record_error_Misc)( thr, "pthread_mutex_unlock with a "
1342 HG_(record_error_UnlockUnlocked)( thr, lock );
1343 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1344 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1362 tl_assert(HG_(is_sane_Thread)(realOwner));
1364 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1365 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1366 HG_(record_error_UnlockForeign)( thr, realOwner, lock );
1385 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1387 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1389 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1419 = HG_(delFromWS)( univ_lsets, thr->locksetA, (Word)lock );
1421 = HG_(delFromWS)( univ_lsets, thr->locksetW, (Word)lock );
1432 tl_assert(HG_(is_sane_LockN)(lock));
1501 if (len >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1511 if (len >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1520 if (len >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1532 if (len >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1547 if (len >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1557 if (len >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1567 if (len >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1576 if (len >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1593 tl_assert(HG_(is_sane_ThreadId)(parent));
1594 tl_assert(HG_(is_sane_ThreadId)(child));
1639 if (HG_(clo_sanity_flags) & SCE_THREADS)
1666 tl_assert(HG_(is_sane_ThreadId)(quit_tid));
1671 nHeld = HG_(cardinalityWS)( univ_lsets, thr_q->locksetA );
1677 HG_(record_error_Misc)( thr_q, buf );
1692 if (HG_(clo_sanity_flags) & SCE_THREADS)
1739 tl_assert(HG_(is_sane_ThreadId)(stay_tid));
1778 if (HG_(clo_sanity_flags) & SCE_THREADS)
1790 if (size >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1809 if (len >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1820 if (size >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1835 if (len >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1844 if (len >= SCE_BIGRANGE_T && (HG_(clo_sanity_flags) & SCE_BIGRANGE))
1939 if (HG_(clo_sanity_flags) & SCE_LOCKS)
1954 tl_assert( HG_(is_sane_Thread)(thr) );
1959 HG_(record_error_Misc)(
1964 tl_assert( HG_(is_sane_LockN)(lk) );
1968 HG_(record_error_Misc)(
1978 tl_assert( HG_(is_sane_LockN)(lk) );
1985 if (HG_(clo_sanity_flags) & SCE_LOCKS)
2007 HG_(record_error_Misc)( thr, "pthread_mutex_lock with a "
2025 HG_(record_error_Misc_w_aux)( thr, errstr, auxstr, lk->acquired_at );
2027 HG_(record_error_Misc)( thr, errstr );
2101 tl_assert( HG_(is_sane_Thread)(thr) );
2185 map_cond_to_CVInfo = VG_(newFM)( HG_(zalloc),
2186 "hg.mctCI.1", HG_(free), NULL );
2199 CVInfo* cvi = HG_(zalloc)("hg.mctCloa.1", sizeof(CVInfo));
2217 HG_(free)(cvi);
2254 // HG_(record_error_Misc)( thr,
2261 // HG_(record_error_Misc)(thr,
2265 // HG_(record_error_Misc)(thr,
2270 // HG_(record_error_Misc)(thr,
2304 HG_(record_error_Misc)(
2308 tl_assert( HG_(is_sane_LockN)(lk) );
2311 HG_(record_error_Misc)(
2317 HG_(record_error_Misc)(
2323 HG_(record_error_Misc)(
2339 HG_(record_error_Misc)(
2376 HG_(record_error_Misc)( thr, "Bug in libpthread: pthread_cond_wait "
2414 if (HG_(clo_sanity_flags) & SCE_LOCKS)
2429 tl_assert( HG_(is_sane_Thread)(thr) );
2434 HG_(record_error_Misc)(
2439 tl_assert( HG_(is_sane_LockN)(lk) );
2443 HG_(record_error_Misc)(
2453 tl_assert( HG_(is_sane_LockN)(lk) );
2460 if (HG_(clo_sanity_flags) & SCE_LOCKS)
2486 HG_(record_error_Misc)(
2583 map_sem_to_SO_stack = VG_(newFM)( HG_(zalloc), "hg.mstSs.1",
2584 HG_(free), NULL );
2600 xa = VG_(newXA)( HG_(zalloc), "hg.pSfs.1", HG_(free), sizeof(SO*) );
2682 HG_(record_error_Misc)(
2762 HG_(record_error_Misc)(
2783 Bar* bar = HG_(zalloc)( "hg.nB.1 (new_Bar)", sizeof(Bar) );
2794 HG_(free)(bar);
2804 map_barrier_to_Bar = VG_(newFM)( HG_(zalloc),
2805 "hg.mbtBI.1", HG_(free), NULL );
2851 HG_(record_error_Misc)(
2857 HG_(record_error_Misc)(
2866 HG_(record_error_Misc)(
2873 HG_(record_error_Misc)(
2879 bar->waiting = VG_(newXA)( HG_(zalloc), "hg.eHPBIP.1", HG_(free),
2912 HG_(record_error_Misc)(
2918 HG_(record_error_Misc)(
3031 HG_(record_error_Misc)(
3074 HG_(record_error_Misc)(
3081 HG_(record_error_Misc)(
3088 HG_(record_error_Misc)(
3136 map_usertag_to_SO = VG_(newFM)( HG_(zalloc),
3137 "hg.mutS.1", HG_(free), NULL );
3295 laog = VG_(newFM)( HG_(zalloc), "hg.laog__init.1",
3296 HG_(free), NULL/*unboxedcmp*/ );
3298 laog_exposition = VG_(newFM)( HG_(zalloc), "hg.laog__init.2", HG_(free),
3318 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns );
3321 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs );
3355 outs_new = HG_(addToWS)( univ_laog, links->outs, (Word)dst );
3359 links = HG_(zalloc)("hg.lae.1", sizeof(LAOGLinks));
3360 links->inns = HG_(emptyWS)( univ_laog );
3361 links->outs = HG_
3371 inns_new = HG_(addToWS)( univ_laog, links->inns, (Word)src );
3375 links = HG_(zalloc)("hg.lae.2", sizeof(LAOGLinks));
3376 links->inns = HG_(singletonWS)( univ_laog, (Word)src );
3377 links->outs = HG_(emptyWS)( univ_laog );
3400 LAOGLinkExposition* expo2 = HG_(zalloc)("hg.lae.3",
3422 links->outs = HG_(delFromWS)( univ_laog, links->outs, (Word)dst );
3430 links->inns = HG_(delFromWS)( univ_laog, links->inns, (Word)src );
3445 return HG_(emptyWS)( univ_laog );
3460 return HG_(emptyWS)( univ_laog );
3480 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns );
3482 if ( ! HG_(elemWS)( univ_laog,
3487 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs );
3489 if ( ! HG_(elemWS)( univ_laog,
3526 if (HG_(isEmptyWS)( univ_lsets, dsts ))
3530 stack = VG_(newXA)( HG_(zalloc), "hg.lddft.1", HG_(free), sizeof(Lock*) );
3531 visited = VG_(newFM)( HG_(zalloc), "hg.lddft.2", HG_(free), NULL/*unboxedcmp*/ );
3544 if (HG_(elemWS)( univ_lsets, dsts, (Word)here )) { ret = here; break; }
3552 HG_(getPayloadWS)( &succs_words, &succs_size, univ_laog, succs );
3580 if (HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lk ))
3614 HG_(record_error_LockOrder)(
3619 HG_(record_error_LockOrder)(
3631 HG_(getPayloadWS)( &ls_words, &ls_size, univ_lsets, thr->locksetA );
3643 if (HG_(clo_sanity_flags) & SCE_LAOG)
3663 HG_(getPayloadWS)( &preds_words, &preds_size, univ_laog, preds );
3667 HG_(getPayloadWS)( &succs_words, &succs_size, univ_laog, succs );
3694 // HG_(getPayloadWS)( &ws_words, &ws_size, univ_lsets, locksToDelete );
3698 // if (HG_(clo_sanity_flags) & SCE_LAOG)
3723 MallocMeta* md = HG_(zalloc)( "hg.new_MallocMeta.1", sizeof(MallocMeta) );
3728 HG_(free)(md);
3942 Bool HG_(mm_find_containing_block)( /*OUT*/ExeContext** where,
4335 map_pthread_t_to_Thread = VG_(newFM)( HG_(zalloc), "hg.mpttT.1",
4336 HG_(free), NULL );
4377 if (HG_(mm_find_containing_block)(NULL, &payload, &pszB, args[1])) {
4440 HG_(record_error_PthAPIerror)(
4631 HG_(record_error_Misc)( thr, buf );
4664 HG_(clo_track_lockorders)) {}
4666 HG_(clo_cmp_race_err_addrs)) {}
4669 HG_(clo_history_level), 0);
4671 HG_(clo_history_level), 1);
4673 HG_(clo_history_level), 2);
4678 HG_(clo_conflict_cache_size), 10*1000, 30*1000*1000) {}
4691 else if ('1' == tmp_str[j]) HG_(clo_sanity_flags) |= (1 << (6-1-j));
4698 if (0) VG_(printf)("XXX sanity flags: 0x%lx\n", HG_(clo_sanity_flags));
4748 && HG_(clo_history_level) >= 2) {
4757 if (HG_(clo_sanity_flags))
4764 HG_(ppWSUstats)( univ_tsets, "univ_tsets" );
4766 HG_(ppWSUstats)( univ_lsets, "univ_lsets" );
4768 HG_(ppWSUstats)( univ_laog, "univ_laog" );
4785 (Int)HG_(cardinalityWSU)( univ_lsets ));
4787 (Int)HG_(cardinalityWSU)( univ_tsets ));
4789 (Int)HG_(cardinalityWSU)( univ_laog ));
4796 HG_(stats__LockN_to_P_queries),
4797 HG_(stats__LockN_to_P_get_map_size)() );
4800 HG_(stats__string_table_queries),
4801 HG_(stats__string_table_get_map_size)() );
4870 VG_(needs_tool_errors) (HG_(eq_Error),
4871 HG_(before_pp_Error),
4872 HG_(pp_Error),
4874 HG_(update_extra),
4875 HG_(recognised_suppression),
4876 HG_(read_extra_suppression_info),
4877 HG_(error_matches_suppression),
4878 HG_(get_error_name),
4879 HG_(get_extra_suppression_info));
