Ok, I'll do that but keep in mind it could just be me - trying to do too many things at once and not enough time studying some things that could use closer inspection (a bit of prioritizingEero Tamminen wrote: I've just updated Hatari manual's debugger section (for new debug symbol handling, breakpoint stuff and profiler), so it would be good to get it right...

What I actually saw was a mixture of things including far too many 'share same address' warnings, too many .Lxxxx local symbols, global symbols missing where expected (browsing through the C lib near rand(), strcpy() etc. shows lots of RTS but not labels at the heads of most of the functions - an occasional one but that's all) - and some functions carry the names of their object file e.g. 'fileio.o' instead of the function name. I also noticed some symbols hiding in desynchronized disassembly (data following one function, de-syncs the disasm of the next function and absorbs the label, until disassembled from the right address). This last one is to be expected really but might have been part of the problem with labels being invisible generally.
Anyway it's probably better if I just send you a binary to study and you'll be able to tell if something is wrong or not. I'll look closer when I get a bit more time.