HomeSort by relevance Sort by last modified time
    Searched refs:LCtx (Results 1 - 25 of 37) sorted by null

1 2

  /external/clang/lib/StaticAnalyzer/Core/
PrettyStackTraceLocationContext.h 30 const LocationContext *LCtx;
32 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) {
33 assert(LCtx);
38 LCtx->dumpStack(OS, "\t");
ExprEngineC.cpp 39 const LocationContext *LCtx = (*it)->getLocationContext();
40 SVal LeftV = state->getSVal(LHS, LCtx);
41 SVal RightV = state->getSVal(RHS, LCtx);
50 RightV = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, Count);
55 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal),
73 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
79 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(),
92 state = state->BindExpr(B, LCtx, Result);
124 const LocationContext *LCtx = (*I)->getLocationContext();
125 SVal V = state->getSVal(LHS, LCtx);
    [all...]
ExprEngineCXX.cpp 31 const LocationContext *LCtx = Pred->getLocationContext();
33 state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME);
56 const LocationContext *LCtx = Pred->getLocationContext();
73 PostStmt PS(CallExpr, LCtx);
78 State = State->BindExpr(CallExpr, LCtx, ThisVal);
80 State = bindReturnValue(Call, LCtx, State);
108 const LocationContext *LCtx = Pred->getLocationContext();
130 SVal LValue = State->getLValue(Var, LCtx);
144 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
146 LCtx->getCurrentStackFrame())
    [all...]
