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

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

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

Public Member Functions

 TrackConstraintBRVisitor (DefinedSVal constraint, bool assumption)
 
void Profile (llvm::FoldingSetNodeID &ID) const override
 
std::shared_ptr< PathDiagnosticPieceVisitNode (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< PathDiagnosticPiecegetEndPath (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< PathDiagnosticPiecegetDefaultEndPath (BugReporterContext &BRC, const ExplodedNode *N, BugReport &BR)
 Generates the default final diagnostic piece. More...
 

Detailed Description

Definition at line 129 of file BugReporterVisitor.h.

Constructor & Destructor Documentation

◆ TrackConstraintBRVisitor()

clang::ento::TrackConstraintBRVisitor::TrackConstraintBRVisitor ( DefinedSVal  constraint,
bool  assumption 
)
inline

Member Function Documentation

◆ getTag()

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 721 of file BugReporterVisitors.cpp.

References clang::ento::ExplodedNode::getState().

Referenced by eventsDescribeSameCondition().

◆ Profile()

void TrackConstraintBRVisitor::Profile ( llvm::FoldingSetNodeID &  ID) const
overridevirtual

Implements clang::ento::BugReporterVisitor.

Definition at line 712 of file BugReporterVisitors.cpp.

◆ VisitNode()

std::shared_ptr< PathDiagnosticPiece > TrackConstraintBRVisitor::VisitNode ( const ExplodedNode Succ,
const ExplodedNode Pred,
BugReporterContext BRC,
BugReport BR 
)
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::ExplodedNode::getLocation(), clang::ento::BugReporterContext::getSourceManager(), clang::ento::PathDiagnosticLocation::isValid(), P, clang::ento::SuppressInlineDefensiveChecksVisitor::SuppressInlineDefensiveChecksVisitor(), and X.


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