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)
	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)