Lines Matching defs:LC
129 const LocationContext *LC)
130 : Impl(Item, LC) {}
322 ProgramStateRef State, const LocationContext *LC,
330 SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC);
386 if (std::optional<SVal> V = getObjectUnderConstruction(State, MT, LC)) {
387 State = finishObjectConstruction(State, MT, LC);
388 State = State->BindExpr(Result, LC, *V);
398 TR = MRMgr.getCXXLifetimeExtendedObjectRegion(Init, VD, LC);
402 TR = MRMgr.getCXXTempObjectRegion(Init, LC);
405 TR = MRMgr.getCXXTempObjectRegion(Init, LC);
423 currBldrCtx->blockCount(), LC, true,
437 SVal InitVal = State->getSVal(Init, LC);
439 InitVal = getSValBuilder().conjureSymbolVal(Result, LC, Init->getType(),
441 State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false);
449 Result, LC, InitWithAdjustments->getType(),
453 State->bindLoc(Reg.castAs<Loc>(), InitValWithAdjustments, LC, false);
455 State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false);
462 State = State->BindExpr(Result, LC, Reg);
464 State = State->BindExpr(Result, LC, InitValWithAdjustments);
468 State = processRegionChange(State, TR, LC);
564 const LocationContext *LC, SVal V) {
565 ConstructedObjectKey Key(Item, LC->getStackFrame());
596 {dyn_cast_or_null<CXXConstructExpr>(Init), LC})) &&
605 const LocationContext *LC) {
606 ConstructedObjectKey Key(Item, LC->getStackFrame());
614 const LocationContext *LC) {
615 ConstructedObjectKey Key(Item, LC->getStackFrame());
622 const LocationContext *LC) {
623 ConstructedObjectKey Key({BTE, /*IsElided=*/true}, LC);
632 const LocationContext *LC) {
633 ConstructedObjectKey Key({BTE, /*IsElided=*/true}, LC);
640 const LocationContext *LC) {
641 ConstructedObjectKey Key({BTE, /*IsElided=*/true}, LC);
648 const LocationContext *LC = FromLC;
649 while (LC != ToLC) {
650 assert(LC && "ToLC must be a parent of FromLC!");
652 if (I.first.getLocationContext() == LC)
655 LC = LC->getParent();
902 /// The function invokes Printer as 'Printer(Out, State, NL, LC, Space, IsDot,
930 LCtx->printJson(Out, NL, Space, IsDot, [&](const LocationContext *LC) {
931 printer(Out, State, NL, LC, Space, IsDot, std::forward<Args>(args)...);
1006 const LocationContext *LC) {
1025 ParentMap &PM = LC->getAnalysisDeclContext()->getParentMap();
1031 const LocationContext *LC,
1037 assert(LC && "Must pass the current (or expiring) LocationContext");
1047 // LC is the location context being destroyed, but SymbolReaper wants a
1053 LC = LC->getParent();
1056 const StackFrameContext *SFC = LC ? LC->getStackFrame() : nullptr;
1164 const LocationContext *LC = Pred->getLocationContext();
1184 if (getObjectUnderConstruction(State, BMI, LC)) {
1187 State = finishObjectConstruction(State, BMI, LC);
1189 PostStore PS(Init, LC, /*Loc*/ nullptr, /*tag*/ nullptr);
1569 const LocationContext *LC = Pred->getLocationContext();
1584 if (isDestructorElided(State, BTE, LC)) {
1585 State = cleanupElidedDestructor(State, BTE, LC);
1648 const LocationContext *LC = Pred->getLocationContext();
1649 if (getObjectUnderConstruction(State, BTE, LC)) {
1671 const LocationContext *LC = Node->getLocationContext();
1672 if (!getObjectUnderConstruction(State, BTE, LC)) {
1677 State = addObjectUnderConstruction(State, BTE, LC, UnknownVal());
2697 const LocationContext *LC, bool HasMoreIteraton) {
2698 assert(!State->contains<ObjCForHasMoreIterations>({O, LC}));
2699 return State->set<ObjCForHasMoreIterations>({O, LC}, HasMoreIteraton);
2705 const LocationContext *LC) {
2706 assert(State->contains<ObjCForHasMoreIterations>({O, LC}));
2707 return State->remove<ObjCForHasMoreIterations>({O, LC});
2712 const LocationContext *LC) {
2713 assert(State->contains<ObjCForHasMoreIterations>({O, LC}));
2714 return *State->get<ObjCForHasMoreIterations>({O, LC});
2950 const LocationContext *LC = FromLC;
2951 while (LC != ToLC) {
2952 assert(LC && "ToLC must be a parent of FromLC!");
2954 if (I.first.getLocationContext() == LC) {
2964 LC = LC->getParent();
3606 const LocationContext *LC = Pred->getLocationContext();
3607 PostStmt PS(StoreE, LC);
3621 const ProgramPoint L = PostStore(StoreE, LC, /*Loc*/nullptr,
3624 state = processPointerEscapedOnBind(state, location, Val, LC);
3632 state = processPointerEscapedOnBind(state, location, Val, LC);
3638 Val, LC, /* notifyChanges = */ !atDeclInit);
3646 const ProgramPoint L = PostStore(StoreE, LC, LocReg, nullptr);