clang
6.0.0
|
This builder class is useful for generating nodes that resulted from visiting a statement. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
Additional Inherited Members | |
![]() | |
typedef ExplodedNodeSet::iterator | iterator |
![]() | |
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) |
![]() | |
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... | |
This builder class is useful for generating nodes that resulted from visiting a statement.
The main difference from its parent NodeBuilder is that it creates a statement specific ProgramPoint.
Definition at line 349 of file CoreEngine.h.
|
inline |
Constructs a StmtNodeBuilder.
If the builder is going to process nodes currently owned by another builder(with larger scope), use Enclosing builder to transfer ownership.
Definition at line 356 of file CoreEngine.h.
References clang::ento::NodeBuilder::takeNodes().
|
inline |
Definition at line 364 of file CoreEngine.h.
|
override |
Definition at line 676 of file CoreEngine.cpp.
|
inline |
Definition at line 379 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::CreateCXXTemporaryObject(), clang::ento::ExprEngine::evalBind(), clang::ento::ExprEngine::handleLValueBitCast(), clang::ento::ExprEngine::handleLVectorSplat(), clang::ento::ExprEngine::ProcessTemporaryDtor(), clang::ento::ExprEngine::removeDead(), clang::ento::ExprEngine::VisitArraySubscriptExpr(), clang::ento::ExprEngine::VisitCommonDeclRefExpr(), clang::ento::ExprEngine::VisitCompoundLiteralExpr(), clang::ento::ExprEngine::VisitCXXBindTemporaryExpr(), clang::ento::ExprEngine::VisitCXXCatchStmt(), clang::ento::ExprEngine::VisitCXXDeleteExpr(), clang::ento::ExprEngine::VisitCXXNewExpr(), clang::ento::ExprEngine::VisitCXXThisExpr(), clang::ento::ExprEngine::VisitGCCAsmStmt(), clang::ento::ExprEngine::VisitGuardedExpr(), clang::ento::ExprEngine::VisitInitListExpr(), clang::ento::ExprEngine::VisitLambdaExpr(), clang::ento::ExprEngine::VisitLvalObjCIvarRefExpr(), clang::ento::ExprEngine::VisitMSAsmStmt(), clang::ento::ExprEngine::VisitObjCMessage(), clang::ento::ExprEngine::VisitOffsetOfExpr(), and clang::ento::ExprEngine::VisitReturnStmt().
|
inline |
Definition at line 389 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::VisitObjCMessage().