Home
last modified time | relevance | path

Searched refs:LCtx (Results 1 – 25 of 39) sorted by relevance

12

/external/clang/lib/StaticAnalyzer/Core/
DExprEngineC.cpp39 const LocationContext *LCtx = (*it)->getLocationContext(); in VisitBinaryOperator() local
40 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
41 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator()
50 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, in VisitBinaryOperator()
56 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), in VisitBinaryOperator()
74 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(), in VisitBinaryOperator()
80 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(), in VisitBinaryOperator()
89 state = createTemporaryRegionIfNeeded(state, LCtx, LHS); in VisitBinaryOperator()
99 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
131 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitBinaryOperator() local
[all …]
DExprEngineCXX.cpp31 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject() local
33 state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME); in CreateCXXTemporaryObject()
56 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy() local
73 PostStmt PS(CallExpr, LCtx); in performTrivialCopy()
78 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy()
80 State = bindReturnValue(Call, LCtx, State); in performTrivialCopy()
109 const LocationContext *LCtx = Pred->getLocationContext(); in getRegionForConstructedObject() local
120 SVal LValue = State->getLValue(Var, LCtx); in getRegionForConstructedObject()
129 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl()); in getRegionForConstructedObject()
131 getSValBuilder().getCXXThis(CurCtor, LCtx->getCurrentStackFrame()); in getRegionForConstructedObject()
[all …]
DPrettyStackTraceLocationContext.h30 const LocationContext *LCtx; variable
32 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) { in PrettyStackTraceLocationContext()
33 assert(LCtx); in PrettyStackTraceLocationContext()
38 LCtx->dumpStack(OS, "\t"); in print()
DExprEngineObjC.cpp26 const LocationContext *LCtx = Pred->getLocationContext(); in VisitLvalObjCIvarRefExpr() local
27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); in VisitLvalObjCIvarRefExpr()
32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
97 const LocationContext *LCtx = Pred->getLocationContext(); in VisitObjCForCollectionStmt() local
101 ProgramStateRef hasElems = state->BindExpr(S, LCtx, TrueV); in VisitObjCForCollectionStmt()
105 ProgramStateRef noElems = state->BindExpr(S, LCtx, FalseV); in VisitObjCForCollectionStmt()
115 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T, in VisitObjCForCollectionStmt()
DExprEngineCallAndReturn.cpp180 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction() local
181 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, in removeDeadOnEndOfFunction()
182 LCtx->getAnalysisDeclContext()->getBody(), in removeDeadOnEndOfFunction()
249 const LocationContext *LCtx = CEBNode->getLocationContext(); in processCallExit() local
250 SVal V = state->getSVal(RS, LCtx); in processCallExit()
359 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, in examineStackFrames() argument
364 while (LCtx) { in examineStackFrames()
365 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) { in examineStackFrames()
373 LCtx = LCtx->getParent(); in examineStackFrames()
383 LCtx = LCtx->getParent(); in examineStackFrames()
[all …]
DProgramState.cpp91 const StackFrameContext *LCtx, in removeDeadBindings() argument
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindings()
141 const LocationContext *LCtx, in invalidateRegions() argument
151 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape, in invalidateRegions()
158 const LocationContext *LCtx, in invalidateRegions() argument
164 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape, in invalidateRegions()
171 const LocationContext *LCtx, in invalidateRegionsImpl() argument
191 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, in invalidateRegionsImpl()
209 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, in invalidateRegionsImpl()
291 const LocationContext *LCtx, in BindExpr() argument
[all …]
DExprEngine.cpp583 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessNewAllocator() local
584 PostImplicitCall PP(NE->getOperatorNew(), NE->getLocStart(), LCtx); in ProcessNewAllocator()
613 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessDeleteDtor() local
616 SVal ArgVal = State->getSVal(Arg, LCtx); in ProcessDeleteDtor()
626 PostImplicitCall PP(Dtor, DE->getLocStart(), LCtx); in ProcessDeleteDtor()
640 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessBaseDtor() local
642 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl()); in ProcessBaseDtor()
644 LCtx->getCurrentStackFrame()); in ProcessBaseDtor()
661 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessMemberDtor() local
663 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl()); in ProcessMemberDtor()
[all …]
DLoopWidening.cpp40 const LocationContext *LCtx, in getWidenedLoopState() argument
52 const StackFrameContext *STC = LCtx->getCurrentStackFrame(); in getWidenedLoopState()
63 BlockCount, LCtx, true, nullptr, nullptr, in getWidenedLoopState()
DSymbolManager.cpp167 const LocationContext *LCtx, in conjureSymbol() argument
172 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag); in conjureSymbol()
177 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag); in conjureSymbol()
502 if (LCtx == nullptr) in isLive()
505 if (LCtx != ELCtx) { in isLive()
508 if (LCtx->isParentOf(ELCtx)) in isLive()
517 return LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, ExprVal); in isLive()
526 if (!LCtx) in isLive()
528 const StackFrameContext *CurrentContext = LCtx->getCurrentStackFrame(); in isLive()
535 if (LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, VR->getDecl())) in isLive()
DSValBuilder.cpp114 const LocationContext *LCtx, in conjureSymbolVal() argument
125 T = LCtx->getAnalysisDeclContext()->getASTContext().getPointerType(ExType); in conjureSymbolVal()
127 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count); in conjureSymbolVal()
132 const LocationContext *LCtx, in conjureSymbolVal() argument
141 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); in conjureSymbolVal()
151 const LocationContext *LCtx, in conjureSymbolVal() argument
160 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); in conjureSymbolVal()
170 const LocationContext *LCtx, in getConjuredHeapSymbolVal() argument
178 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); in getConjuredHeapSymbolVal()
DBugReporterVisitors.cpp446 const LocationContext *LCtx = N->getLocationContext(); in isInitializationOfVar() local
447 return FrameSpace->getStackFrame() == LCtx->getCurrentStackFrame(); in isInitializationOfVar()
1336 const LocationContext *LCtx = N->getLocationContext(); in patternMatch() local
1339 LCtx).getAsRegion()) { in patternMatch()
1455 const LocationContext *LCtx = N->getLocationContext(); in VisitTrueTest() local
1456 PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx); in VisitTrueTest()
1491 const LocationContext *LCtx = N->getLocationContext(); in VisitConditionVariable() local
1492 PathDiagnosticLocation Loc(CondVarExpr, BRC.getSourceManager(), LCtx); in VisitConditionVariable()
1499 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { in VisitConditionVariable()
1537 const LocationContext *LCtx = N->getLocationContext(); in VisitTrueTest() local
[all …]
DEnvironment.cpp72 const LocationContext *LCtx = Entry.getLocationContext(); in getSVal() local
100 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder); in getSVal()
106 return lookupExpr(EnvironmentEntry(S, LCtx)); in getSVal()
DRegionStore.cpp383 const LocationContext *LCtx,
390 const LocationContext *LCtx,
558 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
931 const LocationContext *LCtx; member in __anonc4d9393f0711::invalidateRegionsWorker
947 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r), in invalidateRegionsWorker()
1058 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); in VisitCluster()
1079 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1151 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1157 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1190 const LocationContext *LCtx, in invalidateGlobalRegion() argument
[all …]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCallEvent.h144 const LocationContext *LCtx; variable
169 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {} in CallEvent()
172 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {} in CallEvent()
176 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin), in CallEvent()
214 return LCtx; in getLocationContext()
423 const LocationContext *LCtx) in AnyFunctionCall() argument
424 : CallEvent(E, St, LCtx) {} in AnyFunctionCall()
426 const LocationContext *LCtx) in AnyFunctionCall() argument
427 : CallEvent(D, St, LCtx) {} in AnyFunctionCall()
473 const LocationContext *LCtx) in SimpleFunctionCall() argument
[all …]
DSValBuilder.h151 const LocationContext *LCtx,
155 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
159 const LocationContext *LCtx,
162 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
179 const LocationContext *LCtx,
183 const LocationContext *LCtx,
188 const LocationContext *LCtx,
195 const LocationContext *LCtx,
DSymbolManager.h77 const LocationContext *LCtx; variable
84 LCtx(lctx), SymbolTag(symbolTag) {} in SymbolConjured()
95 QualType T, unsigned Count, const LocationContext *LCtx, in Profile() argument
99 profile.AddPointer(LCtx); in Profile()
106 Profile(profile, S, T, Count, LCtx, SymbolTag); in Profile()
416 const LocationContext *LCtx,
422 const LocationContext *LCtx,
425 return conjureSymbol(E, LCtx, E->getType(), VisitCount, SymbolTag);
491 const StackFrameContext *LCtx; variable
507 : LCtx(Ctx), Loc(s), SymMgr(symmgr), in SymbolReaper()
[all …]
DProgramState.h229 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
262 unsigned BlockCount, const LocationContext *LCtx,
269 unsigned BlockCount, const LocationContext *LCtx,
298 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
300 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
344 ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx,
356 bool isTainted(const Stmt *S, const LocationContext *LCtx,
434 const LocationContext *LCtx,
522 const StackFrameContext *LCtx,
729 const LocationContext *LCtx) const{ in getSVal() argument
[all …]
/external/clang/lib/StaticAnalyzer/Checkers/
DCStringChecker.cpp363 const LocationContext *LCtx = C.getLocationContext(); in CheckBufferAccess() local
369 SVal BufVal = state->getSVal(FirstBuf, LCtx); in CheckBufferAccess()
381 SVal LengthVal = state->getSVal(Size, LCtx); in CheckBufferAccess()
407 BufVal = state->getSVal(SecondBuf, LCtx); in CheckBufferAccess()
445 const LocationContext *LCtx = C.getLocationContext(); in CheckOverlap() local
446 SVal firstVal = state->getSVal(First, LCtx); in CheckOverlap()
447 SVal secondVal = state->getSVal(Second, LCtx); in CheckOverlap()
496 SVal LengthVal = state->getSVal(Size, LCtx); in CheckOverlap()
841 const LocationContext *LCtx = C.getLocationContext(); in IsFirstBufInBound() local
845 SVal BufVal = state->getSVal(FirstBuf, LCtx); in IsFirstBufInBound()
[all …]
DBuiltinFunctionChecker.cpp36 const LocationContext *LCtx = C.getLocationContext(); in evalCall() local
53 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); in evalCall()
54 C.addTransition(state->BindExpr(CE, LCtx, X)); in evalCall()
68 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>(); in evalCall()
77 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
94 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
DCheckObjCDealloc.cpp154 bool isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx,
161 const ObjCImplDecl *getContainingObjCImpl(const LocationContext *LCtx) const;
271 const LocationContext *LCtx = C.getLocationContext(); in checkBeginFunction() local
286 for (auto *PropImpl : getContainingObjCImpl(LCtx)->property_impls()) { in checkBeginFunction()
502 const LocationContext *LCtx = C.getLocationContext(); in diagnoseMissingReleases() local
532 cast<ObjCMethodDecl>(LCtx->getDecl())->getClassInterface()) in diagnoseMissingReleases()
607 assert(!LCtx->inTopFrame() || State->get<UnreleasedIvarMap>().isEmpty()); in diagnoseMissingReleases()
631 const LocationContext *LCtx = C.getLocationContext(); in findPropertyOnDeallocatingInstance() local
634 const ObjCImplDecl *Container = getContainingObjCImpl(LCtx); in findPropertyOnDeallocatingInstance()
801 ObjCDeallocChecker::getContainingObjCImpl(const LocationContext *LCtx) const { in getContainingObjCImpl()
[all …]
DUndefResultChecker.cpp41 const LocationContext *LCtx = C.getLocationContext(); in checkPostStmt() local
42 if (state->getSVal(B, LCtx).isUndef()) { in checkPostStmt()
66 if (state->getSVal(B->getLHS(), LCtx).isUndef()) { in checkPostStmt()
70 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) { in checkPostStmt()
DPthreadLockChecker.cpp84 const LocationContext *LCtx = C.getLocationContext(); in REGISTER_LIST_WITH_PROGRAMSTATE() local
95 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE()
100 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE()
105 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE()
110 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE()
116 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx)); in REGISTER_LIST_WITH_PROGRAMSTATE()
119 DestroyLock(C, CE, state->getSVal(CE->getArg(0), LCtx)); in REGISTER_LIST_WITH_PROGRAMSTATE()
121 InitLock(C, CE, state->getSVal(CE->getArg(0), LCtx)); in REGISTER_LIST_WITH_PROGRAMSTATE()
DPointerSubChecker.cpp43 const LocationContext *LCtx = C.getLocationContext(); in checkPreStmt() local
44 SVal LV = state->getSVal(B->getLHS(), LCtx); in checkPreStmt()
45 SVal RV = state->getSVal(B->getRHS(), LCtx); in checkPreStmt()
DUndefBranchChecker.cpp32 const LocationContext *LCtx; member
35 : St(std::move(S)), LCtx(L) {} in FindUndefExpr()
50 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
/external/clang/lib/Analysis/
DAnalysisDeclContext.cpp478 for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent()) { in dumpStack() local
479 switch (LCtx->getKind()) { in dumpStack()
482 cast<StackFrameContext>(LCtx)->getDecl()->print(OS, PP); in dumpStack()
490 << cast<BlockInvocationContext>(LCtx)->getContextData() in dumpStack()

12