| /freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 144 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
187 const LocationContext *LCtx,
|
| H A D | ExprEngine.h | 515 const LocationContext *LCtx,
546 void examineStackFrames(const Decl *D, const LocationContext *LCtx,
|
| /freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CallAndMessageChecker.cpp | 232 const LocationContext *LCtx = C.getLocationContext(); local
233 SVal L = State->getSVal(Callee, LCtx);
463 const LocationContext *LCtx = C.getLocationContext(); local
468 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
506 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
|
| H A D | BasicObjCFoundationChecks.cpp | 411 const LocationContext *LCtx = C.getLocationContext(); local
412 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
432 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
878 const LocationContext *LCtx = C.getLocationContext(); local
886 ElementLoc = State->getLValue(ElemDecl, LCtx);
888 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
|
| H A D | IdempotentOperationChecker.cpp | 148 const LocationContext *LCtx = C.getLocationContext(); local
149 SVal LHSVal = state->getSVal(LHS, LCtx);
150 SVal RHSVal = state->getSVal(RHS, LCtx);
|
| H A D | RetainCountChecker.cpp | 894 const LocationContext *LCtx = MC->getLocationContext(); local
895 ParentMap &PM = LCtx->getAnalysisDeclContext()->getParentMap();
1778 const LocationContext *LCtx = N->getLocationContext(); local
1823 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx);
1833 = Mgr.getObjCMethodCall(cast<ObjCMessageExpr>(S), CurrSt, LCtx);
1896 if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym)
1905 if (CurrSt->getSValAsScalarOrLoc(receiver, LCtx)
1937 CurrSt->getSValAsScalarOrLoc(cast<CallExpr>(S)->getCallee(), LCtx);
2053 if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) {
2682 const LocationContext *LCtx local
3133 const LocationContext *LCtx = C.getLocationContext(); local
3574 const LocationContext *LCtx = Pred->getLocationContext(); local
[all...] |
| H A D | StreamChecker.cpp | 212 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local
213 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount())
|
| H A D | MallocChecker.cpp | 756 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local
757 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
1426 const LocationContext *LCtx = C.getLocationContext(); local
1427 SVal Arg0Val = state->getSVal(arg0Expr, LCtx);
1443 SVal Arg1ValG = state->getSVal(Arg1, LCtx);
1476 SVal RetVal = state->getSVal(CE, LCtx);
1526 const LocationContext *LCtx = C.getLocationContext(); local
1527 SVal count = state->getSVal(CE->getArg(0), LCtx);
1528 SVal elementSize = state->getSVal(CE->getArg(1), LCtx);
|
| /freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RegionStore.cpp | 391 const LocationContext *LCtx,
398 const LocationContext *LCtx,
566 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
948 const LocationContext *LCtx; member in class:__anon3654::invalidateRegionsWorker
963 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r){}
1054 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1075 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1084 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1090 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1100 const LocationContext *LCtx,
1097 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument
1152 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
2188 removeDeadBindingsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr, RegionBindingsRef b, SymbolReaper &symReaper, const StackFrameContext *LCtx) argument
2307 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 | 1126 const LocationContext *LCtx = N->getLocationContext(); local
1130 SVal SV = State->getSVal(*I, LCtx);
1149 SVal SV = State->getSVal(CE, LCtx);
|
| H A D | BugReporter.cpp | 1246 const LocationContext *LCtx) {
1247 SVal V = State->getSVal(Ex, LCtx);
1263 SVal ChildV = State->getSVal(child, LCtx);
1977 const ParentMap &PM, const LocationContext *LCtx) {
1995 NextSrcContext = getEnclosingStmtLocation(InnerStmt, SM, PM, LCtx,
2008 getEnclosingStmtLocation(Dst, SM, PM, LCtx, /*allowNested=*/true);
3257 const LocationContext *LCtx = E->getLocationContext(); local
3258 if (LCtx->getAnalysisDeclContext()->isBodyAutosynthesized())
1242 reversePropagateIntererstingSymbols(BugReport &R, InterestingExprs &IE, const ProgramState *State, const Expr *Ex, const LocationContext *LCtx) argument
1976 addContextEdges(PathPieces &pieces, SourceManager &SM, const ParentMap &PM, const LocationContext *LCtx) argument
|