Searched refs:succs_words (Results 1 – 1 of 1) sorted by relevance
/external/valgrind/helgrind/ |
D | hg_main.c | 3844 UWord* succs_words; in laog__do_dfs_from_to() local 3875 HG_(getPayloadWS)( &succs_words, &succs_size, univ_laog, succs ); in laog__do_dfs_from_to() 3877 (void) VG_(addToXA)( stack, &succs_words[i] ); in laog__do_dfs_from_to() 4035 UWord *preds_words, *succs_words; in laog__handle_one_lock_deletion() local 4045 HG_(getPayloadWS)( &succs_words, &succs_size, univ_laog, succs ); in laog__handle_one_lock_deletion() 4046 succs_words = UWordV_dup(succs_words, succs_size); in laog__handle_one_lock_deletion() 4052 laog__del_edge( lk, (Lock*)succs_words[j] ); in laog__handle_one_lock_deletion() 4056 if (preds_words[i] != succs_words[j]) { in laog__handle_one_lock_deletion() 4060 laog__add_edge( (Lock*)preds_words[i], (Lock*)succs_words[j] ); in laog__handle_one_lock_deletion() 4067 if (succs_words) in laog__handle_one_lock_deletion() [all …]
|