clang  6.0.0svn
Namespaces | Typedefs | Functions
ProgramState.cpp File Reference
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/Analysis/CFG.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/TaintManager.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< SValValueList
 

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 140 of file ProgramState.cpp.

◆ ValueList

Definition at line 141 of file ProgramState.cpp.