Lines Matching defs:NewState

545   auto NewState =
548   assert(NewState &&
551   const auto *NewPos = getIteratorPosition(NewState, Iter);
571   auto NewState =
574   assert(NewState &&
577   const auto *NewPos = getIteratorPosition(NewState, Iter);
661     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);
662     C.addTransition(NewState);
801   auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal);
802   if (!NewState)
811     return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2);
814   return NewState;