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()
323   auto State = C.getState();  in checkDeadSymbols()
452   auto State = C.getState();  in handleComparison()
537   auto State = C.getState();  in handleIncrement()
563   auto State = C.getState();  in handleDecrement()
591   auto State = C.getState();  in handleRandomIncrOrDecr()
635   ProgramStateRef State = C.getState();  in handlePtrIncrOrDecr()
688   auto State = C.getState();  in assignToContainer()
699   const auto StateAfter = C.getState();  in noChangeInAdvance()
711   const auto StateBefore = N->getState();  in noChangeInAdvance()