GCC Middle and Back End API Reference
|
#include <ranges.h>
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::value * | to_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 |
A range of byte offsets, where both the start and size of the range can be symbolic.
|
inline |
ana::symbolic_byte_range::symbolic_byte_range | ( | region_offset | start, |
const svalue * | num_bytes, | ||
region_model_manager & | mgr ) |
void ana::symbolic_byte_range::dump | ( | bool | , |
region_model_manager & | mgr ) const |
void ana::symbolic_byte_range::dump_to_pp | ( | pretty_printer * | pp, |
bool | simple, | ||
region_model_manager & | mgr ) const |
bool ana::symbolic_byte_range::empty_p | ( | ) | const |
symbolic_byte_offset ana::symbolic_byte_range::get_last_byte_offset | ( | region_model_manager & | mgr | ) | const |
symbolic_byte_offset ana::symbolic_byte_range::get_next_byte_offset | ( | region_model_manager & | mgr | ) | const |
|
inline |
References m_size.
|
inline |
References m_start.
tristate ana::symbolic_byte_range::intersection | ( | const symbolic_byte_range & | other, |
const region_model & | model ) const |
json::value * ana::symbolic_byte_range::to_json | ( | ) | const |
|
private |
Referenced by get_size_in_bytes().
|
private |
Referenced by get_start_byte_offset().