GCC Middle and Back End API Reference
ana::symbolic_byte_range Class Reference

#include <ranges.h>

Collaboration diagram for ana::symbolic_byte_range:

Public Member Functions

 symbolic_byte_range (symbolic_byte_offset start, symbolic_byte_offset size)
 symbolic_byte_range (region_offset start, const svalue *num_bytes, region_model_manager &mgr)
void dump_to_pp (pretty_printer *pp, bool simple, region_model_manager &mgr) const
void dump (bool, region_model_manager &mgr) const
json::valueto_json () const
bool empty_p () const
symbolic_byte_offset get_start_byte_offset () const
symbolic_byte_offset get_last_byte_offset (region_model_manager &mgr) const
symbolic_byte_offset get_size_in_bytes () const
symbolic_byte_offset get_next_byte_offset (region_model_manager &mgr) const
tristate intersection (const symbolic_byte_range &other, const region_model &model) const

Private Attributes

symbolic_byte_offset m_start
symbolic_byte_offset m_size

Detailed Description

A range of byte offsets, where both the start and size of the
range can be symbolic.   

Constructor & Destructor Documentation

◆ symbolic_byte_range() [1/2]

ana::symbolic_byte_range::symbolic_byte_range ( symbolic_byte_offset start,
symbolic_byte_offset size )

◆ symbolic_byte_range() [2/2]

ana::symbolic_byte_range::symbolic_byte_range ( region_offset start,
const svalue * num_bytes,
region_model_manager & mgr )

Member Function Documentation

◆ dump()

void ana::symbolic_byte_range::dump ( bool ,
region_model_manager & mgr ) const

◆ dump_to_pp()

void ana::symbolic_byte_range::dump_to_pp ( pretty_printer * pp,
bool simple,
region_model_manager & mgr ) const

◆ empty_p()

bool ana::symbolic_byte_range::empty_p ( ) const

◆ get_last_byte_offset()

symbolic_byte_offset ana::symbolic_byte_range::get_last_byte_offset ( region_model_manager & mgr) const

◆ get_next_byte_offset()

symbolic_byte_offset ana::symbolic_byte_range::get_next_byte_offset ( region_model_manager & mgr) const

◆ get_size_in_bytes()

symbolic_byte_offset ana::symbolic_byte_range::get_size_in_bytes ( ) const

References m_size.

◆ get_start_byte_offset()

symbolic_byte_offset ana::symbolic_byte_range::get_start_byte_offset ( ) const

References m_start.

◆ intersection()

tristate ana::symbolic_byte_range::intersection ( const symbolic_byte_range & other,
const region_model & model ) const

◆ to_json()

json::value * ana::symbolic_byte_range::to_json ( ) const

Field Documentation

◆ m_size

symbolic_byte_offset ana::symbolic_byte_range::m_size

Referenced by get_size_in_bytes().

◆ m_start

symbolic_byte_offset ana::symbolic_byte_range::m_start

Referenced by get_start_byte_offset().

The documentation for this class was generated from the following file: