clang 20.0.0git
Namespaces | Functions
DynamicExtent.h File Reference
#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"

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
 

Functions

DefinedOrUnknownSVal clang::ento::getDynamicExtent (ProgramStateRef State, const MemRegion *MR, SValBuilder &SVB)
 
DefinedOrUnknownSVal clang::ento::getElementExtent (QualType Ty, SValBuilder &SVB)
 
DefinedOrUnknownSVal clang::ento::getDynamicElementCount (ProgramStateRef State, const MemRegion *MR, SValBuilder &SVB, QualType Ty)
 
ProgramStateRef clang::ento::setDynamicExtent (ProgramStateRef State, const MemRegion *MR, DefinedOrUnknownSVal Extent, SValBuilder &SVB)
 Set the dynamic extent Extent of the region MR.
 
SVal clang::ento::getDynamicExtentWithOffset (ProgramStateRef State, SVal BufV)
 Get the dynamic extent for a symbolic value that represents a buffer.
 
DefinedOrUnknownSVal clang::ento::getDynamicElementCountWithOffset (ProgramStateRef State, SVal BufV, QualType Ty)