Searched refs:LCtx (Results 1 - 25 of 36) sorted by last modified time

12

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp445 const LocationContext *LCtx = C.getLocationContext(); local
446 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
466 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
920 const LocationContext *LCtx = C.getLocationContext(); local
928 ElementLoc = State->getLValue(ElemDecl, LCtx);
930 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
H A DBuiltinFunctionChecker.cpp36 const LocationContext *LCtx = C.getLocationContext(); local
50 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
51 C.addTransition(state->BindExpr(CE, LCtx, X));
65 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
74 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
91 C.addTransition(state->BindExpr(CE, LCtx, V));
H A DCStringChecker.cpp350 const LocationContext *LCtx = C.getLocationContext(); local
356 SVal BufVal = state->getSVal(FirstBuf, LCtx);
368 SVal LengthVal = state->getSVal(Size, LCtx);
394 BufVal = state->getSVal(SecondBuf, LCtx);
432 const LocationContext *LCtx = C.getLocationContext(); local
433 SVal firstVal = state->getSVal(First, LCtx);
434 SVal secondVal = state->getSVal(Second, LCtx);
483 SVal LengthVal = state->getSVal(Size, LCtx);
841 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local
854 return state->invalidateRegions(R, E, C.blockCount(), LCtx,
915 const LocationContext *LCtx = C.getLocationContext(); local
1072 const LocationContext *LCtx = C.getLocationContext(); local
1155 const LocationContext *LCtx = C.getLocationContext(); local
1330 const LocationContext *LCtx = C.getLocationContext(); local
1689 const LocationContext *LCtx = C.getLocationContext(); local
1823 const LocationContext *LCtx = C.getLocationContext(); local
[all...]
H A DCallAndMessageChecker.cpp303 const LocationContext *LCtx = C.getLocationContext(); local
304 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 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 DMallocChecker.cpp867 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local
868 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
1581 const LocationContext *LCtx = C.getLocationContext(); local
1582 SVal Arg0Val = state->getSVal(arg0Expr, LCtx);
1598 SVal Arg1ValG = state->getSVal(Arg1, LCtx);
1631 SVal RetVal = state->getSVal(CE, LCtx);
1681 const LocationContext *LCtx = C.getLocationContext(); local
1682 SVal count = state->getSVal(CE->getArg(0), LCtx);
1683 SVal elementSize = state->getSVal(CE->getArg(1), LCtx);
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 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 DRetainCountChecker.cpp953 const LocationContext *LCtx = MC->getLocationContext(); local
954 ParentMap &PM = LCtx->getAnalysisDeclContext()->getParentMap();
1843 const LocationContext *LCtx = N->getLocationContext(); local
1888 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx);
1898 = Mgr.getObjCMethodCall(cast<ObjCMessageExpr>(S), CurrSt, LCtx);
1961 if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym)
1970 if (CurrSt->getSValAsScalarOrLoc(receiver, LCtx)
2002 CurrSt->getSValAsScalarOrLoc(cast<CallExpr>(S)->getCallee(), LCtx);
2118 if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) {
2766 const LocationContext *LCtx local
3253 const LocationContext *LCtx = C.getLocationContext(); local
3692 const LocationContext *LCtx = Pred->getLocationContext(); local
[all...]
H A DStreamChecker.cpp214 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local
215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
H A DUndefBranchChecker.cpp31 const LocationContext *LCtx; member in struct:__anon18244::UndefBranchChecker::FindUndefExpr
34 : St(S), LCtx(L) {}
51 return St->getSVal(Ex, LCtx).isUndef();
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()) {
/external/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp1247 const LocationContext *LCtx) {
1248 SVal V = State->getSVal(Ex, LCtx);
1264 SVal ChildV = State->getSVal(child, LCtx);
1978 const ParentMap &PM, const LocationContext *LCtx) {
1996 NextSrcContext = getEnclosingStmtLocation(InnerStmt, SM, PM, LCtx,
2009 getEnclosingStmtLocation(Dst, SM, PM, LCtx, /*allowNested=*/true);
3257 const LocationContext *LCtx = E->getLocationContext(); local
3258 if (LCtx->getAnalysisDeclContext()->isBodyAutosynthesized())
1243 reversePropagateIntererstingSymbols(BugReport &R, InterestingExprs &IE, const ProgramState *State, const Expr *Ex, const LocationContext *LCtx) argument
1977 addContextEdges(PathPieces &pieces, SourceManager &SM, const ParentMap &PM, const LocationContext *LCtx) argument
H A DBugReporterVisitors.cpp446 const LocationContext *LCtx = N->getLocationContext(); local
447 return FrameSpace->getStackFrame() == LCtx->getCurrentStackFrame();
1287 const LocationContext *LCtx = N->getLocationContext(); local
1290 LCtx).getAsRegion()) {
1406 const LocationContext *LCtx = N->getLocationContext(); local
1407 PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx);
1442 const LocationContext *LCtx = N->getLocationContext(); local
1443 PathDiagnosticLocation Loc(CondVarExpr, BRC.getSourceManager(), LCtx);
1450 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) {
1488 const LocationContext *LCtx local
[all...]
H A DCallEvent.cpp620 const LocationContext *LCtx = getLocationContext(); local
621 const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl();
624 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx));
902 const LocationContext *LCtx) {
904 return create<CXXMemberCall>(MCE, State, LCtx);
910 return create<CXXMemberOperatorCall>(OpCE, State, LCtx);
913 return create<BlockCall>(CE, State, LCtx);
918 return create<SimpleFunctionCall>(CE, State, LCtx);
901 getSimpleCall(const CallExpr *CE, ProgramStateRef State, const LocationContext *LCtx) argument
H A DEnvironment.cpp72 const LocationContext *LCtx = Entry.getLocationContext(); local
99 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
105 return lookupExpr(EnvironmentEntry(S, LCtx));
H A DExprEngine.cpp568 const LocationContext *LCtx = Pred->getLocationContext(); local
569 PostImplicitCall PP(NE->getOperatorNew(), NE->getLocStart(), LCtx);
598 const LocationContext *LCtx = Pred->getLocationContext(); local
601 SVal ArgVal = State->getSVal(Arg, LCtx);
611 PostImplicitCall PP(Dtor, DE->getLocStart(), LCtx);
625 const LocationContext *LCtx = Pred->getLocationContext(); local
627 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl());
629 LCtx->getCurrentStackFrame());
646 const LocationContext *LCtx = Pred->getLocationContext(); local
648 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx
844 const LocationContext *LCtx = Pred->getLocationContext(); local
880 const LocationContext *LCtx = N->getLocationContext(); local
958 const LocationContext *LCtx = Pred->getLocationContext(); local
1325 RecoverCastedSymbol(ProgramStateManager& StateMgr, ProgramStateRef state, const Stmt *Condition, const LocationContext *LCtx, ASTContext &Ctx) argument
1432 const LocationContext *LCtx = Pred->getLocationContext(); local
1733 const LocationContext *LCtx = Pred->getLocationContext(); local
1797 const LocationContext *LCtx = (*it)->getLocationContext(); local
1834 const LocationContext *LCtx = (*I)->getLocationContext(); local
2147 const LocationContext *LCtx = (*NI)->getLocationContext(); local
[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
238 const LocationContext *LCtx = subExprNode->getLocationContext(); local
257 const LocationContext *LCtx = Pred->getLocationContext(); local
284 const LocationContext *LCtx = Pred->getLocationContext(); local
416 const LocationContext *LCtx = Pred->getLocationContext(); local
591 const LocationContext *LCtx = Pred->getLocationContext(); local
643 const LocationContext *LCtx = Pred->getLocationContext(); local
790 const LocationContext *LCtx = (*I)->getLocationContext(); local
805 const LocationContext *LCtx = (*I)->getLocationContext(); local
826 const LocationContext *LCtx = (*I)->getLocationContext(); local
838 const LocationContext *LCtx = (*I)->getLocationContext(); local
897 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
132 SVal LValue = State->getLValue(Var, LCtx);
146 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
148 LCtx
180 const LocationContext *LCtx = Pred->getLocationContext(); local
305 const LocationContext *LCtx = Pred->getLocationContext(); local
348 const LocationContext *LCtx = Pred->getLocationContext(); local
378 const LocationContext *LCtx = Pred->getLocationContext(); local
491 const LocationContext *LCtx = Pred->getLocationContext(); local
506 const LocationContext *LCtx = Pred->getLocationContext(); local
[all...]
H A DExprEngineCallAndReturn.cpp177 const LocationContext *LCtx = Pred->getLocationContext(); local
178 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
179 LCtx->getAnalysisDeclContext()->getBody(),
246 const LocationContext *LCtx = CEBNode->getLocationContext(); local
247 SVal V = state->getSVal(RS, LCtx);
356 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, argument
361 while (LCtx) {
362 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) {
370 LCtx = LCtx
535 bindReturnValue(const CallEvent &Call, const LocationContext *LCtx, ProgramStateRef State) argument
[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 DPathDiagnostic.cpp1138 const LocationContext *LCtx = N->getLocationContext(); local
1142 SVal SV = State->getSVal(*I, LCtx);
1161 SVal SV = State->getSVal(CE, LCtx);
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 DProgramState.cpp91 const StackFrameContext *LCtx,
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
141 const LocationContext *LCtx,
151 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape,
158 const LocationContext *LCtx,
164 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape,
171 const LocationContext *LCtx,
191 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
209 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
291 const LocationContext *LCtx,
90 removeDeadBindings(ProgramStateRef state, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument
139 invalidateRegions(RegionList Regions, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, const CallEvent *Call, RegionAndSymbolInvalidationTraits *ITraits) const argument
156 invalidateRegions(ValueList Values, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, const CallEvent *Call, RegionAndSymbolInvalidationTraits *ITraits) const argument
169 invalidateRegionsImpl(ValueList Values, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, RegionAndSymbolInvalidationTraits *ITraits, const CallEvent *Call) const argument
290 BindExpr(const Stmt *S, const LocationContext *LCtx, SVal V, bool Invalidate) const argument
651 addTaint(const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) const argument
687 isTainted(const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) const argument
[all...]

Completed in 1719 milliseconds

12