Skip to content

Commit e558d21

Browse files
kevinfreiKevin Frei
and
Kevin Frei
authored
[lldb] Added Debuginfod tests and fixed a couple issues (#92572)
Here we go with attempt number five. Again, no changes to the LLDB code diff, which has been reviewed several times. For the tests, I added a `@skipIfCurlSupportMissing` annotation so that the Debuginfod mocked server stuff won't run, and I also disabled non-Linux/FreeBSD hosts altogether, as they fail for platform reasons on macOS and Windows. In addition, I updated the process for extracting the GNU BuildID to no create a target, per some feedback on the previous diff. For reference, previous PR's (landed, backed out after the fact for various reasons) #90622, #87676, #86812, #85693 --------- Co-authored-by: Kevin Frei <[email protected]>
1 parent f2bbb4c commit e558d21

File tree

13 files changed

+535
-22
lines changed

13 files changed

+535
-22
lines changed

lldb/include/lldb/Host/Config.h.cmake

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,8 @@
3333

3434
#cmakedefine01 LLDB_ENABLE_LZMA
3535

36+
#cmakedefine01 LLVM_ENABLE_CURL
37+
3638
#cmakedefine01 LLDB_ENABLE_CURSES
3739

3840
#cmakedefine01 CURSES_HAVE_NCURSES_CURSES_H

lldb/packages/Python/lldbsuite/test/decorators.py

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1055,6 +1055,10 @@ def _get_bool_config_skip_if_decorator(key):
10551055
return unittest.skipIf(not have, "requires " + key)
10561056

10571057

1058+
def skipIfCurlSupportMissing(func):
1059+
return _get_bool_config_skip_if_decorator("curl")(func)
1060+
1061+
10581062
def skipIfCursesSupportMissing(func):
10591063
return _get_bool_config_skip_if_decorator("curses")(func)
10601064

lldb/packages/Python/lldbsuite/test/make/Makefile.rules

Lines changed: 25 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,7 @@ LLDB_BASE_DIR := $(THIS_FILE_DIR)/../../../../../
5151
#
5252
# GNUWin32 uname gives "windows32" or "server version windows32" while
5353
# some versions of MSYS uname return "MSYS_NT*", but most environments
54-
# standardize on "Windows_NT", so we'll make it consistent here.
54+
# standardize on "Windows_NT", so we'll make it consistent here.
5555
# When running tests from Visual Studio, the environment variable isn't
5656
# inherited all the way down to the process spawned for make.
5757
#----------------------------------------------------------------------
@@ -210,6 +210,12 @@ else
210210
ifeq "$(SPLIT_DEBUG_SYMBOLS)" "YES"
211211
DSYM = $(EXE).debug
212212
endif
213+
214+
ifeq "$(MAKE_DWP)" "YES"
215+
MAKE_DWO := YES
216+
DWP_NAME = $(EXE).dwp
217+
DYLIB_DWP_NAME = $(DYLIB_NAME).dwp
218+
endif
213219
endif
214220

215221
LIMIT_DEBUG_INFO_FLAGS =
@@ -358,6 +364,7 @@ ifneq "$(OS)" "Darwin"
358364

359365
OBJCOPY ?= $(call replace_cc_with,objcopy)
360366
ARCHIVER ?= $(call replace_cc_with,ar)
367+
DWP ?= $(call replace_cc_with,dwp)
361368
override AR = $(ARCHIVER)
362369
endif
363370

@@ -528,6 +535,10 @@ ifneq "$(CXX)" ""
528535
endif
529536
endif
530537

538+
ifeq "$(GEN_GNU_BUILD_ID)" "YES"
539+
LDFLAGS += -Wl,--build-id
540+
endif
541+
531542
#----------------------------------------------------------------------
532543
# DYLIB_ONLY variable can be used to skip the building of a.out.
533544
# See the sections below regarding dSYM file as well as the building of
@@ -566,10 +577,17 @@ else
566577
endif
567578
else
568579
ifeq "$(SPLIT_DEBUG_SYMBOLS)" "YES"
580+
ifeq "$(SAVE_FULL_DEBUG_BINARY)" "YES"
581+
cp "$(EXE)" "$(EXE).unstripped"
582+
endif
569583
$(OBJCOPY) --only-keep-debug "$(EXE)" "$(DSYM)"
570584
$(OBJCOPY) --strip-debug --add-gnu-debuglink="$(DSYM)" "$(EXE)" "$(EXE)"
571585
endif
586+
ifeq "$(MAKE_DWP)" "YES"
587+
$(DWP) -o "$(DWP_NAME)" $(DWOS)
572588
endif
589+
endif
590+
573591

574592
#----------------------------------------------------------------------
575593
# Make the dylib
@@ -611,9 +629,15 @@ endif
611629
else
612630
$(LD) $(DYLIB_OBJECTS) $(LDFLAGS) -shared -o "$(DYLIB_FILENAME)"
613631
ifeq "$(SPLIT_DEBUG_SYMBOLS)" "YES"
632+
ifeq "$(SAVE_FULL_DEBUG_BINARY)" "YES"
633+
cp "$(DYLIB_FILENAME)" "$(DYLIB_FILENAME).unstripped"
634+
endif
614635
$(OBJCOPY) --only-keep-debug "$(DYLIB_FILENAME)" "$(DYLIB_FILENAME).debug"
615636
$(OBJCOPY) --strip-debug --add-gnu-debuglink="$(DYLIB_FILENAME).debug" "$(DYLIB_FILENAME)" "$(DYLIB_FILENAME)"
616637
endif
638+
ifeq "$(MAKE_DWP)" "YES"
639+
$(DWP) -o $(DYLIB_DWP_FILE) $(DYLIB_DWOS)
640+
endif
617641
endif
618642

619643
#----------------------------------------------------------------------

lldb/source/API/SBDebugger.cpp

Lines changed: 8 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -775,6 +775,9 @@ SBStructuredData SBDebugger::GetBuildConfiguration() {
775775
AddBoolConfigEntry(
776776
*config_up, "xml", XMLDocument::XMLEnabled(),
777777
"A boolean value that indicates if XML support is enabled in LLDB");
778+
AddBoolConfigEntry(
779+
*config_up, "curl", LLVM_ENABLE_CURL,
780+
"A boolean value that indicates if CURL support is enabled in LLDB");
778781
AddBoolConfigEntry(
779782
*config_up, "curses", LLDB_ENABLE_CURSES,
780783
"A boolean value that indicates if curses support is enabled in LLDB");
@@ -1724,20 +1727,20 @@ SBDebugger::LoadTraceFromFile(SBError &error,
17241727

17251728
void SBDebugger::RequestInterrupt() {
17261729
LLDB_INSTRUMENT_VA(this);
1727-
1730+
17281731
if (m_opaque_sp)
1729-
m_opaque_sp->RequestInterrupt();
1732+
m_opaque_sp->RequestInterrupt();
17301733
}
17311734
void SBDebugger::CancelInterruptRequest() {
17321735
LLDB_INSTRUMENT_VA(this);
1733-
1736+
17341737
if (m_opaque_sp)
1735-
m_opaque_sp->CancelInterruptRequest();
1738+
m_opaque_sp->CancelInterruptRequest();
17361739
}
17371740

17381741
bool SBDebugger::InterruptRequested() {
17391742
LLDB_INSTRUMENT_VA(this);
1740-
1743+
17411744
if (m_opaque_sp)
17421745
return m_opaque_sp->InterruptRequested();
17431746
return false;

lldb/source/Plugins/SymbolFile/DWARF/SymbolFileDWARF.cpp

Lines changed: 25 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -4381,26 +4381,38 @@ const std::shared_ptr<SymbolFileDWARFDwo> &SymbolFileDWARF::GetDwpSymbolFile() {
43814381
FileSpecList search_paths = Target::GetDefaultDebugFileSearchPaths();
43824382
ModuleSpec module_spec;
43834383
module_spec.GetFileSpec() = m_objfile_sp->GetFileSpec();
4384+
FileSpec dwp_filespec;
43844385
for (const auto &symfile : symfiles.files()) {
43854386
module_spec.GetSymbolFileSpec() =
43864387
FileSpec(symfile.GetPath() + ".dwp", symfile.GetPathStyle());
43874388
LLDB_LOG(log, "Searching for DWP using: \"{0}\"",
43884389
module_spec.GetSymbolFileSpec());
4389-
FileSpec dwp_filespec =
4390+
dwp_filespec =
43904391
PluginManager::LocateExecutableSymbolFile(module_spec, search_paths);
43914392
if (FileSystem::Instance().Exists(dwp_filespec)) {
4392-
LLDB_LOG(log, "Found DWP file: \"{0}\"", dwp_filespec);
4393-
DataBufferSP dwp_file_data_sp;
4394-
lldb::offset_t dwp_file_data_offset = 0;
4395-
ObjectFileSP dwp_obj_file = ObjectFile::FindPlugin(
4396-
GetObjectFile()->GetModule(), &dwp_filespec, 0,
4397-
FileSystem::Instance().GetByteSize(dwp_filespec), dwp_file_data_sp,
4398-
dwp_file_data_offset);
4399-
if (dwp_obj_file) {
4400-
m_dwp_symfile = std::make_shared<SymbolFileDWARFDwo>(
4401-
*this, dwp_obj_file, DIERef::k_file_index_mask);
4402-
break;
4403-
}
4393+
break;
4394+
}
4395+
}
4396+
if (!FileSystem::Instance().Exists(dwp_filespec)) {
4397+
LLDB_LOG(log, "No DWP file found locally");
4398+
// Fill in the UUID for the module we're trying to match for, so we can
4399+
// find the correct DWP file, as the Debuginfod plugin uses *only* this
4400+
// data to correctly match the DWP file with the binary.
4401+
module_spec.GetUUID() = m_objfile_sp->GetUUID();
4402+
dwp_filespec =
4403+
PluginManager::LocateExecutableSymbolFile(module_spec, search_paths);
4404+
}
4405+
if (FileSystem::Instance().Exists(dwp_filespec)) {
4406+
LLDB_LOG(log, "Found DWP file: \"{0}\"", dwp_filespec);
4407+
DataBufferSP dwp_file_data_sp;
4408+
lldb::offset_t dwp_file_data_offset = 0;
4409+
ObjectFileSP dwp_obj_file = ObjectFile::FindPlugin(
4410+
GetObjectFile()->GetModule(), &dwp_filespec, 0,
4411+
FileSystem::Instance().GetByteSize(dwp_filespec), dwp_file_data_sp,
4412+
dwp_file_data_offset);
4413+
if (dwp_obj_file) {
4414+
m_dwp_symfile = std::make_shared<SymbolFileDWARFDwo>(
4415+
*this, dwp_obj_file, DIERef::k_file_index_mask);
44044416
}
44054417
}
44064418
if (!m_dwp_symfile) {

lldb/source/Plugins/SymbolLocator/CMakeLists.txt

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,10 @@
1+
# Order matters here: the first symbol locator prevents further searching.
2+
# For DWARF binaries that are both stripped and split, the Default plugin
3+
# will return the stripped binary when asked for the ObjectFile, which then
4+
# prevents an unstripped binary from being requested from the Debuginfod
5+
# provider.
6+
add_subdirectory(Debuginfod)
17
add_subdirectory(Default)
28
if (CMAKE_SYSTEM_NAME MATCHES "Darwin")
39
add_subdirectory(DebugSymbols)
410
endif()
5-
add_subdirectory(Debuginfod)

lldb/source/Plugins/SymbolVendor/ELF/SymbolVendorELF.cpp

Lines changed: 27 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,24 @@ llvm::StringRef SymbolVendorELF::GetPluginDescriptionStatic() {
4444
"executables.";
4545
}
4646

47+
// If this is needed elsewhere, it can be exported/moved.
48+
static bool IsDwpSymbolFile(const lldb::ModuleSP &module_sp,
49+
const FileSpec &file_spec) {
50+
DataBufferSP dwp_file_data_sp;
51+
lldb::offset_t dwp_file_data_offset = 0;
52+
// Try to create an ObjectFile from the file_spec.
53+
ObjectFileSP dwp_obj_file = ObjectFile::FindPlugin(
54+
module_sp, &file_spec, 0, FileSystem::Instance().GetByteSize(file_spec),
55+
dwp_file_data_sp, dwp_file_data_offset);
56+
// The presence of a debug_cu_index section is the key identifying feature of
57+
// a DWP file. Make sure we don't fill in the section list on dwp_obj_file
58+
// (by calling GetSectionList(false)) as this function could be called before
59+
// we may have all the symbol files collected and available.
60+
return dwp_obj_file && ObjectFileELF::classof(dwp_obj_file.get()) &&
61+
dwp_obj_file->GetSectionList(false)->FindSectionByType(
62+
eSectionTypeDWARFDebugCuIndex, false);
63+
}
64+
4765
// CreateInstance
4866
//
4967
// Platforms can register a callback to use when creating symbol vendors to
@@ -87,8 +105,15 @@ SymbolVendorELF::CreateInstance(const lldb::ModuleSP &module_sp,
87105
FileSpecList search_paths = Target::GetDefaultDebugFileSearchPaths();
88106
FileSpec dsym_fspec =
89107
PluginManager::LocateExecutableSymbolFile(module_spec, search_paths);
90-
if (!dsym_fspec)
91-
return nullptr;
108+
if (!dsym_fspec || IsDwpSymbolFile(module_sp, dsym_fspec)) {
109+
// If we have a stripped binary or if we got a DWP file, we should prefer
110+
// symbols in the executable acquired through a plugin.
111+
ModuleSpec unstripped_spec =
112+
PluginManager::LocateExecutableObjectFile(module_spec);
113+
if (!unstripped_spec)
114+
return nullptr;
115+
dsym_fspec = unstripped_spec.GetFileSpec();
116+
}
92117

93118
DataBufferSP dsym_file_data_sp;
94119
lldb::offset_t dsym_file_data_offset = 0;
Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
C_SOURCES := main.c
2+
3+
# For normal (non DWP) Debuginfod tests, we need:
4+
5+
# * The full binary: a.out.unstripped
6+
# Produced by Makefile.rules with SAVE_FULL_DEBUG_BINARY set to YES and
7+
# SPLIT_DEBUG_SYMBOLS set to YES
8+
9+
# * The stripped binary (a.out)
10+
# Produced by Makefile.rules with SPLIT_DEBUG_SYMBOLS set to YES
11+
12+
# * The 'only-keep-debug' binary (a.out.debug)
13+
# Produced below
14+
15+
SPLIT_DEBUG_SYMBOLS := YES
16+
SAVE_FULL_DEBUG_BINARY := YES
17+
GEN_GNU_BUILD_ID := YES
18+
19+
include Makefile.rules

0 commit comments

Comments
 (0)