[01/11,PR,gdb/14441] gdb: gdbtypes: add definitions for rvalue reference type

Message ID 1450661481-31178-2-git-send-email-artemiyv@acm.org
State New, archived

Commit Message

Artemiy Volkov Dec. 21, 2015, 1:31 a.m. UTC
  This patch introduces preliminal definitions regarding C++0x rvalue references
to the gdb type system. In addition to an enum type_code entry, a field in
struct type and an accessor macro for that which are created similarly to the
lvalue references' counterparts, we also introduce a TYPE_REFERENCE convenience
macro used to check for both kinds of references simultaneously as they are
equivalent in many contexts.


2015-12-19  Artemiy Volkov  <artemiyv@acm.org>

        * gdb/gdbtypes.h (enum type_code): Add TYPE_CODE_RVALUE_REF
        (TYPE_REFERENCE): New macro.
        (struct type): Add rvalue_reference_type field.
        (TYPE_RVALUE_REFERENCE_TYPE): New macro.
 gdb/gdbtypes.h | 13 +++++++++++++
 1 file changed, 13 insertions(+)


diff --git a/gdb/gdbtypes.h b/gdb/gdbtypes.h
index acfa16a..2ef38ca 100644
--- a/gdb/gdbtypes.h
+++ b/gdb/gdbtypes.h
@@ -160,6 +160,8 @@  enum type_code
     TYPE_CODE_REF,		/**< C++ Reference types */
+    TYPE_CODE_RVALUE_REF,	/**< C++ rvalue reference types */
     TYPE_CODE_CHAR,		/**< *real* character type */
     /* * Boolean type.  0 is false, 1 is true, and other values are
@@ -362,6 +364,12 @@  enum type_instance_flag_value
 #define TYPE_ATOMIC(t) \
+/* * C++ lvalue and rvalue references are equivalent in many contexts,
+   thus create a convenience macro that checks if a type is either of them. */
+#define TYPE_REFERENCE(t) \
 /* * Instruction-space delimited type.  This is for Harvard architectures
    which have separate instruction and data address spaces (and perhaps
@@ -767,6 +775,10 @@  struct type
   struct type *reference_type;
+  /* * A C++ rvalue reference type added in C++0x. */
+  struct type *rvalue_reference_type;
   /* * Variant chain.  This points to a type that differs from this
      one only in qualifiers and length.  Currently, the possible
      qualifiers are const, volatile, code-space, data-space, and
@@ -1229,6 +1241,7 @@  extern void allocate_gnat_aux_type (struct type *);
 #define TYPE_TARGET_TYPE(thistype) TYPE_MAIN_TYPE(thistype)->target_type
 #define TYPE_POINTER_TYPE(thistype) (thistype)->pointer_type
 #define TYPE_REFERENCE_TYPE(thistype) (thistype)->reference_type
+#define TYPE_RVALUE_REFERENCE_TYPE(thistype) (thistype)->rvalue_reference_type
 #define TYPE_CHAIN(thistype) (thistype)->chain
 /* * Note that if thistype is a TYPEDEF type, you have to call check_typedef.
    But check_typedef does set the TYPE_LENGTH of the TYPEDEF type,