clang
15.0.0git
|
#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/ExprEngine.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "llvm/Support/raw_ostream.h"
Go to the source code of this file.
Namespaces | |
clang | |
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 ArrayRef<const MemRegion *> RegionList |
Definition at line 146 of file ProgramState.cpp.
typedef ArrayRef<SVal> ValueList |
Definition at line 147 of file ProgramState.cpp.