clang
3.9.0
|
Represent a region's offset within the top level base region. More...
#include <MemRegion.h>
Public Member Functions | |
RegionOffset () | |
RegionOffset (const MemRegion *r, int64_t off) | |
const MemRegion * | getRegion () const |
bool | hasSymbolicOffset () const |
int64_t | getOffset () const |
bool | isValid () const |
Static Public Attributes | |
static const int64_t | Symbolic = INT64_MAX |
Represent a region's offset within the top level base region.
Definition at line 47 of file MemRegion.h.
|
inline |
Definition at line 59 of file MemRegion.h.
|
inline |
Definition at line 60 of file MemRegion.h.
|
inline |
Definition at line 66 of file MemRegion.h.
References hasSymbolicOffset().
|
inline |
Definition at line 62 of file MemRegion.h.
|
inline |
|
inline |
Definition at line 71 of file MemRegion.h.
|
static |
Definition at line 57 of file MemRegion.h.
Referenced by clang::ento::MemRegion::getAsOffset(), and hasSymbolicOffset().