clang  14.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"
Include dependency graph for DynamicExtent.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 clang
 
 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. More...
 
SVal clang::ento::getDynamicExtentWithOffset (ProgramStateRef State, SVal BufV)
 Get the dynamic extent for a symbolic value that represents a buffer. More...