Fatal编程技术网
  • gcc/
  • Gcc 使用DWARF的类型安全链接

Gcc 使用DWARF的类型安全链接

gcc linker

Gcc 使用DWARF的类型安全链接,gcc,linker,ld,type-safety,dwarf,Gcc,Linker,Ld,Type Safety,Dwarf,当DWARF格式包含我们需要的所有类型信息时，为什么GCC和gnuld不支持类型检查链接？我们浪费了很多时间在我们的公司上，试图让Ada和C安全通信。问题是我们没有编译器的帮助，也没有链接来确保这些绑定保持同步 当DWARF格式包含我们需要的所有类型信息时，为什么GCC和gnuld不支持类型检查链接 问题比你想象的要复杂得多 我们浪费了很多时间在我们的公司上，试图让Ada和C安全通信 然后将对此的支持编码到GNUld或gold（后者速度更快，更容易破解），并将其贡献到上游。问题解决了？涉及哪些复

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

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

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

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

然后将对此的支持编码到GNU
ld
或
gold
（后者速度更快，更容易破解），并将其贡献到上游。问题解决了？

涉及哪些复杂问题？根据以下文章，问题似乎与模块系统密切相关：顺便说一句：我喜欢你的名字，俄语：）