clang::ento::ExplodedNodeSet Class Reference

ExplodedNodeSet is a set of ExplodedNode * elements with the invariant that its elements cannot be nullpointers or sink nodes. More...

#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"

Public Types
using	iterator = ImplTy::iterator
using	const_iterator = ImplTy::const_iterator

Public Member Functions
	ExplodedNodeSet (ExplodedNode *N)
	ExplodedNodeSet ()=default
unsigned	size () const
bool	empty () const
bool	erase (ExplodedNode *N)
void	clear ()
void	insert (ExplodedNode *N)
void	insert (const ExplodedNodeSet &S)
iterator	begin ()
iterator	end ()
const_iterator	begin () const
const_iterator	end () const

Detailed Description

ExplodedNodeSet is a set of ExplodedNode * elements with the invariant that its elements cannot be nullpointers or sink nodes.

Insertion of null or sink nodes is silently ignored (which is comfortable in many use cases). Note that ExplodedNode * is implicitly convertible to an ExplodedNodeSet containing 0 or 1 elements (where null pointers and sink nodes converted to the empty set). This type has set semantics (repeated insertions are ignored), but the iteration order is always the order of (first) insertion.

Definition at line 450 of file ExplodedGraph.h.

Member Typedef Documentation

const_iterator

using clang::ento::ExplodedNodeSet::const_iterator = ImplTy::const_iterator

Definition at line 460 of file ExplodedGraph.h.

iterator

using clang::ento::ExplodedNodeSet::iterator = ImplTy::iterator

Definition at line 459 of file ExplodedGraph.h.

Constructor & Destructor Documentation

ExplodedNodeSet() [1/2]

clang::ento::ExplodedNodeSet::ExplodedNodeSet ( ExplodedNode * N )

inline

Definition at line 455 of file ExplodedGraph.h.

References insert().

Referenced by insert().

ExplodedNodeSet() [2/2]

clang::ento::ExplodedNodeSet::ExplodedNodeSet ( )

default

Member Function Documentation

begin() [1/2]

iterator clang::ento::ExplodedNodeSet::begin ( )

inline

Definition at line 482 of file ExplodedGraph.h.

Referenced by clang::ento::ExprEngine::VisitCXXNewExpr(), and clang::ento::ExprEngine::VisitDeclStmt().

begin() [2/2]

const_iterator clang::ento::ExplodedNodeSet::begin ( ) const

inline

Definition at line 485 of file ExplodedGraph.h.

clear()

void clang::ento::ExplodedNodeSet::clear ( )

inline

Definition at line 466 of file ExplodedGraph.h.

Referenced by expandGraphWithCheckers(), and clang::ento::ExprEngine::VisitArrayInitLoopExpr().

empty()

bool clang::ento::ExplodedNodeSet::empty ( ) const

inline

Definition at line 463 of file ExplodedGraph.h.

Referenced by clang::ento::ExprEngine::evalLoad(), clang::ento::ExprEngine::evalStore(), expandGraphWithCheckers(), insert(), and clang::ento::ExprEngine::processBranch().

end() [1/2]

iterator clang::ento::ExplodedNodeSet::end ( )

inline

Definition at line 483 of file ExplodedGraph.h.

Referenced by clang::ento::ExprEngine::VisitDeclStmt().

end() [2/2]

const_iterator clang::ento::ExplodedNodeSet::end ( ) const

inline

Definition at line 486 of file ExplodedGraph.h.

erase()

bool clang::ento::ExplodedNodeSet::erase ( ExplodedNode * N )

inline

Definition at line 464 of file ExplodedGraph.h.

insert() [1/2]

void clang::ento::ExplodedNodeSet::insert ( const ExplodedNodeSet & S )

inline

Definition at line 473 of file ExplodedGraph.h.

References empty(), and ExplodedNodeSet().

insert() [2/2]

void clang::ento::ExplodedNodeSet::insert ( ExplodedNode * N )

inline

Definition at line 468 of file ExplodedGraph.h.

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

Referenced by clang::ento::ExprEngine::ConstructInitList(), clang::ento::ExprEngine::defaultEvalCall(), clang::ento::ExprEngine::evalCall(), expandGraphWithCheckers(), ExplodedNodeSet(), clang::ento::ExprEngine::populateObjCForDestinationSet(), clang::ento::ExprEngine::processBranch(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::processCleanupTemporaryBranch(), clang::ento::ExprEngine::ProcessDeleteDtor(), clang::ento::ExprEngine::processIndirectGoto(), clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::ProcessNewAllocator(), clang::ento::ExprEngine::ProcessStmt(), clang::ento::ExprEngine::processSwitch(), clang::ento::ExprEngine::ProcessTemporaryDtor(), REGISTER_MAP_WITH_PROGRAMSTATE(), REGISTER_TRAIT_WITH_PROGRAMSTATE(), REGISTER_TRAIT_WITH_PROGRAMSTATE(), clang::ento::ExprEngine::removeDeadOnEndOfFunction(), clang::ento::CheckerManager::runCheckersForBeginFunction(), clang::ento::CheckerManager::runCheckersForBranchCondition(), clang::ento::CheckerManager::runCheckersForEvalCall(), clang::ento::CheckerManager::runCheckersForNewAllocator(), clang::ento::ExprEngine::Visit(), clang::ento::ExprEngine::VisitArrayInitLoopExpr(), clang::ento::ExprEngine::VisitArraySubscriptExpr(), clang::ento::ExprEngine::VisitAtomicExpr(), clang::ento::ExprEngine::VisitAttributedStmt(), clang::ento::ExprEngine::VisitBinaryOperator(), clang::ento::ExprEngine::VisitCommonDeclRefExpr(), clang::ento::ExprEngine::VisitCXXBindTemporaryExpr(), clang::ento::ExprEngine::VisitCXXCatchStmt(), clang::ento::ExprEngine::VisitDeclStmt(), clang::ento::ExprEngine::VisitGCCAsmStmt(), clang::ento::ExprEngine::VisitIncrementDecrementOperator(), clang::ento::ExprEngine::VisitMemberExpr(), clang::ento::ExprEngine::VisitMSAsmStmt(), clang::ento::ExprEngine::VisitReturnStmt(), and clang::ento::ExprEngine::VisitUnaryOperator().

size()

unsigned clang::ento::ExplodedNodeSet::size ( ) const

inline

Definition at line 462 of file ExplodedGraph.h.

Referenced by clang::ento::ExprEngine::VisitCXXNewExpr().

---

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

• include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h