Searched refs:CurrSt (Results 1 – 1 of 1) sorted by relevance
1877 ProgramStateRef CurrSt = N->getState(); in VisitNode() local1880 const RefVal* CurrT = getRefBinding(CurrSt, Sym); in VisitNode()1931 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx); in VisitNode()1939 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in VisitNode()1941 = Mgr.getObjCMethodCall(cast<ObjCMessageExpr>(S), CurrSt, LCtx); in VisitNode()2004 if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym) in VisitNode()2013 if (CurrSt->getSValAsScalarOrLoc(receiver, LCtx) in VisitNode()2045 CurrSt->getSValAsScalarOrLoc(cast<CallExpr>(S)->getCallee(), LCtx); in VisitNode()2165 if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) { in VisitNode()