clang  3.9.0
Public Types | Public Member Functions | List of all members
clang::ento::RegionAndSymbolInvalidationTraits Class Reference

Information about invalidation for a particular region/symbol. More...

#include <MemRegion.h>

Public Types

enum  InvalidationKinds { TK_PreserveContents = 0x1, TK_SuppressEscape = 0x2, TK_DoNotInvalidateSuperRegion = 0x4, TK_EntireMemSpace = 0x8 }
 Describes different invalidation traits. More...
 

Public Member Functions

void setTrait (SymbolRef Sym, InvalidationKinds IK)
 
void setTrait (const MemRegion *MR, InvalidationKinds IK)
 
bool hasTrait (SymbolRef Sym, InvalidationKinds IK) const
 
bool hasTrait (const MemRegion *MR, InvalidationKinds IK) const
 

Detailed Description

Information about invalidation for a particular region/symbol.

Definition at line 1316 of file MemRegion.h.

Member Enumeration Documentation

Describes different invalidation traits.

Enumerator
TK_PreserveContents 

Tells that a region's contents is not changed.

TK_SuppressEscape 

Suppress pointer-escaping of a region.

TK_DoNotInvalidateSuperRegion 
TK_EntireMemSpace 

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

Definition at line 1328 of file MemRegion.h.

Member Function Documentation

bool RegionAndSymbolInvalidationTraits::hasTrait ( SymbolRef  Sym,
InvalidationKinds  IK 
) const

Definition at line 1540 of file MemRegion.cpp.

References I.

Referenced by hasTrait().

bool RegionAndSymbolInvalidationTraits::hasTrait ( const MemRegion MR,
InvalidationKinds  IK 
) const

Definition at line 1549 of file MemRegion.cpp.

References hasTrait(), and I.

void RegionAndSymbolInvalidationTraits::setTrait ( SymbolRef  Sym,
InvalidationKinds  IK 
)
void RegionAndSymbolInvalidationTraits::setTrait ( const MemRegion MR,
InvalidationKinds  IK 
)

Definition at line 1531 of file MemRegion.cpp.

References setTrait().


The documentation for this class was generated from the following files: