Lines Matching refs:getState

197   auto State = C.getState();  in checkPostCall()
236   auto State = C.getState();  in checkBind()
264   const ProgramStateRef State = C.getState();  in checkPostStmt()
294   auto State = C.getState();  in checkPostStmt()
326   auto State = C.getState();  in checkDeadSymbols()
456    auto State = C.getState();  in handleComparison()
541   auto State = C.getState();  in handleIncrement()
567   auto State = C.getState();  in handleDecrement()
596   auto State = C.getState();  in handleRandomIncrOrDecr()
640   ProgramStateRef State = C.getState();  in handlePtrIncrOrDecr()
693   auto State = C.getState();  in assignToContainer()
704   const auto StateAfter = C.getState();  in noChangeInAdvance()
716   const auto StateBefore = N->getState();  in noChangeInAdvance()