|
clang
5.0.0
|
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitor.h"
Public Member Functions | |
| TrackConstraintBRVisitor (DefinedSVal constraint, bool assumption) | |
| void | Profile (llvm::FoldingSetNodeID &ID) const override |
| std::shared_ptr < PathDiagnosticPiece > | VisitNode (const ExplodedNode *N, const ExplodedNode *PrevN, BugReporterContext &BRC, BugReport &BR) override |
| Return a diagnostic piece which should be associated with the given node. More... | |
Public Member Functions inherited from clang::ento::BugReporterVisitor | |
| BugReporterVisitor ()=default | |
| BugReporterVisitor (const BugReporterVisitor &)=default | |
| BugReporterVisitor (BugReporterVisitor &&) | |
| virtual | ~BugReporterVisitor () |
| virtual std::unique_ptr < PathDiagnosticPiece > | getEndPath (BugReporterContext &BRC, const ExplodedNode *N, BugReport &BR) |
| Provide custom definition for the final diagnostic piece on the path - the piece, which is displayed before the path is expanded. More... | |
Static Public Member Functions | |
| static const char * | getTag () |
| Return the tag associated with this visitor. More... | |
Static Public Member Functions inherited from clang::ento::BugReporterVisitor | |
| static std::unique_ptr < PathDiagnosticPiece > | getDefaultEndPath (BugReporterContext &BRC, const ExplodedNode *N, BugReport &BR) |
| Generates the default final diagnostic piece. More... | |
Definition at line 129 of file BugReporterVisitor.h.
|
inline |
Definition at line 141 of file BugReporterVisitor.h.
|
static |
Return the tag associated with this visitor.
This tag will be used to make all PathDiagnosticPieces created by this visitor.
Definition at line 721 of file BugReporterVisitors.cpp.
Referenced by eventsDescribeSameCondition(), and VisitNode().
|
overridevirtual |
Implements clang::ento::BugReporterVisitor.
Definition at line 712 of file BugReporterVisitors.cpp.
|
overridevirtual |
Return a diagnostic piece which should be associated with the given node.
The last parameter can be used to register a new visitor with the given BugReport while processing a node.
Implements clang::ento::BugReporterVisitor.
Definition at line 732 of file BugReporterVisitors.cpp.
References clang::ento::PathDiagnosticLocation::create(), clang::ento::SVal::getAs(), clang::ento::ExplodedNode::getLocation(), clang::ento::BugReporterContext::getSourceManager(), getTag(), clang::ento::PathDiagnosticLocation::isValid(), P, and X.
1.8.6