Searched refs:StatePos (Results 1 – 1 of 1) sorted by relevance
189 ProgramStateRef StatePos, StateNeg; in checkVLAIndexSize() local194 std::tie(StateNeg, StatePos) = CM.assumeDual(State, *LessThanZeroDVal); in checkVLAIndexSize()195 if (StateNeg && !StatePos) { in checkVLAIndexSize()199 State = StatePos; in checkVLAIndexSize()