/external/clang/lib/StaticAnalyzer/Core/ |
H A D | CallEvent.cpp | 620 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 D | RegionStore.cpp | 387 const LocationContext *LCtx, 394 const LocationContext *LCtx, 562 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx, 945 const LocationContext *LCtx; member in class:__anon18283::invalidateRegionsWorker 960 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r){} 1051 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); 1072 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1081 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1087 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1097 const LocationContext *LCtx, 1094 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument 1149 invalidateRegions(Store store, ArrayRef<SVal> Values, const Expr *Ex, unsigned Count, const LocationContext *LCtx, const CallEvent *Call, InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits, InvalidatedRegions *TopLevelRegions, InvalidatedRegions *Invalidated) argument 2183 removeDeadBindingsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr, RegionBindingsRef b, SymbolReaper &symReaper, const StackFrameContext *LCtx) argument 2302 removeDeadBindings(Store store, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument [all...] |
H A D | Store.cpp | 30 const StackFrameContext *LCtx) { 34 Call.getInitialStackFrameContents(LCtx, InitialBindings); 28 enterStackFrame(Store OldStore, const CallEvent &Call, const StackFrameContext *LCtx) argument
|
H A D | PathDiagnostic.cpp | 1138 const LocationContext *LCtx = N->getLocationContext(); local 1142 SVal SV = State->getSVal(*I, LCtx); 1161 SVal SV = State->getSVal(CE, LCtx);
|
H A D | BugReporter.cpp | 1247 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
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CallAndMessageChecker.cpp | 303 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 D | BasicObjCFoundationChecks.cpp | 445 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 D | RetainCountChecker.cpp | 953 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 D | StreamChecker.cpp | 214 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local 215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
|
H A D | MallocChecker.cpp | 867 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);
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExprEngine.h | 521 const LocationContext *LCtx, 552 void examineStackFrames(const Decl *D, const LocationContext *LCtx,
|