Lines Matching defs:LocCtxt
407 const LocationContext *LocCtxt) {
412 SVal LV = State->getLValue(ParamDecl, LocCtxt);
423 const LocationContext *LocCtxt) {
424 auto *MD = dyn_cast<ObjCMethodDecl>(LocCtxt->getDecl());
428 const ImplicitParamDecl *SelfDecl = LocCtxt->getSelfDecl();
432 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt));
457 const LocationContext *LocCtxt = C.getLocationContext();
458 const Decl *D = LocCtxt->getDecl();
472 if (checkParamsForPreconditionViolation(Params, State, LocCtxt) ||
473 checkSelfIvarsForInvariantViolation(State, LocCtxt)) {