compilation - Ada：优化编译指示

Question

为了使 Ada 代码运行得更快，我在代码中包含了编译指示优化时间（在声明部分）。在使用 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 期望的值。