clang
3.9.0
|
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 |
Information about invalidation for a particular region/symbol.
Definition at line 1316 of file MemRegion.h.
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.
bool RegionAndSymbolInvalidationTraits::hasTrait | ( | SymbolRef | Sym, |
InvalidationKinds | IK | ||
) | const |
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 | ||
) |
Definition at line 1526 of file MemRegion.cpp.
Referenced by clang::CXXInstanceCall::getExtraInvalidatedValues(), clang::ObjCMethodCall::getExtraInvalidatedValues(), clang::ento::getWidenedLoopState(), clang::ento::CallEvent::invalidateRegions(), and setTrait().
void RegionAndSymbolInvalidationTraits::setTrait | ( | const MemRegion * | MR, |
InvalidationKinds | IK | ||
) |
Definition at line 1531 of file MemRegion.cpp.
References setTrait().