[ELF] - Check that .dynsym is present in DSO if SHT_GNU_versym section is.

[grimar]

Summary

When we have SHT_GNU_versym section, it is should be associated with symbol table
section. Usually (and in out implementation) it is .dynsym.
In case when .dynsym is absent (due to broken object for example),
lld crashes in parseVerdefs() when accesses null pointer:

Versym = reinterpret_cast<const Elf_Versym *>(this->ELFObj.base() +
                                              VersymSec->sh_offset) +
         this->Symtab->sh_info;

[ruiu]

ELF/InputFiles.cpp

540

Can this actually happen?

[grimar]

• Changed testcase to use yaml2obj.
• Restored check removed by mistake.

[grimar]

ELF/InputFiles.cpp

540

I was able to get it using yaml2obj. That is the only produccer I know, but that seems enough to fix ?
Updated testcase.

ELF/SymbolTable.cpp

79 ↗

(On Diff #74654)

I used this check so we able to error() instead of fatal().
fatal() is more consistent for broken inputs, but I think error() is still more preferable sometimes (at least it is better for case when lld used as a lib) ?

[• rafael]

LGTM

ELF/InputFiles.cpp

case SHT_GNU_versym:
       this->VersymSec = &Sec;
       break;
     case SHT_GNU_verdef:
       this->VerdefSec = &Sec;
       break;
     }
   }
 
+  if (this->VersymSec && !this->Symtab)
+    error("SHT_GNU_versym should be associated with symbol table");
+
   this->initStringTable();
 
   // DSOs are identified by soname, and they usually contain
   // DT_SONAME tag in their header. But if they are missing,
   // filenames are used as default sonames.
   SoName = sys::path::filename(this->getName());
 
   if (!DynamicSec)

test/ELF/invalid/verdef-no-symtab.s

+# REQUIRES: x86
+
+## Version symbol section (SHT_GNU_versym) should be associated
+## with symbol table. verdef-no-symtab.elf has SHT_GNU_versym section,
+## but does not have .dynsym
+# RUN: not ld.lld %S/Inputs/verdef-no-symtab.elf -o %t 2>&1 | FileCheck %s
+# CHECK: SHT_GNU_versym should be associated with symbol table