Searched refs:succs_words (Results 1 – 1 of 1) sorted by relevance
/external/valgrind/helgrind/ |
D | hg_main.c | 3842 UWord* succs_words; in laog__do_dfs_from_to() local 3873 HG_(getPayloadWS)( &succs_words, &succs_size, univ_laog, succs ); in laog__do_dfs_from_to() 3875 (void) VG_(addToXA)( stack, &succs_words[i] ); in laog__do_dfs_from_to() 4033 UWord *preds_words, *succs_words; in laog__handle_one_lock_deletion() local 4043 HG_(getPayloadWS)( &succs_words, &succs_size, univ_laog, succs ); in laog__handle_one_lock_deletion() 4044 succs_words = UWordV_dup(succs_words, succs_size); in laog__handle_one_lock_deletion() 4050 laog__del_edge( lk, (Lock*)succs_words[j] ); in laog__handle_one_lock_deletion() 4054 if (preds_words[i] != succs_words[j]) { in laog__handle_one_lock_deletion() 4058 laog__add_edge( (Lock*)preds_words[i], (Lock*)succs_words[j] ); in laog__handle_one_lock_deletion() 4065 if (succs_words) in laog__handle_one_lock_deletion() [all …]
|