Lines Matching defs:CurrSt

171 findArgIdxOfSymbol(ProgramStateRef CurrSt, const LocationContext *LCtx,
179         if (CurrSt->getSVal(MR, TR->getValueType()).getAsSymbol() == Sym)
210 static void generateDiagnosticsForCallLike(ProgramStateRef CurrSt,
215   CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager();
219     SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx);
238         cast<ObjCMessageExpr>(S), CurrSt, LCtx, {nullptr, 0});
253   std::optional<CallEventRef<>> CE = Mgr.getCall(S, CurrSt, LCtx, {nullptr, 0});
254   auto Idx = findArgIdxOfSymbol(CurrSt, LCtx, Sym, CE);
298       if (CurrSt->isNull(RV).isConstrainedTrue()) {
300       } else if (CurrSt->isNonNull(RV).isConstrainedTrue()) {
478   ProgramStateRef CurrSt = N->getState();
481   const RefVal* CurrT = getRefBinding(CurrSt, Sym);
534       generateDiagnosticsForCallLike(CurrSt, LCtx, CurrV, Sym, S, os);
565         if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym)
573         if (CurrSt->getSValAsScalarOrLoc(receiver, LCtx)
597       if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) {