Lines Matching refs:LCtx
568 const LocationContext *LCtx = Pred->getLocationContext();
569 PostImplicitCall PP(NE->getOperatorNew(), NE->getLocStart(), LCtx);
598 const LocationContext *LCtx = Pred->getLocationContext();
601 SVal ArgVal = State->getSVal(Arg, LCtx);
611 PostImplicitCall PP(Dtor, DE->getLocStart(), LCtx);
625 const LocationContext *LCtx = Pred->getLocationContext();
627 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl());
629 LCtx->getCurrentStackFrame());
646 const LocationContext *LCtx = Pred->getLocationContext();
648 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl());
650 LCtx->getCurrentStackFrame());
844 const LocationContext *LCtx = Pred->getLocationContext();
848 State = State->BindExpr(S, LCtx, *ConstantVal);
850 State = createTemporaryRegionIfNeeded(State, LCtx,
880 const LocationContext *LCtx = N->getLocationContext();
881 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
884 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result);
958 const LocationContext *LCtx = Pred->getLocationContext();
960 createTemporaryRegionIfNeeded(State, LCtx, OCE->getArg(0));
1328 const LocationContext *LCtx,
1360 return state->getSVal(Ex, LCtx);
1432 const LocationContext *LCtx = Pred->getLocationContext();
1433 PrettyStackTraceLocationContext StackCrashInfo(LCtx);
1733 const LocationContext *LCtx = Pred->getLocationContext();
1750 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
1757 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
1762 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
1770 SVal V = svalBuilder.conjureSymbolVal(Ex, LCtx, getContext().VoidPtrTy,
1773 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
1797 const LocationContext *LCtx = (*it)->getLocationContext();
1800 state->getSVal(Idx, LCtx),
1801 state->getSVal(Base, LCtx));
1803 Bldr.generateNode(A, *it, state->BindExpr(A, LCtx, V), nullptr,
1834 const LocationContext *LCtx = (*I)->getLocationContext();
1840 state = createTemporaryRegionIfNeeded(state, LCtx, BaseExpr);
1843 state = state->BindExpr(M, LCtx, MDVal);
1850 state = createTemporaryRegionIfNeeded(state, LCtx, BaseExpr);
1851 SVal baseExprVal = state->getSVal(BaseExpr, LCtx);
1877 Bldr.generateNode(M, *I, state->BindExpr(M, LCtx, L), nullptr,
2147 const LocationContext *LCtx = (*NI)->getLocationContext();
2156 Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag,
