Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://clang.llvm.org/doxygen/MemRegion_8h_source.html below:

clang: include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h Source File

AnalysisDeclContext;

StackFrameContext;

MemRegionManager;

int64_t

= std::numeric_limits<int64_t>::max();

std::optional<RegionOffset> cachedOffset;

(llvm::FoldingSetNodeID&

)

= 0;

LLVM_ATTRIBUTE_RETURNS_NONNULL

LLVM_ATTRIBUTE_RETURNS_NONNULL

<

RegionTy>

RegionTy*

()

;

<

RegionTy>

LLVM_ATTRIBUTE_RETURNS_NONNULL

RegionTy *

()

;

(llvm::FoldingSetNodeID &

)

;

k >= BEGIN_MEMSPACES && k <= END_MEMSPACES;

R->

() == CodeSpaceRegionKind;

anchor();

k >= BEGIN_GLOBAL_MEMSPACES && k <= END_GLOBAL_MEMSPACES;

(llvm::FoldingSetNodeID &

)

;

LLVM_ATTRIBUTE_RETURNS_NONNULL

R->

() == StaticGlobalSpaceRegionKind;

anchor()

;

k >= BEGIN_NON_STATIC_GLOBAL_MEMSPACES &&

k <= END_NON_STATIC_GLOBAL_MEMSPACES;

R->

() == GlobalSystemSpaceRegionKind;

R->

() == GlobalImmutableSpaceRegionKind;

R->

() == GlobalInternalSpaceRegionKind;

R->

() == HeapSpaceRegionKind;

R->

() == UnknownSpaceRegionKind;

anchor();

LLVM_ATTRIBUTE_RETURNS_NONNULL

(llvm::FoldingSetNodeID &

)

;

k >= BEGIN_STACK_MEMSPACES && k <= END_STACK_MEMSPACES;

R->

() == StackLocalsSpaceRegionKind;

R->

() == StackArgumentsSpaceRegionKind;

anchor();

LLVM_ATTRIBUTE_RETURNS_NONNULL

R->

() > END_MEMSPACES;

