clang  3.9.0
Public Member Functions | Static Public Member Functions | List of all members
clang::ento::NilReceiverBRVisitor Class Referencefinal

Prints path notes when a message is sent to a nil receiver. More...

#include <BugReporterVisitor.h>

Inheritance diagram for clang::ento::NilReceiverBRVisitor:
[legend]
Collaboration diagram for clang::ento::NilReceiverBRVisitor:
[legend]

Public Member Functions

void Profile (llvm::FoldingSetNodeID &ID) const override
 
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
< 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 const ExprgetNilReceiver (const Stmt *S, const ExplodedNode *N)
 If the statement is a message send expression with nil receiver, returns the receiver expression. More...
 
- Static Public Member Functions inherited from clang::ento::BugReporterVisitor
static std::unique_ptr
< PathDiagnosticPiece
getDefaultEndPath (BugReporterContext &BRC, const ExplodedNode *N, BugReport &BR)
 Generates the default final diagnostic piece. More...
 

Detailed Description

Prints path notes when a message is sent to a nil receiver.

Definition at line 166 of file BugReporterVisitor.h.

Member Function Documentation

const Expr * NilReceiverBRVisitor::getNilReceiver ( const Stmt S,
const ExplodedNode N 
)
static

If the statement is a message send expression with nil receiver, returns the receiver expression.

Returns NULL otherwise.

Definition at line 1109 of file BugReporterVisitors.cpp.

References clang::ObjCMessageExpr::getInstanceReceiver(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::ExplodedNode::getState(), S, and clang::CodeGen::state.

Referenced by clang::ento::bugreporter::trackNullOrUndefValue(), and VisitNode().

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

Implements clang::ento::BugReporterVisitor.

Definition at line 170 of file BugReporterVisitor.h.

PathDiagnosticPiece * NilReceiverBRVisitor::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 1123 of file BugReporterVisitors.cpp.

References clang::ento::ExplodedNode::getLocationAs(), clang::ento::ExplodedNode::getLocationContext(), getNilReceiver(), clang::ento::BugReporterContext::getSourceManager(), P, and clang::ento::bugreporter::trackNullOrUndefValue().


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