/external/clang/lib/StaticAnalyzer/Core/ |
H A D | PrettyStackTraceLocationContext.h | 30 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 D | LoopWidening.cpp | 40 const LocationContext *LCtx, 52 const StackFrameContext *STC = LCtx->getCurrentStackFrame(); 63 BlockCount, LCtx, true, nullptr, nullptr, 39 getWidenedLoopState(ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt) argument
|
H A D | Environment.cpp | 72 const LocationContext *LCtx = Entry.getLocationContext(); local 100 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder); 106 return lookupExpr(EnvironmentEntry(S, LCtx));
|
H A D | ExprEngineObjC.cpp | 26 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 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 | SymbolManager.cpp | 167 const LocationContext *LCtx, 172 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag); 177 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag); 502 if (LCtx == nullptr) 505 if (LCtx != ELCtx) { 508 if (LCtx->isParentOf(ELCtx)) 517 return LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, ExprVal); 526 if (!LCtx) 528 const StackFrameContext *CurrentContext = LCtx->getCurrentStackFrame(); 535 if (LCtx 166 conjureSymbol(const Stmt *E, const LocationContext *LCtx, QualType T, unsigned Count, const void *SymbolTag) argument [all...] |
H A D | ExprEngineC.cpp | 39 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 260 const LocationContext *LCtx = subExprNode->getLocationContext(); local 279 const LocationContext *LCtx = Pred->getLocationContext(); local 306 const LocationContext *LCtx = Pred->getLocationContext(); local 449 const LocationContext *LCtx = Pred->getLocationContext(); local 627 const LocationContext *LCtx = Pred->getLocationContext(); local 679 const LocationContext *LCtx = Pred->getLocationContext(); local 824 const LocationContext *LCtx = (*I)->getLocationContext(); local 839 const LocationContext *LCtx = (*I)->getLocationContext(); local 860 const LocationContext *LCtx = (*I)->getLocationContext(); local 872 const LocationContext *LCtx = (*I)->getLocationContext(); local 931 const LocationContext *LCtx = Pred->getLocationContext(); local [all...] |
H A D | ExprEngineCXX.cpp | 31 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 120 SVal LValue = State->getLValue(Var, LCtx); 129 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl()); 131 getSValBuilder().getCXXThis(CurCtor, LCtx 236 const LocationContext *LCtx = Pred->getLocationContext(); local 361 const LocationContext *LCtx = Pred->getLocationContext(); local 404 const LocationContext *LCtx = Pred->getLocationContext(); local 434 const LocationContext *LCtx = Pred->getLocationContext(); local 547 const LocationContext *LCtx = Pred->getLocationContext(); local 562 const LocationContext *LCtx = Pred->getLocationContext(); local [all...] |
H A D | SValBuilder.cpp | 114 const LocationContext *LCtx, 125 T = LCtx->getAnalysisDeclContext()->getASTContext().getPointerType(ExType); 127 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count); 132 const LocationContext *LCtx, 141 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); 151 const LocationContext *LCtx, 160 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); 170 const LocationContext *LCtx, 178 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); 112 conjureSymbolVal(const void *SymbolTag, const Expr *Ex, const LocationContext *LCtx, unsigned Count) argument 130 conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, QualType type, unsigned count) argument 150 conjureSymbolVal(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount) argument 169 getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, unsigned VisitCount) argument
|
H A D | CallEvent.cpp | 705 const LocationContext *LCtx = getLocationContext(); local 706 const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl(); 709 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx)); 1037 const LocationContext *LCtx) { 1039 return create<CXXMemberCall>(MCE, State, LCtx); 1045 return create<CXXMemberOperatorCall>(OpCE, State, LCtx); 1048 return create<BlockCall>(CE, State, LCtx); 1053 return create<SimpleFunctionCall>(CE, State, LCtx); 1036 getSimpleCall(const CallExpr *CE, ProgramStateRef State, const LocationContext *LCtx) argument
|
H A D | ExprEngineCallAndReturn.cpp | 180 const LocationContext *LCtx = Pred->getLocationContext(); local 181 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, 182 LCtx->getAnalysisDeclContext()->getBody(), 249 const LocationContext *LCtx = CEBNode->getLocationContext(); local 250 SVal V = state->getSVal(RS, LCtx); 359 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, argument 364 while (LCtx) { 365 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) { 373 LCtx = LCtx 523 bindReturnValue(const CallEvent &Call, const LocationContext *LCtx, ProgramStateRef State) argument [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | PointerSubChecker.cpp | 43 const LocationContext *LCtx = C.getLocationContext(); local 44 SVal LV = state->getSVal(B->getLHS(), LCtx); 45 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
H A D | UndefResultChecker.cpp | 41 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()) {
|
H A D | BuiltinFunctionChecker.cpp | 36 const LocationContext *LCtx = C.getLocationContext(); local 53 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); 54 C.addTransition(state->BindExpr(CE, LCtx, X)); 68 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>(); 77 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); 94 C.addTransition(state->BindExpr(CE, LCtx, V));
|
H A D | UndefBranchChecker.cpp | 32 const LocationContext *LCtx; member in struct:__anon2043::UndefBranchChecker::FindUndefExpr 35 : St(std::move(S)), LCtx(L) {} 50 return St->getSVal(Ex, LCtx).isUndef();
|
H A D | StackAddrEscapeChecker.cpp | 127 const LocationContext *LCtx = C.getLocationContext(); local 128 SVal V = C.getState()->getSVal(RetE, LCtx); 141 const StackFrameContext *CurFrame = LCtx->getCurrentStackFrame();
|
H A D | DereferenceChecker.cpp | 47 const LocationContext *LCtx, 57 const LocationContext *LCtx, 53 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
|
H A D | PthreadLockChecker.cpp | 84 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 D | StreamChecker.cpp | 214 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local 215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
|
H A D | BasicObjCFoundationChecks.cpp | 443 const LocationContext *LCtx = C.getLocationContext(); local 444 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx); 464 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx); 918 const LocationContext *LCtx = C.getLocationContext(); 926 ElementLoc = State->getLValue(ElemDecl, LCtx); 928 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
|
H A D | CallAndMessageChecker.cpp | 310 const LocationContext *LCtx = C.getLocationContext(); local 311 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 | CheckObjCDealloc.cpp | 154 bool isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx, 161 const ObjCImplDecl *getContainingObjCImpl(const LocationContext *LCtx) const; 271 const LocationContext *LCtx = C.getLocationContext(); local 286 for (auto *PropImpl : getContainingObjCImpl(LCtx)->property_impls()) { 502 const LocationContext *LCtx = C.getLocationContext(); local 532 cast<ObjCMethodDecl>(LCtx->getDecl())->getClassInterface()) 607 assert(!LCtx->inTopFrame() || State->get<UnreleasedIvarMap>().isEmpty()); 631 const LocationContext *LCtx = C.getLocationContext(); local 634 const ObjCImplDecl *Container = getContainingObjCImpl(LCtx); 799 /// Returns the ObjCImplDecl containing the method declaration in LCtx 976 isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx, SVal &SelfValOut) const argument 996 const LocationContext *LCtx = C.getLocationContext(); local [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 151 const LocationContext *LCtx, 155 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag); 159 const LocationContext *LCtx, 162 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag); 179 const LocationContext *LCtx, 183 const LocationContext *LCtx, 188 const LocationContext *LCtx, 195 const LocationContext *LCtx, 150 conjureSymbol(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag = nullptr) argument 158 conjureSymbol(const Expr *expr, const LocationContext *LCtx, unsigned visitCount, const void *symbolTag = nullptr) argument
|
H A D | SymbolManager.h | 77 const LocationContext *LCtx; member in class:clang::ento::SymbolConjured 84 LCtx(lctx), SymbolTag(symbolTag) {} 95 QualType T, unsigned Count, const LocationContext *LCtx, 99 profile.AddPointer(LCtx); 106 Profile(profile, S, T, Count, LCtx, SymbolTag); 416 const LocationContext *LCtx, 422 const LocationContext *LCtx, 425 return conjureSymbol(E, LCtx, E->getType(), VisitCount, SymbolTag); 491 const StackFrameContext *LCtx; member in class:clang::ento::SymbolReaper 507 : LCtx(Ct 94 Profile(llvm::FoldingSetNodeID& profile, const Stmt *S, QualType T, unsigned Count, const LocationContext *LCtx, const void *SymbolTag) argument 421 conjureSymbol(const Expr *E, const LocationContext *LCtx, unsigned VisitCount, const void *SymbolTag = nullptr) argument [all...] |
H A D | CallEvent.h | 144 const LocationContext *LCtx; member in class:clang::ento::CallEvent 169 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {} 172 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {} 176 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin), 214 return LCtx; 423 const LocationContext *LCtx) 424 : CallEvent(E, St, LCtx) {} 426 const LocationContext *LCtx) 427 : CallEvent(D, St, LCtx) {} 422 AnyFunctionCall(const Expr *E, ProgramStateRef St, const LocationContext *LCtx) argument 425 AnyFunctionCall(const Decl *D, ProgramStateRef St, const LocationContext *LCtx) argument 472 SimpleFunctionCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 508 BlockCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 615 CXXInstanceCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 618 CXXInstanceCall(const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx) argument 652 CXXMemberCall(const CXXMemberCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 693 CXXMemberOperatorCall(const CXXOperatorCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 741 CXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBaseDestructor, ProgramStateRef St, const LocationContext *LCtx) argument 787 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target, ProgramStateRef St, const LocationContext *LCtx) argument 834 CXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef St, const LocationContext *LCtx) argument 887 ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St, const LocationContext *LCtx) argument 1013 create(Arg A, ProgramStateRef St, const LocationContext *LCtx) argument 1020 create(Arg1 A1, Arg2 A2, ProgramStateRef St, const LocationContext *LCtx) argument 1027 create(Arg1 A1, Arg2 A2, Arg3 A3, ProgramStateRef St, const LocationContext *LCtx) argument 1036 create(Arg1 A1, Arg2 A2, Arg3 A3, Arg4 A4, ProgramStateRef St, const LocationContext *LCtx) argument 1056 getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument 1062 getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, ProgramStateRef State, const LocationContext *LCtx) argument 1068 getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBase, ProgramStateRef State, const LocationContext *LCtx) argument 1075 getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument [all...] |