Add definitions for rvalue reference types

This patch introduces preliminal definitions regarding C++11 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.

gdb/Changelog

    PR gdb/14441
    * gdbtypes.h (enum type_code) <TYPE_CODE_RVALUE_REF>: New constant.
    (TYPE_IS_REFERENCE): New macro.
    (struct type): Add rvalue_reference_type field.
    (TYPE_RVALUE_REFERENCE_TYPE): New macro.
This commit is contained in:
Artemiy Volkov 2017-03-20 13:47:30 -07:00 committed by Keith Seitz
parent 51457a0578
commit f9aeb8d499
2 changed files with 20 additions and 0 deletions

View File

@ -1,3 +1,11 @@
2017-03-20 Artemiy Volkov <artemiyv@acm.org>
PR gdb/14441
* gdbtypes.h (enum type_code) <TYPE_CODE_RVALUE_REF>: New constant.
(TYPE_IS_REFERENCE): New macro.
(struct type): Add rvalue_reference_type field.
(TYPE_RVALUE_REFERENCE_TYPE): New macro.
2017-03-20 Marc-Andre Laperle <marc-andre.laperle@ericsson.com> 2017-03-20 Marc-Andre Laperle <marc-andre.laperle@ericsson.com>
* NEWS: Add an entry about new '-file-list-shared-libraries' command. * NEWS: Add an entry about new '-file-list-shared-libraries' command.

View File

@ -160,6 +160,8 @@ enum type_code
TYPE_CODE_REF, /**< C++ Reference types */ TYPE_CODE_REF, /**< C++ Reference types */
TYPE_CODE_RVALUE_REF, /**< C++ rvalue reference types */
TYPE_CODE_CHAR, /**< *real* character type */ TYPE_CODE_CHAR, /**< *real* character type */
/* * Boolean type. 0 is false, 1 is true, and other values are /* * Boolean type. 0 is false, 1 is true, and other values are
@ -335,6 +337,11 @@ enum type_instance_flag_value
#define TYPE_ATOMIC(t) \ #define TYPE_ATOMIC(t) \
(TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_ATOMIC) (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_ATOMIC)
/* * True if this type represents either an lvalue or lvalue reference type. */
#define TYPE_IS_REFERENCE(t) \
(TYPE_CODE (t) == TYPE_CODE_REF || TYPE_CODE (t) == TYPE_CODE_RVALUE_REF)
/* * Instruction-space delimited type. This is for Harvard architectures /* * Instruction-space delimited type. This is for Harvard architectures
which have separate instruction and data address spaces (and perhaps which have separate instruction and data address spaces (and perhaps
others). others).
@ -740,6 +747,10 @@ struct type
struct type *reference_type; struct type *reference_type;
/* * A C++ rvalue reference type added in C++11. */
struct type *rvalue_reference_type;
/* * Variant chain. This points to a type that differs from this /* * Variant chain. This points to a type that differs from this
one only in qualifiers and length. Currently, the possible one only in qualifiers and length. Currently, the possible
qualifiers are const, volatile, code-space, data-space, and qualifiers are const, volatile, code-space, data-space, and
@ -1196,6 +1207,7 @@ extern void allocate_gnat_aux_type (struct type *);
#define TYPE_TARGET_TYPE(thistype) TYPE_MAIN_TYPE(thistype)->target_type #define TYPE_TARGET_TYPE(thistype) TYPE_MAIN_TYPE(thistype)->target_type
#define TYPE_POINTER_TYPE(thistype) (thistype)->pointer_type #define TYPE_POINTER_TYPE(thistype) (thistype)->pointer_type
#define TYPE_REFERENCE_TYPE(thistype) (thistype)->reference_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 #define TYPE_CHAIN(thistype) (thistype)->chain
/* * Note that if thistype is a TYPEDEF type, you have to call check_typedef. /* * 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, But check_typedef does set the TYPE_LENGTH of the TYPEDEF type,