Searched refs:univ_laog (Results 1 – 1 of 1) sorted by relevance
| /external/valgrind/helgrind/ |
| D | hg_main.c | 144 static WordSetU* univ_laog = NULL; /* sets of Lock*, for LAOG */ variable
628 tl_assert(univ_laog == NULL); in initialise_data_structures()
630 univ_laog = HG_(newWordSetU)( HG_(zalloc), "hg.ids.5 (univ_laog)", in initialise_data_structures()
632 tl_assert(univ_laog != NULL); in initialise_data_structures()
3545 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns ); in laog__show()
3548 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs ); in laog__show()
3563 const UWord univ_laog_cardinality = HG_(cardinalityWSU)( univ_laog); in univ_laog_do_GC()
3586 HG_(dieWS) ( univ_laog, (WordSet)i ); in univ_laog_do_GC()
3656 outs_new = HG_(addToWS)( univ_laog, links->outs, (UWord)dst ); in laog__add_edge()
3661 links->inns = HG_(emptyWS)( univ_laog ); in laog__add_edge()
[all …]
|