Type-Safe Linking using DWARF

https://stackoverflow.com/questions/15420393

type-safety
linker
gcc
dwarf
ld

23-03-2022
|

Question

Why doesn't GCC together with GNU ld support type-checked linking when the DWARF-format contains all the type-information we need? We waste a lot of time on our company trying to make Ada and C communicate safely. The problem is we have no help from the compiler nor linked to assure that these bindings are kept in sync.

Solution

Why doesn't GCC together with GNU ld support type-checked linking when the DWARF-format contains all the type-information we need?

The problem is significantly more complex than you make it appear.

We waste a lot of time on our company trying to make Ada and C communicate safely.

Then code support for this into GNU ld or gold (the latter is much faster, and much easier to hack on), and contribute it upstream. Problem solved?

Licensed under: CC-BY-SA with attribution

Not affiliated with StackOverflow