clang 20.0.0git
Namespaces | Typedefs | Functions
ProgramState.cpp File Reference
#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"
#include <optional>

Go to the source code of this file.

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  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.
 
void clang::ento::ProgramStateRelease (const ProgramState *state)
 Decrement the number of times this state is referenced.
 

Typedef Documentation

◆ RegionList

typedef ArrayRef<const MemRegion *> RegionList

Definition at line 147 of file ProgramState.cpp.

◆ ValueList

Definition at line 148 of file ProgramState.cpp.