Index: llvm/tools/llvm-readobj/ELFDumper.cpp =================================================================== --- llvm/tools/llvm-readobj/ELFDumper.cpp +++ llvm/tools/llvm-readobj/ELFDumper.cpp @@ -2713,6 +2713,35 @@ W.printList("Chains", HashTable->chains()); } +template +static Expected> +getGnuHashTableChains(const typename ELFT::SymRange DynSymTable, + const typename ELFT::GnuHash *GnuHashTable) { + size_t NumSyms = DynSymTable.size(); + if (!NumSyms) + return createError("unable to dump 'Values' for the SHT_GNU_HASH " + "section: the dynamic symbol table is empty"); + + if (GnuHashTable->symndx < NumSyms) + return GnuHashTable->values(NumSyms); + + // A normal empty GNU hash table section produced by linker might have + // symndx set to the number of dynamic symbols + 1 (for the zero symbol) + // and have dummy null values in the Bloom filter and in the buckets + // vector. It happens because the value of symndx is not important for + // dynamic loaders when the GNU hash table is empty. They just skip the + // whole object during symbol lookup. In such cases, the symndx value is + // irrelevant and we should not report a warning. + ArrayRef Buckets = GnuHashTable->buckets(); + if (!llvm::all_of(Buckets, [](typename ELFT::Word V) { return V == 0; })) + return createError("the first hashed symbol index (" + + Twine(GnuHashTable->symndx) + + ") is larger than the number of dynamic symbols (" + + Twine(NumSyms) + ")"); + + return GnuHashTable->values(NumSyms); +} + template void ELFDumper::printGnuHashTable(const object::ObjectFile *Obj) { DictScope D(W, "GnuHashTable"); @@ -2747,37 +2776,14 @@ return; } - size_t NumSyms = dynamic_symbols().size(); - if (!NumSyms) { - reportWarning(createError("unable to dump 'Values' for the SHT_GNU_HASH " - "section: the dynamic symbol table is empty"), - ObjF->getFileName()); + Expected> Chains = + getGnuHashTableChains(dynamic_symbols(), GnuHashTable); + if (!Chains) { + reportWarning(Chains.takeError(), ObjF->getFileName()); return; } - if (GnuHashTable->symndx >= NumSyms) { - // A normal empty GNU hash table section produced by linker might have - // symndx set to the number of dynamic symbols + 1 (for the zero symbol) - // and have dummy null values in the Bloom filter and in the buckets - // vector. It happens because the value of symndx is not important for - // dynamic loaders when the GNU hash table is empty. They just skip the - // whole object during symbol lookup. In such cases, the symndx value is - // irrelevant and we should not report a warning. - bool IsEmptyHashTable = - llvm::all_of(Buckets, [](Elf_Word V) { return V == 0; }); - - if (!IsEmptyHashTable) { - reportWarning( - createError("the first hashed symbol index (" + - Twine(GnuHashTable->symndx) + - ") is larger than the number of dynamic symbols (" + - Twine(NumSyms) + ")"), - ObjF->getFileName()); - return; - } - } - - W.printHexList("Values", GnuHashTable->values(NumSyms)); + W.printHexList("Values", *Chains); } template void ELFDumper::printLoadName() {