clang
6.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
#include "clang/AST/ParentMap.h"
#include "clang/AST/Stmt.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/Statistic.h"
Go to the source code of this file.
Typedefs | |
typedef BumpVector< ExplodedNode * > | ExplodedNodeVector |
typedef llvm::PointerUnion< ExplodedNode *, ExplodedNodeVector * > | GroupStorage |
Variables | |
static ExplodedNode::Auditor * | NodeAuditor = nullptr |
typedef BumpVector<ExplodedNode *> ExplodedNodeVector |
Definition at line 213 of file ExplodedGraph.cpp.
typedef llvm::PointerUnion<ExplodedNode *, ExplodedNodeVector *> GroupStorage |
Definition at line 214 of file ExplodedGraph.cpp.
|
static |
Definition at line 35 of file ExplodedGraph.cpp.