阿达：优化编译指示

Question

为了让Ada代码运行得更快，我在代码中包含了pragma优化时间（在声明部分中）。在使用GNAT Ada libre Core编译器在AdaGIDE中编译时，我收到一条警告消息：

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

在AdaGIDE编辑器的全局设置中，我在优化部分启用了扩展（O2级别）。

相同的代码在GPS编译时没有给出任何警告。这里有任何人使用AdaGIDE之前有类似经历吗？

非常感谢...

Answer 1

抱歉，我没有为Ada使用IDE，但我很高兴看到GNAT版本中的可用选项有所不同：4.3.5，4.4.4和4.5.0。您可以检查哪些值适用于已安装的编译器版本与IDE期望的值。