Lines Matching refs:getState

198   auto State = C.getState();  in checkPostCall()
237   auto State = C.getState();  in checkBind()
265   const ProgramStateRef State = C.getState();  in checkPostStmt()
295   auto State = C.getState();  in checkPostStmt()
327   auto State = C.getState();  in checkDeadSymbols()
457    auto State = C.getState();  in handleComparison()
542   auto State = C.getState();  in handleIncrement()
568   auto State = C.getState();  in handleDecrement()
597   auto State = C.getState();  in handleRandomIncrOrDecr()
641   ProgramStateRef State = C.getState();  in handlePtrIncrOrDecr()
694   auto State = C.getState();  in assignToContainer()
705   const auto StateAfter = C.getState();  in noChangeInAdvance()
717   const auto StateBefore = N->getState();  in noChangeInAdvance()