|
clang
5.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 1383 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 1395 of file MemRegion.h.
| bool RegionAndSymbolInvalidationTraits::hasTrait | ( | SymbolRef | Sym, |
| InvalidationKinds | IK | ||
| ) | const |
| bool RegionAndSymbolInvalidationTraits::hasTrait | ( | const MemRegion * | MR, |
| InvalidationKinds | IK | ||
| ) | const |
Definition at line 1511 of file MemRegion.cpp.
References hasTrait(), and I.
| void RegionAndSymbolInvalidationTraits::setTrait | ( | SymbolRef | Sym, |
| InvalidationKinds | IK | ||
| ) |
Definition at line 1488 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 1493 of file MemRegion.cpp.
References setTrait().
1.8.6