Cross Reference: /external/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp

Lines Matching refs:LCtx
39     const LocationContext *LCtx = (*it)->getLocationContext();
40     SVal LeftV = state->getSVal(LHS, LCtx);
41     SVal RightV = state->getSVal(RHS, LCtx);
50         RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx,
56       evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal),
74           RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
80           LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(),
89         state = createTemporaryRegionIfNeeded(state, LCtx, LHS);
99       state = state->BindExpr(B, LCtx, Result);      
131       const LocationContext *LCtx = (*I)->getLocationContext();
132       SVal V = state->getSVal(LHS, LCtx);
161         LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy,
175         state = state->BindExpr(B, LCtx, location);
177         state = state->BindExpr(B, LCtx, Result);
238       const LocationContext *LCtx = subExprNode->getLocationContext();
239       evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
257     const LocationContext *LCtx = Pred->getLocationContext();
284         const LocationContext *LCtx = Pred->getLocationContext();
285         SVal V = state->getSVal(Ex, LCtx);
286         state = state->BindExpr(CastE, LCtx, V);
324         SVal V = state->getSVal(Ex, LCtx);
326         state = state->BindExpr(CastE, LCtx, V);
333         SVal val = state->getSVal(Ex, LCtx);
335         state = state->BindExpr(CastE, LCtx, val);
341         SVal val = state->getSVal(Ex, LCtx);
365             state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull());
371               svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType,
373             state = state->BindExpr(CastE, LCtx, NewSym);
376             state = state->BindExpr(CastE, LCtx, val);
384         state = state->BindExpr(CastE, LCtx, V);
399         SVal result = svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx,
402         state = state->BindExpr(CastE, LCtx, result);
416   const LocationContext *LCtx = Pred->getLocationContext();
419   SVal V = State->getSVal(CL->getInitializer(), LCtx);
425     Loc CLLoc = State->getLValue(CL, LCtx);
440   B.generateNode(CL, Pred, State->BindExpr(CL, LCtx, V));
591   const LocationContext *LCtx = Pred->getLocationContext();
604       B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V));
610       SVal V = state->getSVal(cast<Expr>(*it), LCtx);
615                    state->BindExpr(IE, LCtx,
629     V = state->getSVal(IE->getInit(0), LCtx);
631   B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V));
643   const LocationContext *LCtx = Pred->getLocationContext();
682         V = SrcState->getSVal(ValEx, LCtx);
689     V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
693   B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true));
790       const LocationContext *LCtx = (*I)->getLocationContext();
791       Bldr.generateNode(U, *I, state->BindExpr(U, LCtx,
792                                                state->getSVal(Ex, LCtx)));
805       const LocationContext *LCtx = (*I)->getLocationContext();
807       Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, X));
826       const LocationContext *LCtx = (*I)->getLocationContext();
827       Bldr.generateNode(U, *I, state->BindExpr(U, LCtx,
828                                                state->getSVal(Ex, LCtx)));
838       const LocationContext *LCtx = (*I)->getLocationContext();
841       SVal V = state->getSVal(Ex, LCtx);
844         Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, V));
853           state = state->BindExpr(U, LCtx, evalComplement(V.castAs<NonLoc>()));
857           state = state->BindExpr(U, LCtx, evalMinus(V.castAs<NonLoc>()));
878           state = state->BindExpr(U, LCtx, Result);          
897   const LocationContext *LCtx = Pred->getLocationContext();
899   SVal loc = state->getSVal(Ex, LCtx);
910     assert(LCtx == (*I)->getLocationContext());
911     SVal V2_untested = state->getSVal(Ex, LCtx);
915       Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, V2_untested));
940         svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
967       state = state->BindExpr(U, LCtx, loc);
969       state = state->BindExpr(U, LCtx, U->isPostfix() ? V2 : Result);