DWARF를 사용한 유형 안전 연결

Question

DWARF 형식에 필요한 모든 유형 정보가 포함되어있는 경우 GCC와 GNU ld가 함께 유형 확인 연결을 지원하지 않는 이유는 무엇입니까? Ada와 C가 안전하게 통신 할 수 있도록 많은 노력을 기울이고 있습니다. 문제는 컴파일러에서 도움을받지 못하거나 이러한 바인딩이 동기화 상태로 유지되도록 연결되어 있지 않다는 것입니다.

Answer 1

이유와 함께 GCC하지 않습니다

GNU ld 개 지원 유형 체크 DWARF 포맷은 우리가 필요로하는 모든 유형의 정보가 포함되어있는 경우 연결?

문제는 표시하는 것보다 훨씬 복잡합니다.

우리는 Ada와 C가 안전하게 통신 할 수 있도록 많은 시간을 낭비하고 있습니다. GNU ld 또는 gold에이에 대한 그런

코드 지원 (후자가 훨씬 더 빨리, 그리고에 해킹 훨씬 쉽게), 상류을 기여하고 있습니다. 문제 해결됨?