Lines Matching refs:getState
31 ProgramStateRef state = Pred->getState(); in CreateCXXTemporaryObject()
78 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
88 ProgramStateRef State = (*I)->getState(); in performTrivialCopy()
554 ProgramStateRef State = Pred->getState(); in handleConstructor()
663 if (State != Pred->getState()) { in handleConstructor()
693 ProgramStateRef State = (*I)->getState(); in handleConstructor()
766 Bldr.generateSink(E, N, N->getState()); in handleConstructor()
810 ProgramStateRef State = Pred->getState(); in VisitCXXDestructor()
824 Bldr.generateNode(PP, Pred->getState(), Pred); in VisitCXXDestructor()
841 Pred->getState(), Pred); in VisitCXXDestructor()
871 ProgramStateRef State = Pred->getState(); in VisitCXXNewAllocatorCall()
906 ProgramStateRef State = I->getState(); in VisitCXXNewAllocatorCall()
950 ProgramStateRef State = Pred->getState(); in VisitCXXNewExpr()
1029 State = Pred->getState(); in VisitCXXNewExpr()
1072 CDE, Pred->getState(), Pred->getLocationContext()); in VisitCXXDeleteExpr()
1100 ProgramStateRef state = Pred->getState(); in VisitCXXCatchStmt()
1118 ProgramStateRef state = Pred->getState(); in VisitCXXThisExpr()
1132 ProgramStateRef State = Pred->getState(); in VisitLambdaExpr()