|
clang
5.0.0
|
Represent a region's offset within the top level base region. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/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().
1.8.6