Searched refs:succs_words (Results 1 – 2 of 2) sorted by relevance
| /dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/helgrind/ |
| H A D | hg_main.c | 3900 UWord* succs_words; in laog__do_dfs_from_to() local
3931 HG_(getPayloadWS)( &succs_words, &succs_size, univ_laog, succs ); in laog__do_dfs_from_to()
3933 (void) VG_(addToXA)( stack, &succs_words[i] ); in laog__do_dfs_from_to()
4091 UWord *preds_words, *succs_words; in laog__handle_one_lock_deletion() local
4101 HG_(getPayloadWS)( &succs_words, &succs_size, univ_laog, succs ); in laog__handle_one_lock_deletion()
4102 succs_words = UWordV_dup(succs_words, succs_size); in laog__handle_one_lock_deletion()
4108 laog__del_edge( lk, (Lock*)succs_words[j] ); 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()
4123 if (succs_words) in laog__handle_one_lock_deletion()
[all …]
|
| /dports/devel/valgrind/valgrind-dragonfly-dragonfly/helgrind/ |
| H A D | hg_main.c | 3900 UWord* succs_words; in laog__do_dfs_from_to() local
3931 HG_(getPayloadWS)( &succs_words, &succs_size, univ_laog, succs ); in laog__do_dfs_from_to()
3933 (void) VG_(addToXA)( stack, &succs_words[i] ); in laog__do_dfs_from_to()
4091 UWord *preds_words, *succs_words; in laog__handle_one_lock_deletion() local
4101 HG_(getPayloadWS)( &succs_words, &succs_size, univ_laog, succs ); in laog__handle_one_lock_deletion()
4102 succs_words = UWordV_dup(succs_words, succs_size); in laog__handle_one_lock_deletion()
4108 laog__del_edge( lk, (Lock*)succs_words[j] ); 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()
4123 if (succs_words) in laog__handle_one_lock_deletion()
[all …]
|