Re: [Ada-mode-users] Performance of ada_mode_wisi_lr1_parse.exe vs. abort statements

[Stephen Leake]

Piotr Trojanek <address@hidden> writes:

> On Mon, Dec 17, 2018 at 6:44 PM Ludovic Brenta
> <address@hidden> wrote:
>> Here are the configuration pragmas I applied; they come from
>> lengthy research to optimize the performance of our main
>> application:
>
> You can also try this, which we use to build GNATprove:
>
> --  Dependency on Ada.Real_Time forces the use of GNAT tasking runtime,
> --  which adds extra checks for each memory allocation and deallocation.
> pragma Restrictions (No_Dependence => Ada.Real_Time);

We can add that.

> We also have:
> pragma Restrictions (No_Tasking);
> but I never measured if it makes any difference.

we have tasking in the error recovery.

-- 
-- Stephe