Lines Matching refs:LCtx
30 unsigned Count, const LocationContext *LCtx) { in conjureOffsetSymbolOnLocation() argument
34 return svalBuilder.conjureSymbolVal(Expression, LCtx, Ty, Count); in conjureOffsetSymbolOnLocation()
56 const LocationContext *LCtx = (*it)->getLocationContext(); in VisitBinaryOperator() local
57 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
58 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator()
67 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, in VisitBinaryOperator()
73 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), in VisitBinaryOperator()
86 RightV, LeftV, RHS, svalBuilder, Count, LCtx); in VisitBinaryOperator()
88 LeftV, RightV, LHS, svalBuilder, Count, LCtx); in VisitBinaryOperator()
95 state = createTemporaryRegionIfNeeded(state, LCtx, LHS); in VisitBinaryOperator()
101 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
139 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitBinaryOperator() local
140 SVal V = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
169 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy, in VisitBinaryOperator()
183 state = state->BindExpr(B, LCtx, location); in VisitBinaryOperator()
185 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
237 const LocationContext *LCtx = Pred->getLocationContext(); in VisitBlockExpr() local
239 originalV = State->getSVal(copyExpr, LCtx); in VisitBlockExpr()
243 State = State->bindLoc(loc::MemRegionVal(capturedR), originalV, LCtx); in VisitBlockExpr()
259 ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx, in handleLValueBitCast() argument
270 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
276 state = state->BindExpr(CastE, LCtx, V); in handleLValueBitCast()
297 const LocationContext *LCtx = subExprNode->getLocationContext(); in VisitCast() local
298 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); in VisitCast()
316 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast() local
344 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast() local
345 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
346 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
352 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
357 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
363 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); in VisitCast()
373 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
375 state = state->BindExpr(CastE, LCtx, UnknownVal()); in VisitCast()
381 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); in VisitCast()
413 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); in VisitCast()
418 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
423 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
430 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
432 state = state->BindExpr(CastE, LCtx, val); in VisitCast()
438 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
463 state = state->BindExpr(CastE, LCtx, in VisitCast()
470 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType, in VisitCast()
472 state = state->BindExpr(CastE, LCtx, NewSym); in VisitCast()
475 state = state->BindExpr(CastE, LCtx, val); in VisitCast()
481 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
494 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType, in VisitCast()
497 state = state->BindExpr(CastE, LCtx, val); in VisitCast()
503 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
509 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
516 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
521 state = state->BindExpr(CastE, LCtx, CastedPTMSV); in VisitCast()
536 /*symbolTag=*/nullptr, CastE, LCtx, resultType, in VisitCast()
538 state = state->BindExpr(CastE, LCtx, result); in VisitCast()
552 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCompoundLiteralExpr() local
555 SVal V = State->getSVal(CL->getInitializer(), LCtx); in VisitCompoundLiteralExpr()
561 Loc CLLoc = State->getLValue(CL, LCtx); in VisitCompoundLiteralExpr()
562 State = State->bindLoc(CLLoc, V, LCtx); in VisitCompoundLiteralExpr()
568 B.generateNode(CL, Pred, State->BindExpr(CL, LCtx, V)); in VisitCompoundLiteralExpr()
747 const LocationContext *LCtx = Pred->getLocationContext(); in VisitInitListExpr() local
760 B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V)); in VisitInitListExpr()
765 SVal V = state->getSVal(cast<Expr>(S), LCtx); in VisitInitListExpr()
770 state->BindExpr(IE, LCtx, in VisitInitListExpr()
784 V = state->getSVal(IE->getInit(0), LCtx); in VisitInitListExpr()
786 B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V)); in VisitInitListExpr()
798 const LocationContext *LCtx = Pred->getLocationContext(); in VisitGuardedExpr() local
839 V = SrcState->getSVal(ValEx, LCtx); in VisitGuardedExpr()
846 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in VisitGuardedExpr()
850 B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true)); in VisitGuardedExpr()
927 const LocationContext *LCtx = (*I)->getLocationContext(); in handleUOExtension() local
928 Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, in handleUOExtension()
929 state->getSVal(Ex, LCtx))); in handleUOExtension()
963 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitUnaryOperator() local
964 Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, in VisitUnaryOperator()
965 state->getSVal(Ex, LCtx))); in VisitUnaryOperator()
978 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitUnaryOperator() local
980 Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, X)); in VisitUnaryOperator()
992 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitUnaryOperator() local
994 Bldr.generateNode(U, *I, State->BindExpr(U, LCtx, SV)); in VisitUnaryOperator()
1017 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitUnaryOperator() local
1020 SVal V = state->getSVal(Ex, LCtx); in VisitUnaryOperator()
1023 Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, V)); in VisitUnaryOperator()
1033 U, LCtx, svalBuilder.evalComplement(V.castAs<NonLoc>())); in VisitUnaryOperator()
1037 state = state->BindExpr(U, LCtx, in VisitUnaryOperator()
1058 state = state->BindExpr(U, LCtx, Result); in VisitUnaryOperator()
1077 const LocationContext *LCtx = Pred->getLocationContext(); in VisitIncrementDecrementOperator() local
1079 SVal loc = state->getSVal(Ex, LCtx); in VisitIncrementDecrementOperator()
1090 assert(LCtx == (*I)->getLocationContext()); in VisitIncrementDecrementOperator()
1091 SVal V2_untested = state->getSVal(Ex, LCtx); in VisitIncrementDecrementOperator()
1095 state = state->BindExpr(U, LCtx, V2_untested); in VisitIncrementDecrementOperator()
1135 svalBuilder.conjureSymbolVal(nullptr, U, LCtx, in VisitIncrementDecrementOperator()
1161 state = state->BindExpr(U, LCtx, loc); in VisitIncrementDecrementOperator()
1163 state = state->BindExpr(U, LCtx, U->isPostfix() ? V2 : Result); in VisitIncrementDecrementOperator()