Lines Matching refs:getLocationContext
280 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext());
426 if (shouldRemoveDeadBindings(AMgr, S, Pred, Pred->getLocationContext())){
427 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext());
455 cast<StackFrameContext>(Pred->getLocationContext());
568 const LocationContext *LCtx = Pred->getLocationContext();
582 SVal dest = state->getLValue(varDecl, Pred->getLocationContext());
598 const LocationContext *LCtx = Pred->getLocationContext();
625 const LocationContext *LCtx = Pred->getLocationContext();
646 const LocationContext *LCtx = Pred->getLocationContext();
751 state = state->BindExpr(S, Pred->getLocationContext(),
844 const LocationContext *LCtx = Pred->getLocationContext();
880 const LocationContext *LCtx = N->getLocationContext();
928 state->BindExpr(B, Pred->getLocationContext(),
930 Pred->getLocationContext())));
958 const LocationContext *LCtx = Pred->getLocationContext();
1175 state->BindExpr(SE, Pred->getLocationContext(),
1177 Pred->getLocationContext())));
1201 SVal V = state->getSVal(Result, Pred->getLocationContext());
1203 state->BindExpr(S, Pred->getLocationContext(), V));
1207 state->BindExpr(S, Pred->getLocationContext(),
1231 if (L.getLocationContext()->getCurrentStackFrame() != CallerSF)
1255 EpsilonPoint(BeforeProcessingCall->getLocationContext(), CE);
1283 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext());
1293 const LocationContext *CalleeLC = Pred->getLocation().getLocationContext();
1296 (*G.roots_begin())->getLocation().getLocationContext();
1432 const LocationContext *LCtx = Pred->getLocationContext();
1469 SVal X = PrevState->getSVal(Condition, PredI->getLocationContext());
1481 PredI->getLocationContext(),
1533 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext());
1556 SVal V = state->getSVal(builder.getTarget(), builder.getLocationContext());
1599 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext());
1603 if (Pred->getLocationContext()->inTopFrame()) {
1626 SVal CondV_untested = state->getSVal(CondE, builder.getLocationContext());
1733 const LocationContext *LCtx = Pred->getLocationContext();
1739 SVal V = state->getLValue(VD, Pred->getLocationContext());
1797 const LocationContext *LCtx = (*it)->getLocationContext();
1834 const LocationContext *LCtx = (*I)->getLocationContext();
2005 const LocationContext *LC = Pred->getLocationContext();
2114 location = state->getSVal(BoundEx, (*I)->getLocationContext());
2147 const LocationContext *LCtx = (*NI)->getLocationContext();
2224 SVal V = state->getSVal(Ex, Pred->getLocationContext());
2236 StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val);
2243 StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val);
2263 SVal X = state->getSVal(O, Pred->getLocationContext());
2340 dyn_cast<NamedDecl>(Loc.getLocationContext()->getDecl())) {