class RegionOffset

Declaration

class RegionOffset { /* full declaration omitted */ };

Description

Represent a region's offset within the top level base region.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:62

Member Variables

private const clang::ento::MemRegion* R = nullptr
The base region.
private int64_t Offset
The bit offset within the base region. Can be negative.
public static const int64_t Symbolic = std::numeric_limits<long>::max()

Method Overview

Methods

RegionOffset()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:74

RegionOffset(const clang::ento::MemRegion* r,
             int64_t off)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:75

Parameters

const clang::ento::MemRegion* r
int64_t off

int64_t getOffset() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:82

const clang::ento::MemRegion* getRegion() const

Description

It might return null.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:78

bool hasSymbolicOffset() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:80

bool isValid() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h:87