#include <BugReporterVisitor.h>
Public Member Functions | |
| TrackConstraintBRVisitor (DefinedSVal constraint, bool assumption) | |
| void | Profile (llvm::FoldingSetNodeID &ID) const override |
| 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. | |
Static Public Member Functions | |
| static const char * | getTag () |
Detailed Description
Definition at line 127 of file BugReporterVisitor.h.
Constructor & Destructor Documentation
| clang::ento::TrackConstraintBRVisitor::TrackConstraintBRVisitor | ( | DefinedSVal | constraint, |
| bool | assumption | ||
| ) | [inline] |
Definition at line 140 of file BugReporterVisitor.h.
Member Function Documentation
| const char * TrackConstraintBRVisitor::getTag | ( | ) | [static] |
Return the tag associated with this visitor. This tag will be used to make all PathDiagnosticPieces created by this visitor.
Definition at line 717 of file BugReporterVisitors.cpp.
Referenced by eventsDescribeSameCondition(), and VisitNode().
| void TrackConstraintBRVisitor::Profile | ( | llvm::FoldingSetNodeID & | ID | ) | const [override, virtual] |
Implements clang::ento::BugReporterVisitor.
Definition at line 708 of file BugReporterVisitors.cpp.
| PathDiagnosticPiece * TrackConstraintBRVisitor::VisitNode | ( | const ExplodedNode * | Succ, |
| const ExplodedNode * | Pred, | ||
| BugReporterContext & | BRC, | ||
| BugReport & | BR | ||
| ) | [override, virtual] |
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 728 of file BugReporterVisitors.cpp.
References clang::serialized_diags::create(), clang::ento::SVal::getAs(), clang::ento::ExplodedNode::getLocation(), clang::ento::BugReporterContext::getSourceManager(), getTag(), clang::ento::PathDiagnosticLocation::isValid(), P, clang::ento::PathDiagnosticPiece::setTag(), and X.
The documentation for this class was generated from the following files: