#include <ExplodedGraph.h>

Inheritance diagram for clang::ento::ExplodedNode:

Collaboration diagram for clang::ento::ExplodedNode:

Classes
class	Auditor

Public Types
typedef ExplodedNode const	succ_iterator

typedef const ExplodedNode const	const_succ_iterator

typedef ExplodedNode const	pred_iterator

typedef const ExplodedNode const	const_pred_iterator

Public Member Functions
	ExplodedNode (const ProgramPoint &loc, ProgramStateRef state, bool IsSink)

ProgramPoint	getLocation () const
	getLocation - Returns the edge associated with the given node. More...

const LocationContext *	getLocationContext () const

const StackFrameContext *	getStackFrame () const

const Decl &	getCodeDecl () const

CFG &	getCFG () const

ParentMap &	getParentMap () const

template<typename T >
T &	getAnalysis () const

const ProgramStateRef &	getState () const

template<typename T >
Optional< T >	getLocationAs () const LLVM_LVALUE_FUNCTION

void	Profile (llvm::FoldingSetNodeID &ID) const

void	addPredecessor (ExplodedNode *V, ExplodedGraph &G)
	addPredeccessor - Adds a predecessor to the current node, and in tandem add this node as a successor of the other node. More...

unsigned	succ_size () const

unsigned	pred_size () const

bool	succ_empty () const

bool	pred_empty () const

bool	isSink () const

bool	hasSinglePred () const

ExplodedNode *	getFirstPred ()

const ExplodedNode *	getFirstPred () const

const ExplodedNode *	getFirstSucc () const

pred_iterator	pred_begin ()

pred_iterator	pred_end ()

const_pred_iterator	pred_begin () const

const_pred_iterator	pred_end () const

succ_iterator	succ_begin ()

succ_iterator	succ_end ()

const_succ_iterator	succ_begin () const

const_succ_iterator	succ_end () const

Static Public Member Functions
static void	Profile (llvm::FoldingSetNodeID &ID, const ProgramPoint &Loc, const ProgramStateRef &state, bool IsSink)

static void	SetAuditor (Auditor *A)

Friends
class	ExplodedGraph

class	CoreEngine

class	NodeBuilder

class	BranchNodeBuilder

class	IndirectGotoNodeBuilder

class	SwitchNodeBuilder

class	EndOfFunctionNodeBuilder

Detailed Description

Definition at line 54 of file ExplodedGraph.h.

Member Typedef Documentation

typedef const ExplodedNode* const* clang::ento::ExplodedNode::const_pred_iterator

Definition at line 204 of file ExplodedGraph.h.

typedef const ExplodedNode* const* clang::ento::ExplodedNode::const_succ_iterator

Definition at line 202 of file ExplodedGraph.h.

typedef ExplodedNode* const* clang::ento::ExplodedNode::pred_iterator

Definition at line 203 of file ExplodedGraph.h.

typedef ExplodedNode* const* clang::ento::ExplodedNode::succ_iterator

Definition at line 201 of file ExplodedGraph.h.

Constructor & Destructor Documentation

clang::ento::ExplodedNode::ExplodedNode	(	const ProgramPoint &	loc,
		ProgramStateRef	state,
		bool	IsSink
	)

inlineexplicit

Definition at line 124 of file ExplodedGraph.h.

References isSink().

Member Function Documentation

void ExplodedNode::addPredecessor	(	ExplodedNode *	V,
		ExplodedGraph &	G
	)

addPredeccessor - Adds a predecessor to the current node, and in tandem add this node as a successor of the other node.

Definition at line 216 of file ExplodedGraph.cpp.

References clang::ento::ExplodedNode::Auditor::AddEdge(), clang::ento::ExplodedGraph::getAllocator(), clang::ento::ExplodedGraph::getNodeAllocator(), isSink(), P, and clang::BumpVector< T >::push_back().

Referenced by clang::ento::CoreEngine::enqueueStmtNode(), clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), clang::ento::BugReporter::FlushReports(), clang::ento::SwitchNodeBuilder::generateCaseStmtNode(), clang::ento::SwitchNodeBuilder::generateDefaultCaseNode(), clang::ento::IndirectGotoNodeBuilder::generateNode(), clang::ento::NodeBuilder::generateNodeImpl(), clang::ento::ExprEngine::processCallEnter(), clang::ento::ExprEngine::processCallExit(), Profile(), clang::ento::ExplodedGraph::trim(), and clang::ento::ExprEngine::Visit().

template<typename T >

T& clang::ento::ExplodedNode::getAnalysis ( ) const

inline

Definition at line 148 of file ExplodedGraph.h.

References clang::LocationContext::getAnalysis(), and getLocationContext().

CFG& clang::ento::ExplodedNode::getCFG ( ) const

inline

Definition at line 143 of file ExplodedGraph.h.

References clang::LocationContext::getCFG(), and getLocationContext().

const Decl& clang::ento::ExplodedNode::getCodeDecl ( ) const

inline

Definition at line 141 of file ExplodedGraph.h.

References clang::LocationContext::getDecl(), and getLocationContext().

Referenced by GetAllocationSite(), removePiecesWithInvalidLocations(), updateOutParameter(), and clang::ento::CXXSelfAssignmentBRVisitor::VisitNode().

ExplodedNode* clang::ento::ExplodedNode::getFirstPred ( )

inline

Definition at line 188 of file ExplodedGraph.h.

References pred_begin(), and pred_empty().

Referenced by clang::ento::CoreEngine::dispatchWorkItem(), GenerateAlternateExtensivePathDiagnostic(), GenerateExtensivePathDiagnostic(), GenerateMinimalPathDiagnostic(), GenerateVisitorsOnlyPathDiagnostic(), clang::ento::BugReporterVisitor::getDefaultEndPath(), getFirstPred(), getLastStmt(), GetPreviousStmt(), getStmtBeforeCond(), peelOffOuterExpr(), and clang::ento::bugreporter::trackNullOrUndefValue().

const ExplodedNode* clang::ento::ExplodedNode::getFirstPred ( ) const

inline

Definition at line 192 of file ExplodedGraph.h.

References getFirstPred().

const ExplodedNode* clang::ento::ExplodedNode::getFirstSucc ( ) const

inline

Definition at line 196 of file ExplodedGraph.h.

References succ_begin(), and succ_empty().

Referenced by clang::ento::PathDiagnosticLocation::getNextStmt().

ProgramPoint clang::ento::ExplodedNode::getLocation ( ) const

inline

getLocation - Returns the edge associated with the given node.

Definition at line 131 of file ExplodedGraph.h.

Referenced by alreadyExecutedAtLeastOneLoopIteration(), clang::ento::PathDiagnosticLocation::createEndOfPath(), clang::ento::CoreEngine::dispatchWorkItem(), clang::ento::WorkList::enqueue(), clang::ento::CoreEngine::enqueueStmtNode(), clang::ento::ExprEngine::evalEagerlyAssumeBinOpBifurcation(), clang::ento::CoreEngine::ExecuteWorkList(), clang::ento::BugReporter::FlushReports(), GenerateAlternateExtensivePathDiagnostic(), GenerateExtensivePathDiagnostic(), GenerateMinimalPathDiagnostic(), GetAllocationSite(), getAsPointeeSymbol(), clang::ento::BugReporterVisitor::getDefaultEndPath(), getLastStmt(), getLocationContext(), clang::ento::CheckerContext::getLocationRegionIfPostStore(), clang::ento::StackHintGeneratorForSymbol::getMessage(), llvm::DOTGraphTraits< ExplodedNode * >::getNodeLabel(), clang::ento::PathDiagnosticLocation::getStmt(), getStmtBeforeCond(), clang::ento::ExplodedGraph::isInterestingLValueExpr(), isNSStringType(), isSynthesizedAccessor(), clang::ento::WorkList::makeBFS(), peelOffOuterExpr(), clang::ento::ExprEngine::processCFGBlockEntrance(), clang::ento::mpi::MPIBugReporter::reportUnmatchedWait(), shouldRemoveDeadBindings(), clang::ento::bugreporter::trackNullOrUndefValue(), clang::ento::ExplodedGraph::trim(), clang::ento::ExprEngine::Visit(), clang::ento::ExprEngine::VisitLogicalExpr(), clang::ento::FindLastStoreBRVisitor::VisitNode(), clang::ento::TrackConstraintBRVisitor::VisitNode(), clang::ento::UndefOrNullArgVisitor::VisitNode(), clang::ento::SuppressInlineDefensiveChecksVisitor::VisitNode(), clang::ento::CXXSelfAssignmentBRVisitor::VisitNode(), clang::ento::ConditionBRVisitor::VisitNodeImpl(), and clang::ento::ExprEngine::VisitObjCMessage().

