On Fri, Jan 11, 2013 at 10:08 AM, Eric Botcazou wrote:
> Hi,
>
> the Ada part of the Ada front-end is compiled with -gnata, which boils down to
> a form of dynamic type checking for the AST, i.e. something roughly equivalent
> to Tree checking for the front-ends of the C family of compilers. This
Hi,
the Ada part of the Ada front-end is compiled with -gnata, which boils down to
a form of dynamic type checking for the AST, i.e. something roughly equivalent
to Tree checking for the front-ends of the C family of compilers. This patch
aligns the Ada compiler with them by disabling it in --
