Searched refs:ResNot (Results 1 – 1 of 1) sorted by relevance
932 auto ResNot = addConstants(CIBase, CIAdded); in solveBlockValueSelect() local934 ValueLatticeElement::getNot(ResNot)); in solveBlockValueSelect()940 auto ResNot = addConstants(CIBase, CIAdded); in solveBlockValueSelect() local942 ValueLatticeElement::getNot(ResNot)); in solveBlockValueSelect()