Lines Matching refs:getState
55 ProgramStateRef state = (*it)->getState(); in VisitBinaryOperator()
138 state = (*I)->getState(); in VisitBinaryOperator()
206 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
296 ProgramStateRef state = subExprNode->getState(); in VisitCast()
315 ProgramStateRef state = Pred->getState(); in VisitCast()
343 ProgramStateRef state = Pred->getState(); in VisitCast()
551 ProgramStateRef State = Pred->getState(); in VisitCompoundLiteralExpr()
603 ProgramStateRef state = N->getState(); in VisitDeclStmt()
668 ProgramStateRef state = Pred->getState(); in VisitLogicalExpr()
724 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext()); in VisitLogicalExpr()
733 X = evalBinOp(N->getState(), BO_NE, in VisitLogicalExpr()
746 ProgramStateRef state = Pred->getState(); in VisitInitListExpr()
797 ProgramStateRef state = Pred->getState(); in VisitGuardedExpr()
814 SrcState = N->getState(); in VisitGuardedExpr()
865 Pred->getState()->BindExpr(OOE, Pred->getLocationContext(), in VisitOffsetOfExpr()
905 ProgramStateRef state = (*I)->getState(); in VisitUnaryExprOrTypeTraitExpr()
926 ProgramStateRef state = (*I)->getState(); in handleUOExtension()
962 ProgramStateRef state = (*I)->getState(); in VisitUnaryOperator()
977 ProgramStateRef state = (*I)->getState(); in VisitUnaryOperator()
991 ProgramStateRef State = (*I)->getState(); in VisitUnaryOperator()
1016 ProgramStateRef state = (*I)->getState(); in VisitUnaryOperator()
1078 ProgramStateRef state = Pred->getState(); in VisitIncrementDecrementOperator()
1089 state = (*I)->getState(); in VisitIncrementDecrementOperator()