为了让Ada代码运行得更快，我在代码中包含了pragma优化时间（在声明部分中）。在使用GNAT Ada libre Core编译器在AdaGIDE中编译时，我收到一条警告消息：
pragma Optimize(Time);
|
>>> warning: insufficient -O value
在AdaGIDE编辑器的全局设置中，我在优化部分启用了扩展（O2级别）。
相同的代码在GPS编译时没有给出任何警告。这里有任何人使用AdaGIDE之前有类似经历吗？
非常感谢...