template<typename T >

Optional<T> clang::ento::ExplodedNode::getLocationAs ( ) const

inline

Definition at line 155 of file ExplodedGraph.h.

References clang::ProgramPoint::getAs().

Referenced by clang::ento::PathDiagnosticLocation::createEndOfPath(), clang::ento::BugReporterVisitor::getDefaultEndPath(), clang::ento::bugreporter::GetDenomExpr(), getLastStmt(), clang::ento::bugreporter::GetRetValExpr(), isInitializationOfVar(), clang::ento::FindLastStoreBRVisitor::VisitNode(), and clang::ento::NilReceiverBRVisitor::VisitNode().

const LocationContext* clang::ento::ExplodedNode::getLocationContext ( ) const

inline

Definition at line 133 of file ExplodedGraph.h.

References getLocation(), and clang::ProgramPoint::getLocationContext().

ParentMap& clang::ento::ExplodedNode::getParentMap ( ) const

inline

Definition at line 145 of file ExplodedGraph.h.

References getLocationContext(), and clang::LocationContext::getParentMap().

const StackFrameContext* clang::ento::ExplodedNode::getStackFrame ( ) const

inline

Definition at line 137 of file ExplodedGraph.h.

References clang::LocationContext::getCurrentStackFrame(), and getLocationContext().

Referenced by clang::ento::CheckerContext::getStackFrame(), clang::ento::ExprEngine::processCleanupTemporaryBranch(), clang::ento::ExprEngine::processIndirectGoto(), and clang::ento::ExprEngine::ProcessTemporaryDtor().

const ProgramStateRef& clang::ento::ExplodedNode::getState ( ) const

inline

Definition at line 152 of file ExplodedGraph.h.

bool clang::ento::ExplodedNode::hasSinglePred ( ) const

inline

Definition at line 184 of file ExplodedGraph.h.

References pred_size().

Referenced by clang::ento::CoreEngine::dispatchWorkItem().

bool clang::ento::ExplodedNode::isSink ( ) const

inline

Definition at line 182 of file ExplodedGraph.h.

Referenced by clang::ento::ExplodedNodeSet::Add(), addPredecessor(), checkInvariantViolation(), clang::ento::CoreEngine::enqueueStmtNode(), ExplodedNode(), clang::ento::ExplodedNodeSet::ExplodedNodeSet(), FindReportInEquivalenceClass(), clang::ento::BugReporter::FlushReports(), clang::ento::NodeBuilderWithSinks::generateSink(), clang::ento::ExprEngine::processBranch(), Profile(), and clang::ento::ExplodedGraph::trim().

pred_iterator clang::ento::ExplodedNode::pred_begin ( )

inline

Definition at line 206 of file ExplodedGraph.h.

Referenced by alreadyExecutedAtLeastOneLoopIteration(), didPreviousFreeFail(), clang::ento::BugReporter::FlushReports(), GenerateExtensivePathDiagnostic(), GenerateMinimalPathDiagnostic(), GetAllocationSite(), getAsPointeeSymbol(), getFirstPred(), getLastStmt(), clang::ento::ExplodedGraph::isInterestingLValueExpr(), pred_begin(), clang::ento::ExprEngine::Visit(), clang::ento::ExprEngine::VisitGuardedExpr(), and clang::ento::ExprEngine::VisitLogicalExpr().

const_pred_iterator clang::ento::ExplodedNode::pred_begin ( ) const

inline

Definition at line 209 of file ExplodedGraph.h.

References pred_begin().

bool clang::ento::ExplodedNode::pred_empty ( ) const

inline

Definition at line 180 of file ExplodedGraph.h.

