Michael Veksler wrote:
It sounds as if the symbol is still "maximum" and it is annotated with its type (something like debug information). I should be possible to hack the linker to emit a warning for symbols with conflicting debug information.
Nice idea!
This is the wrong list for linker enhancements. You should look for binutils mailing lists. However "collect2" which is part of gcc and is called before the linker (for C++)- could also detect this and give the same warning. I would bet that collect2 is the wrong place for this enhancement because it will work only for C++, not for C.
If the linker did this, then it would even work across languages, e.g. importing a C symbol from an Ada unit, and vice versa.
Michael