Searched defs:LCtx (Results 1 - 25 of 34) sorted by relevance

12

/external/clang/lib/StaticAnalyzer/Core/
H A DPrettyStackTraceLocationContext.h30 const LocationContext *LCtx; member in class:clang::ento::PrettyStackTraceLocationContext
32 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) {
33 assert(LCtx);
38 LCtx->dumpStack(OS, "\t");
H A DLoopWidening.cpp40 const LocationContext *LCtx,
52 const StackFrameContext *STC = LCtx->getCurrentStackFrame();
63 BlockCount, LCtx, true, nullptr, nullptr,
39 getWidenedLoopState(ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt) argument
H A DEnvironment.cpp72 const LocationContext *LCtx = Entry.getLocationContext(); local
100 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
106 return lookupExpr(EnvironmentEntry(S, LCtx));
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);
115 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
H A DStore.cpp30 const StackFrameContext *LCtx) {
34 Call.getInitialStackFrameContents(LCtx, InitialBindings);
28 enterStackFrame(Store OldStore, const CallEvent &Call, const StackFrameContext *LCtx) argument
H A DSymbolManager.cpp167 const LocationContext *LCtx,
172 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag);
177 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag);
502 if (LCtx == nullptr)
505 if (LCtx != ELCtx) {
508 if (LCtx->isParentOf(ELCtx))
517 return LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, ExprVal);
526 if (!LCtx)
528 const StackFrameContext *CurrentContext = LCtx->getCurrentStackFrame();
535 if (LCtx
166 conjureSymbol(const Stmt *E, const LocationContext *LCtx, QualType T, unsigned Count, const void *SymbolTag) argument
[all...]
H A DExprEngineC.cpp39 const LocationContext *LCtx = (*it)->getLocationContext(); local
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 local
260 const LocationContext *LCtx = subExprNode->getLocationContext(); local
279 const LocationContext *LCtx = Pred->getLocationContext(); local
306 const LocationContext *LCtx = Pred->getLocationContext(); local
449 const LocationContext *LCtx = Pred->getLocationContext(); local
627 const LocationContext *LCtx = Pred->getLocationContext(); local
679 const LocationContext *LCtx = Pred->getLocationContext(); local
824 const LocationContext *LCtx = (*I)->getLocationContext(); local
839 const LocationContext *LCtx = (*I)->getLocationContext(); local
860 const LocationContext *LCtx = (*I)->getLocationContext(); local
872 const LocationContext *LCtx = (*I)->getLocationContext(); local
931 const LocationContext *LCtx = Pred->getLocationContext(); local
[all...]
H A DExprEngineCXX.cpp31 const LocationContext *LCtx = Pred->getLocationContext(); local
33 state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME);
56 const LocationContext *LCtx = Pred->getLocationContext(); local
73 PostStmt PS(CallExpr, LCtx);
78 State = State->BindExpr(CallExpr, LCtx, ThisVal);
80 State = bindReturnValue(Call, LCtx, State);
109 const LocationContext *LCtx = Pred->getLocationContext(); local
120 SVal LValue = State->getLValue(Var, LCtx);
129 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
131 getSValBuilder().getCXXThis(CurCtor, LCtx
236 const LocationContext *LCtx = Pred->getLocationContext(); local
361 const LocationContext *LCtx = Pred->getLocationContext(); local
404 const LocationContext *LCtx = Pred->getLocationContext(); local
434 const LocationContext *LCtx = Pred->getLocationContext(); local
547 const LocationContext *LCtx = Pred->getLocationContext(); local
562 const LocationContext *LCtx = Pred->getLocationContext(); local
[all...]
H A DSValBuilder.cpp114 const LocationContext *LCtx,
125 T = LCtx->getAnalysisDeclContext()->getASTContext().getPointerType(ExType);
127 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count);
132 const LocationContext *LCtx,
141 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag);
151 const LocationContext *LCtx,
160 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount);
170 const LocationContext *LCtx,
178 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount);
112 conjureSymbolVal(const void *SymbolTag, const Expr *Ex, const LocationContext *LCtx, unsigned Count) argument
130 conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, QualType type, unsigned count) argument
150 conjureSymbolVal(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount) argument
169 getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, unsigned VisitCount) argument
H A DCallEvent.cpp705 const LocationContext *LCtx = getLocationContext(); local
706 const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl();
709 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx));
1037 const LocationContext *LCtx) {
1039 return create<CXXMemberCall>(MCE, State, LCtx);
1045 return create<CXXMemberOperatorCall>(OpCE, State, LCtx);
1048 return create<BlockCall>(CE, State, LCtx);
1053 return create<SimpleFunctionCall>(CE, State, LCtx);
1036 getSimpleCall(const CallExpr *CE, ProgramStateRef State, const LocationContext *LCtx) argument
H A DExprEngineCallAndReturn.cpp180 const LocationContext *LCtx = Pred->getLocationContext(); local
181 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
182 LCtx->getAnalysisDeclContext()->getBody(),
249 const LocationContext *LCtx = CEBNode->getLocationContext(); local
250 SVal V = state->getSVal(RS, LCtx);
359 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, argument
364 while (LCtx) {
365 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) {
373 LCtx = LCtx
523 bindReturnValue(const CallEvent &Call, const LocationContext *LCtx, ProgramStateRef State) argument
[all...]
/external/clang/lib/StaticAnalyzer/Checkers/
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 DUndefResultChecker.cpp41 const LocationContext *LCtx = C.getLocationContext(); local
42 if (state->getSVal(B, LCtx).isUndef()) {
66 if (state->getSVal(B->getLHS(), LCtx).isUndef()) {
70 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
H A DBuiltinFunctionChecker.cpp36 const LocationContext *LCtx = C.getLocationContext(); local
53 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
54 C.addTransition(state->BindExpr(CE, LCtx, X));
68 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
77 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
94 C.addTransition(state->BindExpr(CE, LCtx, V));
H A DUndefBranchChecker.cpp32 const LocationContext *LCtx; member in struct:__anon2043::UndefBranchChecker::FindUndefExpr
35 : St(std::move(S)), LCtx(L) {}
50 return St->getSVal(Ex, LCtx).isUndef();
H A DStackAddrEscapeChecker.cpp127 const LocationContext *LCtx = C.getLocationContext(); local
128 SVal V = C.getState()->getSVal(RetE, LCtx);
141 const StackFrameContext *CurFrame = LCtx->getCurrentStackFrame();
H A DDereferenceChecker.cpp47 const LocationContext *LCtx,
57 const LocationContext *LCtx,
53 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
H A DPthreadLockChecker.cpp84 const LocationContext *LCtx = C.getLocationContext(); local
95 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
100 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
105 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
110 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
116 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
119 DestroyLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
121 InitLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
H A DStreamChecker.cpp214 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local
215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
H A DBasicObjCFoundationChecks.cpp443 const LocationContext *LCtx = C.getLocationContext(); local
444 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
464 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
918 const LocationContext *LCtx = C.getLocationContext();
926 ElementLoc = State->getLValue(ElemDecl, LCtx);
928 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
H A DCallAndMessageChecker.cpp310 const LocationContext *LCtx = C.getLocationContext(); local
311 SVal L = State->getSVal(Callee, LCtx);
539 const LocationContext *LCtx = C.getLocationContext(); local
544 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
582 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
H A DCheckObjCDealloc.cpp154 bool isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx,
161 const ObjCImplDecl *getContainingObjCImpl(const LocationContext *LCtx) const;
271 const LocationContext *LCtx = C.getLocationContext(); local
286 for (auto *PropImpl : getContainingObjCImpl(LCtx)->property_impls()) {
502 const LocationContext *LCtx = C.getLocationContext(); local
532 cast<ObjCMethodDecl>(LCtx->getDecl())->getClassInterface())
607 assert(!LCtx->inTopFrame() || State->get<UnreleasedIvarMap>().isEmpty());
631 const LocationContext *LCtx = C.getLocationContext(); local
634 const ObjCImplDecl *Container = getContainingObjCImpl(LCtx);
799 /// Returns the ObjCImplDecl containing the method declaration in LCtx
976 isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx, SVal &SelfValOut) const argument
996 const LocationContext *LCtx = C.getLocationContext(); local
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A 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,
150 conjureSymbol(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag = nullptr) argument
158 conjureSymbol(const Expr *expr, const LocationContext *LCtx, unsigned visitCount, const void *symbolTag = nullptr) argument
H A DSymbolManager.h77 const LocationContext *LCtx; member in class:clang::ento::SymbolConjured
84 LCtx(lctx), SymbolTag(symbolTag) {}
95 QualType T, unsigned Count, const LocationContext *LCtx,
99 profile.AddPointer(LCtx);
106 Profile(profile, S, T, Count, LCtx, SymbolTag);
416 const LocationContext *LCtx,
422 const LocationContext *LCtx,
425 return conjureSymbol(E, LCtx, E->getType(), VisitCount, SymbolTag);
491 const StackFrameContext *LCtx; member in class:clang::ento::SymbolReaper
507 : LCtx(Ct
94 Profile(llvm::FoldingSetNodeID& profile, const Stmt *S, QualType T, unsigned Count, const LocationContext *LCtx, const void *SymbolTag) argument
421 conjureSymbol(const Expr *E, const LocationContext *LCtx, unsigned VisitCount, const void *SymbolTag = nullptr) argument
[all...]
H A DCallEvent.h144 const LocationContext *LCtx; member in class:clang::ento::CallEvent
169 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {}
172 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {}
176 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
214 return LCtx;
423 const LocationContext *LCtx)
424 : CallEvent(E, St, LCtx) {}
426 const LocationContext *LCtx)
427 : CallEvent(D, St, LCtx) {}
422 AnyFunctionCall(const Expr *E, ProgramStateRef St, const LocationContext *LCtx) argument
425 AnyFunctionCall(const Decl *D, ProgramStateRef St, const LocationContext *LCtx) argument
472 SimpleFunctionCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
508 BlockCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
615 CXXInstanceCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
618 CXXInstanceCall(const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx) argument
652 CXXMemberCall(const CXXMemberCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
693 CXXMemberOperatorCall(const CXXOperatorCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
741 CXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBaseDestructor, ProgramStateRef St, const LocationContext *LCtx) argument
787 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target, ProgramStateRef St, const LocationContext *LCtx) argument
834 CXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef St, const LocationContext *LCtx) argument
887 ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St, const LocationContext *LCtx) argument
1013 create(Arg A, ProgramStateRef St, const LocationContext *LCtx) argument
1020 create(Arg1 A1, Arg2 A2, ProgramStateRef St, const LocationContext *LCtx) argument
1027 create(Arg1 A1, Arg2 A2, Arg3 A3, ProgramStateRef St, const LocationContext *LCtx) argument
1036 create(Arg1 A1, Arg2 A2, Arg3 A3, Arg4 A4, ProgramStateRef St, const LocationContext *LCtx) argument
1056 getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument
1062 getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, ProgramStateRef State, const LocationContext *LCtx) argument
1068 getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBase, ProgramStateRef State, const LocationContext *LCtx) argument
1075 getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument
[all...]

Completed in 267 milliseconds

12