Searched refs:preds_words (Results 1 – 1 of 1) sorted by relevance
4033 UWord *preds_words, *succs_words; in laog__handle_one_lock_deletion() local4040 HG_(getPayloadWS)( &preds_words, &preds_size, univ_laog, preds ); in laog__handle_one_lock_deletion()4041 preds_words = UWordV_dup(preds_words, preds_size); in laog__handle_one_lock_deletion()4047 laog__del_edge( (Lock*)preds_words[i], lk ); 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()4063 if (preds_words) in laog__handle_one_lock_deletion()4064 HG_(free) (preds_words); in laog__handle_one_lock_deletion()