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