Searched refs:StateZero (Results 1 – 1 of 1) sorted by relevance
170 ProgramStateRef StateNotZero, StateZero; in checkVLAIndexSize() local171 std::tie(StateNotZero, StateZero) = State->assume(SizeD); in checkVLAIndexSize()173 if (StateZero && !StateNotZero) { in checkVLAIndexSize()174 reportBug(VLA_Zero, SizeE, StateZero, C); in checkVLAIndexSize()203 if ((StateNeg || StateZero) && isTainted(State, SizeV)) { in checkVLAIndexSize()