clang::ento::BranchNodeBuilder Class Reference

BranchNodeBuilder is responsible for constructing the nodes corresponding to the two branches of the if statement - true and false. More...

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

Inheritance diagram for clang::ento::BranchNodeBuilder:

Public Member Functions
	BranchNodeBuilder (ExplodedNodeSet &DstSet, const NodeBuilderContext &C, const CFGBlock *DT, const CFGBlock *DF)
ExplodedNode *	generateNode (ProgramStateRef State, bool branch, ExplodedNode *Pred)
Public Member Functions inherited from clang::ento::NodeBuilder
	NodeBuilder (ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)
	NodeBuilder (ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)
	NodeBuilder (const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)
ExplodedNode *	generateNode (const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred, bool MarkAsSink=false)
	Generates a node in the ExplodedGraph.
ExplodedNode *	generateSink (const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)
	Generates a sink in the ExplodedGraph.
ExplodedNode *	generateNode (const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)
ExplodedNode *	generateSink (const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)
const ExplodedNodeSet &	getResults () const
const NodeBuilderContext &	getContext () const
bool	hasGeneratedNodes () const
void	takeNodes (const ExplodedNodeSet &S)
void	takeNodes (ExplodedNode *N)
void	addNodes (const ExplodedNodeSet &S)
void	addNodes (ExplodedNode *N)

Additional Inherited Members
Protected Attributes inherited from clang::ento::NodeBuilder
const NodeBuilderContext &	C
bool	HasGeneratedNodes = false
ExplodedNodeSet &	Frontier
	The frontier set - a set of nodes which need to be propagated after the builder dies.

Detailed Description

BranchNodeBuilder is responsible for constructing the nodes corresponding to the two branches of the if statement - true and false.

Definition at line 324 of file CoreEngine.h.

Constructor & Destructor Documentation

BranchNodeBuilder()

clang::ento::BranchNodeBuilder::BranchNodeBuilder ( ExplodedNodeSet & DstSet, const NodeBuilderContext & C, const CFGBlock * DT, const CFGBlock * DF )

inline

Definition at line 329 of file CoreEngine.h.

References clang::ento::NodeBuilder::C, and clang::ento::NodeBuilder::NodeBuilder().

Member Function Documentation

generateNode()

ExplodedNode * BranchNodeBuilder::generateNode	(	ProgramStateRef	State,
		bool	branch,
		ExplodedNode *	Pred )

Definition at line 694 of file CoreEngine.cpp.

References clang::ento::NodeBuilder::C, clang::ento::NodeBuilder::generateNode(), and clang::ento::ExplodedNode::getLocationContext().

Referenced by clang::ento::ExprEngine::processBranch(), and clang::ento::ExprEngine::processCleanupTemporaryBranch().

---

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

• include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
• lib/StaticAnalyzer/Core/CoreEngine.cpp