|
clang
5.0.0
|
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"
Additional Inherited Members | |
Public Types inherited from clang::ento::NodeBuilder | |
| typedef ExplodedNodeSet::iterator | iterator |
Protected Member Functions inherited from clang::ento::NodeBuilder | |
| virtual bool | checkResults () |
| Checkes if the results are ready. More... | |
| bool | hasNoSinksInFrontier () |
| virtual void | finalizeResults () |
| Allow subclasses to finalize results before result_begin() is executed. More... | |
| ExplodedNode * | generateNodeImpl (const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred, bool MarkAsSink=false) |
Protected Attributes inherited from clang::ento::NodeBuilder | |
| const NodeBuilderContext & | C |
| bool | Finalized |
| Specifies if the builder results have been finalized. More... | |
| bool | HasGeneratedNodes |
| ExplodedNodeSet & | Frontier |
| The frontier set - a set of nodes which need to be propagated after the builder dies. More... | |
BranchNodeBuilder is responsible for constructing the nodes corresponding to the two branches of the if statement - true and false.
Definition at line 402 of file CoreEngine.h.
|
inline |
Definition at line 411 of file CoreEngine.h.
References clang::ento::NodeBuilder::takeNodes().
|
inline |
Definition at line 421 of file CoreEngine.h.
References clang::ento::NodeBuilder::takeNodes().
| ExplodedNode * BranchNodeBuilder::generateNode | ( | ProgramStateRef | State, |
| bool | branch, | ||
| ExplodedNode * | Pred | ||
| ) |
Definition at line 683 of file CoreEngine.cpp.
References clang::ento::ExplodedNode::getLocationContext().
Referenced by clang::ento::ExprEngine::processBranch(), and clang::ento::ExprEngine::processCleanupTemporaryBranch().
Definition at line 432 of file CoreEngine.h.
Definition at line 443 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processBranch().
|
inline |
Definition at line 436 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processBranch(), and clang::ento::ExprEngine::processCleanupTemporaryBranch().
1.8.6