Ада: оптимизировать прагму - PullRequest
1 голос
/ 20 июля 2010

в стремлении ускорить выполнение кода Ada, я включил в код время оптимизации прагмы (в декларативной части). При компиляции в AdaGIDE с использованием компилятора GNAT Ada libre Core я получаю предупреждение:

    pragma Optimize(Time);
       |
    >>> warning: insufficient -O value

В разделе «Глобальные настройки» в редакторе AdaGIDE в разделе «Оптимизация» включен расширенный уровень (уровень O2).

Этот же код не выдает никаких предупреждений при компиляции в GPS. Кто-нибудь здесь, кто использует AdaGIDE, кто имел подобный опыт раньше?

Большое спасибо ...

1 Ответ

1 голос
/ 21 июля 2010

Извините, я не использую IDE для Ada, но я был заинтригован, увидев, что доступные варианты различаются в разных версиях GNAT: 4.3.5 , 4.4.4 и 4,5,0 .Вы можете проверить, какие значения применимы к установленной версии компилятора, а не того, что ожидает IDE.

...