| /external/valgrind/main/helgrind/ |
| D | hg_wordset.h | 50 WordSetU* HG_(newWordSetU) ( void* (*alloc_nofail)( HChar*, SizeT ),
56 void HG_(deleteWordSetU) ( WordSetU* );
60 UWord HG_(cardinalityWSU) ( WordSetU* );
63 void HG_(ppWSUstats) ( WordSetU* wsu, 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 );
75 WordSet HG_(minusWS) ( WordSetU*, WordSet, WordSet );
[all …]
|
| D | hg_errors.h | 38 Bool HG_(eq_Error) ( VgRes not_used, Error* e1, Error* e2 );
39 void HG_(before_pp_Error) ( Error* err );
40 void HG_(pp_Error) ( Error* err );
41 UInt HG_(update_extra) ( Error* err );
42 Bool HG_(recognised_suppression) ( Char* name, Supp *su );
43 Bool HG_(read_extra_suppression_info) ( Int fd, Char** bufpp, SizeT* nBufp,
45 Bool HG_(error_matches_suppression) ( Error* err, Supp* su );
46 Char* HG_(get_error_name) ( Error* err );
47 Bool HG_(get_extra_suppression_info) ( Error* err,
51 void HG_(record_error_Race) ( Thread* thr,
[all …]
|
| D | hg_basics.h | 40 #define HG_(str) VGAPPEND(vgHelgrind_,str) macro
42 void* HG_(zalloc) ( HChar* cc, SizeT n );
43 void HG_(free) ( void* p );
44 Char* HG_(strdup) ( HChar* cc, const Char* s );
46 static inline Bool HG_(is_sane_ThreadId) ( ThreadId coretid ) { in HG_() function
68 extern Bool HG_(clo_track_lockorders);
73 extern Bool HG_(clo_cmp_race_err_addrs);
94 extern UWord HG_(clo_history_level);
100 extern UWord HG_(clo_conflict_cache_size);
104 extern Word HG_(clo_sanity_flags);
[all …]
|
| D | hg_basics.c | 45 void* HG_(zalloc) ( HChar* cc, SizeT n ) in HG_() function
55 void HG_(free) ( void* p ) in HG_() function
61 Char* HG_(strdup) ( HChar* cc, const Char* s ) in HG_() function
73 Bool HG_(clo_track_lockorders) = True;
75 Bool HG_(clo_cmp_race_err_addrs) = False;
77 UWord HG_(clo_history_level) = 2;
79 UWord HG_(clo_conflict_cache_size) = 1000000;
81 Word HG_(clo_sanity_flags) = 0;
83 Bool HG_(clo_free_is_write) = False;
85 UWord HG_(clo_vts_pruning) = 1;
[all …]
|
| D | hg_main.c | 145 WordSetU* HG_(get_univ_lsets) ( void ) { return univ_lsets; } in HG_() function
149 Lock* HG_(get_admin_locks) ( void ) { return admin_locks; } in HG_() function
166 Thread* thread = HG_(zalloc)( "hg.mk_Thread.1", sizeof(Thread) ); in mk_Thread()
167 thread->locksetA = HG_(emptyWS)( univ_lsets ); in mk_Thread()
168 thread->locksetW = HG_(emptyWS)( univ_lsets ); in mk_Thread()
184 Lock* lock = HG_(zalloc)( "hg.mk_Lock.1", sizeof(Lock) ); in mk_LockN()
201 tl_assert(HG_(is_sane_LockN)(lock)); in mk_LockN()
209 tl_assert(HG_(is_sane_LockN)(lk)); in del_LockN()
229 HG_(free)(lk); in del_LockN()
237 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_acquire_writer()
[all …]
|
| D | hg_errors.c | 59 ULong HG_(stats__string_table_queries) = 0;
61 ULong HG_(stats__string_table_get_map_size) ( void ) { in HG_() function
71 HG_(stats__string_table_queries)++; in string_table_strdup()
75 string_table = VG_(newFM)( HG_(zalloc), "hg.sts.1", in string_table_strdup()
76 HG_(free), string_table_cmp ); in string_table_strdup()
85 copy = HG_(strdup)("hg.sts.2", str); in string_table_strdup()
96 ULong HG_(stats__LockN_to_P_queries) = 0;
98 ULong HG_(stats__LockN_to_P_get_map_size) ( void ) { in HG_() function
106 tl_assert( HG_(is_sane_LockNorP)(lk1) ); in lock_unique_cmp()
107 tl_assert( HG_(is_sane_LockNorP)(lk2) ); in lock_unique_cmp()
[all …]
|
| D | hg_lock_n_thread.c | 48 inline Bool HG_(is_sane_Thread) ( Thread* thr ) { in HG_() function
59 if (!HG_(is_sane_Thread)(thr)) return False; in is_sane_Bag_of_Threads()
102 Bool HG_(is_sane_LockP) ( Lock* lock ) { in HG_() function
109 Bool HG_(is_sane_LockN) ( Lock* lock ) { in HG_() function
116 Bool HG_(is_sane_LockNorP) ( Lock* lock ) { in HG_() function
|
| D | hg_lock_n_thread.h | 165 Bool HG_(is_sane_Thread) ( Thread* thr );
166 Bool HG_(is_sane_LockP) ( Lock* lock );
167 Bool HG_(is_sane_LockN) ( Lock* lock );
168 Bool HG_(is_sane_LockNorP) ( Lock* lock );
|
| D | hg_wordset.c | 356 WordSetU* HG_(newWordSetU) ( void* (*alloc_nofail)( HChar*, SizeT ), in HG_() function
385 void HG_(deleteWordSetU) ( WordSetU* wsu ) in HG_() function
395 WordSet HG_(emptyWS) ( WordSetU* wsu ) in HG_() function
400 Bool HG_(isEmptyWS) ( WordSetU* wsu, WordSet ws ) in HG_() function
413 Bool HG_(isSingletonWS) ( WordSetU* wsu, WordSet ws, UWord w ) in HG_() function
422 UWord HG_(cardinalityWS) ( WordSetU* wsu, WordSet ws ) in HG_() function
431 UWord HG_(anyElementOfWS) ( WordSetU* wsu, WordSet ws ) in HG_() function
441 UWord HG_(cardinalityWSU) ( WordSetU* wsu ) in HG_() function
447 void HG_(getPayloadWS) ( /*OUT*/UWord** words, /*OUT*/UWord* nWords, in HG_() function
459 void HG_(dieWS) ( WordSetU* wsu, WordSet ws ) in HG_() function
[all …]
|
| D | libhb_core.c | 881 nyu = HG_(zalloc)( "libhb.aFfw.1 (LineF storage)", in alloc_F_for_writing()
902 HG_(free)(sm->linesF); in alloc_F_for_writing()
1757 map_shmem = VG_(newFM)( HG_(zalloc), "libhb.zsm_init.1 (map_shmem)", in zsm_init()
1758 HG_(free), in zsm_init()
1846 = VG_(newXA)( HG_(zalloc), in verydead_thread_table_init()
1848 HG_(free), sizeof(ThrID) ); in verydead_thread_table_init()
1964 VTS* vts = HG_(zalloc)(who, sizeof(VTS) + (sizeTS+1) * sizeof(ScalarTS)); in VTS__new()
2034 HG_(free)(vts); in VTS__delete()
2489 vts_set = VG_(newFM)( HG_(zalloc), "libhb.vts_set_init.1", in vts_set_init()
2490 HG_(free), in vts_set_init()
[all …]
|
| D | libhb.h | 159 WordSetU* HG_(get_univ_lsets) ( void );
163 Lock* HG_(get_admin_locks) ( void );
|