Converting exprt to c code without padding and struct declaration

Author: mmuesly

src/ansi-c/expr2c.cpp

@@ -3961,3 +3961,18 @@ std::string type2c(const typet &type, const namespacet &ns)
   // expr2c.get_shorthands(expr);
   return expr2c.convert(type);
 }
+
+std::string expr2c_pretty_structt::convert_struct_type(
+  const typet &src,
+  const std::string &qualifiers_str,
+  const std::string &declarator_str)
+{
+  return expr2ct::convert_struct_type(
+    src, qualifiers_str, declarator_str, false, false);
+}
+
+std::string
+expr2c_pretty_structt::convert_struct(const exprt &src, unsigned &precedence)
+{
+  return expr2ct::convert_struct(src, precedence, false);
+}

src/ansi-c/expr2c_class.h

@@ -256,4 +256,19 @@ class expr2ct
     bool include_padding_components);
 };
 
+class expr2c_pretty_structt : public expr2ct
+{
+public:
+  explicit expr2c_pretty_structt(const namespacet &_ns) : expr2ct(_ns)
+  {
+  }
+
+protected:
+  std::string convert_struct(const exprt &src, unsigned &precedence) override;
+  std::string convert_struct_type(
+    const typet &src,
+    const std::string &qualifiers_str,
+    const std::string &declarator_str) override;
+};
+
 #endif // CPROVER_ANSI_C_EXPR2C_CLASS_H