From 0d5a0b9af5b9c0f07eabcdb1a7a6454c06cdf8ae Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Tue, 4 May 2021 15:26:58 -0600 Subject: libcc1: add deleter objects This adds deleter objects for various kinds of protocol pointers to libcc1. Existing specializations of argument_wrapper are then replaced with a single specialization that handles all pointer types via the appropriate deleter. The result here is a bit nicer because the argument_wrapper boilerplate code is completely shared, leaving just the memory-management detail to the particular specializations. libcc1 * rpc.hh (struct deleter): New template class and specializations. (argument_wrapper): Remove specializations. Add specialization for any pointer type. --- libcc1/rpc.hh | 176 +++++++++++++++------------------------------------------- 1 file changed, 45 insertions(+), 131 deletions(-) (limited to 'libcc1/rpc.hh') diff --git a/libcc1/rpc.hh b/libcc1/rpc.hh index a3631cb..4e00d61 100644 --- a/libcc1/rpc.hh +++ b/libcc1/rpc.hh @@ -22,6 +22,7 @@ along with GCC; see the file COPYING3. If not see #include "status.hh" #include "connection.hh" +#include namespace cc1_plugin { @@ -54,182 +55,95 @@ namespace cc1_plugin T m_object; }; - // Specialization for any kind of pointer. This is declared but not - // defined to avoid bugs if a new pointer type is introduced into - // the API. Instead you will just get a compilation error. - template - class argument_wrapper; + // Any pointer type requires a deleter object that knows how to + // clean up. These are used in multiple places. + template struct deleter; - // Specialization for string types. template<> - class argument_wrapper + struct deleter { - public: - argument_wrapper () : m_object (NULL) { } - ~argument_wrapper () + void operator() (char *s) { - delete[] m_object; + delete[] s; } - - argument_wrapper (const argument_wrapper &) = delete; - argument_wrapper &operator= (const argument_wrapper &) = delete; - - operator const char * () const - { - return m_object; - } - - status unmarshall (connection *conn) - { - return ::cc1_plugin::unmarshall (conn, &m_object); - } - - private: - - char *m_object; }; - // Specialization for gcc_type_array. template<> - class argument_wrapper + struct deleter { - public: - argument_wrapper () : m_object (NULL) { } - ~argument_wrapper () + void operator() (gcc_type_array *p) { - // It would be nicer if gcc_type_array could have a destructor. - // But, it is in code shared with gdb and cannot. - if (m_object != NULL) - delete[] m_object->elements; - delete m_object; + delete[] p->elements; + delete p; } - - argument_wrapper (const argument_wrapper &) = delete; - argument_wrapper &operator= (const argument_wrapper &) = delete; - - operator const gcc_type_array * () const - { - return m_object; - } - - status unmarshall (connection *conn) - { - return ::cc1_plugin::unmarshall (conn, &m_object); - } - - private: - - gcc_type_array *m_object; }; #ifdef GCC_CP_INTERFACE_H - // Specialization for gcc_vbase_array. template<> - class argument_wrapper + struct deleter { - public: - argument_wrapper () : m_object (NULL) { } - ~argument_wrapper () - { - // It would be nicer if gcc_type_array could have a destructor. - // But, it is in code shared with gdb and cannot. - if (m_object != NULL) - { - delete[] m_object->flags; - delete[] m_object->elements; - } - delete m_object; - } - - argument_wrapper (const argument_wrapper &) = delete; - argument_wrapper &operator= (const argument_wrapper &) = delete; - - operator const gcc_vbase_array * () const + void operator() (gcc_vbase_array *p) { - return m_object; - } - - status unmarshall (connection *conn) - { - return ::cc1_plugin::unmarshall (conn, &m_object); + delete[] p->flags; + delete[] p->elements; + delete p; } - - private: - - gcc_vbase_array *m_object; }; - // Specialization for gcc_cp_template_args. template<> - class argument_wrapper + struct deleter { - public: - argument_wrapper () : m_object (NULL) { } - ~argument_wrapper () - { - // It would be nicer if gcc_type_array could have a destructor. - // But, it is in code shared with gdb and cannot. - if (m_object != NULL) - { - delete[] m_object->elements; - delete[] m_object->kinds; - } - delete m_object; - } - - argument_wrapper (const argument_wrapper &) = delete; - argument_wrapper &operator= (const argument_wrapper &) = delete; - - operator const gcc_cp_template_args * () const + void operator() (gcc_cp_template_args *p) { - return m_object; + delete[] p->elements; + delete[] p->kinds; + delete p; } + }; - status unmarshall (connection *conn) + template<> + struct deleter + { + void operator() (gcc_cp_function_args *p) { - return ::cc1_plugin::unmarshall (conn, &m_object); + delete[] p->elements; + delete p; } - - private: - - gcc_cp_template_args *m_object; }; - // Specialization for gcc_cp_function_args. - template<> - class argument_wrapper +#endif // GCC_CP_INTERFACE_H + + // Specialization for any kind of pointer. + template + class argument_wrapper { public: - argument_wrapper () : m_object (NULL) { } - ~argument_wrapper () - { - // It would be nicer if gcc_type_array could have a destructor. - // But, it is in code shared with gdb and cannot. - if (m_object != NULL) - { - delete[] m_object->elements; - } - delete m_object; - } + argument_wrapper () = default; + ~argument_wrapper () = default; argument_wrapper (const argument_wrapper &) = delete; argument_wrapper &operator= (const argument_wrapper &) = delete; - operator const gcc_cp_function_args * () const + typedef typename std::remove_const::type type; + + operator const type * () const { - return m_object; + return m_object.get (); } status unmarshall (connection *conn) { - return ::cc1_plugin::unmarshall (conn, &m_object); + type *ptr; + if (!::cc1_plugin::unmarshall (conn, &ptr)) + return FAIL; + m_object.reset (ptr); + return OK; } private: - gcc_cp_function_args *m_object; + std::unique_ptr> m_object; }; -#endif /* GCC_CP_INTERFACE_H */ // There are two kinds of template functions here: "call" and // "callback". "call" is implemented with variadic templates, but -- cgit v1.1