enum RegionAndSymbolInvalidationTraits::InvalidationKinds
Description
Describes different invalidation traits.
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:1571
Enumerators
Name | Value | Comment |
---|---|---|
TK_PreserveContents | 1 | Tells that a region's contents is not changed. |
TK_SuppressEscape | 2 | Suppress pointer-escaping of a region. |
TK_DoNotInvalidateSuperRegion | 4 | Suppress pointer-escaping of a region. |
TK_EntireMemSpace | 8 | When applied to a MemSpaceRegion, indicates the entire memory space should be invalidated. |