Searched refs:expected_preds (Results 1 – 1 of 1) sorted by relevance
1758 let mut expected_preds = BTreeSet::<Inst>::new(); in cfg_integrity() localVariable1784 expected_preds.extend( in cfg_integrity()1794 let missing_preds: Vec<Inst> = expected_preds.difference(&got_preds).cloned().collect(); in cfg_integrity()1803 let excess_preds: Vec<Inst> = got_preds.difference(&expected_preds).cloned().collect(); in cfg_integrity()1814 expected_preds.clear(); in cfg_integrity()