diff options
author | Tom Tromey <tom@tromey.com> | 2021-05-04 15:26:58 -0600 |
---|---|---|
committer | Tom Tromey <tom@tromey.com> | 2021-05-05 00:06:17 -0600 |
commit | 0d5a0b9af5b9c0f07eabcdb1a7a6454c06cdf8ae (patch) | |
tree | d808982bd5641a7b977e5b69c33b36edd3aa08e1 /libcc1/rpc.hh | |
parent | e702c60e65cf9c13587d571cdd158bca74f4c2e2 (diff) | |
download | gcc-0d5a0b9af5b9c0f07eabcdb1a7a6454c06cdf8ae.zip gcc-0d5a0b9af5b9c0f07eabcdb1a7a6454c06cdf8ae.tar.gz gcc-0d5a0b9af5b9c0f07eabcdb1a7a6454c06cdf8ae.tar.bz2 |
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.
Diffstat (limited to 'libcc1/rpc.hh')
-rw-r--r-- | libcc1/rpc.hh | 176 |
1 files changed, 45 insertions, 131 deletions
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 <memory> 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<typename T> - class argument_wrapper<const T *>; + // Any pointer type requires a deleter object that knows how to + // clean up. These are used in multiple places. + template<typename T> struct deleter; - // Specialization for string types. template<> - class argument_wrapper<const char *> + struct deleter<char> { - 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<const gcc_type_array *> + struct deleter<gcc_type_array> { - 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<const gcc_vbase_array *> + struct deleter<gcc_vbase_array> { - 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<const gcc_cp_template_args *> + struct deleter<gcc_cp_template_args> { - 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<gcc_cp_function_args> + { + 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<const gcc_cp_function_args *> +#endif // GCC_CP_INTERFACE_H + + // Specialization for any kind of pointer. + template<typename T> + class argument_wrapper<T *> { 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<T>::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<type, deleter<type>> 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 |