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

12

/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.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 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 DUndefBranchChecker.cpp31 const LocationContext *LCtx; member in struct:__anon3928::UndefBranchChecker::FindUndefExpr
34 : St(S), LCtx(L) {}
51 return St->getSVal(Ex, LCtx).isUndef();
H A DDereferenceChecker.cpp45 const LocationContext *LCtx,
55 const LocationContext *LCtx,
51 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
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 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), this);
207 B.generateNode(CE, N, stateNotEqual->BindExpr(CE, LCtx, Res), this);
38 getCalleeName(ProgramStateRef State, const CallExpr *CE, const LocationContext *LCtx) argument
H A DStackAddrEscapeChecker.cpp123 const LocationContext *LCtx = C.getLocationContext(); local
124 SVal V = C.getState()->getSVal(RetE, LCtx);
137 const StackFrameContext *CurFrame = LCtx->getCurrentStackFrame();
H A DCallAndMessageChecker.cpp224 const LocationContext *LCtx = C.getLocationContext(); local
225 SVal L = State->getSVal(Callee, LCtx);
400 const LocationContext *LCtx = C.getLocationContext(); local
405 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V));
442 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V));
H A DIdempotentOperationChecker.cpp147 const LocationContext *LCtx = C.getLocationContext(); local
148 SVal LHSVal = state->getSVal(LHS, LCtx);
149 SVal RHSVal = state->getSVal(RHS, LCtx);
H A DStreamChecker.cpp223 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local
225 cast<DefinedSVal>(svalBuilder.conjureSymbolVal(0, CE, LCtx,
/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 DProgramState.h203 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
209 const LocationContext *LCtx,
227 const LocationContext *LCtx,
255 SVal getSVal(const Stmt *S, const LocationContext *LCtx,
258 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
302 ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx,
314 bool isTainted(const Stmt *S, const LocationContext *LCtx,
404 const LocationContext *LCtx,
493 const StackFrameContext *LCtx,
672 inline SVal ProgramState::getSVal(const Stmt *Ex, const LocationContext *LCtx, argument
[all...]
H A DCallEvent.h120 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;
351 const LocationContext *LCtx)
352 : CallEvent(E, St, LCtx) {}
354 const LocationContext *LCtx)
355 : CallEvent(D, St, LCtx) {}
350 AnyFunctionCall(const Expr *E, ProgramStateRef St, const LocationContext *LCtx) argument
353 AnyFunctionCall(const Decl *D, ProgramStateRef St, const LocationContext *LCtx) argument
390 SimpleCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
421 FunctionCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
443 BlockCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
492 CXXInstanceCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
495 CXXInstanceCall(const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx) argument
529 CXXMemberCall(const CXXMemberCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
568 CXXMemberOperatorCall(const CXXOperatorCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
616 CXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBaseDestructor, ProgramStateRef St, const LocationContext *LCtx) argument
662 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target, ProgramStateRef St, const LocationContext *LCtx) argument
708 CXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef St, const LocationContext *LCtx) argument
761 ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St, const LocationContext *LCtx) argument
879 create(Arg A, ProgramStateRef St, const LocationContext *LCtx) argument
884 create(Arg1 A1, Arg2 A2, ProgramStateRef St, const LocationContext *LCtx) argument
889 create(Arg1 A1, Arg2 A2, Arg3 A3, ProgramStateRef St, const LocationContext *LCtx) argument
896 create(Arg1 A1, Arg2 A2, Arg3 A3, Arg4 A4, ProgramStateRef St, const LocationContext *LCtx) argument
914 getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument
920 getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, ProgramStateRef State, const LocationContext *LCtx) argument
926 getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBase, ProgramStateRef State, const LocationContext *LCtx) argument
933 getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument
[all...]
/external/clang/lib/StaticAnalyzer/Core/
H A DEnvironment.cpp45 const LocationContext *LCtx = Entry.getLocationContext(); local
68 const SVal *X = ExprBindings.lookup(EnvironmentEntry(E, LCtx));
81 SVal const *X = ExprBindings.lookup(EnvironmentEntry(E, LCtx));
130 return lookupExpr(EnvironmentEntry(E, LCtx));
H A DExprEngineCXX.cpp31 const LocationContext *LCtx = Pred->getLocationContext(); local
35 SVal V = state->getSVal(tempExpr, LCtx);
42 svalBuilder.getRegionManager().getCXXTempObjectRegion(ME, LCtx);
49 Bldr.generateNode(ME, Pred, state->BindExpr(ME, LCtx, V));
55 const LocationContext *LCtx = Pred->getLocationContext(); local
78 SVal Base = State->getLValue(Var, LCtx);
83 Target = State->getLValue(Var, LCtx).getAsRegion();
95 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
97 LCtx->getCurrentStackFrame());
116 Target = MRMgr.getCXXTempObjectRegion(CE, LCtx);
169 const LocationContext *LCtx = Pred->getLocationContext(); local
217 const LocationContext *LCtx = Pred->getLocationContext(); local
292 const LocationContext *LCtx = Pred->getLocationContext(); local
307 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);
115 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
H A DStore.cpp29 const StackFrameContext *LCtx) {
33 Call.getInitialStackFrameContents(LCtx, InitialBindings);
27 enterStackFrame(Store OldStore, const CallEvent &Call, const StackFrameContext *LCtx) argument
H A DSValBuilder.cpp111 const LocationContext *LCtx,
114 return conjureSymbolVal(symbolTag, expr, LCtx, T, count);
119 const LocationContext *LCtx,
125 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag);
135 const LocationContext *LCtx,
141 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount);
151 const LocationContext *LCtx,
157 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount);
109 conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, unsigned count) argument
117 conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, QualType type, unsigned count) argument
134 conjureSymbolVal(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount) argument
150 getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, unsigned VisitCount) argument
H A DSymbolManager.cpp187 const LocationContext *LCtx,
192 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag);
197 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag);
500 if (LCtx != ELCtx) {
503 if (LCtx->isParentOf(ELCtx))
511 return LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, ExprVal);
516 const StackFrameContext *CurrentContext = LCtx->getCurrentStackFrame();
523 if (LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, VR->getDecl()))
186 conjureSymbol(const Stmt *E, const LocationContext *LCtx, QualType T, unsigned Count, const void *SymbolTag) argument
H A DBugReporterVisitors.cpp746 const LocationContext *LCtx = N->getLocationContext(); local
749 LCtx).getAsRegion()) {
864 const LocationContext *LCtx = N->getLocationContext(); local
865 PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx);
900 const LocationContext *LCtx = N->getLocationContext(); local
901 PathDiagnosticLocation Loc(CondVarExpr, BRC.getSourceManager(), LCtx);
908 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) {
948 const LocationContext *LCtx = N->getLocationContext(); local
949 PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx);
954 if (const MemRegion *R = state->getLValue(VD, LCtx)
[all...]
H A DCallEvent.cpp607 const LocationContext *LCtx = getLocationContext(); local
608 const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl();
611 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx));
839 const LocationContext *LCtx) {
841 return create<CXXMemberCall>(MCE, State, LCtx);
847 return create<CXXMemberOperatorCall>(OpCE, State, LCtx);
850 return create<BlockCall>(CE, State, LCtx);
855 return create<FunctionCall>(CE, State, LCtx);
838 getSimpleCall(const CallExpr *CE, ProgramStateRef State, const LocationContext *LCtx) argument
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.conjureSymbolVal(0, B->getRHS(), LCtx, Count);
54 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal),
71 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
76 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(),
89 state = state->BindExpr(B, LCtx, Result);
121 const LocationContext *LCtx = (*I)->getLocationContext(); local
122 SVal V = state->getSVal(LHS, LCtx);
227 const LocationContext *LCtx = subExprNode->getLocationContext(); local
246 const LocationContext *LCtx = Pred->getLocationContext(); local
273 const LocationContext *LCtx = Pred->getLocationContext(); local
566 const LocationContext *LCtx = Pred->getLocationContext(); local
613 const LocationContext *LCtx = Pred->getLocationContext(); local
725 const LocationContext *LCtx = Pred->getLocationContext(); local
740 const LocationContext *LCtx = Pred->getLocationContext(); local
761 const LocationContext *LCtx = Pred->getLocationContext(); local
773 const LocationContext *LCtx = Pred->getLocationContext(); local
828 const LocationContext *LCtx = Pred->getLocationContext(); local
[all...]
H A DExprEngineCallAndReturn.cpp152 const LocationContext *LCtx = CEBNode->getLocationContext(); local
153 SVal V = state->getSVal(RS, LCtx);
250 static unsigned getNumberStackFrames(const LocationContext *LCtx) { argument
252 while (LCtx) {
253 if (isa<StackFrameContext>(LCtx))
255 LCtx = LCtx->getParent();
557 const LocationContext *LCtx,
572 return State->BindExpr(E, LCtx, Msg->getReceiverSVal());
576 return State->BindExpr(E, LCtx,
556 bindReturnValue(const CallEvent &Call, const LocationContext *LCtx, ProgramStateRef State) argument
[all...]

Completed in 215 milliseconds

12