Searched refs:CurrSt (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 169 static Optional<unsigned> findArgIdxOfSymbol(ProgramStateRef CurrSt, in findArgIdxOfSymbol() argument
210 static void generateDiagnosticsForCallLike(ProgramStateRef CurrSt, in generateDiagnosticsForCallLike() argument
219 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx); in generateDiagnosticsForCallLike()
238 Mgr.getObjCMethodCall(cast<ObjCMessageExpr>(S), CurrSt, LCtx); in generateDiagnosticsForCallLike()
253 Optional<CallEventRef<>> CE = Mgr.getCall(S, CurrSt, LCtx); in generateDiagnosticsForCallLike()
254 auto Idx = findArgIdxOfSymbol(CurrSt, LCtx, Sym, CE); in generateDiagnosticsForCallLike()
298 if (CurrSt->isNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()
300 } else if (CurrSt->isNonNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()
478 ProgramStateRef CurrSt = N->getState(); in VisitNode() local
481 const RefVal* CurrT = getRefBinding(CurrSt, Sym); in VisitNode()
[all …]
|