Searched refs:then_bb_index (Results 1 – 2 of 2) sorted by relevance
3805 int then_bb_index, then_prob; in find_if_case_1() local3897 then_bb_index = then_bb->index; in find_if_case_1()3904 df_bb_replace (then_bb_index, new_bb); in find_if_case_1()
4816 int then_bb_index; in find_if_case_1() local4908 then_bb_index = then_bb->index; in find_if_case_1()4915 df_bb_replace (then_bb_index, new_bb); in find_if_case_1()