| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/ |
| H A D | AnalysisDeclContext.h | 42 class LocationContext; variable
181 const StackFrameContext *getStackFrame(LocationContext const *ParentLC,
187 getBlockInvocationContext(const LocationContext *ParentLC,
215 class LocationContext : public llvm::FoldingSetNode {
226 const LocationContext *Parent;
230 LocationContext(ContextKind k, AnalysisDeclContext *ctx, in LocationContext() function
231 const LocationContext *parent, int64_t ID) in LocationContext()
237 virtual ~LocationContext();
247 const LocationContext *getParent() const { return Parent; } in getParent()
249 bool isParentOf(const LocationContext *LC) const;
[all …]
|
| H A D | ProgramPoint.h | 33 class LocationContext; variable
100 llvm::PointerIntPair<const LocationContext *, 2, unsigned> L;
108 ProgramPoint(const void *P, Kind k, const LocationContext *l,
119 ProgramPoint(const void *P1, const void *P2, Kind k, const LocationContext *l,
181 const LocationContext *getLocationContext() const { in getLocationContext()
221 const LocationContext *LC,
228 const LocationContext *L, const ProgramPointTag *Tag = nullptr)
256 BlockExit(const CFGBlock *B, const LocationContext *L) in BlockExit()
278 StmtPoint(const Stmt *S, const void *p2, Kind k, const LocationContext *L, in StmtPoint()
302 PreStmt(const Stmt *S, const LocationContext *L, const ProgramPointTag *tag,
[all …]
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 60 class LocationContext; variable
189 bool ExecuteWorkList(const LocationContext *L, unsigned Steps = 150000) {
224 const LocationContext *getRootLocationContext() const { in getRootLocationContext()
254 ProgramStateRef getInitialState(const LocationContext *InitLoc);
285 const Stmt *ReferenceStmt, const LocationContext *LC,
403 const LocationContext *LCtx,
409 const LocationContext *LCtx) { in processRegionChange()
415 const LocationContext *LCtx, const char *NL,
605 const LocationContext *LCtx, QualType T,
622 const LocationContext *LCtx);
[all …]
|
| H A D | CallEvent.h | 53 class LocationContext; variable
159 const LocationContext *LCtx;
184 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx, in CallEvent()
188 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx, in CallEvent()
238 const LocationContext *getLocationContext() const { return LCtx; } in getLocationContext()
502 const LocationContext *LCtx, in AnyFunctionCall()
506 const LocationContext *LCtx, in AnyFunctionCall()
541 const LocationContext *LCtx, in SimpleFunctionCall()
580 BlockCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx, in BlockCall()
682 const LocationContext *LCtx, in CXXInstanceCall()
[all …]
|
| H A D | ProgramState.h | 271 const VarRegion* getRegion(const VarDecl *D, const LocationContext *LC) const;
280 const LocationContext *LCtx, SVal V,
284 const LocationContext *LCtx,
288 const LocationContext *LCtx) const;
297 bindDefaultInitial(SVal loc, SVal V, const LocationContext *LCtx) const;
302 bindDefaultZero(SVal loc, const LocationContext *LCtx) const;
330 const LocationContext *LCtx, bool CausesPointerEscape,
337 unsigned BlockCount, const LocationContext *LCtx,
349 SVal getSelfSVal(const LocationContext *LC) const;
359 Loc getLValue(const VarDecl *D, const LocationContext *LC) const;
[all …]
|
| H A D | SValBuilder.h | 44 class LocationContext; variable
176 const LocationContext *LCtx,
196 const LocationContext *LCtx,
200 const LocationContext *LCtx,
203 const LocationContext *LCtx,
214 const LocationContext *LCtx,
223 const LocationContext *LCtx,
232 const LocationContext *LCtx,
240 const LocationContext *locContext,
|
| H A D | Environment.h | 38 EnvironmentEntry(const Stmt *s, const LocationContext *L);
41 const LocationContext *getLocationContext() const { return second; } in getLocationContext()
95 const LocationContext *LCtx = nullptr, const char *NL = "\n",
|
| H A D | Store.h | 40 class LocationContext; variable
135 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
143 virtual Loc getLValueVar(const VarDecl *VD, const LocationContext *LC) { in getLValueVar()
148 const LocationContext *LC) { in getLValueCompoundLiteral()
245 unsigned Count, const LocationContext *LCtx, const CallEvent *Call,
|
| H A D | SymbolManager.h | 86 const LocationContext *LCtx;
91 const LocationContext *lctx, QualType t, unsigned count, in SymbolConjured()
116 const LocationContext *LCtx, QualType T, unsigned Count, in Profile()
225 const LocationContext *LCtx;
233 const LocationContext *LCtx, unsigned count, const void *tag) in SymbolMetadata()
251 const LocationContext *getLocationContext() const { return LCtx; } in getLocationContext()
265 const Stmt *S, QualType T, const LocationContext *LCtx, in Profile()
538 const LocationContext *LCtx, QualType T,
600 const LocationContext *getLocationContext() const { return LCtx; } in getLocationContext()
604 bool isLive(const Expr *ExprVal, const LocationContext *LCtx) const;
|
| H A D | CoreEngine.h | 151 bool ExecuteWorkList(const LocationContext *L, unsigned Steps,
201 const LocationContext *LC;
205 const LocationContext *L) in NodeBuilderContext()
220 const LocationContext *getLocationContext() const { return LC; } in getLocationContext()
511 const LocationContext *getLocationContext() const { in getLocationContext()
565 const LocationContext *getLocationContext() const { in getLocationContext()
|
| H A D | MemRegion.h | 51 class LocationContext; variable
710 const LocationContext *LC; // Can be null
715 BlockDataRegion(const BlockCodeRegion *bc, const LocationContext *lc, in BlockDataRegion()
728 const LocationContext *, unsigned,
1495 const LocationContext *LC);
1501 const LocationContext *LC);
1506 const LocationContext *LC);
1522 const VarRegion *getVarRegion(const VarDecl *VD, const LocationContext *LC);
1533 const LocationContext *LC);
1567 LocationContext const *LC);
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | AnalysisDeclContext.cpp | 309 AnalysisDeclContext::getStackFrame(const LocationContext *ParentLC, in getStackFrame()
317 const LocationContext *ParentLC, const BlockDecl *BD, const void *Data) { in getBlockInvocationContext()
401 void LocationContext::ProfileCommon(llvm::FoldingSetNodeID &ID, in ProfileCommon()
404 const LocationContext *parent, in ProfileCommon()
426 AnalysisDeclContext *ctx, const LocationContext *parent, const Stmt *s, in getStackFrame()
441 AnalysisDeclContext *ADC, const LocationContext *ParentLC, in getBlockInvocationContext()
460 const StackFrameContext *LocationContext::getStackFrame() const { in getStackFrame()
461 const LocationContext *LC = this; in getStackFrame()
470 bool LocationContext::inTopFrame() const { in inTopFrame()
474 bool LocationContext::isParentOf(const LocationContext *LC) const { in isParentOf()
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 125 std::pair<ConstructionContextItem, const LocationContext *>;
130 const LocationContext *LC) in ConstructedObjectKey()
134 const LocationContext *getLocationContext() const { return Impl.second; } in getLocationContext()
198 std::pair<const CXXConstructExpr *, const LocationContext *>, unsigned>
207 std::pair<const CXXConstructExpr *, const LocationContext *>, unsigned>
211 typedef llvm::ImmutableMap<const LocationContext *, unsigned>
245 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) { in getInitialState()
323 ProgramStateRef State, const LocationContext *LC, in createTemporaryRegionIfNeeded()
478 const LocationContext *LCtx, unsigned Idx) { in setIndexOfElementToConstruct()
488 const LocationContext *LCtx) { in getPendingInitLoop()
[all …]
|
| H A D | Environment.cpp | 72 EnvironmentEntry::EnvironmentEntry(const Stmt *S, const LocationContext *L) in EnvironmentEntry()
96 const LocationContext *LCtx = Entry.getLocationContext(); in getSVal()
216 const LocationContext *LCtx, const char *NL, in printJson()
228 llvm::SmallPtrSet<const LocationContext *, 16> FoundContexts; in printJson()
230 const LocationContext *LC = I.first.getLocationContext(); in printJson()
234 for (const LocationContext *LCI = LC; LCI; LCI = LCI->getParent()) in printJson()
246 LCtx->printJson(Out, NL, Space, IsDot, [&](const LocationContext *LC) { in printJson()
|
| H A D | ExprEngineC.cpp | 33 const LocationContext *LCtx) { in conjureOffsetSymbolOnLocation()
58 const LocationContext *LCtx = (*it)->getLocationContext(); in VisitBinaryOperator()
141 const LocationContext *LCtx = N->getLocationContext(); in VisitBinaryOperator()
237 const LocationContext *LCtx = Pred->getLocationContext(); in VisitBlockExpr()
259 ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx, in handleLValueBitCast()
295 const LocationContext *LCtx = Node->getLocationContext(); in VisitCast()
307 const LocationContext *LCtx = Node->getLocationContext(); in VisitCast()
317 const LocationContext *LCtx = Node->getLocationContext(); in VisitCast()
344 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
373 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
[all …]
|
| H A D | PrettyStackTraceLocationContext.h | 29 const LocationContext *LCtx;
31 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) { in PrettyStackTraceLocationContext()
|
| H A D | LoopUnrolling.cpp | 33 const LocationContext *LCtx;
35 LoopState(Kind InK, const Stmt *S, const LocationContext *L, unsigned N) in LoopState()
39 static LoopState getNormal(const Stmt *S, const LocationContext *L, in getNormal()
43 static LoopState getUnrolled(const Stmt *S, const LocationContext *L, in getUnrolled()
50 const LocationContext *getLocationContext() const { return LCtx; } in getLocationContext()
173 const LocationContext *LocCtxt = N->getLocationContext(); in isCapturedByReference()
|
| H A D | ProgramState.cpp | 115 const LocationContext *LCtx, in bindLoc()
130 const LocationContext *LCtx) const { in bindDefaultInitial()
139 ProgramState::bindDefaultZero(SVal loc, const LocationContext *LCtx) const { in bindDefaultZero()
152 const LocationContext *LCtx, bool CausedByPointerEscape, in invalidateRegions()
165 const LocationContext *LCtx, bool CausedByPointerEscape, in invalidateRegions()
239 SVal ProgramState::getSelfSVal(const LocationContext *LCtx) const { in getSelfSVal()
302 const LocationContext *LCtx, in BindExpr()
394 ProgramStateRef ProgramStateManager::getInitialState(const LocationContext *InitLoc) { in getInitialState()
490 void ProgramState::printJson(raw_ostream &Out, const LocationContext *LCtx, in printJson()
517 void ProgramState::printDOT(raw_ostream &Out, const LocationContext *LCtx, in printDOT()
|
| H A D | ExprEngineCXX.cpp | 39 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject()
67 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy()
133 const LocationContext *LCtx, const ConstructionContext *CC, in computeObjectUnderConstruction()
217 if (const LocationContext *CallerLCtx = SFC->getParent()) { in computeObjectUnderConstruction()
348 const LocationContext *FutureSFC = in computeObjectUnderConstruction()
410 SVal V, const Expr *E, ProgramStateRef State, const LocationContext *LCtx, in updateObjectsUnderConstruction()
443 const LocationContext *CallerLCtx = SFC->getParent(); in updateObjectsUnderConstruction()
526 const LocationContext *LCtx, NonLoc Idx) { in bindRequiredArrayElementToEnvironment()
554 const LocationContext *LCtx = Pred->getLocationContext(); in handleConstructor()
834 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXDestructor()
[all …]
|
| H A D | ExprEngineCallAndReturn.cpp | 179 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction()
224 const LocationContext *LCtx) { in removeStateTraitsUsedForArrayEvaluation()
293 const LocationContext *LCtx = CEBNode->getLocationContext(); in processCallExit()
458 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, in examineStackFrames()
535 const LocationContext *CurLC = Pred->getLocationContext(); in inlineCall()
537 const LocationContext *ParentOfCallee = CallerSFC; in inlineCall()
637 const LocationContext *LC = Call.getLocationContext(); in finishArgumentConstruction()
664 const LocationContext *LC = Call.getLocationContext(); in finishArgumentConstruction()
741 const LocationContext *LCtx, in bindReturnValue()
845 const LocationContext *CurLC = Pred->getLocationContext(); in mayInlineCallKind()
[all …]
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | Taint.h | 31 const LocationContext *LCtx,
66 const LocationContext *LCtx,
84 const LocationContext *LCtx,
103 const LocationContext *LCtx,
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | TraversalChecker.cpp | 70 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPreCall()
87 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPostCall()
|
| H A D | CheckObjCDealloc.cpp | 160 bool isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx,
167 const ObjCImplDecl *getContainingObjCImpl(const LocationContext *LCtx) const;
270 const LocationContext *LCtx = C.getLocationContext(); in checkBeginFunction()
503 const LocationContext *LCtx = C.getLocationContext(); in diagnoseMissingReleases()
631 const LocationContext *LCtx = C.getLocationContext(); in findPropertyOnDeallocatingInstance()
788 ObjCDeallocChecker::getContainingObjCImpl(const LocationContext *LCtx) const { in getContainingObjCImpl()
967 const LocationContext *LCtx, in isInInstanceDealloc()
986 const LocationContext *LCtx = C.getLocationContext(); in instanceDeallocIsOnStack()
|
| H A D | Taint.cpp | 47 const LocationContext *LCtx, in addTaint()
149 const LocationContext *LCtx, TaintTagType Kind) { in isTainted()
172 const LocationContext *LCtx, in getTaintedSymbols()
196 const LocationContext *LCtx, in getTaintedSymbolsImpl()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 171 findArgIdxOfSymbol(ProgramStateRef CurrSt, const LocationContext *LCtx, in findArgIdxOfSymbol()
211 const LocationContext *LCtx, in generateDiagnosticsForCallLike()
479 const LocationContext *LCtx = N->getLocationContext(); in VisitNode()
660 const LocationContext *InterestingMethodContext;
663 const LocationContext *InInterestingMethodContext) : in AllocationInfo()
673 const LocationContext *LeakContext = N->getLocationContext(); in GetAllocationSite()
677 const LocationContext *InitMethodContext = nullptr; in GetAllocationSite()
681 const LocationContext *NContext = N->getLocationContext(); in GetAllocationSite()
731 const LocationContext *InterestingMethodContext = nullptr; in GetAllocationSite()
|