/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | PrettyStackTraceLocationContext.h | 29 const LocationContext *LCtx; member in class:clang::ento::PrettyStackTraceLocationContext 31 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) { 32 assert(LCtx); 37 LCtx->dumpStack(Out);
|
H A D | LoopWidening.cpp | 45 const LocationContext *LCtx, 57 ASTContext &ASTCtx = LCtx->getAnalysisDeclContext()->getASTContext(); 58 const StackFrameContext *STC = LCtx->getStackFrame(); 71 *LCtx->getDecl()->getBody(), ASTCtx); 75 const VarRegion *VarMem = MRMgr.getVarRegion(VD, LCtx); 94 BlockCount, LCtx, true, nullptr, nullptr, 44 getWidenedLoopState(ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt) argument
|
H A D | ExprEngineC.cpp | 30 unsigned Count, const LocationContext *LCtx) { 35 return svalBuilder.conjureSymbolVal(Expression, LCtx, Ty, Count); 57 const LocationContext *LCtx = (*it)->getLocationContext(); local 58 SVal LeftV = state->getSVal(LHS, LCtx); 59 SVal RightV = state->getSVal(RHS, LCtx); 68 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, 74 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), 87 RightV, LeftV, RHS, svalBuilder, Count, LCtx); 89 LeftV, RightV, LHS, svalBuilder, Count, LCtx); 96 state = createTemporaryRegionIfNeeded(state, LCtx, LH 28 conjureOffsetSymbolOnLocation( SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder, unsigned Count, const LocationContext *LCtx) argument 140 const LocationContext *LCtx = (*I)->getLocationContext(); local 238 const LocationContext *LCtx = Pred->getLocationContext(); local 259 handleLValueBitCast( ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx, QualType T, QualType ExTy, const CastExpr* CastE, StmtNodeBuilder& Bldr, ExplodedNode* Pred) argument 285 handleLVectorSplat( ProgramStateRef state, const LocationContext* LCtx, const CastExpr* CastE, StmtNodeBuilder &Bldr, ExplodedNode* Pred) argument 312 const LocationContext *LCtx = subExprNode->getLocationContext(); local 331 const LocationContext *LCtx = Pred->getLocationContext(); local 358 const LocationContext *LCtx = Pred->getLocationContext(); local 555 const LocationContext *LCtx = Pred->getLocationContext(); local 738 const LocationContext *LCtx = Pred->getLocationContext(); local 790 const LocationContext *LCtx = Pred->getLocationContext(); local 919 const LocationContext *LCtx = (*I)->getLocationContext(); local 955 const LocationContext *LCtx = (*I)->getLocationContext(); local 970 const LocationContext *LCtx = (*I)->getLocationContext(); local 984 const LocationContext *LCtx = (*I)->getLocationContext(); local 1009 const LocationContext *LCtx = (*I)->getLocationContext(); local 1067 const LocationContext *LCtx = Pred->getLocationContext(); local [all...] |
H A D | ExprEngineCXX.cpp | 32 const LocationContext *LCtx = Pred->getLocationContext(); local 34 state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME); 68 const LocationContext *LCtx = Pred->getLocationContext(); local 85 PostStmt PS(CallExpr, LCtx); 90 State = State->BindExpr(CallExpr, LCtx, ThisVal); 92 State = bindReturnValue(Call, LCtx, State); 113 const Expr *E, ProgramStateRef State, const LocationContext *LCtx, 128 SVal LValue = State->getLValue(Var, LCtx); 133 addObjectUnderConstruction(State, DSCC->getDeclStmt(), LCtx, LValue); 141 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx 112 prepareForObjectConstruction( const Expr *E, ProgramStateRef State, const LocationContext *LCtx, const ConstructionContext *CC, EvalCallOptions &CallOpts) argument 398 const LocationContext *LCtx = Pred->getLocationContext(); local 609 const LocationContext *LCtx = Pred->getLocationContext(); local 672 const LocationContext *LCtx = Pred->getLocationContext(); local 745 const LocationContext *LCtx = Pred->getLocationContext(); local 863 const LocationContext *LCtx = Pred->getLocationContext(); local 878 const LocationContext *LCtx = Pred->getLocationContext(); local [all...] |
H A D | Environment.cpp | 88 const LocationContext *LCtx = Entry.getLocationContext(); local 118 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder); 124 return lookupExpr(EnvironmentEntry(S, LCtx)); 205 const LocationContext *LCtx, const char *NL, 215 if (!LCtx) { 222 LCtx = LC; 229 assert(LCtx); 231 Out << "{ \"pointer\": \"" << (const void *)LCtx->getStackFrame() 235 LCtx->printJson(Out, NL, Space, IsDot, [&](const LocationContext *LC) { 236 // LCtx item 204 printJson(raw_ostream &Out, const ASTContext &Ctx, const LocationContext *LCtx, const char *NL, unsigned int Space, bool IsDot) const argument [all...] |
H A D | ProgramState.cpp | 95 ProgramStateRef state, const StackFrameContext *LCtx, 109 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, 119 const LocationContext *LCtx, 126 return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx); 133 const LocationContext *LCtx) const { 138 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx); 142 ProgramState::bindDefaultZero(SVal loc, const LocationContext *LCtx) const { 147 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx); 156 const LocationContext *LCtx, 166 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscap 94 removeDeadBindingsFromEnvironmentAndStore( ProgramStateRef state, const StackFrameContext *LCtx, SymbolReaper &SymReaper) argument 117 bindLoc(Loc LV, SVal V, const LocationContext *LCtx, bool notifyChanges) const argument 154 invalidateRegions(RegionList Regions, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, const CallEvent *Call, RegionAndSymbolInvalidationTraits *ITraits) const argument 171 invalidateRegions(ValueList Values, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, const CallEvent *Call, RegionAndSymbolInvalidationTraits *ITraits) const argument 184 invalidateRegionsImpl(ValueList Values, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, RegionAndSymbolInvalidationTraits *ITraits, const CallEvent *Call) const argument 300 BindExpr(const Stmt *S, const LocationContext *LCtx, SVal V, bool Invalidate) const argument 442 printJson(raw_ostream &Out, const LocationContext *LCtx, const char *NL, unsigned int Space, bool IsDot) const argument 469 printDOT(raw_ostream &Out, const LocationContext *LCtx, unsigned int Space) const argument [all...] |
H A D | LoopUnrolling.cpp | 31 const LocationContext *LCtx; member in struct:LoopState 34 : K(InK), LoopStmt(S), LCtx(L), maxStep(N) {} 48 const LocationContext *getLocationContext() const { return LCtx; } 55 ID.AddPointer(LCtx); 254 auto LCtx = Pred->getLocationContext(); local 261 LCtx == LS.getHead().getLocationContext()) { 265 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); 272 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); 281 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); 284 LoopState::getUnrolled(LoopStmt, LCtx, innerMaxSte [all...] |
H A D | ExprEngineObjC.cpp | 25 const LocationContext *LCtx = Pred->getLocationContext(); local 26 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); 31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); 54 const LocationContext *LCtx = Pred->getLocationContext(); local 59 ProgramStateRef nextState = state->BindExpr(S, LCtx, hasElementsV); 71 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T, 78 nextState = nextState->bindLoc(elementV, V, LCtx);
|
H A D | SymbolManager.cpp | 86 << LCtx->getID(); 88 os << ", S" << S->getID(LCtx->getDecl()->getASTContext()); 184 const LocationContext *LCtx, 189 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag); 194 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag); 237 const LocationContext *LCtx, 240 SymbolMetadata::Profile(profile, R, S, T, LCtx, Count, SymbolTag); 245 new (SD) SymbolMetadata(SymbolCounter, R, S, T, LCtx, Count, SymbolTag); 512 if (LCtx == nullptr) 515 if (LCtx ! 183 conjureSymbol(const Stmt *E, const LocationContext *LCtx, QualType T, unsigned Count, const void *SymbolTag) argument 236 getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T, const LocationContext *LCtx, unsigned Count, const void *SymbolTag) argument [all...] |
H A D | ExprEngineCallAndReturn.cpp | 179 const LocationContext *LCtx = Pred->getLocationContext(); local 180 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, 181 LCtx->getAnalysisDeclContext()->getBody(), 230 const LocationContext *LCtx = CEBNode->getLocationContext(); local 231 SVal V = state->getSVal(RS, LCtx); 388 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, argument 393 while (LCtx) { 394 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) { 402 LCtx = LCtx 637 bindReturnValue(const CallEvent &Call, const LocationContext *LCtx, ProgramStateRef State) argument [all...] |
H A D | SValBuilder.cpp | 137 const LocationContext *LCtx, 148 T = LCtx->getAnalysisDeclContext()->getASTContext().getPointerType(ExType); 150 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count); 155 const LocationContext *LCtx, 164 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); 173 const LocationContext *LCtx, 182 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); 192 const LocationContext *LCtx, 200 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); 207 const LocationContext *LCtx, 135 conjureSymbolVal(const void *SymbolTag, const Expr *Ex, const LocationContext *LCtx, unsigned Count) argument 153 conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, QualType type, unsigned count) argument 172 conjureSymbolVal(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount) argument 191 getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, unsigned VisitCount) argument 204 getMetadataSymbolVal(const void *symbolTag, const MemRegion *region, const Expr *expr, QualType type, const LocationContext *LCtx, unsigned count) argument [all...] |
/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | LoopWidening.h | 29 const LocationContext *LCtx,
|
H A D | CallEvent.h | 144 const LocationContext *LCtx; member in class:clang::ento::CallEvent 168 : State(std::move(state)), LCtx(lctx), Origin(E) {} 171 : State(std::move(state)), LCtx(lctx), Origin(D) {} 175 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin), 213 return LCtx; 464 const LocationContext *LCtx) 465 : CallEvent(E, St, LCtx) {} 467 const LocationContext *LCtx) 468 : CallEvent(D, St, LCtx) {} 463 AnyFunctionCall(const Expr *E, ProgramStateRef St, const LocationContext *LCtx) argument 466 AnyFunctionCall(const Decl *D, ProgramStateRef St, const LocationContext *LCtx) argument 500 SimpleFunctionCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 536 BlockCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 640 CXXInstanceCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 643 CXXInstanceCall(const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx) argument 678 CXXMemberCall(const CXXMemberCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 719 CXXMemberOperatorCall(const CXXOperatorCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 781 CXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBaseDestructor, ProgramStateRef St, const LocationContext *LCtx) argument 828 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target, ProgramStateRef St, const LocationContext *LCtx) argument 876 CXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef St, const LocationContext *LCtx) argument 944 ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St, const LocationContext *LCtx) argument 1169 create(Arg A, ProgramStateRef St, const LocationContext *LCtx) argument 1176 create(Arg1 A1, Arg2 A2, ProgramStateRef St, const LocationContext *LCtx) argument 1183 create(Arg1 A1, Arg2 A2, Arg3 A3, ProgramStateRef St, const LocationContext *LCtx) argument 1192 create(Arg1 A1, Arg2 A2, Arg3 A3, Arg4 A4, ProgramStateRef St, const LocationContext *LCtx) argument 1217 getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument 1223 getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, ProgramStateRef State, const LocationContext *LCtx) argument 1229 getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBase, ProgramStateRef State, const LocationContext *LCtx) argument 1236 getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument [all...] |
H A D | SymbolManager.h | 79 const LocationContext *LCtx; member in class:clang::ento::SymbolConjured 86 LCtx(lctx), SymbolTag(symbolTag) { 105 QualType T, unsigned Count, const LocationContext *LCtx, 109 profile.AddPointer(LCtx); 116 Profile(profile, S, T, Count, LCtx, SymbolTag); 205 const LocationContext *LCtx; member in class:clang::ento::SymbolMetadata 211 const LocationContext *LCtx, unsigned count, const void *tag) 212 : SymbolData(SymbolMetadataKind, sym), R(r), S(s), T(t), LCtx(LCtx), 217 assert(LCtx); 104 Profile(llvm::FoldingSetNodeID& profile, const Stmt *S, QualType T, unsigned Count, const LocationContext *LCtx, const void *SymbolTag) argument 210 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t, const LocationContext *LCtx, unsigned count, const void *tag) argument 231 Profile(llvm::FoldingSetNodeID& profile, const MemRegion *R, const Stmt *S, QualType T, const LocationContext *LCtx, unsigned Count, const void *Tag) argument 492 conjureSymbol(const Expr *E, const LocationContext *LCtx, unsigned VisitCount, const void *SymbolTag = nullptr) argument 563 const StackFrameContext *LCtx; member in class:clang::ento::SymbolReaper [all...] |
H A D | SubEngine.h | 141 const LocationContext *LCtx, 148 const LocationContext *LCtx) { 149 return processRegionChanges(state, nullptr, MR, MR, LCtx, nullptr); 154 const LocationContext *LCtx, PointerEscapeKind Kind, 166 const LocationContext *LCtx, const char *NL, 146 processRegionChange(ProgramStateRef state, const MemRegion* MR, const LocationContext *LCtx) argument
|
H A D | SValBuilder.h | 180 const LocationContext *LCtx, 184 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag); 188 const LocationContext *LCtx, 191 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag); 208 const LocationContext *LCtx, 212 const LocationContext *LCtx, 216 const LocationContext *LCtx, 224 const LocationContext *LCtx, 233 const LocationContext *LCtx, 179 conjureSymbol(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag = nullptr) argument 187 conjureSymbol(const Expr *expr, const LocationContext *LCtx, unsigned visitCount, const void *symbolTag = nullptr) argument
|
H A D | ProgramState.h | 238 const LocationContext *LCtx, SVal V, 242 const LocationContext *LCtx, 246 const LocationContext *LCtx) const; 255 bindDefaultInitial(SVal loc, SVal V, const LocationContext *LCtx) const; 260 bindDefaultZero(SVal loc, const LocationContext *LCtx) const; 284 unsigned BlockCount, const LocationContext *LCtx, 291 unsigned BlockCount, const LocationContext *LCtx, 327 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const; 329 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const; 427 void printJson(raw_ostream &Out, const LocationContext *LCtx [all...] |
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CXXSelfAssignmentChecker.cpp | 41 const auto *LCtx = C.getLocationContext(); local 42 const auto *MD = dyn_cast<CXXMethodDecl>(LCtx->getDecl()); 50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); 51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); 54 ProgramStateRef SelfAssignState = State->bindLoc(Param, ThisVal, LCtx); 64 ProgramStateRef NonSelfAssignState = State->bindLoc(Param, ParamVal, LCtx);
|
H A D | UndefBranchChecker.cpp | 31 const LocationContext *LCtx; member in struct:__anon3428::UndefBranchChecker::FindUndefExpr 34 : St(std::move(S)), LCtx(L) {} 49 return St->getSVal(Ex, LCtx).isUndef();
|
H A D | BuiltinFunctionChecker.cpp | 39 const LocationContext *LCtx = C.getLocationContext(); local 74 C.addTransition(state->BindExpr(CE, LCtx, Arg)); 99 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); 127 C.addTransition(state->BindExpr(CE, LCtx, V));
|
H A D | CStringChecker.cpp | 72 const LocationContext *LCtx, 382 const LocationContext *LCtx = C.getLocationContext(); local 428 BufVal = state->getSVal(SecondBuf, LCtx); 466 const LocationContext *LCtx = C.getLocationContext(); local 467 SVal firstVal = state->getSVal(First, LCtx); 468 SVal secondVal = state->getSVal(Second, LCtx); 517 SVal LengthVal = state->getSVal(Size, LCtx); 895 const LocationContext *LCtx = C.getLocationContext(); local 899 SVal BufVal = state->getSVal(FirstBuf, LCtx); 901 SVal LengthVal = state->getSVal(Size, LCtx); 973 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local 1146 const LocationContext *LCtx = C.getLocationContext(); local 1284 const LocationContext *LCtx = C.getLocationContext(); local 1360 const LocationContext *LCtx = C.getLocationContext(); local 1544 const LocationContext *LCtx = C.getLocationContext(); local 1941 const LocationContext *LCtx = C.getLocationContext(); local 2075 const LocationContext *LCtx = C.getLocationContext(); local 2139 const LocationContext *LCtx = C.getLocationContext(); local 2169 const LocationContext *LCtx = C.getLocationContext(); local 2344 checkRegionChanges(ProgramStateRef state, const InvalidatedSymbols *, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx, const CallEvent *Call) const argument [all...] |
H A D | Taint.h | 31 const LocationContext *LCtx, 66 const LocationContext *LCtx,
|
H A D | CheckObjCDealloc.cpp | 154 bool isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx, 161 const ObjCImplDecl *getContainingObjCImpl(const LocationContext *LCtx) const; 264 const LocationContext *LCtx = C.getLocationContext(); local 279 for (auto *PropImpl : getContainingObjCImpl(LCtx)->property_impls()) { 495 const LocationContext *LCtx = C.getLocationContext(); local 525 cast<ObjCMethodDecl>(LCtx->getDecl())->getClassInterface()) 599 assert(!LCtx->inTopFrame() || State->get<UnreleasedIvarMap>().isEmpty()); 623 const LocationContext *LCtx = C.getLocationContext(); local 626 const ObjCImplDecl *Container = getContainingObjCImpl(LCtx); 795 /// Returns the ObjCImplDecl containing the method declaration in LCtx 975 isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx, SVal &SelfValOut) const argument 995 const LocationContext *LCtx = C.getLocationContext(); local [all...] |
H A D | Taint.cpp | 43 const LocationContext *LCtx, 45 return addTaint(State, State->getSVal(S, LCtx), Kind); 145 const LocationContext *LCtx, TaintTagType Kind) { 146 SVal val = State->getSVal(S, LCtx); 42 addTaint(ProgramStateRef State, const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) argument 144 isTainted(ProgramStateRef State, const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) argument
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/Analysis/ |
H A D | AnalysisDeclContext.cpp | 487 for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent()) { 488 switch (LCtx->getKind()) { 492 if (const auto *D = dyn_cast<NamedDecl>(LCtx->getDecl())) 496 if (const Stmt *S = cast<StackFrameContext>(LCtx)->getCallSite()) { 506 if (const Decl *D = cast<BlockInvocationContext>(LCtx)->getDecl()) { 514 printMoreInfoPerContext(LCtx); 530 for (const LocationContext *LCtx [all...] |