Searched refs:StateNeg (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()203 if ((StateNeg || StateZero) && isTainted(State, SizeV)) { in checkVLAIndexSize()