Home
last modified time | relevance | path

Searched refs:preds_words (Results 1 – 2 of 2) sorted by relevance

/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/helgrind/
H A Dhg_main.c4091 UWord *preds_words, *succs_words; in laog__handle_one_lock_deletion() local
4098 HG_(getPayloadWS)( &preds_words, &preds_size, univ_laog, preds ); in laog__handle_one_lock_deletion()
4099 preds_words = UWordV_dup(preds_words, preds_size); in laog__handle_one_lock_deletion()
4105 laog__del_edge( (Lock*)preds_words[i], lk ); in laog__handle_one_lock_deletion()
4112 if (preds_words[i] != succs_words[j]) { in laog__handle_one_lock_deletion()
4116 laog__add_edge( (Lock*)preds_words[i], (Lock*)succs_words[j] ); in laog__handle_one_lock_deletion()
4121 if (preds_words) in laog__handle_one_lock_deletion()
4122 HG_(free) (preds_words); in laog__handle_one_lock_deletion()
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/helgrind/
H A Dhg_main.c4091 UWord *preds_words, *succs_words; in laog__handle_one_lock_deletion() local
4098 HG_(getPayloadWS)( &preds_words, &preds_size, univ_laog, preds ); in laog__handle_one_lock_deletion()
4099 preds_words = UWordV_dup(preds_words, preds_size); in laog__handle_one_lock_deletion()
4105 laog__del_edge( (Lock*)preds_words[i], lk ); in laog__handle_one_lock_deletion()
4112 if (preds_words[i] != succs_words[j]) { in laog__handle_one_lock_deletion()
4116 laog__add_edge( (Lock*)preds_words[i], (Lock*)succs_words[j] ); in laog__handle_one_lock_deletion()
4121 if (preds_words) in laog__handle_one_lock_deletion()
4122 HG_(free) (preds_words); in laog__handle_one_lock_deletion()