Lines Matching refs:LCtx
906 const LocationContext *LCtx = C.getLocationContext(); in evalCall() local
925 SVal RetVal = state->getSVal(BindReturnTo, LCtx); in evalCall()
935 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); in evalCall()
939 state = state->BindExpr(CE, LCtx, RetVal, /*Invalidate=*/false); in evalCall()
947 CE, LCtx, C.getSValBuilder().makeNullWithType(ResultTy), in evalCall()
1186 ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx, in checkRegionChanges() argument
1336 const LocationContext *LCtx = Ctx.getLocationContext(); in checkBeginFunction() local
1337 const Decl *D = LCtx->getDecl(); in checkBeginFunction()
1349 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol(); in checkBeginFunction()
1380 const LocationContext *LCtx = Pred->getLocationContext(); in checkEndFunction() local
1381 if (LCtx->getAnalysisDeclContext()->isBodyAutosynthesized()) { in checkEndFunction()
1382 assert(!LCtx->inTopFrame()); in checkEndFunction()
1397 if (LCtx->getParent()) in checkEndFunction()