Lines Matching refs:succs_words
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()
4066 HG_(free) (succs_words); in laog__handle_one_lock_deletion()