9 #ifndef CPROVER_SOLVERS_FLATTENING_FLATTEN_BYTE_EXTRACT_EXCEPTIONS_H 10 #define CPROVER_SOLVERS_FLATTENING_FLATTEN_BYTE_EXTRACT_EXCEPTIONS_H 23 : runtime_error(exception_message)
36 std::ostringstream error_message;
37 error_message << runtime_error::what() <<
"\n";
43 const char *
what() const optional_noexcept
override 63 "cannot unpack struct with non-byte aligned components"),
68 std::ostringstream error_message;
69 error_message << runtime_error::what() <<
"\n";
70 error_message <<
"width: " <<
byte_width <<
"\n";
76 const char *
what() const optional_noexcept
override 95 "cannot unpack object of non-constant width"),
99 std::ostringstream error_message;
100 error_message << runtime_error::what() <<
"\n";
101 error_message <<
"array_type: " <<
src.
pretty();
106 const char *
what() const optional_noexcept
override 124 "byte_extract flatting with non-constant size"),
127 std::ostringstream error_message;
128 error_message << runtime_error::what() <<
"\n";
133 const char *
what() const optional_noexcept
override 144 #endif // CPROVER_SOLVERS_FLATTENING_FLATTEN_BYTE_EXTRACT_EXCEPTIONS_H const irep_idt & get_name() const
std::string computed_error_message
non_const_array_sizet(const array_typet &array_type, const exprt &max_bytes)
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
std::string computed_error_message
Structure type, corresponds to C style structs.
const char * what() const optional_noexcept override
const char * what() const optional_noexcept override
non_byte_alignedt(const struct_typet &struct_type, const struct_union_typet::componentt &component, const mp_integer &byte_width)
API to expression classes.
const struct_union_typet::componentt component
non_constant_widtht(const exprt &src, const exprt &max_bytes)
const char * what() const optional_noexcept override
std::string computed_error_message
Base class for all expressions.
const mp_integer byte_width
const struct_typet struct_type