Referenced by didPreviousFreeFail(), clang::ento::BugReporter::FlushReports(), GenerateExtensivePathDiagnostic(), GenerateMinimalPathDiagnostic(), GetAllocationSite(), getAsPointeeSymbol(), getFirstPred(), getLastStmt(), and clang::ento::ExprEngine::Visit().

pred_iterator clang::ento::ExplodedNode::pred_end ( )

inline

Definition at line 207 of file ExplodedGraph.h.

Referenced by alreadyExecutedAtLeastOneLoopIteration(), clang::ento::BugReporter::FlushReports(), and pred_end().

const_pred_iterator clang::ento::ExplodedNode::pred_end ( ) const

inline

Definition at line 212 of file ExplodedGraph.h.

References pred_end().

unsigned clang::ento::ExplodedNode::pred_size ( ) const

inline

Definition at line 178 of file ExplodedGraph.h.

Referenced by hasSinglePred(), clang::ento::ExplodedGraph::isInterestingLValueExpr(), and clang::ento::ExprEngine::VisitLogicalExpr().

static void clang::ento::ExplodedNode::Profile	(	llvm::FoldingSetNodeID &	ID,
		const ProgramPoint &	Loc,
		const ProgramStateRef &	state,
		bool	IsSink
	)

inlinestatic

Definition at line 159 of file ExplodedGraph.h.

Referenced by clang::ento::ExplodedGraph::getNode(), and Profile().

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

inline

Definition at line 168 of file ExplodedGraph.h.

References addPredecessor(), isSink(), and Profile().

void ExplodedNode::SetAuditor ( ExplodedNode::Auditor * A )

static

Definition at line 38 of file ExplodedGraph.cpp.

Referenced by shouldSkipFunction().

succ_iterator clang::ento::ExplodedNode::succ_begin ( )

inline

Definition at line 216 of file ExplodedGraph.h.

Referenced by llvm::GraphTraits< clang::ento::ExplodedNode * >::child_begin(), llvm::GraphTraits< const clang::ento::ExplodedNode * >::child_begin(), clang::ento::BugReporter::emitReport(), clang::ento::BugReporter::FlushReports(), getFirstSucc(), clang::ento::ExplodedGraph::isInterestingLValueExpr(), and succ_begin().

const_succ_iterator clang::ento::ExplodedNode::succ_begin ( ) const

inline

Definition at line 219 of file ExplodedGraph.h.

References succ_begin().

bool clang::ento::ExplodedNode::succ_empty ( ) const

inline

Definition at line 179 of file ExplodedGraph.h.

Referenced by FindReportInEquivalenceClass(), and getFirstSucc().

succ_iterator clang::ento::ExplodedNode::succ_end ( )

inline

Definition at line 217 of file ExplodedGraph.h.

Referenced by llvm::GraphTraits< clang::ento::ExplodedNode * >::child_end(), llvm::GraphTraits< const clang::ento::ExplodedNode * >::child_end(), clang::ento::BugReporter::emitReport(), clang::ento::BugReporter::FlushReports(), and succ_end().

const_succ_iterator clang::ento::ExplodedNode::succ_end ( ) const

inline

Definition at line 222 of file ExplodedGraph.h.

References succ_end().

unsigned clang::ento::ExplodedNode::succ_size ( ) const

inline

Definition at line 177 of file ExplodedGraph.h.

Referenced by clang::ento::ExplodedGraph::isInterestingLValueExpr().

Friends And Related Function Documentation

friend class BranchNodeBuilder

friend

Definition at line 58 of file ExplodedGraph.h.

friend class CoreEngine

friend

Definition at line 56 of file ExplodedGraph.h.

friend class EndOfFunctionNodeBuilder

friend

Definition at line 61 of file ExplodedGraph.h.

friend class ExplodedGraph

friend

Definition at line 55 of file ExplodedGraph.h.

Referenced by clang::ento::ExplodedGraph::addEndOfPath().

friend class IndirectGotoNodeBuilder

friend

Definition at line 59 of file ExplodedGraph.h.

friend class NodeBuilder

friend

Definition at line 57 of file ExplodedGraph.h.

friend class SwitchNodeBuilder

friend

Definition at line 60 of file ExplodedGraph.h.

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

Classes

Public Types

Public Member Functions

Static Public Member Functions

Friends

Detailed Description

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation