Home
last modified time | relevance | path

Searched refs:WordSetU (Results 1 – 5 of 5) sorted by relevance

/external/valgrind/helgrind/
Dhg_wordset.h45 typedef struct _WordSetU WordSetU; /* opaque */ typedef
50 WordSetU* HG_(newWordSetU) ( void* (*alloc_nofail)( const HChar*, SizeT ),
56 void HG_(deleteWordSetU) ( WordSetU* );
60 UWord HG_(cardinalityWSU) ( WordSetU* );
63 void HG_(ppWSUstats) ( WordSetU* wsu, const HChar* name );
70 WordSet HG_(emptyWS) ( WordSetU* );
71 WordSet HG_(addToWS) ( WordSetU*, WordSet, UWord );
72 WordSet HG_(delFromWS) ( WordSetU*, WordSet, UWord );
73 WordSet HG_(unionWS) ( WordSetU*, WordSet, WordSet );
74 WordSet HG_(intersectWS) ( WordSetU*, WordSet, WordSet );
[all …]
Dhg_wordset.c136 WordSetU* owner; /* for sanity checking */
186 static WordVec* new_WV_of_size ( WordSetU* wsu, UWord sz ) in new_WV_of_size()
239 static void ensure_ix2vec_space ( WordSetU* wsu ) in ensure_ix2vec_space()
260 static inline Bool is_dead ( WordSetU* wsu, WordVec* wv ) in is_dead()
272 static WordVec* do_ix2vec ( WordSetU* wsu, WordSet ws ) in do_ix2vec()
290 static WordVec* do_ix2vec_with_dead ( WordSetU* wsu, WordSet ws ) in do_ix2vec_with_dead()
312 static WordSet add_or_dealloc_WordVec( WordSetU* wsu, WordVec* wv_new ) in add_or_dealloc_WordVec()
356 WordSetU* HG_(newWordSetU) ( void* (*alloc_nofail)( const HChar*, SizeT ), in HG_()
361 WordSetU* wsu; in HG_()
364 wsu = alloc_nofail( cc, sizeof(WordSetU) ); in HG_()
[all …]
Dlibhb.h176 WordSetU* HG_(get_univ_lsets) ( void );
Dhg_main.c143 static WordSetU* univ_lsets = NULL; /* sets of Lock* */
144 static WordSetU* univ_laog = NULL; /* sets of Lock*, for LAOG */
151 WordSetU* HG_(get_univ_lsets) ( void ) { return univ_lsets; } in HG_()
Dhg_errors.c207 Lock** enumerate_WordSet_into_LockP_vector( WordSetU* univ_lsets, in enumerate_WordSet_into_LockP_vector()