clang
10.0.0git
|
#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 | |
void | Add (ExplodedNode *N) |
unsigned | size () const |
bool | empty () const |
bool | erase (ExplodedNode *N) |
void | clear () |
void | insert (const ExplodedNodeSet &S) |
iterator | begin () |
iterator | end () |
const_iterator | begin () const |
const_iterator | end () const |
Definition at line 463 of file ExplodedGraph.h.
using clang::ento::ExplodedNodeSet::const_iterator = ImplTy::const_iterator |
Definition at line 480 of file ExplodedGraph.h.
using clang::ento::ExplodedNodeSet::iterator = ImplTy::iterator |
Definition at line 479 of file ExplodedGraph.h.
|
inline |
Definition at line 468 of file ExplodedGraph.h.
References clang::ento::ExplodedNode::isSink().
|
default |
|
inline |
Definition at line 475 of file ExplodedGraph.h.
References clang::ento::ExplodedNode::isSink().
Referenced by clang::ento::NodeBuilder::addNodes(), clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), clang::ento::NodeBuilder::NodeBuilder(), clang::ento::ExprEngine::ProcessLoopExit(), clang::ento::ExprEngine::removeDeadOnEndOfFunction(), and clang::ento::ExprEngine::VisitCXXCatchStmt().
|
inline |
Definition at line 496 of file ExplodedGraph.h.
Referenced by clang::ento::NodeBuilder::begin(), clang::ento::ExprEngine::CreateCXXTemporaryObject(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::ProcessTemporaryDtor(), clang::ento::ExprEngine::VisitBinaryOperator(), clang::ento::ExprEngine::VisitCallExpr(), clang::ento::ExprEngine::VisitCast(), clang::ento::ExprEngine::VisitCXXConstructExpr(), clang::ento::ExprEngine::VisitDeclStmt(), clang::ento::ExprEngine::VisitIncrementDecrementOperator(), clang::ento::ExprEngine::VisitObjCMessage(), clang::ento::ExprEngine::VisitReturnStmt(), clang::ento::ExprEngine::VisitUnaryExprOrTypeTraitExpr(), and clang::ento::ExprEngine::VisitUnaryOperator().
|
inline |
Definition at line 499 of file ExplodedGraph.h.
|
inline |
Definition at line 486 of file ExplodedGraph.h.
|
inline |
Definition at line 483 of file ExplodedGraph.h.
Referenced by clang::ento::ExprEngine::evalLoad(), clang::ento::ExprEngine::evalStore(), clang::ento::ExprEngine::ProcessTemporaryDtor(), and clang::ento::ExprEngine::VisitCXXConstructExpr().
|
inline |
Definition at line 497 of file ExplodedGraph.h.
Referenced by clang::ento::ExprEngine::CreateCXXTemporaryObject(), clang::ento::NodeBuilder::end(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::VisitBinaryOperator(), clang::ento::ExprEngine::VisitCallExpr(), clang::ento::ExprEngine::VisitCast(), clang::ento::ExprEngine::VisitCXXConstructExpr(), clang::ento::ExprEngine::VisitDeclStmt(), clang::ento::ExprEngine::VisitIncrementDecrementOperator(), clang::ento::ExprEngine::VisitObjCMessage(), clang::ento::ExprEngine::VisitReturnStmt(), clang::ento::ExprEngine::VisitUnaryExprOrTypeTraitExpr(), and clang::ento::ExprEngine::VisitUnaryOperator().
|
inline |
Definition at line 500 of file ExplodedGraph.h.
|
inline |
Definition at line 484 of file ExplodedGraph.h.
Referenced by clang::ento::NodeBuilder::takeNodes().
|
inline |
Definition at line 488 of file ExplodedGraph.h.
Referenced by clang::ento::ExprEngine::evalCall(), clang::ento::NodeBuilder::NodeBuilder(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::ProcessStmt(), clang::ento::CheckerManager::runCheckersForBeginFunction(), clang::ento::CheckerManager::runCheckersForBranchCondition(), clang::ento::CheckerManager::runCheckersForEvalCall(), clang::ento::CheckerManager::runCheckersForNewAllocator(), clang::ento::ExprEngine::VisitCallExpr(), and clang::ento::ExprEngine::VisitDeclStmt().
|
inline |
Definition at line 482 of file ExplodedGraph.h.
Referenced by clang::ento::ExprEngine::ProcessTemporaryDtor(), clang::ento::ExprEngine::VisitCXXConstructExpr(), and clang::ento::ExprEngine::VisitCXXNewExpr().