clang  14.0.0git
Public Member Functions | Protected Attributes | List of all members
clang::ento::retaincountchecker::RefCountReportVisitor Class Reference
Inheritance diagram for clang::ento::retaincountchecker::RefCountReportVisitor:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::retaincountchecker::RefCountReportVisitor:
Collaboration graph
[legend]

Public Member Functions

 RefCountReportVisitor (SymbolRef sym)
 
void Profile (llvm::FoldingSetNodeID &ID) const override
 
PathDiagnosticPieceRef VisitNode (const ExplodedNode *N, BugReporterContext &BRC, PathSensitiveBugReport &BR) override
 Return a diagnostic piece which should be associated with the given node. More...
 
PathDiagnosticPieceRef getEndPath (BugReporterContext &BRC, const ExplodedNode *N, PathSensitiveBugReport &BR) override
 Provide custom definition for the final diagnostic piece on the path - the piece, which is displayed before the path is expanded. More...
 
- Public Member Functions inherited from clang::ento::BugReporterVisitor
 BugReporterVisitor ()=default
 
 BugReporterVisitor (const BugReporterVisitor &)=default
 
 BugReporterVisitor (BugReporterVisitor &&)
 
virtual ~BugReporterVisitor ()
 
virtual void finalizeVisitor (BugReporterContext &BRC, const ExplodedNode *EndPathNode, PathSensitiveBugReport &BR)
 Last function called on the visitor, no further calls to VisitNode would follow. More...
 

Protected Attributes

SymbolRef Sym
 

Additional Inherited Members

- Static Public Member Functions inherited from clang::ento::BugReporterVisitor
static PathDiagnosticPieceRef getDefaultEndPath (const BugReporterContext &BRC, const ExplodedNode *N, const PathSensitiveBugReport &BR)
 Generates the default final diagnostic piece. More...
 

Detailed Description

Definition at line 315 of file RetainCountDiagnostics.cpp.

Constructor & Destructor Documentation

◆ RefCountReportVisitor()

clang::ento::retaincountchecker::RefCountReportVisitor::RefCountReportVisitor ( SymbolRef  sym)
inline

Definition at line 320 of file RetainCountDiagnostics.cpp.

Member Function Documentation

◆ getEndPath()

PathDiagnosticPieceRef RefCountReportVisitor::getEndPath ( BugReporterContext BRC,
const ExplodedNode N,
PathSensitiveBugReport BR 
)
overridevirtual

Provide custom definition for the final diagnostic piece on the path - the piece, which is displayed before the path is expanded.

NOTE that this function can be implemented on at most one used visitor, and otherwise it crahes at runtime.

Reimplemented from clang::ento::BugReporterVisitor.

Reimplemented in clang::ento::retaincountchecker::RefLeakReportVisitor.

Definition at line 754 of file RetainCountDiagnostics.cpp.

References clang::ento::BugReporterVisitor::getDefaultEndPath(), clang::ento::PathSensitiveBugReport::markInteresting(), and Sym.

◆ Profile()

void clang::ento::retaincountchecker::RefCountReportVisitor::Profile ( llvm::FoldingSetNodeID &  ID) const
inlineoverridevirtual

Implements clang::ento::BugReporterVisitor.

Definition at line 322 of file RetainCountDiagnostics.cpp.

References x.

◆ VisitNode()

PathDiagnosticPieceRef RefCountReportVisitor::VisitNode ( const ExplodedNode Succ,
BugReporterContext BRC,
PathSensitiveBugReport BR 
)
overridevirtual

Member Data Documentation

◆ Sym

SymbolRef clang::ento::retaincountchecker::RefCountReportVisitor::Sym
protected

The documentation for this class was generated from the following file: