gcc - 使用 DWARF 的类型安全链接

Question

当 DWARF 格式包含我们需要的所有类型信息时，为什么 GCC 和 GNU ld 不支持类型检查链接？我们在公司试图让 Ada 和 C 安全通信上浪费了很多时间。问题是我们没有来自编译器的帮助，也没有链接来确保这些绑定保持同步。

Answer 1

当 DWARF 格式包含我们需要的所有类型信息时，为什么 GCC 和 GNU ld 不支持类型检查链接？

这个问题比你想象的要复杂得多。

我们在公司试图让 Ada 和 C 安全通信上浪费了很多时间。

然后将对此的代码支持写入 GNUld或gold（后者更快，更容易破解），并将其贡献给上游。问题解决了？