无法将C源码与Ada静态库链接：__gnat_rcheck_CE_Overflow_Check未定义

问题原因 #

__gnat_rcheck_CE_Overflow_Check是GNAT Ada编译器默认插入的运行时溢出检查函数。Ada编译时默认开启各类运行时安全检查（包括溢出检查），生成的目标文件会依赖GNAT运行时库的相关符号。但你生成的libnewapi.a仅打包了Ada代码的目标文件，未包含依赖的GNAT运行时库内容，因此链接C程序时会出现符号未定义错误。

解决方案 #

方法1：关闭Ada运行时溢出检查（适用于无需安全检查的场景） #

通过编译开关关闭溢出检查，让编译器不再生成对该符号的引用：

1. 修改Ada项目的GPR配置文件，添加编译选项：

   package Compiler is
      for Default_Switches ("Ada") use ("-O2", "-gnato0"); -- -gnato0 关闭溢出检查
   end Compiler;
   

2. 重新编译生成libnewapi.a，再链接C程序即可。

方法2：链接时引入GNAT运行时库（适用于需保留安全检查的场景） #

如果必须保留Ada的运行时检查，链接C程序时需显式加入GNAT运行时核心库。假设使用gcc链接，命令示例：

gcc main.c -o main -L./path/to/libnewapi -lnewapi -lgnat -lgcc

• -lgnat和-lgcc是GNAT运行时的核心依赖库，若这些库不在系统默认路径，需额外用-L指定GNAT库的安装路径。

方法3：调整GPR配置生成带依赖的静态库 #

修改Ada项目的GPR文件，让生成的静态库自动关联GNAT运行时库：

project NewAPI is
   for Source_Dirs use ("src");
   for Object_Dir use "obj";
   for Library_Dir use "lib";
   for Library_Name use "newapi";
   for Library_Kind use "static";

   package Linker is
      for Default_Switches ("Ada") use ("-lgnat", "-lgcc");
   end Linker;
end NewAPI;

执行gprbuild -P NewAPI.gpr重新编译，之后链接C程序时只需指定-lnewapi即可（确保库路径正确）。

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