Inheritance diagram for clang::ento::retaincountchecker::RefLeakReport:
Public Member Functions | |
| RefLeakReport (const RefCountBug &D, const LangOptions &LOpts, ExplodedNode *n, SymbolRef sym, CheckerContext &Ctx) | |
| PathDiagnosticLocation | getLocation () const override |
| The primary location of the bug report that points at the undesirable behavior in the code. | |
| PathDiagnosticLocation | getEndOfPath () const |
 Public Member Functions inherited from clang::ento::retaincountchecker::RefCountReport | |
| RefCountReport (const RefCountBug &D, const LangOptions &LOpts, ExplodedNode *n, SymbolRef sym, bool isLeak=false) | |
| RefCountReport (const RefCountBug &D, const LangOptions &LOpts, ExplodedNode *n, SymbolRef sym, StringRef endText) | |
| ArrayRef< SourceRange > | getRanges () const override |
| Get the SourceRanges associated with the report. | |
| Public Member Functions inherited from clang::ento::PathSensitiveBugReport | |
| PathSensitiveBugReport (const BugType &bt, StringRef desc, const ExplodedNode *errorNode) | |
| PathSensitiveBugReport (const BugType &bt, StringRef shortDesc, StringRef desc, const ExplodedNode *errorNode) | |
| PathSensitiveBugReport (const BugType &bt, StringRef desc, const ExplodedNode *errorNode, PathDiagnosticLocation LocationToUnique, const Decl *DeclToUnique) | |
| Create a PathSensitiveBugReport with a custom uniqueing location. | |
| PathSensitiveBugReport (const BugType &bt, StringRef shortDesc, StringRef desc, const ExplodedNode *errorNode, PathDiagnosticLocation LocationToUnique, const Decl *DeclToUnique) | |
| const ExplodedNode * | getErrorNode () const |
| bool | shouldPrunePath () const |
| Indicates whether or not any path pruning should take place when generating a PathDiagnostic from this BugReport. | |
| void | disablePathPruning () |
| Disable all path pruning when generating a PathDiagnostic. | |
| PathDiagnosticLocation | getUniqueingLocation () const override |
| Get the location on which the report should be uniqued. | |
| const Decl * | getUniqueingDecl () const override |
| Get the declaration containing the uniqueing location. | |
| const Decl * | getDeclWithIssue () const override |
| The smallest declaration that contains the bug location. | |
| ArrayRef< SourceRange > | getRanges () const override |
| Get the SourceRanges associated with the report. | |
| PathDiagnosticLocation | getLocation () const override |
| The primary location of the bug report that points at the undesirable behavior in the code. | |
| void | markInteresting (SymbolRef sym, bugreporter::TrackingKind TKind=bugreporter::TrackingKind::Thorough) |
| Marks a symbol as interesting. | |
| void | markNotInteresting (SymbolRef sym) |
| void | markInteresting (const MemRegion *R, bugreporter::TrackingKind TKind=bugreporter::TrackingKind::Thorough) |
| Marks a region as interesting. | |
| void | markNotInteresting (const MemRegion *R) |
| void | markInteresting (SVal V, bugreporter::TrackingKind TKind=bugreporter::TrackingKind::Thorough) |
| Marks a symbolic value as interesting. | |
| void | markInteresting (const LocationContext *LC) |
| bool | isInteresting (SymbolRef sym) const |
| bool | isInteresting (const MemRegion *R) const |
| bool | isInteresting (SVal V) const |
| bool | isInteresting (const LocationContext *LC) const |
| std::optional< bugreporter::TrackingKind > | getInterestingnessKind (SymbolRef sym) const |
| std::optional< bugreporter::TrackingKind > | getInterestingnessKind (const MemRegion *R) const |
| std::optional< bugreporter::TrackingKind > | getInterestingnessKind (SVal V) const |
| bool | isValid () const |
| Returns whether or not this report should be considered valid. | |
| void | markInvalid (const void *Tag, const void *Data) |
| Marks the current report as invalid, meaning that it is probably a false positive and should not be reported to the user. | |
| void | Profile (llvm::FoldingSetNodeID &hash) const override |
| Profile to identify equivalent bug reports for error report coalescing. | |
| void | clearVisitors () |
| Remove all visitors attached to this bug report. | |
| visitor_iterator | visitor_begin () |
| Iterators through the custom diagnostic visitors. | |
| visitor_iterator | visitor_end () |
| visitor_range | visitors () |
| bool | addTrackedCondition (const ExplodedNode *Cond) |
Notes that the condition of the CFGBlock associated with Cond is being tracked. | |
| void | addCallStackHint (PathDiagnosticPieceRef Piece, std::unique_ptr< StackHintGenerator > StackHint) |
| bool | hasCallStackHint (PathDiagnosticPieceRef Piece) const |
| std::string | getCallStackMessage (PathDiagnosticPieceRef Piece, const ExplodedNode *N) const |
| Produce the hint for the given node. | |
| void | addVisitor (std::unique_ptr< BugReporterVisitor > visitor) |
| Add custom or predefined bug report visitors to this report. | |
| template<class VisitorType , class... Args> | |
| void | addVisitor (Args &&... ConstructorArgs) |
| Public Member Functions inherited from clang::ento::BugReport | |
| virtual | ~BugReport ()=default |
| Kind | getKind () const |
| const BugType & | getBugType () const |
| StringRef | getDescription () const |
| A verbose warning message that is appropriate for displaying next to the source code that introduces the problem. | |
| StringRef | getShortDescription (bool UseFallback=true) const |
| A short general warning message that is appropriate for displaying in the list of all reported bugs. | |
| virtual PathDiagnosticLocation | getLocation () const =0 |
| The primary location of the bug report that points at the undesirable behavior in the code. | |
| virtual const Decl * | getDeclWithIssue () const =0 |
| The smallest declaration that contains the bug location. | |
| virtual PathDiagnosticLocation | getUniqueingLocation () const =0 |
| Get the location on which the report should be uniqued. | |
| virtual const Decl * | getUniqueingDecl () const =0 |
| Get the declaration that corresponds to (usually contains) the uniqueing location. | |
| void | addNote (StringRef Msg, const PathDiagnosticLocation &Pos, ArrayRef< SourceRange > Ranges={}) |
| Add new item to the list of additional notes that need to be attached to this report. | |
| ArrayRef< std::shared_ptr< PathDiagnosticNotePiece > > | getNotes () |
| void | addRange (SourceRange R) |
| Add a range to a bug report. | |
| virtual ArrayRef< SourceRange > | getRanges () const |
| Get the SourceRanges associated with the report. | |
| void | addFixItHint (const FixItHint &F) |
| Add a fix-it hint to the bug report. | |
| llvm::ArrayRef< FixItHint > | getFixits () const |
| virtual void | Profile (llvm::FoldingSetNodeID &hash) const =0 |
| Reports are uniqued to ensure that we do not emit multiple diagnostics for each bug. | |
Additional Inherited Members | |
| Public Types inherited from clang::ento::PathSensitiveBugReport | |
| using | VisitorList = SmallVector< std::unique_ptr< BugReporterVisitor >, 8 > |
| using | visitor_iterator = VisitorList::iterator |
| using | visitor_range = llvm::iterator_range< visitor_iterator > |
| Public Types inherited from clang::ento::BugReport | |
| enum class | Kind { Basic , PathSensitive } |
| Static Public Member Functions inherited from clang::ento::PathSensitiveBugReport | |
| static bool | classof (const BugReport *R) |
| Protected Types inherited from clang::ento::PathSensitiveBugReport | |
| using | InvalidationRecord = std::pair< const void *, const void * > |
| Used to track unique reasons why a bug report might be invalid. | |
| Protected Member Functions inherited from clang::ento::PathSensitiveBugReport | |
| const Stmt * | getStmt () const |
| Protected Member Functions inherited from clang::ento::BugReport | |
| BugReport (Kind kind, const BugType &bt, StringRef desc) | |
| BugReport (Kind K, const BugType &BT, StringRef ShortDescription, StringRef Description) | |
| Protected Attributes inherited from clang::ento::retaincountchecker::RefCountReport | |
| SymbolRef | Sym |
| bool | isLeak = false |
| Protected Attributes inherited from clang::ento::PathSensitiveBugReport | |
| const ExplodedNode * | ErrorNode = nullptr |
| The ExplodedGraph node against which the report was thrown. | |
| const SourceRange | ErrorNodeRange |
| The range that corresponds to ErrorNode's program point. | |
| llvm::DenseMap< SymbolRef, bugreporter::TrackingKind > | InterestingSymbols |
| Profile to identify equivalent bug reports for error report coalescing. | |
| llvm::DenseMap< const MemRegion *, bugreporter::TrackingKind > | InterestingRegions |
| A (stack of) set of regions that are registered with this report as being "interesting", and thus used to help decide which diagnostics to include when constructing the final path diagnostic. | |
| llvm::SmallSet< const LocationContext *, 2 > | InterestingLocationContexts |
| A set of location contexts that correspoind to call sites which should be considered "interesting". | |
| VisitorList | Callbacks |
| A set of custom visitors which generate "event" diagnostics at interesting points in the path. | |
| llvm::FoldingSet< BugReporterVisitor > | CallbacksSet |
| Used for ensuring the visitors are only added once. | |
| bool | DoNotPrunePath = false |
| When set, this flag disables all callstack pruning from a diagnostic path. | |
| llvm::SmallSet< InvalidationRecord, 4 > | Invalidations |
| If non-empty, this bug report is likely a false positive and should not be shown to the user. | |
| llvm::SmallSet< const ExplodedNode *, 4 > | TrackedConditions |
| Conditions we're already tracking. | |
| PathDiagnosticLocation | UniqueingLocation |
| Reports with different uniqueing locations are considered to be different for the purposes of deduplication. | |
| const Decl * | UniqueingDecl |
| std::map< PathDiagnosticPieceRef, std::unique_ptr< StackHintGenerator > > | StackHints |
| If an event occurs in a different frame than the final diagnostic, supply a message that will be used to construct an extra hint on the returns from all the calls on the stack from this event to the final diagnostic. | |
| Protected Attributes inherited from clang::ento::BugReport | |
| Kind | K |
| const BugType & | BT |
| std::string | ShortDescription |
| std::string | Description |
| SmallVector< SourceRange, 4 > | Ranges |
| SmallVector< std::shared_ptr< PathDiagnosticNotePiece >, 4 > | Notes |
| SmallVector< FixItHint, 4 > | Fixits |
Detailed Description
Definition at line 70 of file RetainCountDiagnostics.h.
Constructor & Destructor Documentation
◆ RefLeakReport()
| RefLeakReport::RefLeakReport | ( | const RefCountBug & | D, |
| const LangOptions & | LOpts, | ||
| ExplodedNode * | n, | ||
| SymbolRef | sym, | ||
| CheckerContext & | Ctx | ||
| ) |
Definition at line 988 of file RetainCountDiagnostics.cpp.
References clang::ento::retaincountchecker::RefCountReport::Sym.
Member Function Documentation
◆ getEndOfPath()
|
inline |
Definition at line 94 of file RetainCountDiagnostics.h.
References clang::ento::PathSensitiveBugReport::getLocation().
◆ getLocation()
|
inlineoverridevirtual |
The primary location of the bug report that points at the undesirable behavior in the code.
UIs should attach the warning description to this location. The warning description should describe the bad behavior at this location.
Reimplemented from clang::ento::PathSensitiveBugReport.
Definition at line 89 of file RetainCountDiagnostics.h.
References clang::ento::PathDiagnosticLocation::isValid().
The documentation for this class was generated from the following files:
- lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.h
- lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp
