Lines Matching refs:LCtx
465 const LocationContext *LCtx, unsigned Idx) { in setIndexOfElementToConstruct() argument
466 auto Key = std::make_pair(E, LCtx->getStackFrame()); in setIndexOfElementToConstruct()
475 const LocationContext *LCtx) { in getPendingInitLoop() argument
478 State->get<PendingInitLoop>({E, LCtx->getStackFrame()})); in getPendingInitLoop()
483 const LocationContext *LCtx) { in removePendingInitLoop() argument
484 auto Key = std::make_pair(E, LCtx->getStackFrame()); in removePendingInitLoop()
492 const LocationContext *LCtx, in setPendingInitLoop() argument
494 auto Key = std::make_pair(E, LCtx->getStackFrame()); in setPendingInitLoop()
504 const LocationContext *LCtx) { in getIndexOfElementToConstruct() argument
507 State->get<IndexOfElementToConstruct>({E, LCtx->getStackFrame()})); in getIndexOfElementToConstruct()
513 const LocationContext *LCtx) { in removeIndexOfElementToConstruct() argument
514 auto Key = std::make_pair(E, LCtx->getStackFrame()); in removeIndexOfElementToConstruct()
634 const LocationContext *LCtx, in processRegionChanges() argument
638 LCtx, Call); in processRegionChanges()
643 const char *NL, const LocationContext *LCtx, in printObjectsUnderConstructionJson() argument
646 LCtx->getAnalysisDeclContext()->getASTContext().getPrintingPolicy(); in printObjectsUnderConstructionJson()
655 if (Key.getLocationContext() != LCtx) in printObjectsUnderConstructionJson()
669 if (Key.getLocationContext() != LCtx) in printObjectsUnderConstructionJson()
690 const LocationContext *LCtx, const ASTContext &Context, in printIndicesOfElementsToConstructJson() argument
695 LCtx->getAnalysisDeclContext()->getASTContext().getPrintingPolicy(); in printIndicesOfElementsToConstructJson()
704 if (Key.second != LCtx) in printIndicesOfElementsToConstructJson()
718 if (Key.second != LCtx) in printIndicesOfElementsToConstructJson()
752 const LocationContext *LCtx, const char *NL, in printJson() argument
756 if (LCtx && !State->get<ObjectsUnderConstruction>().isEmpty()) { in printJson()
759 LCtx->printJson(Out, NL, Space, IsDot, [&](const LocationContext *LC) { in printJson()
770 if (LCtx && !State->get<IndexOfElementToConstruct>().isEmpty()) { in printJson()
775 LCtx->printJson(Out, NL, Space, IsDot, [&](const LocationContext *LC) { in printJson()
1113 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessNewAllocator() local
1114 PostImplicitCall PP(NE->getOperatorNew(), NE->getBeginLoc(), LCtx); in ProcessNewAllocator()
1159 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessDeleteDtor() local
1163 SVal ArgVal = State->getSVal(Arg, LCtx); in ProcessDeleteDtor()
1172 PostImplicitCall PP(Dtor, DE->getBeginLoc(), LCtx); in ProcessDeleteDtor()
1197 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessBaseDtor() local
1199 const auto *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl()); in ProcessBaseDtor()
1201 LCtx->getStackFrame()); in ProcessBaseDtor()
1220 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessMemberDtor() local
1222 const auto *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl()); in ProcessMemberDtor()
1224 getSValBuilder().getCXXThis(CurDtor, LCtx->getStackFrame()); in ProcessMemberDtor()
1645 const LocationContext *LCtx = Pred->getLocationContext(); in Visit() local
1648 State = State->BindExpr(S, LCtx, *ConstantVal); in Visit()
1650 State = createTemporaryRegionIfNeeded(State, LCtx, in Visit()
1678 const LocationContext *LCtx = N->getLocationContext(); in Visit() local
1679 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in Visit()
1682 ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result); in Visit()
1691 SVal Val = State->getSVal(Child, LCtx); in Visit()
1783 const LocationContext *LCtx = Pred->getLocationContext(); in Visit() local
1785 createTemporaryRegionIfNeeded(State, LCtx, OCE->getArg(0)); in Visit()
2179 const LocationContext *LCtx = Pred->getLocationContext(); in processCFGBlockEntrance() local
2181 getWidenedLoopState(Pred->getState(), LCtx, BlockCount, Term); in processCFGBlockEntrance()
2228 const LocationContext *LCtx, in RecoverCastedSymbol() argument
2260 return state->getSVal(Ex, LCtx); in RecoverCastedSymbol()
2408 const LocationContext *LCtx = Pred->getLocationContext(); in processBranch() local
2409 PrettyStackTraceLocationContext StackCrashInfo(LCtx); in processBranch()
2718 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCommonDeclRefExpr() local
2764 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
2771 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V)); in VisitCommonDeclRefExpr()
2776 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
2788 SVal Base = state->getLValue(DD, LCtx); in VisitCommonDeclRefExpr()
2805 SVal Idx = state->getSVal(ASE->getIdx(), LCtx); in VisitCommonDeclRefExpr()
2816 V = state->getLValue(HV, LCtx); in VisitCommonDeclRefExpr()
2836 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
2869 const LocationContext *LCtx = Node->getLocationContext(); in VisitArrayInitLoopExpr() local
2917 SVal Obj = state->getLValue(cast<VarDecl>(ObjDeclExpr->getDecl()), LCtx); in VisitArrayInitLoopExpr()
2935 Base = state->getLValue(cast<VarDecl>(DRE->getDecl()), LCtx); in VisitArrayInitLoopExpr()
2943 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, Base)); in VisitArrayInitLoopExpr()
2971 const LocationContext *LCtx = Node->getLocationContext(); in VisitArraySubscriptExpr() local
2984 state->getSVal(Idx, LCtx), in VisitArraySubscriptExpr()
2985 state->getSVal(Base, LCtx)); in VisitArraySubscriptExpr()
2986 Bldr.generateNode(A, Node, state->BindExpr(A, LCtx, V), nullptr, in VisitArraySubscriptExpr()
3021 const LocationContext *LCtx = I->getLocationContext(); in VisitMemberExpr() local
3027 state = createTemporaryRegionIfNeeded(state, LCtx, BaseExpr); in VisitMemberExpr()
3030 state = state->BindExpr(M, LCtx, MDVal); in VisitMemberExpr()
3038 state = createTemporaryRegionIfNeeded(state, LCtx, BaseExpr, in VisitMemberExpr()
3042 MR ? loc::MemRegionVal(MR) : state->getSVal(BaseExpr, LCtx); in VisitMemberExpr()
3068 Bldr.generateNode(M, I, state->BindExpr(M, LCtx, L), nullptr, in VisitMemberExpr()
3094 const LocationContext *LCtx = I->getLocationContext(); in VisitAtomicExpr() local
3099 SVal SubExprVal = State->getSVal(SubExpr, LCtx); in VisitAtomicExpr()
3105 LCtx, in VisitAtomicExpr()
3110 State = State->BindExpr(AE, LCtx, ResultVal); in VisitAtomicExpr()
3127 const LocationContext *LCtx, PointerEscapeKind Kind, in processPointerEscapedOnBind() argument
3155 (State->bindLoc(loc::MemRegionVal(MR), LocAndVal.second, LCtx))) in processPointerEscapedOnBind()
3167 SVal Val, const LocationContext *LCtx) { in processPointerEscapedOnBind() argument
3169 return processPointerEscapedOnBind(State, LocAndVal, LCtx, PSK_EscapeOnBind, in processPointerEscapedOnBind()
3322 const LocationContext *LCtx = I->getLocationContext(); in evalLoad() local
3331 Bldr.generateNode(NodeEx, I, state->BindExpr(BoundEx, LCtx, V), tag, in evalLoad()