Searched refs:CurrSt (Results 1 – 1 of 1) sorted by relevance
1901 ProgramStateRef CurrSt = N->getState(); in VisitNode() local1904 const RefVal* CurrT = getRefBinding(CurrSt, Sym); in VisitNode()1955 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx); in VisitNode()1963 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in VisitNode()1965 = Mgr.getObjCMethodCall(cast<ObjCMessageExpr>(S), CurrSt, LCtx); in VisitNode()2028 if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym) in VisitNode()2037 if (CurrSt->getSValAsScalarOrLoc(receiver, LCtx) in VisitNode()2069 CurrSt->getSValAsScalarOrLoc(cast<CallExpr>(S)->getCallee(), LCtx); in VisitNode()2188 if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) { in VisitNode()