ExprEngineObjC.cpp 26 const LocationContext *LCtx = Pred->getLocationContext();
27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx);
32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));
97 const LocationContext *LCtx = Pred->getLocationContext();
101 ProgramStateRef hasElems = state->BindExpr(S, LCtx, TrueV);
105 ProgramStateRef noElems = state->BindExpr(S, LCtx, FalseV);
115 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
ProgramState.cpp 91 const StackFrameContext *LCtx,
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
141 const LocationContext *LCtx,
158 return invalidateRegionsImpl(Values, E, Count, LCtx,
162 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape,
169 const LocationContext *LCtx,
176 return invalidateRegionsImpl(Values, E, Count, LCtx,
180 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape,
187 const LocationContext *LCtx,
202 E, Count, LCtx, Call
    [all...]
ExprEngineCallAndReturn.cpp 177 const LocationContext *LCtx = Pred->getLocationContext();
178 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
179 LCtx->getAnalysisDeclContext()->getBody(),
246 const LocationContext *LCtx = CEBNode->getLocationContext();
247 SVal V = state->getSVal(RS, LCtx);
356 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx,
361 while (LCtx) {
362 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) {
370 LCtx = LCtx->getParent()
    [all...]
SymbolManager.cpp 168 const LocationContext *LCtx,
173 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag);
178 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag);
492 if (LCtx == 0)
495 if (LCtx != ELCtx) {
498 if (LCtx->isParentOf(ELCtx))
507 return LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, ExprVal);
516 if (!LCtx)
518 const StackFrameContext *CurrentContext = LCtx->getCurrentStackFrame();
525 if (LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, VR->getDecl())
    [all...]
SValBuilder.cpp 111 const LocationContext *LCtx,
119 T = LCtx->getAnalysisDeclContext()->getASTContext().getPointerType(ExType);
121 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count);
126 const LocationContext *LCtx,
132 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag);
142 const LocationContext *LCtx,
148 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount);
158 const LocationContext *LCtx,
164 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount);
ExprEngine.cpp 567 const LocationContext *LCtx = Pred->getLocationContext();
570 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl());
572 LCtx->getCurrentStackFrame());
589 const LocationContext *LCtx = Pred->getLocationContext();
591 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl());
593 LCtx->getCurrentStackFrame());
772 const LocationContext *LCtx = Pred->getLocationContext();
776 State = State->BindExpr(S, LCtx, *ConstantVal);
778 State = createTemporaryRegionIfNeeded(State, LCtx,
808 const LocationContext *LCtx = N->getLocationContext()
    [all...]
Environment.cpp 71 const LocationContext *LCtx = Entry.getLocationContext();
98 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
104 return lookupExpr(EnvironmentEntry(S, LCtx));
  /external/clang/lib/StaticAnalyzer/Checkers/
BuiltinFunctionChecker.cpp 36 const LocationContext *LCtx = C.getLocationContext();
52 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
53 C.addTransition(state->BindExpr(CE, LCtx, X));
67 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
76 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
UndefResultChecker.cpp 41 const LocationContext *LCtx = C.getLocationContext();
42 if (state->getSVal(B, LCtx).isUndef()) {
65 if (state->getSVal(B->getLHS(), LCtx).isUndef()) {
69 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
PointerArithChecker.cpp 40 const LocationContext *LCtx = C.getLocationContext();
41 SVal LV = state->getSVal(B->getLHS(), LCtx);
42 SVal RV = state->getSVal(B->getRHS(), LCtx);
PointerSubChecker.cpp 43 const LocationContext *LCtx = C.getLocationContext();
44 SVal LV = state->getSVal(B->getLHS(), LCtx);
45 SVal RV = state->getSVal(B->getRHS(), LCtx);
PthreadLockChecker.cpp 52 const LocationContext *LCtx = C.getLocationContext();
63 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
68 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
73 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
78 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
84 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
UndefBranchChecker.cpp 31 const LocationContext *LCtx;
34 : St(S), LCtx(L) {}
51 return St->getSVal(Ex, LCtx).isUndef();
CStringChecker.cpp 345 const LocationContext *LCtx = C.getLocationContext();
351 SVal BufVal = state->getSVal(FirstBuf, LCtx);
363 SVal LengthVal = state->getSVal(Size, LCtx);
389 BufVal = state->getSVal(SecondBuf, LCtx);
427 const LocationContext *LCtx = C.getLocationContext();
428 SVal firstVal = state->getSVal(First, LCtx);
429 SVal secondVal = state->getSVal(Second, LCtx);
478 SVal LengthVal = state->getSVal(Size, LCtx);
819 const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
820 return state->invalidateRegions(R, E, C.blockCount(), LCtx,
    [all...]
CallAndMessageChecker.cpp 228 const LocationContext *LCtx = C.getLocationContext();
229 SVal L = State->getSVal(Callee, LCtx);
435 const LocationContext *LCtx = C.getLocationContext();
440 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
478 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
DereferenceChecker.cpp 46 const LocationContext *LCtx,
56 const LocationContext *LCtx,
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CallEvent.h 121 const LocationContext *LCtx;
145 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
146 : State(state), LCtx(lctx), Origin(E), RefCount(0) {}
148 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
149 : State(state), LCtx(lctx), Origin(D), RefCount(0) {}
153 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
190 return LCtx;
    [all...]
SValBuilder.h 146 const LocationContext *LCtx,
150 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
154 const LocationContext *LCtx,
157 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
174 const LocationContext *LCtx,
178 const LocationContext *LCtx,
183 const LocationContext *LCtx,
190 const LocationContext *LCtx,
SymbolManager.h 161 const LocationContext *LCtx;
165 SymbolConjured(SymbolID sym, const Stmt *s, const LocationContext *lctx,
169 LCtx(lctx),
181 QualType T, unsigned Count, const LocationContext *LCtx,
185 profile.AddPointer(LCtx);
192 Profile(profile, S, T, Count, LCtx, SymbolTag);
501 const LocationContext *LCtx,
507 const LocationContext *LCtx,
510 return conjureSymbol(E, LCtx, E->getType(), VisitCount, SymbolTag)
    [all...]
ProgramState.h 206 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
239 unsigned BlockCount, const LocationContext *LCtx,
247 unsigned BlockCount, const LocationContext *LCtx,
276 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
278 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
322 ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx,
334 bool isTainted(const Stmt *S, const LocationContext *LCtx,
426 const LocationContext *LCtx,
514 const StackFrameContext *LCtx,
696 const LocationContext *LCtx) const
    [all...]
Store.h 144 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
193 const LocationContext *LCtx,
  /external/clang/lib/Analysis/
AnalysisDeclContext.cpp 419 for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent()) {
420 switch (LCtx->getKind()) {
423 cast<StackFrameContext>(LCtx)->getDecl()->print(OS, PP);
431 << cast<BlockInvocationContext>(LCtx)->getContextData()

Completed in 345 milliseconds

1 2