clang
7.0.0
|
Information about invalidation for a particular region/symbol. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/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 1384 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 1397 of file MemRegion.h.
bool RegionAndSymbolInvalidationTraits::hasTrait | ( | SymbolRef | Sym, |
InvalidationKinds | IK | ||
) | const |
Definition at line 1547 of file MemRegion.cpp.
bool RegionAndSymbolInvalidationTraits::hasTrait | ( | const MemRegion * | MR, |
InvalidationKinds | IK | ||
) | const |
Definition at line 1556 of file MemRegion.cpp.
void RegionAndSymbolInvalidationTraits::setTrait | ( | SymbolRef | Sym, |
InvalidationKinds | IK | ||
) |
Definition at line 1533 of file MemRegion.cpp.
Referenced by clang::CXXInstanceCall::getExtraInvalidatedValues(), clang::CXXConstructorCall::getExtraInvalidatedValues(), clang::ObjCMethodCall::getExtraInvalidatedValues(), clang::ento::getWidenedLoopState(), and clang::ento::CallEvent::invalidateRegions().
void RegionAndSymbolInvalidationTraits::setTrait | ( | const MemRegion * | MR, |
InvalidationKinds | IK | ||
) |
Definition at line 1538 of file MemRegion.cpp.