| /external/valgrind/helgrind/ |
| D | hg_wordset.h | 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 );
75 WordSet HG_(minusWS) ( WordSetU*, WordSet, WordSet );
[all …]
|
| D | hg_errors.h | 38 Bool HG_(eq_Error) ( VgRes not_used, const Error* e1, const Error* e2 );
39 void HG_(before_pp_Error) ( const Error* err );
40 void HG_(pp_Error) ( const Error* err );
41 UInt HG_(update_extra) ( const Error* err );
42 Bool HG_(recognised_suppression) ( const HChar* name, Supp *su );
43 Bool HG_(read_extra_suppression_info) ( Int fd, HChar** bufpp, SizeT* nBufp,
45 Bool HG_(error_matches_suppression) ( const Error* err, const Supp* su );
46 const HChar* HG_(get_error_name) ( const Error* err );
47 SizeT HG_(get_extra_suppression_info) ( const Error* err,
49 SizeT HG_(print_extra_suppression_use) ( const Supp* su,
[all …]
|
| D | hg_basics.h | 40 #define HG_(str) VGAPPEND(vgHelgrind_,str) macro
42 void* HG_(zalloc) ( const HChar* cc, SizeT n );
43 void HG_(free) ( void* p );
44 HChar* HG_(strdup) ( const HChar* cc, const HChar* 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 UWord HG_(clo_sanity_flags);
[all …]
|
| D | hg_main.c | 151 WordSetU* HG_(get_univ_lsets) ( void ) { return univ_lsets; } in HG_() function
155 Lock* HG_(get_admin_locks) ( void ) { return admin_locks; } in HG_() function
166 Bool HG_(clo_ignore_thread_creation) = True;
168 Bool HG_(clo_ignore_thread_creation) = False;
178 Thread* thread = HG_(zalloc)( "hg.mk_Thread.1", sizeof(Thread) ); in mk_Thread()
179 thread->locksetA = HG_(emptyWS)( univ_lsets ); in mk_Thread()
180 thread->locksetW = HG_(emptyWS)( univ_lsets ); in mk_Thread()
202 Lock* lock = HG_(zalloc)( "hg.mk_Lock.1", sizeof(Lock) ); in mk_LockN()
219 tl_assert(HG_(is_sane_LockN)(lock)); in mk_LockN()
227 tl_assert(HG_(is_sane_LockN)(lk)); in del_LockN()
[all …]
|
| D | hg_basics.c | 45 void* HG_(zalloc) ( const HChar* cc, SizeT n ) in HG_() function
54 void HG_(free) ( void* p ) in HG_() function
60 HChar* HG_(strdup) ( const HChar* cc, const HChar* s ) in HG_() function
72 Bool HG_(clo_track_lockorders) = True;
74 Bool HG_(clo_cmp_race_err_addrs) = False;
76 UWord HG_(clo_history_level) = 2;
78 UWord HG_(clo_conflict_cache_size) = 2000000;
80 UWord HG_(clo_sanity_flags) = 0;
82 Bool HG_(clo_free_is_write) = False;
84 UWord HG_(clo_vts_pruning) = 1;
[all …]
|
| D | hg_errors.c | 63 ULong HG_(stats__string_table_queries) = 0;
65 ULong HG_(stats__string_table_get_map_size) ( void ) { in HG_() function
75 HG_(stats__string_table_queries)++; in string_table_strdup()
79 string_table = VG_(newFM)( HG_(zalloc), "hg.sts.1", in string_table_strdup()
80 HG_(free), string_table_cmp ); in string_table_strdup()
88 copy = HG_(strdup)("hg.sts.2", str); in string_table_strdup()
98 ULong HG_(stats__LockN_to_P_queries) = 0;
100 ULong HG_(stats__LockN_to_P_get_map_size) ( void ) { in HG_() function
108 tl_assert( HG_(is_sane_LockNorP)(lk1) ); in lock_unique_cmp()
109 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 | 188 Bool HG_(is_sane_Thread) ( Thread* thr );
189 Bool HG_(is_sane_LockP) ( Lock* lock );
190 Bool HG_(is_sane_LockN) ( Lock* lock );
191 Bool HG_(is_sane_LockNorP) ( Lock* lock );
|
| D | hg_wordset.c | 356 WordSetU* HG_(newWordSetU) ( void* (*alloc_nofail)( const 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 | hg_addrdescr.h | 40 extern void HG_(describe_addr) ( Addr a, /*OUT*/AddrInfo* ai );
45 extern Bool HG_(get_and_pp_addrdescr) (Addr a);
55 Bool HG_(mm_find_containing_block)( /*OUT*/ExeContext** where,
|
| D | hg_addrdescr.c | 48 void HG_(describe_addr) ( Addr a, /*OUT*/AddrInfo* ai ) in HG_() function
64 = HG_(mm_find_containing_block)( in HG_()
103 Bool HG_(get_and_pp_addrdescr) (Addr addr) in HG_() function
110 HG_(describe_addr) (addr, &glai); in HG_()
|
| D | libhb.h | 176 WordSetU* HG_(get_univ_lsets) ( void );
180 Lock* HG_(get_admin_locks) ( void );
|
| D | libhb_core.c | 1954 map_shmem = VG_(newFM)( HG_(zalloc), "libhb.zsm_init.1 (map_shmem)", in zsm_init()
1955 HG_(free), in zsm_init()
1968 HG_(zalloc), in zsm_init()
1970 HG_(free) in zsm_init()
2059 = VG_(newXA)( HG_(zalloc), in verydead_thread_tables_init()
2061 HG_(free), sizeof(ThrID) ); in verydead_thread_tables_init()
2064 = VG_(newXA)( HG_(zalloc), in verydead_thread_tables_init()
2066 HG_(free), sizeof(ThrID) ); in verydead_thread_tables_init()
2198 VTS* vts = HG_(zalloc)(who, sizeof(VTS) + (sizeTS+1) * sizeof(ScalarTS)); in VTS__new()
2268 HG_(free)(vts); in VTS__delete()
[all …]
|