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