Searched refs:LocCtxt (Results 1 - 3 of 3) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NullabilityChecker.cpp | 359 const LocationContext *LocCtxt) {
364 SVal LV = State->getLValue(ParamDecl, LocCtxt);
375 const LocationContext *LocCtxt) {
376 auto *MD = dyn_cast<ObjCMethodDecl>(LocCtxt->getDecl());
380 const ImplicitParamDecl *SelfDecl = LocCtxt->getSelfDecl();
384 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt));
409 const LocationContext *LocCtxt = C.getLocationContext(); local
410 const Decl *D = LocCtxt->getDecl();
424 if (checkParamsForPreconditionViolation(Params, State, LocCtxt) ||
425 checkSelfIvarsForInvariantViolation(State, LocCtxt)) {
357 checkParamsForPreconditionViolation(ArrayRef<ParmVarDecl *> Params, ProgramStateRef State, const LocationContext *LocCtxt) argument
374 checkSelfIvarsForInvariantViolation(ProgramStateRef State, const LocationContext *LocCtxt) argument
[all...] |
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCXX.cpp | 891 const LocationContext *LocCtxt = Pred->getLocationContext(); local
895 LE, LocCtxt);
913 InitVal = State->getSVal(InitExpr, LocCtxt);
919 InitVal = State->getSVal(SizeExpr, LocCtxt);
922 State = State->bindLoc(FieldLoc, InitVal, LocCtxt);
934 State->BindExpr(LE, LocCtxt, LambdaRVal),
|
| H A D | ExprEngine.cpp | 2444 const LocationContext *LocCtxt = Pred->getLocationContext(); local
2445 const Decl *D = LocCtxt->getDecl();
2463 svalBuilder.getCXXThis(MD, LocCtxt->getStackFrame());
2470 VInfo = std::make_pair(state->getLValue(VD, LocCtxt), VD->getType());
|
Completed in 114 milliseconds