Searched refs:CurrSt (Results 1 – 1 of 1) sorted by relevance
1900 ProgramStateRef CurrSt = N->getState(); in VisitNode() local1903 const RefVal* CurrT = getRefBinding(CurrSt, Sym); in VisitNode()1954 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx); in VisitNode()1962 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in VisitNode()1964 = Mgr.getObjCMethodCall(cast<ObjCMessageExpr>(S), CurrSt, LCtx); in VisitNode()2027 if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym) in VisitNode()2036 if (CurrSt->getSValAsScalarOrLoc(receiver, LCtx) in VisitNode()2068 CurrSt->getSValAsScalarOrLoc(cast<CallExpr>(S)->getCallee(), LCtx); in VisitNode()2187 if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) { in VisitNode()