ProfileRegion(llvm::FoldingSetNodeID&

,

*Ex,

LLVM_ATTRIBUTE_RETURNS_NONNULL

(llvm::FoldingSetNodeID&

)

;

R->

() == AllocaRegionKind;

anchor()

;

k >= BEGIN_TYPED_REGIONS && k <= END_TYPED_REGIONS;

anchor()

;

.getTypePtrOrNull() ?

.getDesugaredType(Context) :

;

k >= BEGIN_TYPED_VALUE_REGIONS && k <= END_TYPED_VALUE_REGIONS;

anchor()

;

k >= BEGIN_CODE_TEXT_REGIONS && k <= END_CODE_TEXT_REGIONS;

assert(isa<ObjCMethodDecl>(fd) || isa<FunctionDecl>(fd));

ProfileRegion(llvm::FoldingSetNodeID&

,

*FD,

(

*

= dyn_cast<FunctionDecl>(FD)) {

Ctx.getPointerType(

->getType());

assert(isa<ObjCMethodDecl>(FD));

assert(

&&

);

(llvm::FoldingSetNodeID&

)

;

R->

() == FunctionCodeRegionKind;

:

(sreg, BlockCodeRegionKind), BD(bd), AC(ac), locTy(lTy) {

ProfileRegion(llvm::FoldingSetNodeID&

,

*BD,

LLVM_ATTRIBUTE_RETURNS_NONNULL

LLVM_ATTRIBUTE_RETURNS_NONNULL

(llvm::FoldingSetNodeID&

)

;

R->

() == BlockCodeRegionKind;

*ReferencedVars =

;

*OriginalVars =

;

:

(sreg, BlockDataRegionKind), BC(bc), LC(lc),

assert(isa<GlobalImmutableSpaceRegion>(sreg) ||

isa<StackLocalsSpaceRegion>(sreg) ||

isa<UnknownSpaceRegion>(sreg));

ProfileRegion(llvm::FoldingSetNodeID&,

*,

LLVM_ATTRIBUTE_RETURNS_NONNULL

LLVM_ATTRIBUTE_RETURNS_NONNULL

: R(r), OriginalR(originalR) {}

LLVM_ATTRIBUTE_RETURNS_NONNULL

cast<VarRegion>(*R);

LLVM_ATTRIBUTE_RETURNS_NONNULL

cast<VarRegion>(*OriginalR);

assert((R ==

) == (I.R ==

));

assert((R ==

) == (I.R ==

));

llvm::iterator_range<referenced_vars_iterator>

()

;

(llvm::FoldingSetNodeID&

)

;

R->

() == BlockDataRegionKind;

LazyInitializeReferencedVars();

std::pair<const VarRegion *, const VarRegion *>

getCaptureRegions(

*VD);

:

(sreg, SymbolicRegionKind), sym(

) {

assert(isa_and_nonnull<SymbolData>(

));

assert(

->getType()->isAnyPointerType() ||

->getType()->isReferenceType() ||

->getType()->isBlockPointerType());

assert(isa<UnknownSpaceRegion>(sreg) || isa<HeapSpaceRegion>(sreg) ||

isa<GlobalSystemSpaceRegion>(sreg));

(llvm::FoldingSetNodeID&

)

;

R->

() == SymbolicRegionKind;

ProfileRegion(llvm::FoldingSetNodeID &

,

LLVM_ATTRIBUTE_RETURNS_NONNULL

(llvm::FoldingSetNodeID&

)

{

R->

() == StringRegionKind;

ProfileRegion(llvm::FoldingSetNodeID &

,

LLVM_ATTRIBUTE_RETURNS_NONNULL

(llvm::FoldingSetNodeID&

)

{

R->

() == ObjCStringRegionKind;

assert(isa<GlobalInternalSpaceRegion>(sReg) ||

isa<StackLocalsSpaceRegion>(sReg));

ProfileRegion(llvm::FoldingSetNodeID&

,

(llvm::FoldingSetNodeID&

)

;

LLVM_ATTRIBUTE_RETURNS_NONNULL

R->

() == CompoundLiteralRegionKind;

k >= BEGIN_DECL_REGIONS && k <= END_DECL_REGIONS;

assert(isa<GlobalsSpaceRegion>(sReg) || isa<StackSpaceRegion>(sReg) ||

isa<BlockDataRegion>(sReg) || isa<UnknownSpaceRegion>(sReg));

k >= BEGIN_VAR_REGIONS && k <= END_VAR_REGIONS;

:

(sReg, NonParamVarRegionKind), VD(vd) {

assert(isa<GlobalsSpaceRegion>(sReg) || isa<StackSpaceRegion>(sReg) ||

isa<BlockDataRegion>(sReg) || isa<UnknownSpaceRegion>(sReg));

ProfileRegion(llvm::FoldingSetNodeID &

,

*VD,

(llvm::FoldingSetNodeID &

)

;

LLVM_ATTRIBUTE_RETURNS_NONNULL

R->

() == NonParamVarRegionKind;

*OriginExpr;

:

(SReg, ParamVarRegionKind), OriginExpr(OE), Index(Idx) {

assert(!cast<StackSpaceRegion>(SReg)->

()->inTopFrame());

ProfileRegion(llvm::FoldingSetNodeID &

,

*OE,

LLVM_ATTRIBUTE_RETURNS_NONNULL

(llvm::FoldingSetNodeID&

)

;

R->

() == ParamVarRegionKind;

ThisPointerTy(thisPointerTy) {

);

ProfileRegion(llvm::FoldingSetNodeID &

,

(llvm::FoldingSetNodeID &

)

;

(ThisPointerTy, 0);

R->

() == CXXThisRegionKind;

:

(sReg, FieldRegionKind), FD(fd) {

ProfileRegion(llvm::FoldingSetNodeID &

,

*FD,

.AddInteger(

(FieldRegionKind));

LLVM_ATTRIBUTE_RETURNS_NONNULL

(llvm::FoldingSetNodeID &

)

;

(raw_ostream &os)

;

R->

() == FieldRegionKind;

ProfileRegion(llvm::FoldingSetNodeID&

,

*ivd,

LLVM_ATTRIBUTE_RETURNS_NONNULL

(llvm::FoldingSetNodeID&

)

;

R->

() == ObjCIvarRegionKind;

: Region(reg), Offset(offset) {}

()

;

assert((!isa<nonloc::ConcreteInt>(Idx) ||

);

);

ProfileRegion(llvm::FoldingSetNodeID&

,

elementType,

(llvm::FoldingSetNodeID&

)

;

R->

() == ElementRegionKind;

assert(isa<StackLocalsSpaceRegion>(sReg));

ProfileRegion(llvm::FoldingSetNodeID &

,

LLVM_ATTRIBUTE_RETURNS_NONNULL

LLVM_ATTRIBUTE_RETURNS_NONNULL

(llvm::FoldingSetNodeID &

)

;

R->

() == CXXTempObjectRegionKind;

assert((isa<StackLocalsSpaceRegion, GlobalInternalSpaceRegion>(sReg)));

ProfileRegion(llvm::FoldingSetNodeID &

,

*

,

LLVM_ATTRIBUTE_RETURNS_NONNULL

LLVM_ATTRIBUTE_RETURNS_NONNULL

(llvm::FoldingSetNodeID &

)

;

R->

() == CXXLifetimeExtendedObjectRegionKind;

llvm::PointerIntPair<const CXXRecordDecl *, 1, bool>

;

ProfileRegion(llvm::FoldingSetNodeID &

,

*RD,

LLVM_ATTRIBUTE_RETURNS_NONNULL

(llvm::FoldingSetNodeID &

)

;

region->

() == CXXBaseObjectRegionKind;

:

(SReg, CXXDerivedObjectRegionKind), DerivedD(DerivedD) {

);

ProfileRegion(llvm::FoldingSetNodeID &

,

*RD,

LLVM_ATTRIBUTE_RETURNS_NONNULL

(llvm::FoldingSetNodeID &

)

;

region->

() == CXXDerivedObjectRegionKind;

<

RegionTy>

(

*RT = dyn_cast<RegionTy>(

))

<

RegionTy>

cast<RegionTy>(

);

llvm::BumpPtrAllocator& A;

llvm::FoldingSet<MemRegion> Regions;

llvm::DenseMap<const StackFrameContext *, StackLocalsSpaceRegion *>

StackLocalsSpaceRegions;

llvm::DenseMap<const StackFrameContext *, StackArgumentsSpaceRegion *>

StackArgumentsSpaceRegions;

llvm::DenseMap<const CodeTextRegion *, StaticGlobalSpaceRegion *>

StaticsGlobalSpaceRegions;

blockCount);

<

RegionTy,

SuperTy,

RegionTy* getSubRegion(

Arg1Ty arg1,

SuperTy* superRegion);

<

RegionTy,

SuperTy,

Arg1Ty,

Arg2Ty>

RegionTy* getSubRegion(

Arg1Ty arg1,

Arg2Ty arg2,

SuperTy* superRegion);

<

RegionTy,

SuperTy,

Arg1Ty,

Arg2Ty,

Arg3Ty>

RegionTy* getSubRegion(

Arg1Ty arg1,

Arg2Ty arg2,

SuperTy* superRegion);

<

REG>

REG* LazyAllocate(REG*& region);

<

REG,

ARG>

REG* LazyAllocate(REG*& region, ARG a);

StorageTypeForKinds =

char;

llvm::DenseMap<const MemRegion *, StorageTypeForKinds> MRTraitsMap;

llvm::DenseMap<SymbolRef, StorageTypeForKinds> SymTraitsMap;

const_region_iterator =

llvm::DenseMap<const MemRegion *, StorageTypeForKinds>::const_iterator;

const_symbol_iterator =

llvm::DenseMap<SymbolRef, StorageTypeForKinds>::const_iterator;

Defines the clang::ASTContext interface.

This file defines AnalysisDeclContext, a class that manages the analysis context data for context sen...

Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.

Defines the clang::SourceLocation class and associated facilities.

C Language Family Type Representation.

__device__ __2f16 float __ockl_bool s

__device__ __2f16 float c

Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...

QualType getPointerType(QualType T) const

Return the uniqued reference to the type for a pointer to the specified type.

QualType getObjCObjectPointerType(QualType OIT) const

Return a ObjCObjectPointerType type for the given ObjCObjectType.

AnalysisDeclContext contains the context data for the function, method or block under analysis.

Represents a block literal declaration, which is like an unnamed FunctionDecl.

Represents a C++ struct/union/class.

const T * getTypePtr() const

Retrieve the underlying type pointer, which refers to a canonical type.

CharUnits - This is an opaque type for sizes expressed in character units.

static CharUnits Zero()

Zero - Construct a CharUnits quantity of zero.

CompoundLiteralExpr - [C99 6.5.2.5].

This represents one expression.

Represents a member of a struct/union/class.

It wraps the AnalysisDeclContext to represent both the call stack with the help of StackFrameContext ...

This represents a decl that may have a name.

ObjCIvarDecl - Represents an ObjC instance variable.

Represents a class type in Objective C.

ObjCStringLiteral, used for Objective-C string literals i.e.

Represents a parameter to a function.

PointerType - C99 6.7.5.1 - Pointer Declarators.

QualType getPointeeType() const

A (possibly-)qualified type.

QualType getDesugaredType(const ASTContext &Context) const

Return the specified type with any "sugar" removed from the type.

bool isNull() const

Return true if this QualType doesn't point to a type yet.

A trivial tuple used to represent a source range.

It represents a stack frame of the call stack (based on CallEvent).

StringLiteral - This represents a string literal expression, e.g.

CXXRecordDecl * getAsCXXRecordDecl() const

Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...

bool isBlockPointerType() const

QualType getPointeeType() const

If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.

const T * getAs() const

Member-template getAs<specific type>'.

Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...

Represents a variable declaration or definition.

AllocaRegion - A region that represents an untyped blob of bytes created by a call to 'alloca'.

void dumpToStream(raw_ostream &os) const override

static bool classof(const MemRegion *R)

void Profile(llvm::FoldingSetNodeID &ID) const override

LLVM_ATTRIBUTE_RETURNS_NONNULL const Expr * getExpr() const

bool isBoundable() const override

BlockCodeRegion - A region that represents code texts of blocks (closures).

QualType getLocationType() const override

LLVM_ATTRIBUTE_RETURNS_NONNULL AnalysisDeclContext * getAnalysisDeclContext() const

void dumpToStream(raw_ostream &os) const override

LLVM_ATTRIBUTE_RETURNS_NONNULL const BlockDecl * getDecl() const

static bool classof(const MemRegion *R)

void Profile(llvm::FoldingSetNodeID &ID) const override

bool operator==(const referenced_vars_iterator &I) const

const referenced_vars_iterator & operator*() const

bool operator!=(const referenced_vars_iterator &I) const

LLVM_ATTRIBUTE_RETURNS_NONNULL const VarRegion * getCapturedRegion() const

LLVM_ATTRIBUTE_RETURNS_NONNULL const VarRegion * getOriginalRegion() const

referenced_vars_iterator & operator++()

referenced_vars_iterator(const MemRegion *const *r, const MemRegion *const *originalR)

BlockDataRegion - A region that represents a block instance.

const VarRegion * getOriginalRegion(const VarRegion *VR) const

Return the original region for a captured region, if one exists.

QualType getLocationType() const override

LLVM_ATTRIBUTE_RETURNS_NONNULL const BlockDecl * getDecl() const

static bool classof(const MemRegion *R)

referenced_vars_iterator referenced_vars_begin() const

LLVM_ATTRIBUTE_RETURNS_NONNULL const BlockCodeRegion * getCodeRegion() const

void Profile(llvm::FoldingSetNodeID &ID) const override

referenced_vars_iterator referenced_vars_end() const

void dumpToStream(raw_ostream &os) const override

llvm::iterator_range< referenced_vars_iterator > referenced_vars() const

void printPrettyAsExpr(raw_ostream &os) const override

Print the region as expression.

LLVM_ATTRIBUTE_RETURNS_NONNULL const CXXRecordDecl * getDecl() const

bool canPrintPrettyAsExpr() const override

Returns true if this region's textual representation can be used as part of a larger expression.

void Profile(llvm::FoldingSetNodeID &ID) const override

static bool classof(const MemRegion *region)

void dumpToStream(raw_ostream &os) const override

QualType getValueType() const override

void printPrettyAsExpr(raw_ostream &os) const override

Print the region as expression.

void Profile(llvm::FoldingSetNodeID &ID) const override

QualType getValueType() const override

void dumpToStream(raw_ostream &os) const override

static bool classof(const MemRegion *region)

bool canPrintPrettyAsExpr() const override

Returns true if this region's textual representation can be used as part of a larger expression.

LLVM_ATTRIBUTE_RETURNS_NONNULL const CXXRecordDecl * getDecl() const

static bool classof(const MemRegion *R)

LLVM_ATTRIBUTE_RETURNS_NONNULL const Expr * getExpr() const

void Profile(llvm::FoldingSetNodeID &ID) const override

LLVM_ATTRIBUTE_RETURNS_NONNULL const ValueDecl * getExtendingDecl() const

void dumpToStream(raw_ostream &os) const override

const StackFrameContext * getStackFrame() const

It might return null.

QualType getValueType() const override

QualType getValueType() const override

void Profile(llvm::FoldingSetNodeID &ID) const override

void dumpToStream(raw_ostream &os) const override

static bool classof(const MemRegion *R)

LLVM_ATTRIBUTE_RETURNS_NONNULL const Expr * getExpr() const

LLVM_ATTRIBUTE_RETURNS_NONNULL const StackFrameContext * getStackFrame() const

CXXThisRegion - Represents the region for the implicit 'this' parameter in a call to a C++ method.

QualType getValueType() const override

static bool classof(const MemRegion *R)

void Profile(llvm::FoldingSetNodeID &ID) const override

void dumpToStream(raw_ostream &os) const override

CodeSpaceRegion - The memory space that holds the executable code of functions and blocks.

void dumpToStream(raw_ostream &os) const override

static bool classof(const MemRegion *R)

CodeTextRegion(const MemSpaceRegion *sreg, Kind k)

static bool classof(const MemRegion *R)

bool isBoundable() const override

CompoundLiteralRegion - A memory region representing a compound literal.

LLVM_ATTRIBUTE_RETURNS_NONNULL const CompoundLiteralExpr * getLiteralExpr() const

QualType getValueType() const override

bool isBoundable() const override

void Profile(llvm::FoldingSetNodeID &ID) const override

void dumpToStream(raw_ostream &os) const override

static bool classof(const MemRegion *R)

DeclRegion(const MemRegion *sReg, Kind k)

virtual const ValueDecl * getDecl() const =0

static bool classof(const MemRegion *R)

ElementRegion is used to represent both array elements and casts.

static bool classof(const MemRegion *R)

QualType getValueType() const override

QualType getElementType() const

void Profile(llvm::FoldingSetNodeID &ID) const override

RegionRawOffset getAsArrayOffset() const

Compute the offset within the array. The array might also be a subobject.

void dumpToStream(raw_ostream &os) const override

void printPrettyAsExpr(raw_ostream &os) const override

Print the region as expression.

static bool classof(const MemRegion *R)

bool canPrintPretty() const override

Returns true if this region can be printed in a user-friendly way.

bool canPrintPrettyAsExpr() const override

Returns true if this region's textual representation can be used as part of a larger expression.

void dumpToStream(raw_ostream &os) const override

QualType getValueType() const override

void printPretty(raw_ostream &os) const override

Print the region for use in diagnostics.

void Profile(llvm::FoldingSetNodeID &ID) const override

LLVM_ATTRIBUTE_RETURNS_NONNULL const FieldDecl * getDecl() const override

FunctionCodeRegion - A region that represents code texts of function.

static bool classof(const MemRegion *R)

QualType getLocationType() const override

const NamedDecl * getDecl() const

void dumpToStream(raw_ostream &os) const override

void Profile(llvm::FoldingSetNodeID &ID) const override

The region containing globals which are considered not to be modified or point to data which could be...

void dumpToStream(raw_ostream &os) const override

static bool classof(const MemRegion *R)

The region containing globals which can be modified by calls to "internally" defined functions - (for...

void dumpToStream(raw_ostream &os) const override

static bool classof(const MemRegion *R)

The region containing globals which are defined in system/external headers and are considered modifia...

static bool classof(const MemRegion *R)

void dumpToStream(raw_ostream &os) const override

GlobalsSpaceRegion(MemRegionManager &mgr, Kind k)

static bool classof(const MemRegion *R)

void dumpToStream(raw_ostream &os) const override

static bool classof(const MemRegion *R)

const HeapSpaceRegion * getHeapRegion()

getHeapRegion - Retrieve the memory region associated with the generic "heap".

const StackArgumentsSpaceRegion * getStackArgumentsRegion(const StackFrameContext *STC)

getStackArgumentsRegion - Retrieve the memory region associated with function/method arguments of the...

const CXXThisRegion * getCXXThisRegion(QualType thisPointerTy, const LocationContext *LC)

getCXXThisRegion - Retrieve the [artificial] region associated with the parameter 'this'.

llvm::BumpPtrAllocator & getAllocator()

const BlockCodeRegion * getBlockCodeRegion(const BlockDecl *BD, CanQualType locTy, AnalysisDeclContext *AC)

const ASTContext & getContext() const

const UnknownSpaceRegion * getUnknownRegion()

getUnknownRegion - Retrieve the memory region associated with unknown memory space.

const CXXDerivedObjectRegion * getCXXDerivedObjectRegion(const CXXRecordDecl *BaseClass, const SubRegion *Super)

Create a CXXDerivedObjectRegion with the given derived class for region Super.

const CompoundLiteralRegion * getCompoundLiteralRegion(const CompoundLiteralExpr *CL, const LocationContext *LC)

getCompoundLiteralRegion - Retrieve the region associated with a given CompoundLiteral.

const FieldRegion * getFieldRegion(const FieldDecl *fd, const SubRegion *superRegion)

getFieldRegion - Retrieve or create the memory region associated with a specified FieldDecl.

const AllocaRegion * getAllocaRegion(const Expr *Ex, unsigned Cnt, const LocationContext *LC)

getAllocaRegion - Retrieve a region associated with a call to alloca().

const ElementRegion * getElementRegion(QualType elementType, NonLoc Idx, const SubRegion *superRegion, const ASTContext &Ctx)

getElementRegion - Retrieve the memory region associated with the associated element type,...

const VarRegion * getVarRegion(const VarDecl *VD, const LocationContext *LC)

getVarRegion - Retrieve or create the memory region associated with a specified VarDecl and LocationC...

const NonParamVarRegion * getNonParamVarRegion(const VarDecl *VD, const MemRegion *superR)

getVarRegion - Retrieve or create the memory region associated with a specified VarDecl and LocationC...

const FieldRegion * getFieldRegionWithSuper(const FieldRegion *FR, const SubRegion *superRegion)

const StackLocalsSpaceRegion * getStackLocalsRegion(const StackFrameContext *STC)

getStackLocalsRegion - Retrieve the memory region associated with the specified stack frame.

const ObjCIvarRegion * getObjCIvarRegion(const ObjCIvarDecl *ivd, const SubRegion *superRegion)

getObjCIvarRegion - Retrieve or create the memory region associated with a specified Objective-c inst...

const SymbolicRegion * getSymbolicHeapRegion(SymbolRef sym)

Return a unique symbolic region belonging to heap memory space.

const ObjCStringRegion * getObjCStringRegion(const ObjCStringLiteral *Str)

MemRegionManager(ASTContext &c, llvm::BumpPtrAllocator &a)

const StringRegion * getStringRegion(const StringLiteral *Str)

ASTContext & getContext()

DefinedOrUnknownSVal getStaticSize(const MemRegion *MR, SValBuilder &SVB) const

const ParamVarRegion * getParamVarRegion(const Expr *OriginExpr, unsigned Index, const LocationContext *LC)

getParamVarRegion - Retrieve or create the memory region associated with a specified CallExpr,...

const CodeSpaceRegion * getCodeRegion()

const CXXLifetimeExtendedObjectRegion * getCXXLifetimeExtendedObjectRegion(Expr const *Ex, ValueDecl const *VD, LocationContext const *LC)

Create a CXXLifetimeExtendedObjectRegion for temporaries which are lifetime-extended by local referen...

const CXXTempObjectRegion * getCXXTempObjectRegion(Expr const *Ex, LocationContext const *LC)

const GlobalsSpaceRegion * getGlobalsRegion(MemRegion::Kind K=MemRegion::GlobalInternalSpaceRegionKind, const CodeTextRegion *R=nullptr)

getGlobalsRegion - Retrieve the memory region associated with global variables.

const SymbolicRegion * getSymbolicRegion(SymbolRef Sym, const MemSpaceRegion *MemSpace=nullptr)

Retrieve or create a "symbolic" memory region.

const ElementRegion * getElementRegionWithSuper(const ElementRegion *ER, const SubRegion *superRegion)

const FunctionCodeRegion * getFunctionCodeRegion(const NamedDecl *FD)

const BlockDataRegion * getBlockDataRegion(const BlockCodeRegion *bc, const LocationContext *lc, unsigned blockCount)

getBlockDataRegion - Get the memory region associated with an instance of a block.

const CXXBaseObjectRegion * getCXXBaseObjectRegion(const CXXRecordDecl *BaseClass, const SubRegion *Super, bool IsVirtual)

Create a CXXBaseObjectRegion with the given base class for region Super.

const CXXLifetimeExtendedObjectRegion * getCXXStaticLifetimeExtendedObjectRegion(const Expr *Ex, ValueDecl const *VD)

Create a CXXLifetimeExtendedObjectRegion for temporaries which are lifetime-extended by static refere...

const CXXBaseObjectRegion * getCXXBaseObjectRegionWithSuper(const CXXBaseObjectRegion *baseReg, const SubRegion *superRegion)

Create a CXXBaseObjectRegion with the same CXXRecordDecl but a different super region.

MemRegion - The root abstract class for all memory regions.

virtual bool canPrintPrettyAsExpr() const

Returns true if this region's textual representation can be used as part of a larger expression.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemSpaceRegion * getMemorySpace() const

virtual void Profile(llvm::FoldingSetNodeID &ID) const =0

bool hasStackParametersStorage() const

LLVM_ATTRIBUTE_RETURNS_NONNULL const RegionTy * castAs() const

virtual bool isBoundable() const

StringRef getKindStr() const

RegionOffset getAsOffset() const

Compute the offset within the top level memory object.

bool hasStackStorage() const

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * StripCasts(bool StripBaseAndDerivedCasts=true) const

ASTContext & getContext() const

std::string getDescriptiveName(bool UseQuotes=true) const

Get descriptive name for memory region.

virtual bool isSubRegionOf(const MemRegion *R) const

Check if the region is a subregion of the given region.

virtual void dumpToStream(raw_ostream &os) const

const SymbolicRegion * getSymbolicBase() const

If this is a symbolic region, returns the region.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * getBaseRegion() const

virtual void printPretty(raw_ostream &os) const

Print the region for use in diagnostics.

virtual void printPrettyAsExpr(raw_ostream &os) const

Print the region as expression.

bool hasStackNonParametersStorage() const

std::string getString() const

Get a string representation of a region for debug use.

const RegionTy * getAs() const

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * getMostDerivedObjectRegion() const

Recursively retrieve the region of the most derived class instance of regions of C++ base class insta...

virtual MemRegionManager & getMemRegionManager() const =0

virtual bool canPrintPretty() const

Returns true if this region can be printed in a user-friendly way.

SourceRange sourceRange() const

Retrieve source range from memory region.

MemSpaceRegion - A memory region that represents a "memory space"; for example, the set of global var...

MemRegionManager & getMemRegionManager() const override

static bool classof(const MemRegion *R)

void Profile(llvm::FoldingSetNodeID &ID) const override

bool isBoundable() const override

MemSpaceRegion(MemRegionManager &mgr, Kind k)

QualType getValueType() const override

bool canPrintPrettyAsExpr() const override

Returns true if this region's textual representation can be used as part of a larger expression.

void Profile(llvm::FoldingSetNodeID &ID) const override

void printPrettyAsExpr(raw_ostream &os) const override

Print the region as expression.

void dumpToStream(raw_ostream &os) const override

LLVM_ATTRIBUTE_RETURNS_NONNULL const VarDecl * getDecl() const override

static bool classof(const MemRegion *R)

The region for all the non-static global variables.

NonStaticGlobalSpaceRegion(MemRegionManager &mgr, Kind k)

static bool classof(const MemRegion *R)

bool canPrintPrettyAsExpr() const override

Returns true if this region's textual representation can be used as part of a larger expression.

void Profile(llvm::FoldingSetNodeID &ID) const override

QualType getValueType() const override

static bool classof(const MemRegion *R)

void printPrettyAsExpr(raw_ostream &os) const override

Print the region as expression.

LLVM_ATTRIBUTE_RETURNS_NONNULL const ObjCIvarDecl * getDecl() const override

void dumpToStream(raw_ostream &os) const override

The region associated with an ObjCStringLiteral.

QualType getValueType() const override

bool isBoundable() const override

void dumpToStream(raw_ostream &os) const override

static bool classof(const MemRegion *R)

LLVM_ATTRIBUTE_RETURNS_NONNULL const ObjCStringLiteral * getObjCStringLiteral() const

void Profile(llvm::FoldingSetNodeID &ID) const override

ParamVarRegion - Represents a region for paremters.

bool canPrintPrettyAsExpr() const override

Returns true if this region's textual representation can be used as part of a larger expression.

LLVM_ATTRIBUTE_RETURNS_NONNULL const Expr * getOriginExpr() const

static bool classof(const MemRegion *R)

const ParmVarDecl * getDecl() const override

TODO: What does this return?

unsigned getIndex() const

void Profile(llvm::FoldingSetNodeID &ID) const override

QualType getValueType() const override

void dumpToStream(raw_ostream &os) const override

void printPrettyAsExpr(raw_ostream &os) const override

Print the region as expression.

Information about invalidation for a particular region/symbol.

InvalidationKinds

Describes different invalidation traits.

@ TK_PreserveContents

Tells that a region's contents is not changed.

@ TK_DoNotInvalidateSuperRegion

@ TK_EntireMemSpace

When applied to a MemSpaceRegion, indicates the entire memory space should be invalidated.

@ TK_SuppressEscape

Suppress pointer-escaping of a region.

bool hasTrait(SymbolRef Sym, InvalidationKinds IK) const

void setTrait(SymbolRef Sym, InvalidationKinds IK)

Represent a region's offset within the top level base region.

static const int64_t Symbolic

bool hasSymbolicOffset() const

const MemRegion * getRegion() const

It might return null.

RegionOffset(const MemRegion *r, int64_t off)

int64_t getOffset() const

CharUnits getOffset() const

void dumpToStream(raw_ostream &os) const

const MemRegion * getRegion() const

SVal - This represents a symbolic expression, which can be either an L-value or an R-value.

T castAs() const

Convert to the specified SVal type, asserting that this SVal is of the desired type.

static bool classof(const MemRegion *R)

void dumpToStream(raw_ostream &os) const override

static bool classof(const MemRegion *R)

void dumpToStream(raw_ostream &os) const override

StackSpaceRegion(MemRegionManager &mgr, Kind k, const StackFrameContext *sfc)

static bool classof(const MemRegion *R)

LLVM_ATTRIBUTE_RETURNS_NONNULL const StackFrameContext * getStackFrame() const

void Profile(llvm::FoldingSetNodeID &ID) const override

The region of the static variables within the current CodeTextRegion scope.

void Profile(llvm::FoldingSetNodeID &ID) const override

static bool classof(const MemRegion *R)

void dumpToStream(raw_ostream &os) const override

LLVM_ATTRIBUTE_RETURNS_NONNULL const CodeTextRegion * getCodeRegion() const

StringRegion - Region associated with a StringLiteral.

static bool classof(const MemRegion *R)

QualType getValueType() const override

void Profile(llvm::FoldingSetNodeID &ID) const override

bool isBoundable() const override

void dumpToStream(raw_ostream &os) const override

LLVM_ATTRIBUTE_RETURNS_NONNULL const StringLiteral * getStringLiteral() const

SubRegion - A region that subsets another larger region.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * getSuperRegion() const

static bool classof(const MemRegion *R)

bool isSubRegionOf(const MemRegion *R) const override

Check if the region is a subregion of the given region.

SubRegion(const MemRegion *sReg, Kind k)

const MemRegion * superRegion

MemRegionManager & getMemRegionManager() const override

virtual QualType getType() const =0

SymbolicRegion - A special, "non-concrete" region.

void dumpToStream(raw_ostream &os) const override

static bool classof(const MemRegion *R)

bool isBoundable() const override

void Profile(llvm::FoldingSetNodeID &ID) const override

SymbolRef getSymbol() const

It might return null.

static void ProfileRegion(llvm::FoldingSetNodeID &ID, SymbolRef sym, const MemRegion *superRegion)

QualType getPointeeStaticType() const

Gets the type of the wrapped symbol.

TypedRegion - An abstract class representing regions that are typed.

QualType getDesugaredLocationType(ASTContext &Context) const

bool isBoundable() const override

virtual QualType getLocationType() const =0

TypedRegion(const MemRegion *sReg, Kind k)

static bool classof(const MemRegion *R)

TypedValueRegion - An abstract class representing regions having a typed value.

virtual QualType getValueType() const =0

QualType getLocationType() const override

static bool classof(const MemRegion *R)

QualType getDesugaredValueType(ASTContext &Context) const

TypedValueRegion(const MemRegion *sReg, Kind k)

void dumpToStream(raw_ostream &os) const override

static bool classof(const MemRegion *R)

QualType getValueType() const override

const VarDecl * getDecl() const override=0

const StackFrameContext * getStackFrame() const

It might return null.

VarRegion(const MemRegion *sReg, Kind k)

static bool classof(const MemRegion *R)

Value representing integer constant.

APSIntPtr getValue() const

@ Decl

The l-value was an access to a declared entity or something equivalently strong, like the address of ...

raw_ostream & operator<<(raw_ostream &Out, const CheckerBase &Checker)

Dump checker name to stream.

The JSON file list parser is used to communicate input to InstallAPI.

const FunctionProtoType * T

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4