clang 17.0.0git
|
Represent a region's offset within the top level base region. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
Public Member Functions | |
RegionOffset ()=default | |
RegionOffset (const MemRegion *r, int64_t off) | |
const MemRegion * | getRegion () const |
It might return null. | |
bool | hasSymbolicOffset () const |
int64_t | getOffset () const |
bool | isValid () const |
Static Public Attributes | |
static const int64_t | Symbolic = std::numeric_limits<int64_t>::max() |
Represent a region's offset within the top level base region.
Definition at line 62 of file MemRegion.h.
|
default |
|
inline |
Definition at line 75 of file MemRegion.h.
References Offset.
|
inline |
Definition at line 82 of file MemRegion.h.
References hasSymbolicOffset(), and Offset.
|
inline |
It might return null.
Definition at line 78 of file MemRegion.h.
|
inline |
Definition at line 80 of file MemRegion.h.
References Offset, and Symbolic.
Referenced by getOffset().
|
inline |
Definition at line 87 of file MemRegion.h.
|
static |
Definition at line 72 of file MemRegion.h.
Referenced by calculateOffset(), and hasSymbolicOffset().