Searched defs:succs_words (Results 1 – 2 of 2) sorted by relevance
3900 UWord* succs_words; in laog__do_dfs_from_to() local4091 UWord *preds_words, *succs_words; in laog__handle_one_lock_deletion() local