FYI there was a GDB discussion about ET_EXEC relocations (in vmlinux), Alan Modra's advice from it: http://sources.redhat.com/ml/gdb/2006-08/msg00144.html
Indeed, for making use of it for debugging they are just irrelevant.
But IIUC the checking vs. relocating operations are orthogonal here.
Right. This is really an academic discussion about the extremes of what dwarflint could do to be a thorough checker of toolchain bugs including in the --emit-relocs behavior of ld.
Thanks, Roland