Remove now-unused byte-operator flattening exceptions

tautschnig · tautschnig · commit 89afd2385ace · 2019-05-19T22:02:07.000Z
We now handle additional cases, and don't throw either of those anymore.
diff --git a/src/solvers/lowering/flatten_byte_extract_exceptions.h b/src/solvers/lowering/flatten_byte_extract_exceptions.h
@@ -25,67 +25,6 @@ class flatten_byte_extract_exceptiont : public std::runtime_error
   }
 };
 
-class non_const_array_sizet : public flatten_byte_extract_exceptiont
-{
-public:
-  non_const_array_sizet(const typet &array_type, const exprt &max_bytes)
-    : flatten_byte_extract_exceptiont("cannot unpack array of non-const size"),
-      max_bytes(max_bytes),
-      array_type(array_type)
-  {
-    std::ostringstream error_message;
-    error_message << runtime_error::what() << "\n";
-    error_message << "array_type: " << array_type.pretty();
-    error_message << "\nmax_bytes: " << max_bytes.pretty();
-    computed_error_message = error_message.str();
-  }
-
-  const char *what() const optional_noexcept override
-  {
-    return computed_error_message.c_str();
-  }
-
-private:
-  exprt max_bytes;
-  typet array_type;
-
-  std::string computed_error_message;
-};
-
-class non_byte_alignedt : public flatten_byte_extract_exceptiont
-{
-public:
-  non_byte_alignedt(
-    const struct_typet &struct_type,
-    const struct_union_typet::componentt &component,
-    const mp_integer &byte_width)
-    : flatten_byte_extract_exceptiont(
-        "cannot unpack struct with non-byte aligned components"),
-      struct_type(struct_type),
-      component(component),
-      byte_width(byte_width)
-  {
-    std::ostringstream error_message;
-    error_message << runtime_error::what() << "\n";
-    error_message << "width: " << byte_width << "\n";
-    error_message << "component:" << component.get_name() << "\n";
-    error_message << "struct_type: " << struct_type.pretty();
-    computed_error_message = error_message.str();
-  }
-
-  const char *what() const optional_noexcept override
-  {
-    return computed_error_message.c_str();
-  }
-
-private:
-  const struct_typet struct_type;
-  const struct_union_typet::componentt component;
-  const mp_integer byte_width;
-
-  std::string computed_error_message;
-};
-
 class non_constant_widtht : public flatten_byte_extract_exceptiont
 {
 public:
