Searched refs:TrueValTaken (Results 1 – 1 of 1) sorted by relevance
944 LVILatticeVal TrueValTaken, FalseValTaken; in solveBlockValueSelect() local946 TrueValTaken, true)) in solveBlockValueSelect()947 TrueValTaken.markOverdefined(); in solveBlockValueSelect()952 TrueVal = intersect(TrueVal, TrueValTaken); in solveBlockValueSelect()