Re: [PATCH 1/8] Add a flag to control the balance between GNAT encodings, and std. DWARF

[Pierre-Marie de Rodat <derodat at adacore dot com>]

On 07/16/2015 12:12 PM, Richard Biener wrote:
> On Thu, Jul 16, 2015 at 10:52 AM, Andreas Schwab <schwab@suse.de> wrote:
> > Pierre-Marie de Rodat <derodat@adacore.com> writes:
> >
> > > +fgnat-encodings=
> >
> > IMHO the option name should include "dwarf".
>
> And start with -g

Thank you for your answers!

Changing the name of the option is fine with me 
(-fdwarf-gnat-encodings?), but I don't think it can start with -g as it 
also changes trees. GNAT encodings are often materialized as parallel 
types and -fgnat-encodings=minimal disables them as much as possible. As 
though I don't expect this to really change the generated code, I cannot 
guarantee it.

--
Pierre-Marie de Rodat