Searched refs:FalseValTaken (Results 1 – 1 of 1) sorted by relevance
944 LVILatticeVal TrueValTaken, FalseValTaken; in solveBlockValueSelect() local949 FalseValTaken, false)) in solveBlockValueSelect()950 FalseValTaken.markOverdefined(); in solveBlockValueSelect()953 FalseVal = intersect(FalseVal, FalseValTaken); in solveBlockValueSelect()