This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH] Do not consider reference types as dynamic

From: Pierre-Marie de Rodat <derodat at adacore dot com>
To: Joel Brobecker <brobecker at adacore dot com>
Cc: Yao Qi <qiyaoltc at gmail dot com>, GDB Patches <gdb-patches at sourceware dot org>
Date: Mon, 20 Apr 2015 16:27:02 +0200
Subject: Re: [PATCH] Do not consider reference types as dynamic
Authentication-results: sourceware.org; auth=none
References: <54FEDC09 dot 3050106 at adacore dot com> <20150323133627 dot GG5438 at adacore dot com> <551BB1C9 dot 10006 at adacore dot com> <551E5309 dot 7090509 at adacore dot com> <86k2xbrpzs dot fsf at gmail dot com> <5530EC8C dot 1070308 at adacore dot com> <553121B2 dot 1040406 at adacore dot com> <20150417153004 dot GL4704 at adacore dot com>

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 isprobably the best way in terms of "implementation consistency", but it'salso going to be a lot of work.

So the plan is instead to try to enhance type resolution to handlereferences that are not addressable. In the meantime, I've reverted mypatches so that the regression disappears. I'll submit another patch...


--
Pierre-Marie de Rodat

Follow-Ups:
- Re: [PATCH] Do not consider reference types as dynamic
  - From: Pierre-Marie de Rodat

References:
- Re: [PATCH] Do not consider reference types as dynamic
  - From: Pierre-Marie de Rodat
- Re: [PATCH] Do not consider reference types as dynamic
  - From: Pierre-Marie de Rodat
- Re: [PATCH] Do not consider reference types as dynamic
  - From: Yao Qi
- Re: [PATCH] Do not consider reference types as dynamic
  - From: Pierre-Marie de Rodat
- Re: [PATCH] Do not consider reference types as dynamic
  - From: Pierre-Marie de Rodat
- Re: [PATCH] Do not consider reference types as dynamic
  - From: Joel Brobecker

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]