[llvm-libtool-darwin] Add -warnings_as_errors

libtool can currently produce 2 warnings:

1. No symbols were in the object file
2. An object file with the same basename was specified multiple times

The first warning here is often harmless and may just mean you have some
translation units with no symbols for the target you're building for.
The second warning can lead to real issues like those mentioned in
https://reviews.llvm.org/D113130 where ODR violations can slip in.

This introduces a new -warnings_as_errors flag that can be used by build
systems that want to verify they never hit these warnings. For example
with bazel the libtool caller first uniques names to make sure the
duplicate base name case is not possible, but if that doesn't work as
expected, having it fail would be preferred.

It's also worth noting that llvm-libtool-darwin works around an issue
that cctools libtool experiences related to debug info and duplicate
basenames, the workaround is described here:
30baa5d2a4/llvm/lib/Object/ArchiveWriter.cpp (L424-L465)
And it avoids this bug:
f0cbbb1c37/DuplicateBasenameIssue

Differential Revision: https://reviews.llvm.org/D118931
This commit is contained in:
Keith Smiley 2022-02-02 17:46:11 -08:00
parent d1ecfaa097
commit 4c12a75e69
4 changed files with 37 additions and 5 deletions

View File

@ -68,6 +68,10 @@ OPTIONS
Do not warn about files that have no symbols.
.. option:: -warnings_as_errors
Produce a non-zero exit status if any warnings are emitted.
.. option:: -o <filename>
Specify the output file name. Must be specified exactly once.

View File

@ -58,6 +58,14 @@
# DUPLICATE-INPUT-DAG: [[INPUTA]]
# DUPLICATE-INPUT-DAG: [[INPUTB]]
# RUN: not llvm-libtool-darwin -warnings_as_errors -static -o %t.lib %t-input1.o %t-input2.o %t-input1.o 2>&1 | \
# RUN: FileCheck %s --check-prefix=ERROR-DUPLICATE-INPUT -DFILE=%basename_t.tmp-input1.o \
# RUN: -DINPUTA=%t-input1.o -DINPUTB=%t-input1.o
# ERROR-DUPLICATE-INPUT: error: file '[[FILE]]' was specified multiple times.
# ERROR-DUPLICATE-INPUT-DAG: [[INPUTA]]
# ERROR-DUPLICATE-INPUT-DAG: [[INPUTB]]
## Make sure we can combine object files with the same name if
## they are for different architectures.
# RUN: mkdir -p %t/arm64 %t/armv7

View File

@ -11,6 +11,11 @@
# WARNING: warning: '[[PREFIX]]-x86_64-empty.o': has no symbols for architecture x86_64
# RUN: not llvm-libtool-darwin -static -warnings_as_errors -o %t-error.lib %t-x86_64-empty.o 2>&1 | \
# RUN: FileCheck --check-prefix=ERROR %s -DPREFIX=%basename_t.tmp
# ERROR: error: '[[PREFIX]]-x86_64-empty.o': has no symbols for architecture x86_64
# RUN: llvm-libtool-darwin -no_warning_for_no_symbols -static -o %t.lib \
# RUN: %t-x86_64-empty.o 2>&1 | \
# RUN: FileCheck %s --allow-empty --implicit-check-not='warning:'

View File

@ -98,6 +98,11 @@ static cl::opt<bool> NoWarningForNoSymbols(
cl::desc("Do not warn about files that have no symbols"),
cl::cat(LibtoolCategory), cl::init(false));
static cl::opt<bool> WarningsAsErrors("warnings_as_errors",
cl::desc("Treat warnings as errors"),
cl::cat(LibtoolCategory),
cl::init(false));
static const std::array<std::string, 3> StandardSearchDirs{
"/lib",
"/usr/lib",
@ -370,10 +375,17 @@ private:
return Error::success();
}
if (!NoWarningForNoSymbols && O->symbols().empty())
WithColor::warning() << "'" + Member.MemberName +
"': has no symbols for architecture " +
O->getArchTriple().getArchName() + "\n";
if (!NoWarningForNoSymbols && O->symbols().empty()) {
Error E = createFileError(
Member.MemberName,
createStringError(std::errc::invalid_argument,
"has no symbols for architecture %s",
O->getArchTriple().getArchName().str().c_str()));
if (WarningsAsErrors)
return E;
WithColor::defaultWarningHandler(std::move(E));
}
uint64_t FileCPUID = getCPUID(FileCPUType, FileCPUSubtype);
Builder.Data.MembersPerArchitecture[FileCPUID].push_back(
@ -581,8 +593,11 @@ static Error createStaticLibrary(const Config &C) {
const auto &NewMembers = DataOrError->MembersPerArchitecture;
if (Error E = checkForDuplicates(NewMembers))
if (Error E = checkForDuplicates(NewMembers)) {
if (WarningsAsErrors)
return E;
WithColor::defaultWarningHandler(std::move(E));
}
if (NewMembers.size() == 1)
return writeArchive(OutputFile, NewMembers.begin()->second.getMembers(),