Bug or feature: symbol names of global/extern variables

[Robert Dewar]

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