#include <BugReporterVisitor.h>
Public Member Functions | |
| SuppressInlineDefensiveChecksVisitor (DefinedSVal Val, const ExplodedNode *N) | |
| void | Profile (llvm::FoldingSetNodeID &ID) const override |
| PathDiagnosticPiece * | VisitNode (const ExplodedNode *Succ, const ExplodedNode *Pred, 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 300 of file BugReporterVisitor.h.
Constructor & Destructor Documentation
| SuppressInlineDefensiveChecksVisitor::SuppressInlineDefensiveChecksVisitor | ( | DefinedSVal | Val, |
| const ExplodedNode * | N | ||
| ) |
Definition at line 783 of file BugReporterVisitors.cpp.
References clang::ento::SubEngine::getAnalysisManager(), clang::ento::ExplodedNode::getState(), clang::ento::AnalysisManager::options, and clang::AnalyzerOptions::shouldSuppressInlinedDefensiveChecks().
Member Function Documentation
| const char * SuppressInlineDefensiveChecksVisitor::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 803 of file BugReporterVisitors.cpp.
| void SuppressInlineDefensiveChecksVisitor::Profile | ( | llvm::FoldingSetNodeID & | ID | ) | const [override, virtual] |
Implements clang::ento::BugReporterVisitor.
Definition at line 797 of file BugReporterVisitors.cpp.
| PathDiagnosticPiece * SuppressInlineDefensiveChecksVisitor::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 808 of file BugReporterVisitors.cpp.
References clang::ento::BugReport::getErrorNode(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::ExplodedNode::getState(), clang::LocationContext::isParentOf(), and clang::ento::BugReport::markInvalid().
The documentation for this class was generated from the following files: