Lines Matching defs:LCtx
477 const LocationContext *LCtx, unsigned Idx) {
478 auto Key = std::make_pair(E, LCtx->getStackFrame());
487 const LocationContext *LCtx) {
488 const unsigned *V = State->get<PendingInitLoop>({E, LCtx->getStackFrame()});
494 const LocationContext *LCtx) {
495 auto Key = std::make_pair(E, LCtx->getStackFrame());
503 const LocationContext *LCtx,
505 auto Key = std::make_pair(E, LCtx->getStackFrame());
515 const LocationContext *LCtx) {
517 State->get<IndexOfElementToConstruct>({E, LCtx->getStackFrame()});
524 const LocationContext *LCtx) {
525 auto Key = std::make_pair(E, LCtx->getStackFrame());
533 const LocationContext *LCtx) {
534 assert(LCtx && "LocationContext shouldn't be null!");
537 State->get<PendingArrayDestruction>(LCtx->getStackFrame());
542 ProgramStateRef State, const LocationContext *LCtx, unsigned Idx) {
543 assert(LCtx && "LocationContext shouldn't be null!");
545 auto Key = LCtx->getStackFrame();
552 const LocationContext *LCtx) {
553 assert(LCtx && "LocationContext shouldn't be null!");
555 auto Key = LCtx->getStackFrame();
557 assert(LCtx && State->contains<PendingArrayDestruction>(Key));
677 const LocationContext *LCtx,
681 LCtx, Call);
686 const char *NL, const LocationContext *LCtx,
689 LCtx->getAnalysisDeclContext()->getASTContext().getPrintingPolicy();
698 if (Key.getLocationContext() != LCtx)
712 if (Key.getLocationContext() != LCtx)
733 const LocationContext *LCtx, unsigned int Space = 0, bool IsDot = false) {
736 const auto &Context = LCtx->getAnalysisDeclContext()->getASTContext();
746 if (Key.second != LCtx)
760 if (Key.second != LCtx)
795 const LocationContext *LCtx,
800 const auto &Context = LCtx->getAnalysisDeclContext()->getASTContext();
810 if (Key.second != LCtx)
824 if (Key.second != LCtx)
855 const char *NL, const LocationContext *LCtx,
866 if (Key != LCtx)
879 if (Key != LCtx)
911 raw_ostream &Out, ProgramStateRef State, const LocationContext *LCtx,
926 if (LCtx && !State->get<Trait>().isEmpty()) {
930 LCtx->printJson(Out, NL, Space, IsDot, [&](const LocationContext *LC) {
940 const LocationContext *LCtx, const char *NL,
944 Out, State, LCtx, NL, Space, IsDot, "constructing_objects",
947 Out, State, LCtx, NL, Space, IsDot, "index_of_element",
950 Out, State, LCtx, NL, Space, IsDot, "pending_init_loops",
953 Out, State, LCtx, NL, Space, IsDot, "pending_destructors",
1257 const LocationContext *LCtx,
1272 if (auto OptionalIdx = getPendingArrayDestruction(State, LCtx)) {
1287 return {setPendingArrayDestruction(State, LCtx, Idx), Idx};
1329 const LocationContext *LCtx = Pred->getLocationContext();
1330 PostImplicitCall PP(NE->getOperatorNew(), NE->getBeginLoc(), LCtx,
1345 const LocationContext *LCtx = Pred->getLocationContext();
1347 SVal dest = state->getLValue(varDecl, LCtx);
1367 state, Region, varType, LCtx, &ElementCount);
1379 PostImplicitCall PP(DtorDecl, varDecl->getLocation(), LCtx,
1397 PreImplicitCall PP(DtorDecl, varDecl->getLocation(), LCtx, getCFGElementRef(),
1413 const LocationContext *LCtx = Pred->getLocationContext();
1417 SVal ArgVal = State->getSVal(Arg, LCtx);
1426 PostImplicitCall PP(Dtor, DE->getBeginLoc(), LCtx, getCFGElementRef());
1450 State, ArgR, DTy, LCtx, &ElementCount);
1459 PostImplicitCall PP(getDtorDecl(DTy), DE->getBeginLoc(), LCtx,
1474 PreImplicitCall PP(getDtorDecl(DTy), DE->getBeginLoc(), LCtx,
1487 const LocationContext *LCtx = Pred->getLocationContext();
1489 const auto *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl());
1491 LCtx->getStackFrame());
1511 const LocationContext *LCtx = Pred->getLocationContext();
1513 const auto *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl());
1515 getSValBuilder().getCXXThis(CurDtor, LCtx->getStackFrame());
1523 State, FieldVal.getAsRegion(), T, LCtx, &ElementCount);
1535 PostImplicitCall PP(DtorDecl, Member->getLocation(), LCtx,
1552 PreImplicitCall PP(DtorDecl, Member->getLocation(), LCtx, getCFGElementRef(),
2008 const LocationContext *LCtx = Pred->getLocationContext();
2011 State = State->BindExpr(S, LCtx, *ConstantVal);
2013 State = createTemporaryRegionIfNeeded(State, LCtx,
2041 const LocationContext *LCtx = N->getLocationContext();
2042 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
2045 ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result);
2054 SVal Val = State->getSVal(Child, LCtx);
2152 const LocationContext *LCtx = Pred->getLocationContext();
2154 createTemporaryRegionIfNeeded(State, LCtx, OCE->getArg(0));
2548 const LocationContext *LCtx = Pred->getLocationContext();
2550 getWidenedLoopState(Pred->getState(), LCtx, BlockCount, Term);
2597 const LocationContext *LCtx,
2629 return state->getSVal(Ex, LCtx);
2773 const LocationContext *LCtx = Pred->getLocationContext();
2774 PrettyStackTraceLocationContext StackCrashInfo(LCtx);
3093 const LocationContext *LCtx = Pred->getLocationContext();
3139 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
3146 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
3151 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
3163 SVal Base = state->getLValue(DD, LCtx);
3180 SVal Idx = state->getSVal(ASE->getIdx(), LCtx);
3191 V = state->getLValue(HV, LCtx);
3211 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
3244 const LocationContext *LCtx = Node->getLocationContext();
3292 SVal Obj = state->getLValue(cast<VarDecl>(ObjDeclExpr->getDecl()), LCtx);
3310 Base = state->getLValue(cast<VarDecl>(DRE->getDecl()), LCtx);
3318 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, Base));
3346 const LocationContext *LCtx = Node->getLocationContext();
3359 state->getSVal(Idx, LCtx),
3360 state->getSVal(Base, LCtx));
3361 Bldr.generateNode(A, Node, state->BindExpr(A, LCtx, V), nullptr,
3396 const LocationContext *LCtx = I->getLocationContext();
3402 state = createTemporaryRegionIfNeeded(state, LCtx, BaseExpr);
3405 state = state->BindExpr(M, LCtx, MDVal);
3413 state = createTemporaryRegionIfNeeded(state, LCtx, BaseExpr,
3417 MR ? loc::MemRegionVal(MR) : state->getSVal(BaseExpr, LCtx);
3451 Bldr.generateNode(M, I, state->BindExpr(M, LCtx, L), nullptr,
3477 const LocationContext *LCtx = I->getLocationContext();
3482 SVal SubExprVal = State->getSVal(SubExpr, LCtx);
3488 LCtx,
3493 State = State->BindExpr(AE, LCtx, ResultVal);
3510 const LocationContext *LCtx, PointerEscapeKind Kind,
3539 (State->bindLoc(loc::MemRegionVal(MR), LocAndVal.second, LCtx)))
3551 SVal Val, const LocationContext *LCtx) {
3553 return processPointerEscapedOnBind(State, LocAndVal, LCtx, PSK_EscapeOnBind,
3706 const LocationContext *LCtx = I->getLocationContext();
3715 Bldr.generateNode(NodeEx, I, state->BindExpr(BoundEx, LCtx, V), tag,