From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1720 invoked by alias); 23 Jun 2014 17:07:12 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Received: (qmail 1704 invoked by uid 89); 23 Jun 2014 17:07:10 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-3.7 required=5.0 tests=AWL,BAYES_00,SPF_HELO_PASS,SPF_PASS,T_RP_MATCHES_RCVD autolearn=ham version=3.3.2 X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Mon, 23 Jun 2014 17:06:41 +0000 Received: from int-mx09.intmail.prod.int.phx2.redhat.com (int-mx09.intmail.prod.int.phx2.redhat.com [10.5.11.22]) by mx1.redhat.com (8.14.4/8.14.4) with ESMTP id s5NH6dxs005901 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK) for ; Mon, 23 Jun 2014 13:06:40 -0400 Received: from [10.36.116.50] (ovpn-116-50.ams2.redhat.com [10.36.116.50]) by int-mx09.intmail.prod.int.phx2.redhat.com (8.14.4/8.14.4) with ESMTP id s5NH6c2E024235; Mon, 23 Jun 2014 13:06:38 -0400 Subject: Re: [PATCH] DWARFv5. Handle DW_TAG_atomic_type _Atomic type modifier. From: Mark Wielaard To: Tom Tromey Cc: gdb-patches@sourceware.org In-Reply-To: <874mzb7fqv.fsf@fleche.redhat.com> References: <1403432716-8344-1-git-send-email-mjw@redhat.com> <874mzb7fqv.fsf@fleche.redhat.com> Content-Type: text/plain; charset="UTF-8" Date: Mon, 23 Jun 2014 17:07:00 -0000 Message-ID: <1403543197.3970.49.camel@bordewijk.wildebeest.org> Mime-Version: 1.0 Content-Transfer-Encoding: 7bit X-SW-Source: 2014-06/txt/msg00822.txt.bz2 On Mon, 2014-06-23 at 10:27 -0600, Tom Tromey wrote: > >>>>> "Mark" == Mark Wielaard writes: > > Mark> This prototype patch matches the experimental patch to GCC: > Mark> https://gcc.gnu.org/ml/gcc-patches/2014-06/msg01677.html > > Thanks, Mark. > > Mark> Since there is not even a draft of DWARFv5 I don't recommend adopting > Mark> this patch. All details may change in the future. I am mainly doing it > Mark> to give better feedback on the DWARFv5 proposals (in this case the > Mark> feedback would be that it is unfortunate we cannot easily do this as a > Mark> vendor extension with DW_TAG_GNU_atomic_type since that would break > Mark> backward compatibility). > > I don't understand this bit. It's reasonably normal to add a new GNU tag. It is certainly reasonable to add new vendor attributes or tags, but only for "independent" tags or attributes that consumers can easily ignore if they aren't recognized. There is no mechanism for introducing new vendor type qualifier tags like these in DWARF. The issue is that a consumer cannot detect that a tag is just a type qualifier which can be ignored if not recognized (all type qualifiers do use DW_AT_type to point to the underlying type, but so do other non-qualifier tags that have completely different semantics). So if we would add a vendor tag and GCC starts annotating/wrapping other type tags with DW_TAG_GNU_atomic_type then consumers will start failing to find the underlying type (I already had to patch up various consumers when I added DW_TAG_restrict_type, which has been standard since DWARFv3). So if we would introduce a vendor extension to mark atomic types, then it would have to work differently from the proposed type qualifier tag. > Mark> Is there a recommended way for doing/keeping these kind of > Mark> speculative patches? > > Just hosting it on a public git somewhere. I suppose we could resurrect > archer.git, though there are plenty of hosting services now. OK, I can host a repo on my own server or on gitorious. I was just hoping there was some generic GDB way to host these works in progress, so others know this is being worked on with the intention of being merged eventually. I am afraid that if everybody starts hosting their own repos at various places it will be harder for people to know which active development is ongoing. > Some nits follow. The patch looks good overall. Thanks. I'll fix the issues and post when I find a good way to host my repo. Cheers, Mark