Searched refs:LCtx (Results 1 - 25 of 36) sorted by relevance

12

/external/clang/lib/StaticAnalyzer/Checkers/
H A DAdjustedReturnValueChecker.cpp41 const LocationContext *LCtx = C.getLocationContext(); local
43 SVal V = state->getSVal(CE, LCtx);
50 C.addTransition(state->BindExpr(CE, LCtx, UnknownVal()));
54 const MemRegion *callee = state->getSVal(CE->getCallee(), LCtx).getAsRegion();
86 C.addTransition(state->BindExpr(CE, LCtx, V));
H A DBuiltinFunctionChecker.cpp36 const LocationContext *LCtx = C.getLocationContext(); local
49 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
50 C.addTransition(state->BindExpr(CE, LCtx, X));
64 cast<DefinedOrUnknownSVal>(state->getSVal(*(CE->arg_begin()), LCtx));
72 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
H A DUndefResultChecker.cpp40 const LocationContext *LCtx = C.getLocationContext(); local
41 if (state->getSVal(B, LCtx).isUndef()) {
55 if (state->getSVal(B->getLHS(), LCtx).isUndef()) {
59 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
H A DPointerArithChecker.cpp40 const LocationContext *LCtx = C.getLocationContext(); local
41 SVal LV = state->getSVal(B->getLHS(), LCtx);
42 SVal RV = state->getSVal(B->getRHS(), LCtx);
H A DPointerSubChecker.cpp43 const LocationContext *LCtx = C.getLocationContext(); local
44 SVal LV = state->getSVal(B->getLHS(), LCtx);
45 SVal RV = state->getSVal(B->getRHS(), LCtx);
H A DPthreadLockChecker.cpp60 const LocationContext *LCtx = C.getLocationContext(); local
71 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
76 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
81 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
86 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
92 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
H A DUndefBranchChecker.cpp31 const LocationContext *LCtx; member in struct:__anon3471::UndefBranchChecker::FindUndefExpr
34 : St(S), LCtx(L) {}
51 return St->getSVal(Ex, LCtx).isUndef();
H A DOSAtomicChecker.cpp40 const LocationContext *LCtx) {
42 SVal L = State->getSVal(Callee, LCtx);
108 const LocationContext *LCtx = Pred->getLocationContext(); local
110 SVal location = state->getSVal(theValueExpr, LCtx);
141 SVal theValueVal_untested = stateLoad->getSVal(theValueExpr, LCtx, true);
143 SVal oldValueVal_untested = stateLoad->getSVal(oldValueExpr, LCtx);
167 SVal val = stateEqual->getSVal(newValueExpr, LCtx);
195 B.generateNode(CE, predNew, stateNew->BindExpr(CE, LCtx, Res),
208 B.generateNode(CE, N, stateNotEqual->BindExpr(CE, LCtx, Res),
38 getCalleeName(ProgramStateRef State, const CallExpr *CE, const LocationContext *LCtx) argument
H A DDereferenceChecker.cpp40 const LocationContext *LCtx,
50 const LocationContext *LCtx,
63 sourceR = state->getLValue(VD, LCtx).getAsRegion();
103 const LocationContext *LCtx = C.getLocationContext(); local
137 state.getPtr(), LCtx);
147 state.getPtr(), LCtx, true);
158 state.getPtr(), LCtx, true);
46 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
H A DAttrNonNullChecker.cpp37 const LocationContext *LCtx = C.getLocationContext(); local
40 SVal X = state->getSVal(CE->getCallee(), LCtx);
59 SVal V = state->getSVal(*I, LCtx);
H A DCStringChecker.cpp354 const LocationContext *LCtx = C.getLocationContext(); local
360 SVal BufVal = state->getSVal(FirstBuf, LCtx);
372 SVal LengthVal = state->getSVal(Size, LCtx);
398 BufVal = state->getSVal(SecondBuf, LCtx);
436 const LocationContext *LCtx = C.getLocationContext(); local
437 SVal firstVal = state->getSVal(First, LCtx);
438 SVal secondVal = state->getSVal(Second, LCtx);
490 SVal LengthVal = state->getSVal(Size, LCtx);
831 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local
832 return state->invalidateRegions(R, E, Count, LCtx);
891 const LocationContext *LCtx = C.getLocationContext(); local
1044 const LocationContext *LCtx = C.getLocationContext(); local
1127 const LocationContext *LCtx = C.getLocationContext(); local
1308 const LocationContext *LCtx = C.getLocationContext(); local
1644 const LocationContext *LCtx = C.getLocationContext(); local
[all...]
H A DCallAndMessageChecker.cpp215 const LocationContext *LCtx = C.getLocationContext(); local
216 SVal L = C.getState()->getSVal(Callee, LCtx);
233 PreVisitProcessArgs(C, CallOrObjCMessage(CE, C.getState(), LCtx),
242 const LocationContext *LCtx = C.getLocationContext(); local
246 SVal recVal = state->getSVal(receiver, LCtx);
290 PreVisitProcessArgs(C, CallOrObjCMessage(msg, state, LCtx),
334 const LocationContext *LCtx = C.getLocationContext(); local
339 C.addTransition(state->BindExpr(msg.getMessageExpr(), LCtx, V));
376 C.addTransition(state->BindExpr(msg.getMessageExpr(), LCtx, V));
/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp38 const LocationContext *LCtx = (*it)->getLocationContext(); local
39 SVal LeftV = state->getSVal(LHS, LCtx);
40 SVal RightV = state->getSVal(RHS, LCtx);
49 RightV = svalBuilder.getConjuredSymbolVal(NULL, B->getRHS(), LCtx, Count);
54 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal),
69 state = state->BindExpr(B, LCtx, Result);
101 const LocationContext *LCtx = (*I)->getLocationContext(); local
102 SVal V = state->getSVal(LHS, LCtx);
134 LHSVal = svalBuilder.getConjuredSymbolVal(NULL, B->getRHS(), LCtx,
149 state = state->BindExpr(B, LCtx, locatio
191 const LocationContext *LCtx = subExprNode->getLocationContext(); local
232 const LocationContext *LCtx = Pred->getLocationContext(); local
268 const LocationContext *LCtx = Pred->getLocationContext(); local
279 const LocationContext *LCtx = Pred->getLocationContext(); local
289 const LocationContext *LCtx = Pred->getLocationContext(); local
345 const LocationContext *LCtx = Pred->getLocationContext(); local
446 const LocationContext *LCtx = Pred->getLocationContext(); local
496 const LocationContext *LCtx = Pred->getLocationContext(); local
542 const LocationContext *LCtx = Pred->getLocationContext(); local
629 const LocationContext *LCtx = Pred->getLocationContext(); local
644 const LocationContext *LCtx = Pred->getLocationContext(); local
665 const LocationContext *LCtx = Pred->getLocationContext(); local
677 const LocationContext *LCtx = Pred->getLocationContext(); local
732 const LocationContext *LCtx = Pred->getLocationContext(); local
[all...]
H A DExprEngineObjC.cpp26 const LocationContext *LCtx = Pred->getLocationContext(); local
27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx);
32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));
97 const LocationContext *LCtx = Pred->getLocationContext(); local
101 ProgramStateRef hasElems = state->BindExpr(S, LCtx, TrueV);
105 ProgramStateRef noElems = state->BindExpr(S, LCtx, FalseV);
116 SymbolRef Sym = SymMgr.getConjuredSymbol(elem, LCtx, T, Count);
258 const LocationContext *LCtx = Pred->getLocationContext(); local
259 ReturnValue = SVB.getConjuredSymbolVal(NULL, CurrentE, LCtx, ResultTy, Count);
263 const LocationContext *LCtx local
[all...]
H A DObjCMessage.cpp35 if (const FunctionDecl *FD = State->getSVal(Callee, LCtx).getAsFunctionDecl())
51 return State->getSVal(Fun, LCtx);
65 return State->getSVal(callee, LCtx);
H A DExprEngineCXX.cpp43 const LocationContext *LCtx = Pred->getLocationContext(); local
50 svalBuilder.getRegionManager().getCXXTempObjectRegion(ME, LCtx);
53 Bldr.generateNode(ME, Pred, state->BindExpr(ME, LCtx, loc::MemRegionVal(R)));
178 const LocationContext *LCtx = Pred->getLocationContext(); local
180 svalBuilder.getConjuredSymbolVal(NULL, CNE, LCtx, CNE->getType(), blockCount);
276 const LocationContext *LCtx = Pred->getLocationContext(); local
277 SVal V = svalBuilder.getConjuredSymbolVal(CS, LCtx, VD->getType(),
280 state = state->bindLoc(state->getLValue(VD, LCtx), V);
291 const LocationContext *LCtx = Pred->getLocationContext(); local
295 LCtx);
[all...]
H A DExprEngineCallAndReturn.cpp81 const LocationContext *LCtx = Pred->getLocationContext(); local
82 SVal V = state->getSVal(RS, LCtx);
122 static unsigned getNumberStackFrames(const LocationContext *LCtx) { argument
124 while (LCtx) {
125 if (isa<StackFrameContext>(LCtx))
127 LCtx = LCtx->getParent();
444 const LocationContext *LCtx = Pred->getLocationContext(); local
445 SVal RetVal = SVB.getConjuredSymbolVal(0, CE, LCtx, ResultTy, Count);
448 state = state->BindExpr(CE, LCtx, RetVa
[all...]
H A DProgramState.cpp81 const StackFrameContext *LCtx,
95 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
158 const LocationContext *LCtx,
163 return invalidateRegionsImpl(Regions, E, Count, LCtx,
166 return invalidateRegionsImpl(Regions, E, Count, LCtx, *IS, Call);
172 const LocationContext *LCtx,
181 = Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS,
188 Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS,
267 const LocationContext *LCtx,
270 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx),
80 removeDeadBindings(ProgramStateRef state, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument
156 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E, unsigned Count, const LocationContext *LCtx, StoreManager::InvalidatedSymbols *IS, const CallOrObjCMessage *Call) const argument
170 invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions, const Expr *E, unsigned Count, const LocationContext *LCtx, StoreManager::InvalidatedSymbols &IS, const CallOrObjCMessage *Call) const argument
266 BindExpr(const Stmt *S, const LocationContext *LCtx, SVal V, bool Invalidate) const argument
281 bindExprAndLocation(const Stmt *S, const LocationContext *LCtx, SVal location, SVal V) const argument
609 addTaint(const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) const argument
645 isTainted(const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) const argument
[all...]
H A DSValBuilder.cpp112 const LocationContext *LCtx,
115 return getConjuredSymbolVal(symbolTag, expr, LCtx, T, count);
121 const LocationContext *LCtx,
127 SymbolRef sym = SymMgr.getConjuredSymbol(expr, LCtx, type, count, symbolTag);
138 const LocationContext *LCtx,
144 SymbolRef sym = SymMgr.getConjuredSymbol(stmt, LCtx, type, visitCount);
110 getConjuredSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, unsigned count) argument
119 getConjuredSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, QualType type, unsigned count) argument
137 getConjuredSymbolVal(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount) argument
H A DSymbolManager.cpp184 SymbolManager::getConjuredSymbol(const Stmt *E, const LocationContext *LCtx, argument
189 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag);
194 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag);
497 if (LCtx != ELCtx) {
500 if (LCtx->isParentOf(ELCtx))
505 return LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, ExprVal);
510 const StackFrameContext *CurrentContext = LCtx->getCurrentStackFrame();
513 if (LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, VR->getDecl()))
H A DEnvironment.cpp45 const LocationContext *LCtx = Entry.getLocationContext(); local
68 const SVal *X = ExprBindings.lookup(EnvironmentEntry(E, LCtx));
76 SVal const *X = ExprBindings.lookup(EnvironmentEntry(E, LCtx));
121 return lookupExpr(EnvironmentEntry(E, LCtx));
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DObjCMessage.h125 const LocationContext *LCtx,
128 return state->getSVal(Msg->getArg(i), LCtx);
166 const LocationContext *LCtx; member in class:clang::ento::CallOrObjCMessage
170 : CallE(callE), State(state), LCtx(lctx) {}
173 : CallE(consE), State(state), LCtx(lctx) {}
176 : CallE((CallExpr *)0), Msg(msg), State(state), LCtx(lctx) {}
235 return Msg.getArgSVal(i, LCtx, State);
236 return State->getSVal(getArg(i), LCtx);
124 getArgSVal(unsigned i, const LocationContext *LCtx, ProgramStateRef state) const argument
H A DSValBuilder.h148 const LocationContext *LCtx,
152 return SymMgr.getConjuredSymbol(stmt, LCtx, type, visitCount, symbolTag);
156 const LocationContext *LCtx,
159 return SymMgr.getConjuredSymbol(expr, LCtx, visitCount, symbolTag);
176 const LocationContext *LCtx,
180 const LocationContext *LCtx,
185 const LocationContext *LCtx,
147 getConjuredSymbol(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag = 0) argument
155 getConjuredSymbol(const Expr *expr, const LocationContext *LCtx, unsigned visitCount, const void *symbolTag = 0) argument
H A DSymbolManager.h159 const LocationContext *LCtx; member in class:clang::ento::SymbolConjured
167 LCtx(lctx),
179 QualType T, unsigned Count, const LocationContext *LCtx,
183 profile.AddPointer(LCtx);
190 Profile(profile, S, T, Count, LCtx, SymbolTag);
497 const LocationContext *LCtx,
503 const LocationContext *LCtx,
506 return getConjuredSymbol(E, LCtx, E->getType(),
572 const LocationContext *LCtx; member in class:clang::ento::SymbolReaper
581 : LCtx(ct
178 Profile(llvm::FoldingSetNodeID& profile, const Stmt *S, QualType T, unsigned Count, const LocationContext *LCtx, const void *SymbolTag) argument
502 getConjuredSymbol(const Expr *E, const LocationContext *LCtx, unsigned VisitCount, const void *SymbolTag = 0) argument
[all...]
H A DProgramState.h195 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
201 const LocationContext *LCtx,
221 const LocationContext *LCtx,
248 SVal getSVal(const Stmt *S, const LocationContext *LCtx,
251 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
295 ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx,
307 bool isTainted(const Stmt *S, const LocationContext *LCtx,
383 const LocationContext *LCtx,
488 const StackFrameContext *LCtx,
663 inline SVal ProgramState::getSVal(const Stmt *Ex, const LocationContext *LCtx, argument
[all...]

Completed in 164 milliseconds

12