clang  6.0.0svn
Public Member Functions | Static Public Member Functions | List of all members
clang::ento::LikelyFalsePositiveSuppressionBRVisitor Class Referencefinal

Suppress reports that might lead to known false positives. More...

#include "clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitor.h"

Inheritance diagram for clang::ento::LikelyFalsePositiveSuppressionBRVisitor:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::LikelyFalsePositiveSuppressionBRVisitor:
Collaboration graph
[legend]

Public Member Functions

void Profile (llvm::FoldingSetNodeID &ID) const override
 
std::shared_ptr< PathDiagnosticPieceVisitNode (const ExplodedNode *N, const ExplodedNode *Prev, BugReporterContext &BRC, BugReport &BR) override
 Return a diagnostic piece which should be associated with the given node. More...
 
std::unique_ptr< PathDiagnosticPiecegetEndPath (BugReporterContext &BRC, const ExplodedNode *N, BugReport &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 ()
 

Static Public Member Functions

static void * getTag ()
 
- Static Public Member Functions inherited from clang::ento::BugReporterVisitor
static std::unique_ptr< PathDiagnosticPiecegetDefaultEndPath (BugReporterContext &BRC, const ExplodedNode *N, BugReport &BR)
 Generates the default final diagnostic piece. More...
 

Detailed Description

Suppress reports that might lead to known false positives.

Currently this suppresses reports based on locations of bugs.

Definition at line 249 of file BugReporterVisitor.h.

Member Function Documentation

◆ getEndPath()

std::unique_ptr< PathDiagnosticPiece > LikelyFalsePositiveSuppressionBRVisitor::getEndPath ( BugReporterContext BRC,
const ExplodedNode N,
BugReport BR 
)
overridevirtual

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

If returns NULL the default implementation will be used. Also note that at most one visitor of a BugReport should generate a non-NULL end of path diagnostic piece.

Reimplemented from clang::ento::BugReporterVisitor.

Definition at line 1689 of file BugReporterVisitors.cpp.

References clang::ento::BugReporterContext::getBugReporter(), and clang::ento::GRBugReporter::getEngine().

◆ getTag()

static void* clang::ento::LikelyFalsePositiveSuppressionBRVisitor::getTag ( )
inlinestatic

Definition at line 252 of file BugReporterVisitor.h.

◆ Profile()

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

Implements clang::ento::BugReporterVisitor.

Definition at line 257 of file BugReporterVisitor.h.

◆ VisitNode()

std::shared_ptr<PathDiagnosticPiece> clang::ento::LikelyFalsePositiveSuppressionBRVisitor::VisitNode ( const ExplodedNode Succ,
const ExplodedNode Pred,
BugReporterContext BRC,
BugReport BR 
)
inlineoverridevirtual

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 261 of file BugReporterVisitor.h.

References clang::ento::BugReporterVisitor::getEndPath().


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