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

On 07/16/2015 12:12 PM, Richard Biener wrote: On Thu, Jul 16, 2015 at 10:52 AM, Andreas Schwab wrote: Pierre-Marie de Rodat 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

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

On Thu, Jul 16, 2015 at 10:52 AM, Andreas Schwab wrote: > Pierre-Marie de Rodat writes: > >> +fgnat-encodings= > > IMHO the option name should include "dwarf". And start with -g Richard. > Andreas. > > -- > Andreas Schwab, SUSE Labs, sch...@suse.de > GPG Key fingerprint = 0196 BAD8 1CE9 1970 F

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

Pierre-Marie de Rodat writes: > +fgnat-encodings= IMHO the option name should include "dwarf". Andreas. -- Andreas Schwab, SUSE Labs, sch...@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7 "And now for something completely different."

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

eclare a global variable. (gnat_post_options): Initialize this global from options. -- Pierre-Marie de Rodat >From 77212283fa0ddbbf6aef4a6f16aa0e8286b811f3 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Wed, 17 Sep 2014 14:54:50 +0200 Subject: [PATCH 1/8] Add a flag to control t