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 DEnvironment.cpp71 const LocationContext *LCtx = Entry.getLocationContext(); local
98 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
104 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 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);
108 const LocationContext *LCtx = Pred->getLocationContext(); local
130 SVal LValue = State->getLValue(Var, LCtx);
144 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
146 LCtx
287 const LocationContext *LCtx = Pred->getLocationContext(); local
332 const LocationContext *LCtx = Pred->getLocationContext(); local
442 const LocationContext *LCtx = Pred->getLocationContext(); local
457 const LocationContext *LCtx = Pred->getLocationContext(); local
[all...]
H A DSValBuilder.cpp111 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);
109 conjureSymbolVal(const void *SymbolTag, const Expr *Ex, const LocationContext *LCtx, unsigned Count) argument
124 conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, QualType type, unsigned count) argument
141 conjureSymbolVal(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount) argument
157 getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, unsigned VisitCount) argument
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.cpp168 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
167 conjureSymbol(const Stmt *E, const LocationContext *LCtx, QualType T, unsigned Count, const void *SymbolTag) argument
[all...]
H A DCallEvent.cpp631 const LocationContext *LCtx = getLocationContext(); local
632 const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl();
635 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx));
890 const LocationContext *LCtx) {
892 return create<CXXMemberCall>(MCE, State, LCtx);
898 return create<CXXMemberOperatorCall>(OpCE, State, LCtx);
901 return create<BlockCall>(CE, State, LCtx);
906 return create<FunctionCall>(CE, State, LCtx);
889 getSimpleCall(const CallExpr *CE, ProgramStateRef State, const LocationContext *LCtx) argument
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(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(); local
125 SVal V = state->getSVal(LHS, LCtx);
230 const LocationContext *LCtx = subExprNode->getLocationContext(); local
249 const LocationContext *LCtx = Pred->getLocationContext(); local
276 const LocationContext *LCtx = Pred->getLocationContext(); local
407 const LocationContext *LCtx = Pred->getLocationContext(); local
579 const LocationContext *LCtx = Pred->getLocationContext(); local
633 const LocationContext *LCtx = Pred->getLocationContext(); local
762 const LocationContext *LCtx = Pred->getLocationContext(); local
777 const LocationContext *LCtx = Pred->getLocationContext(); local
798 const LocationContext *LCtx = Pred->getLocationContext(); local
810 const LocationContext *LCtx = Pred->getLocationContext(); local
867 const LocationContext *LCtx = Pred->getLocationContext(); local
[all...]
H A DBugReporterVisitors.cpp446 const LocationContext *LCtx = N->getLocationContext(); local
447 return FrameSpace->getStackFrame() == LCtx->getCurrentStackFrame();
1285 const LocationContext *LCtx = N->getLocationContext(); local
1288 LCtx).getAsRegion()) {
1403 const LocationContext *LCtx = N->getLocationContext(); local
1404 PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx);
1439 const LocationContext *LCtx = N->getLocationContext(); local
1440 PathDiagnosticLocation Loc(CondVarExpr, BRC.getSourceManager(), LCtx);
1447 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) {
1485 const LocationContext *LCtx local
[all...]
/external/clang/lib/StaticAnalyzer/Checkers/
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 DUndefResultChecker.cpp41 const LocationContext *LCtx = C.getLocationContext(); local
42 if (state->getSVal(B, LCtx).isUndef()) {
65 if (state->getSVal(B->getLHS(), LCtx).isUndef()) {
69 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
H A DBuiltinFunctionChecker.cpp36 const LocationContext *LCtx = C.getLocationContext(); local
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)));
H A DPthreadLockChecker.cpp52 const LocationContext *LCtx = C.getLocationContext(); local
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));
H A DUndefBranchChecker.cpp31 const LocationContext *LCtx; member in struct:__anon16484::UndefBranchChecker::FindUndefExpr
34 : St(S), LCtx(L) {}
51 return St->getSVal(Ex, LCtx).isUndef();
H A DDereferenceChecker.cpp46 const LocationContext *LCtx,
56 const LocationContext *LCtx,
52 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
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 DCallAndMessageChecker.cpp228 const LocationContext *LCtx = C.getLocationContext(); local
229 SVal L = State->getSVal(Callee, LCtx);
435 const LocationContext *LCtx = C.getLocationContext(); local
440 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
478 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
H A DIdempotentOperationChecker.cpp148 const LocationContext *LCtx = C.getLocationContext(); local
149 SVal LHSVal = state->getSVal(LHS, LCtx);
150 SVal RHSVal = state->getSVal(RHS, LCtx);
H A DStreamChecker.cpp212 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local
213 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount())
H A DBasicObjCFoundationChecks.cpp410 const LocationContext *LCtx = C.getLocationContext(); local
411 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
431 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
876 const LocationContext *LCtx = C.getLocationContext(); local
884 ElementLoc = State->getLValue(ElemDecl, LCtx);
886 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h146 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,
145 conjureSymbol(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag = 0) argument
153 conjureSymbol(const Expr *expr, const LocationContext *LCtx, unsigned visitCount, const void *symbolTag = 0) argument
H A DCallEvent.h121 const LocationContext *LCtx; member in class:clang::ento::CallEvent
146 : State(state), LCtx(lctx), Origin(E), RefCount(0) {}
149 : State(state), LCtx(lctx), Origin(D), RefCount(0) {}
153 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
190 return LCtx;
391 const LocationContext *LCtx)
392 : CallEvent(E, St, LCtx) {}
394 const LocationContext *LCtx)
395 : CallEvent(D, St, LCtx) {}
390 AnyFunctionCall(const Expr *E, ProgramStateRef St, const LocationContext *LCtx) argument
393 AnyFunctionCall(const Decl *D, ProgramStateRef St, const LocationContext *LCtx) argument
441 SimpleCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
472 FunctionCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
494 BlockCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
547 CXXInstanceCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
550 CXXInstanceCall(const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx) argument
584 CXXMemberCall(const CXXMemberCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
625 CXXMemberOperatorCall(const CXXOperatorCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
673 CXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBaseDestructor, ProgramStateRef St, const LocationContext *LCtx) argument
719 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target, ProgramStateRef St, const LocationContext *LCtx) argument
765 CXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef St, const LocationContext *LCtx) argument
818 ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St, const LocationContext *LCtx) argument
939 create(Arg A, ProgramStateRef St, const LocationContext *LCtx) argument
944 create(Arg1 A1, Arg2 A2, ProgramStateRef St, const LocationContext *LCtx) argument
949 create(Arg1 A1, Arg2 A2, Arg3 A3, ProgramStateRef St, const LocationContext *LCtx) argument
956 create(Arg1 A1, Arg2 A2, Arg3 A3, Arg4 A4, ProgramStateRef St, const LocationContext *LCtx) argument
974 getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument
980 getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, ProgramStateRef State, const LocationContext *LCtx) argument
986 getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBase, ProgramStateRef State, const LocationContext *LCtx) argument
993 getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument
[all...]
H A DSymbolManager.h161 const LocationContext *LCtx; member in class:clang::ento::SymbolConjured
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);
576 const StackFrameContext *LCtx; member in class:clang::ento::SymbolReaper
592 : LCtx(Ct
180 Profile(llvm::FoldingSetNodeID& profile, const Stmt *S, QualType T, unsigned Count, const LocationContext *LCtx, const void *SymbolTag) argument
506 conjureSymbol(const Expr *E, const LocationContext *LCtx, unsigned VisitCount, const void *SymbolTag = 0) argument
[all...]

Completed in 302 milliseconds

12