From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 92708 invoked by alias); 20 Apr 2015 14:27:06 -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 92696 invoked by uid 89); 20 Apr 2015 14:27:06 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.6 required=5.0 tests=AWL,BAYES_00,KAM_LAZY_DOMAIN_SECURITY,RCVD_IN_DNSWL_LOW autolearn=no version=3.3.2 X-HELO: smtp.eu.adacore.com Received: from mel.act-europe.fr (HELO smtp.eu.adacore.com) (194.98.77.210) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Mon, 20 Apr 2015 14:27:05 +0000 Received: from localhost (localhost [127.0.0.1]) by filtered-smtp.eu.adacore.com (Postfix) with ESMTP id 7F8192DBA9C1; Mon, 20 Apr 2015 16:27:02 +0200 (CEST) Received: from smtp.eu.adacore.com ([127.0.0.1]) by localhost (smtp.eu.adacore.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 5nA4R-r5BtQn; Mon, 20 Apr 2015 16:27:02 +0200 (CEST) Received: from [10.10.1.112] (cacatoes.act-europe.fr [10.10.1.112]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.eu.adacore.com (Postfix) with ESMTPSA id 6FFA62DBA9B7; Mon, 20 Apr 2015 16:27:02 +0200 (CEST) Message-ID: <55350CB6.6070609@adacore.com> Date: Mon, 20 Apr 2015 14:27:00 -0000 From: Pierre-Marie de Rodat User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.6.0 MIME-Version: 1.0 To: Joel Brobecker CC: Yao Qi , GDB Patches Subject: Re: [PATCH] Do not consider reference types as dynamic References: <54FEDC09.3050106@adacore.com> <20150323133627.GG5438@adacore.com> <551BB1C9.10006@adacore.com> <551E5309.7090509@adacore.com> <86k2xbrpzs.fsf@gmail.com> <5530EC8C.1070308@adacore.com> <553121B2.1040406@adacore.com> <20150417153004.GL4704@adacore.com> In-Reply-To: <20150417153004.GL4704@adacore.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes X-SW-Source: 2015-04/txt/msg00743.txt.bz2 On 04/17/2015 05:30 PM, Joel Brobecker wrote: > My 2 cents, based on the little amount of experience we've had dealing > with dyanmic types in Ada, and the amount of experience we've had > dealing with the GNAT encodings, I have a feeling that it's best to > maintain reference types as being non-dynamic, and enhance the functions > that print reference objects instead. We should probably compare what > Ada does (ada_val_print_ref) compared to C, for instance, as we handle > those reference values correctly, I believe. Joel and I discussed this live: doing the type printing change is probably the best way in terms of "implementation consistency", but it's also going to be a lot of work. So the plan is instead to try to enhance type resolution to handle references that are not addressable. In the meantime, I've reverted my patches so that the regression disappears. I'll submit another patch... -- Pierre-Marie de Rodat