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()
324 auto State = C.getState(); in checkDeadSymbols()
453 auto State = C.getState(); in handleComparison()
538 auto State = C.getState(); in handleIncrement()
564 auto State = C.getState(); in handleDecrement()
592 auto State = C.getState(); in handleRandomIncrOrDecr()
636 ProgramStateRef State = C.getState(); in handlePtrIncrOrDecr()
689 auto State = C.getState(); in assignToContainer()
700 const auto StateAfter = C.getState(); in noChangeInAdvance()
712 const auto StateBefore = N->getState(); in noChangeInAdvance()