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