clang
6.0.0
|
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h"
Public Member Functions | |
FindLastStoreBRVisitor (KnownSVal V, const MemRegion *R, bool InEnableNullFPSuppression) | |
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... | |
![]() | |
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 void | registerStatementVarDecls (BugReport &BR, const Stmt *S, bool EnableNullFPSuppression) |
Creates a visitor for every VarDecl inside a Stmt and registers it with the BugReport. More... | |
![]() | |
static std::unique_ptr< PathDiagnosticPiece > | getDefaultEndPath (BugReporterContext &BRC, const ExplodedNode *N, BugReport &BR) |
Generates the default final diagnostic piece. More... | |
Definition at line 98 of file BugReporterVisitors.h.
|
inline |
Definition at line 114 of file BugReporterVisitors.h.
References clang::ento::BugReporterVisitor::Profile(), and clang::ento::BugReporterVisitor::VisitNode().
|
overridevirtual |
Implements clang::ento::BugReporterVisitor.
Definition at line 446 of file BugReporterVisitors.cpp.
|
static |
Creates a visitor for every VarDecl inside a Stmt and registers it with the BugReport.
Definition at line 1209 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 484 of file BugReporterVisitors.cpp.
References clang::ento::SVal::getAs(), clang::CallEventManager::getCaller(), clang::ParmVarDecl::getFunctionScopeIndex(), clang::ento::ExplodedNode::getLocationAs(), clang::ento::ExplodedNode::getState(), clang::ento::BugReporterContext::getStateManager(), clang::Expr::IgnoreParenCasts(), isInitializationOfVar(), P, and clang::ento::bugreporter::trackNullOrUndefValue().