From patchwork Mon Dec 21 01:31:11 2015 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Artemiy Volkov X-Patchwork-Id: 10076 Received: (qmail 92969 invoked by alias); 20 Dec 2015 22:35:15 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Delivered-To: mailing list gdb-patches@sourceware.org Received: (qmail 92942 invoked by uid 89); 20 Dec 2015 22:35:14 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.6 required=5.0 tests=BAYES_00, FREEMAIL_FROM, RCVD_IN_DNSWL_LOW, SPF_PASS autolearn=ham version=3.3.2 spammy=simultaneously, 1608, Hx-spam-relays-external:209.85.217.196, 1606 X-HELO: mail-lb0-f196.google.com Received: from mail-lb0-f196.google.com (HELO mail-lb0-f196.google.com) (209.85.217.196) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Sun, 20 Dec 2015 22:35:13 +0000 Received: by mail-lb0-f196.google.com with SMTP id w4so4560409lbv.0 for ; Sun, 20 Dec 2015 14:35:12 -0800 (PST) X-Received: by 10.112.171.136 with SMTP id au8mr5167656lbc.135.1450650909492; Sun, 20 Dec 2015 14:35:09 -0800 (PST) Received: from localhost.localdomain ([37.204.1.155]) by smtp.gmail.com with ESMTPSA id m75sm4420435lfg.15.2015.12.20.14.35.08 (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Sun, 20 Dec 2015 14:35:08 -0800 (PST) From: Artemiy Volkov To: gdb-patches@sourceware.org Cc: Artemiy Volkov Subject: [PATCH 01/11] [PR gdb/14441] gdb: gdbtypes: add definitions for rvalue reference type Date: Mon, 21 Dec 2015 04:31:11 +0300 Message-Id: <1450661481-31178-2-git-send-email-artemiyv@acm.org> In-Reply-To: <1450661481-31178-1-git-send-email-artemiyv@acm.org> References: <1450661481-31178-1-git-send-email-artemiyv@acm.org> X-IsSubscribed: yes 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. ./Changelog: 2015-12-19 Artemiy Volkov * gdb/gdbtypes.h (enum type_code): Add TYPE_CODE_RVALUE_REF constant. (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) \ (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_ATOMIC) +/* * 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) \ + (TYPE_CODE(t) == TYPE_CODE_REF || TYPE_CODE(t) == TYPE_CODE_RVALUE_REF) + /* * Instruction-space delimited type. This is for Harvard architectures which have separate instruction and data address spaces (and perhaps others). @@ -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,