Home
last modified time | relevance | path

Searched refs:LocCtxt (Results 1 – 3 of 3) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DNullabilityChecker.cpp384 const LocationContext *LocCtxt) { in checkParamsForPreconditionViolation() argument
389 SVal LV = State->getLValue(ParamDecl, LocCtxt); in checkParamsForPreconditionViolation()
400 const LocationContext *LocCtxt) { in checkSelfIvarsForInvariantViolation() argument
401 auto *MD = dyn_cast<ObjCMethodDecl>(LocCtxt->getDecl()); in checkSelfIvarsForInvariantViolation()
405 const ImplicitParamDecl *SelfDecl = LocCtxt->getSelfDecl(); in checkSelfIvarsForInvariantViolation()
409 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt)); in checkSelfIvarsForInvariantViolation()
434 const LocationContext *LocCtxt = C.getLocationContext(); in checkInvariantViolation() local
435 const Decl *D = LocCtxt->getDecl(); in checkInvariantViolation()
449 if (checkParamsForPreconditionViolation(Params, State, LocCtxt) || in checkInvariantViolation()
450 checkSelfIvarsForInvariantViolation(State, LocCtxt)) { in checkInvariantViolation()
/external/clang/lib/StaticAnalyzer/Core/
DExprEngineCXX.cpp575 const LocationContext *LocCtxt = Pred->getLocationContext(); in VisitLambdaExpr() local
579 LE, LocCtxt); in VisitLambdaExpr()
597 InitVal = State->getSVal(InitExpr, LocCtxt); in VisitLambdaExpr()
603 InitVal = State->getSVal(SizeExpr, LocCtxt); in VisitLambdaExpr()
618 State->BindExpr(LE, LocCtxt, LambdaRVal), in VisitLambdaExpr()
DExprEngine.cpp1896 const LocationContext *LocCtxt = Pred->getLocationContext(); in VisitCommonDeclRefExpr() local
1897 const Decl *D = LocCtxt->getDecl(); in VisitCommonDeclRefExpr()
1915 V = state->getLValue(VD, LocCtxt); in VisitCommonDeclRefExpr()
1919 svalBuilder.getCXXThis(MD, LocCtxt->getCurrentStackFrame()); in VisitCommonDeclRefExpr()
1925 V = state->getLValue(VD, LocCtxt); in VisitCommonDeclRefExpr()