[llvm-dev] Need help with code generation

[Rafael Espíndola via llvm-dev]

On 22 March 2016 at 14:36, Rui Ueyama via llvm-dev
<llvm-dev at lists.llvm.org> wrote:
> I have a question. If there is a ELF verifier function that walks every part
> of an ELF file to verify that the file is sane, and if you can call that
> before calling LLD's function, are you guys happy with that?

The problem is defining what is sane.

For example, if a comdat group is dropped, we never look into those
sections and they can contain any garbage. Is that sane? Does it
depend on where the .o is in the command line?

If it is not sane, checking sanity will be a noticeable amount of
extra work. If it is sane, it is a funny notion of sanity.

Cheers,
Rafael