#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"#include "clang/Analysis/CFG.h"#include "clang/Basic/JsonSupport.h"#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicType.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"#include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"#include "llvm/Support/raw_ostream.h"
Include dependency graph for ProgramState.cpp:
Go to the source code of this file.
Namespaces | |
| clang | |
| Dataflow Directional Tag Classes. | |
| clang::ento | |
Typedefs | |
| typedef ArrayRef< const MemRegion * > | RegionList |
| typedef ArrayRef< SVal > | ValueList |
Functions | |
| void | clang::ento::ProgramStateRetain (const ProgramState *state) |
| Increments the number of times this state is referenced. More... | |
| void | clang::ento::ProgramStateRelease (const ProgramState *state) |
| Decrement the number of times this state is referenced. More... | |
Typedef Documentation
◆ RegionList
| typedef ArrayRef<const MemRegion *> RegionList |
Definition at line 152 of file ProgramState.cpp.
◆ ValueList
| typedef ArrayRef<SVal> ValueList |
Definition at line 153 of file ProgramState.cpp.
