Ada policy

[Florian Weimer]

* Robert Dewar:

> Florian Weimer wrote:
>
>> Sorry, I missed -gnatwn.  It even makes style check failures
>> non-fatal.  Apparently, it is indeed sufficient to add "-gnatwn" when
>> we hit bootstrap failures due to the problems I alluded to.
>
> It would still be interesting to know what bootstrap failures
> you are encountering in more detail (beyond an "allusion" :-)

As I told you, I missed -gnatwn.  All the breakage I previously
thought to be unavoidable can very likely address by enabling this
switch during bootstrap (as soon as it becomes necessary).  At least
my tests with unrecognized pragmas and style check failures suggests
that.