Searched refs:StateNotZero (Results 1 – 1 of 1) sorted by relevance
177 ProgramStateRef StateNotZero, StateZero; in checkVLAIndexSize() local178 std::tie(StateNotZero, StateZero) = State->assume(SizeD); in checkVLAIndexSize()180 if (StateZero && !StateNotZero) { in checkVLAIndexSize()186 State = StateNotZero; in checkVLAIndexSize()