如何确定 Ada 文件是使用静态还是动态细化编译的

Question

我在检测到详细说明循环时遇到了一些问题。我几乎可以肯定所有源代码都是用 -gnatE 编译的。

为了进一步研究这个问题，我想检查 ada lib 目录中的文件是使用静态还是动态详细说明编译的。

是否存在可用于检索此信息的命令？我正在使用 FSF-GNAT。

Answer 1

除了编译文件 (.o) 之外，还有 ALI 文件 (.ali)，它们是文本文件，包含有关已发生的编译的许多详细信息。 第一组信息是关于编译器开关的。