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