Make the GHCi linker handle partially stripped object files (#5004)
authorDuncan Coutts <duncan@well-typed.com>
Thu, 12 May 2011 15:25:41 +0000 (16:25 +0100)
committerDuncan Coutts <duncan@well-typed.com>
Fri, 13 May 2011 14:05:14 +0000 (15:05 +0100)
commitcfbf0eb134efd1c5d9a589f6ae2139d7fad60581
tree758c17435bf32e47a70e575a9c5b2b0610420358
parent7b3a746294d3d034da0052644237e4d1ab1f08c8
Make the GHCi linker handle partially stripped object files (#5004)

When you use 'strip --strip-unneeded' on a ELF format .o or .a file, if
the object file has no global/exported symbols then 'strip' ends up
removing the symbol table entirely. Previously the GHCi linker assumed
there would always be exactly one symbol table and exactly one string
table. In fact, in ELF object files there is no such limitation, instead
each section points to the other sections it needs, in particular
relocation sections have a link to the symbol table section they use and
symbol table sections have a link to the corresponding string table.
So instead of assuming there will always be a global symbol and string
table, all we have to do is validate and follow these links. Then, when
we encounter an empty object file that has no symbols then we handle it
correctly, because since it's empty we never process any relocations and
so never have to follow any links to non-existant symbol tables.

Also, in the case where an object is fully stripped, we can now detect
this more reliably and emit a more helpful error message, e.g:

libHSghc-7.1.20110509.a(DsMeta.o): relocation section #2 has no symbol table
This object file has probably been fully striped. Such files cannot be linked.
rts/Linker.c