调试Ada程序时如何阻止gnatmake对函数进行内联？

这确实是GNAT编译器常见的小坑——哪怕你指定了-O0 -g编译选项，一些简单的、涉及类类型（'Class）的成员函数还是可能被编译器自动内联，导致GDB的wh（where）命令无法关联到源码。你添加Put_Line后函数不再内联，是因为编译器判断此时函数复杂度提升，内联的收益不足以抵消代码膨胀的成本，所以保留了独立的函数实体。

下面是几个可靠的方法来强制阻止GNAT内联目标函数：

方法1：使用Ada语言的pragma No_Inline #

这是最精准的方式，只针对特定函数禁用内联，不会影响其他代码的优化。你可以把这个编译指示放在函数声明或者定义的位置：

情况1：函数在包规范中声明 #

如果Moment函数是在包规范里公开声明的，直接在声明后添加pragma No_Inline：

package Your_Package is
   type Object is tagged ...; -- 你的类类型定义
   function Moment(OC: Object'Class) return Float;
   pragma No_Inline(Moment); -- 禁用该函数的内联
end Your_Package;

情况2：函数仅在包体中定义 #

如果函数是包体内部的私有函数，在定义前添加编译指示即可：

package body Your_Package is
   pragma No_Inline(Moment);
   function Moment(OC: Object'Class) return Float is 
   begin 
      return OC.X_Coord * OC.Area; 
   end Moment;
end Your_Package;

方法2：编译时添加全局禁用内联的选项 #

如果你希望全局关闭所有函数的内联（适合调试阶段），可以在调用gnatmake时添加-fno-inline选项：

gnatmake -O0 -g -fno-inline your_program.adb

如果只想针对“小函数”禁用内联，也可以用更温和的-fno-inline-small-functions选项，它只会阻止编译器自动内联那些体积很小的函数，对较大函数的优化影响更小。

验证方法 #

修改后重新编译程序，用GDB设置断点并触发后，再执行wh命令应该就能正常显示Moment函数的源码位置了。

内容的提问来源于stack exchange，提问作者Martel