1 //===-- SymbolFileNativePDB.cpp -------------------------------------------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 #include "SymbolFileNativePDB.h"
11 #include "Plugins/ExpressionParser/Clang/ClangUtil.h"
12 #include "Plugins/Language/CPlusPlus/MSVCUndecoratedNameParser.h"
13 #include "Plugins/ObjectFile/PDB/ObjectFilePDB.h"
14 #include "Plugins/TypeSystem/Clang/TypeSystemClang.h"
15 #include "lldb/Core/Module.h"
16 #include "lldb/Core/PluginManager.h"
17 #include "lldb/Symbol/CompileUnit.h"
18 #include "lldb/Symbol/LineTable.h"
19 #include "lldb/Symbol/ObjectFile.h"
20 #include "lldb/Symbol/SymbolContext.h"
21 #include "lldb/Symbol/SymbolVendor.h"
22 #include "lldb/Symbol/Variable.h"
23 #include "lldb/Symbol/VariableList.h"
24 #include "lldb/Utility/LLDBLog.h"
25 #include "lldb/Utility/Log.h"
27 #include "llvm/DebugInfo/CodeView/CVRecord.h"
28 #include "llvm/DebugInfo/CodeView/CVTypeVisitor.h"
29 #include "llvm/DebugInfo/CodeView/DebugLinesSubsection.h"
30 #include "llvm/DebugInfo/CodeView/LazyRandomTypeCollection.h"
31 #include "llvm/DebugInfo/CodeView/RecordName.h"
32 #include "llvm/DebugInfo/CodeView/SymbolDeserializer.h"
33 #include "llvm/DebugInfo/CodeView/SymbolRecordHelpers.h"
34 #include "llvm/DebugInfo/CodeView/TypeDeserializer.h"
35 #include "llvm/DebugInfo/PDB/Native/DbiStream.h"
36 #include "llvm/DebugInfo/PDB/Native/GlobalsStream.h"
37 #include "llvm/DebugInfo/PDB/Native/InfoStream.h"
38 #include "llvm/DebugInfo/PDB/Native/ModuleDebugStream.h"
39 #include "llvm/DebugInfo/PDB/Native/NativeSession.h"
40 #include "llvm/DebugInfo/PDB/Native/PDBFile.h"
41 #include "llvm/DebugInfo/PDB/Native/SymbolStream.h"
42 #include "llvm/DebugInfo/PDB/Native/TpiStream.h"
43 #include "llvm/DebugInfo/PDB/PDB.h"
44 #include "llvm/DebugInfo/PDB/PDBTypes.h"
45 #include "llvm/Demangle/MicrosoftDemangle.h"
46 #include "llvm/Object/COFF.h"
47 #include "llvm/Support/Allocator.h"
48 #include "llvm/Support/BinaryStreamReader.h"
49 #include "llvm/Support/Error.h"
50 #include "llvm/Support/ErrorOr.h"
51 #include "llvm/Support/MemoryBuffer.h"
53 #include "DWARFLocationExpression.h"
54 #include "PdbSymUid.h"
56 #include "UdtRecordCompleter.h"
58 #include <string_view>
61 using namespace lldb_private
;
63 using namespace llvm::codeview
;
64 using namespace llvm::pdb
;
66 char SymbolFileNativePDB::ID
;
68 static lldb::LanguageType
TranslateLanguage(PDB_Lang lang
) {
71 return lldb::LanguageType::eLanguageTypeC_plus_plus
;
73 return lldb::LanguageType::eLanguageTypeC
;
75 return lldb::LanguageType::eLanguageTypeSwift
;
77 return lldb::LanguageType::eLanguageTypeRust
;
79 return lldb::LanguageType::eLanguageTypeObjC
;
80 case PDB_Lang::ObjCpp
:
81 return lldb::LanguageType::eLanguageTypeObjC_plus_plus
;
83 return lldb::LanguageType::eLanguageTypeUnknown
;
87 static std::unique_ptr
<PDBFile
>
88 loadMatchingPDBFile(std::string exe_path
, llvm::BumpPtrAllocator
&allocator
) {
89 // Try to find a matching PDB for an EXE.
90 using namespace llvm::object
;
91 auto expected_binary
= createBinary(exe_path
);
93 // If the file isn't a PE/COFF executable, fail.
94 if (!expected_binary
) {
95 llvm::consumeError(expected_binary
.takeError());
98 OwningBinary
<Binary
> binary
= std::move(*expected_binary
);
100 // TODO: Avoid opening the PE/COFF binary twice by reading this information
101 // directly from the lldb_private::ObjectFile.
102 auto *obj
= llvm::dyn_cast
<llvm::object::COFFObjectFile
>(binary
.getBinary());
105 const llvm::codeview::DebugInfo
*pdb_info
= nullptr;
107 // If it doesn't have a debug directory, fail.
108 llvm::StringRef pdb_file
;
109 if (llvm::Error e
= obj
->getDebugPDBInfo(pdb_info
, pdb_file
)) {
110 consumeError(std::move(e
));
114 // If the file doesn't exist, perhaps the path specified at build time
115 // doesn't match the PDB's current location, so check the location of the
117 if (!FileSystem::Instance().Exists(pdb_file
)) {
118 const auto exe_dir
= FileSpec(exe_path
).CopyByRemovingLastPathComponent();
119 const auto pdb_name
= FileSpec(pdb_file
).GetFilename().GetCString();
120 pdb_file
= exe_dir
.CopyByAppendingPathComponent(pdb_name
).GetPathAsConstString().GetStringRef();
123 // If the file is not a PDB or if it doesn't have a matching GUID, fail.
124 auto pdb
= ObjectFilePDB::loadPDBFile(std::string(pdb_file
), allocator
);
128 auto expected_info
= pdb
->getPDBInfoStream();
129 if (!expected_info
) {
130 llvm::consumeError(expected_info
.takeError());
133 llvm::codeview::GUID guid
;
134 memcpy(&guid
, pdb_info
->PDB70
.Signature
, 16);
136 if (expected_info
->getGuid() != guid
)
141 static bool IsFunctionPrologue(const CompilandIndexItem
&cci
,
143 // FIXME: Implement this.
147 static bool IsFunctionEpilogue(const CompilandIndexItem
&cci
,
149 // FIXME: Implement this.
153 static llvm::StringRef
GetSimpleTypeName(SimpleTypeKind kind
) {
155 case SimpleTypeKind::Boolean128
:
156 case SimpleTypeKind::Boolean16
:
157 case SimpleTypeKind::Boolean32
:
158 case SimpleTypeKind::Boolean64
:
159 case SimpleTypeKind::Boolean8
:
161 case SimpleTypeKind::Byte
:
162 case SimpleTypeKind::UnsignedCharacter
:
163 return "unsigned char";
164 case SimpleTypeKind::NarrowCharacter
:
166 case SimpleTypeKind::SignedCharacter
:
167 case SimpleTypeKind::SByte
:
168 return "signed char";
169 case SimpleTypeKind::Character16
:
171 case SimpleTypeKind::Character32
:
173 case SimpleTypeKind::Character8
:
175 case SimpleTypeKind::Complex80
:
176 case SimpleTypeKind::Complex64
:
177 case SimpleTypeKind::Complex32
:
179 case SimpleTypeKind::Float128
:
180 case SimpleTypeKind::Float80
:
181 return "long double";
182 case SimpleTypeKind::Float64
:
184 case SimpleTypeKind::Float32
:
186 case SimpleTypeKind::Float16
:
188 case SimpleTypeKind::Int128
:
190 case SimpleTypeKind::Int64
:
191 case SimpleTypeKind::Int64Quad
:
193 case SimpleTypeKind::Int32
:
195 case SimpleTypeKind::Int16
:
197 case SimpleTypeKind::UInt128
:
198 return "unsigned __int128";
199 case SimpleTypeKind::UInt64
:
200 case SimpleTypeKind::UInt64Quad
:
202 case SimpleTypeKind::HResult
:
204 case SimpleTypeKind::UInt32
:
206 case SimpleTypeKind::UInt16
:
207 case SimpleTypeKind::UInt16Short
:
208 return "unsigned short";
209 case SimpleTypeKind::Int32Long
:
211 case SimpleTypeKind::UInt32Long
:
212 return "unsigned long";
213 case SimpleTypeKind::Void
:
215 case SimpleTypeKind::WideCharacter
:
222 static bool IsClassRecord(TypeLeafKind kind
) {
233 static std::optional
<CVTagRecord
>
234 GetNestedTagDefinition(const NestedTypeRecord
&Record
,
235 const CVTagRecord
&parent
, TpiStream
&tpi
) {
236 // An LF_NESTTYPE is essentially a nested typedef / using declaration, but it
237 // is also used to indicate the primary definition of a nested class. That is
238 // to say, if you have:
243 // Then in the debug info, this will appear as:
244 // LF_STRUCTURE `A::B` [type index = N]
246 // LF_NESTTYPE [name = `B`, index = N]
247 // LF_NESTTYPE [name = `C`, index = N]
248 // In order to accurately reconstruct the decl context hierarchy, we need to
249 // know which ones are actual definitions and which ones are just aliases.
251 // If it's a simple type, then this is something like `using foo = int`.
252 if (Record
.Type
.isSimple())
255 CVType cvt
= tpi
.getType(Record
.Type
);
257 if (!IsTagRecord(cvt
))
260 // If it's an inner definition, then treat whatever name we have here as a
261 // single component of a mangled name. So we can inject it into the parent's
262 // mangled name to see if it matches.
263 CVTagRecord child
= CVTagRecord::create(cvt
);
264 std::string qname
= std::string(parent
.asTag().getUniqueName());
265 if (qname
.size() < 4 || child
.asTag().getUniqueName().size() < 4)
268 // qname[3] is the tag type identifier (struct, class, union, etc). Since the
269 // inner tag type is not necessarily the same as the outer tag type, re-write
270 // it to match the inner tag type.
271 qname
[3] = child
.asTag().getUniqueName()[3];
275 piece
+= Record
.Name
;
276 piece
.push_back('@');
277 qname
.insert(4, std::move(piece
));
278 if (qname
!= child
.asTag().UniqueName
)
281 return std::move(child
);
284 void SymbolFileNativePDB::Initialize() {
285 PluginManager::RegisterPlugin(GetPluginNameStatic(),
286 GetPluginDescriptionStatic(), CreateInstance
,
290 void SymbolFileNativePDB::Terminate() {
291 PluginManager::UnregisterPlugin(CreateInstance
);
294 void SymbolFileNativePDB::DebuggerInitialize(Debugger
&debugger
) {}
296 llvm::StringRef
SymbolFileNativePDB::GetPluginDescriptionStatic() {
297 return "Microsoft PDB debug symbol cross-platform file reader.";
300 SymbolFile
*SymbolFileNativePDB::CreateInstance(ObjectFileSP objfile_sp
) {
301 return new SymbolFileNativePDB(std::move(objfile_sp
));
304 SymbolFileNativePDB::SymbolFileNativePDB(ObjectFileSP objfile_sp
)
305 : SymbolFileCommon(std::move(objfile_sp
)) {}
307 SymbolFileNativePDB::~SymbolFileNativePDB() = default;
309 uint32_t SymbolFileNativePDB::CalculateAbilities() {
310 uint32_t abilities
= 0;
315 // Lazily load and match the PDB file, but only do this once.
317 if (auto *pdb
= llvm::dyn_cast
<ObjectFilePDB
>(m_objfile_sp
.get())) {
318 pdb_file
= &pdb
->GetPDBFile();
320 m_file_up
= loadMatchingPDBFile(m_objfile_sp
->GetFileSpec().GetPath(),
322 pdb_file
= m_file_up
.get();
328 auto expected_index
= PdbIndex::create(pdb_file
);
329 if (!expected_index
) {
330 llvm::consumeError(expected_index
.takeError());
333 m_index
= std::move(*expected_index
);
338 // We don't especially have to be precise here. We only distinguish between
339 // stripped and not stripped.
340 abilities
= kAllAbilities
;
342 if (m_index
->dbi().isStripped())
343 abilities
&= ~(Blocks
| LocalVariables
);
347 void SymbolFileNativePDB::InitializeObject() {
348 m_obj_load_address
= m_objfile_sp
->GetModule()
352 m_index
->SetLoadAddress(m_obj_load_address
);
353 m_index
->ParseSectionContribs();
355 auto ts_or_err
= m_objfile_sp
->GetModule()->GetTypeSystemForLanguage(
356 lldb::eLanguageTypeC_plus_plus
);
357 if (auto err
= ts_or_err
.takeError()) {
358 LLDB_LOG_ERROR(GetLog(LLDBLog::Symbols
), std::move(err
),
359 "Failed to initialize: {0}");
361 if (auto ts
= *ts_or_err
)
362 ts
->SetSymbolFile(this);
367 uint32_t SymbolFileNativePDB::CalculateNumCompileUnits() {
368 const DbiModuleList
&modules
= m_index
->dbi().modules();
369 uint32_t count
= modules
.getModuleCount();
373 // The linker can inject an additional "dummy" compilation unit into the
374 // PDB. Ignore this special compile unit for our purposes, if it is there.
375 // It is always the last one.
376 DbiModuleDescriptor last
= modules
.getModuleDescriptor(count
- 1);
377 if (last
.getModuleName() == "* Linker *")
382 Block
&SymbolFileNativePDB::CreateBlock(PdbCompilandSymId block_id
) {
383 CompilandIndexItem
*cii
= m_index
->compilands().GetCompiland(block_id
.modi
);
384 CVSymbol sym
= cii
->m_debug_stream
.readSymbolAtOffset(block_id
.offset
);
385 CompUnitSP comp_unit
= GetOrCreateCompileUnit(*cii
);
386 lldb::user_id_t opaque_block_uid
= toOpaqueUid(block_id
);
387 BlockSP child_block
= std::make_shared
<Block
>(opaque_block_uid
);
388 auto ts_or_err
= GetTypeSystemForLanguage(comp_unit
->GetLanguage());
389 if (auto err
= ts_or_err
.takeError())
391 auto ts
= *ts_or_err
;
394 PdbAstBuilder
* ast_builder
= ts
->GetNativePDBParser();
396 switch (sym
.kind()) {
399 // This is a function. It must be global. Creating the Function entry
400 // for it automatically creates a block for it.
401 FunctionSP func
= GetOrCreateFunction(block_id
, *comp_unit
);
403 Block
&block
= func
->GetBlock(false);
404 if (block
.GetNumRanges() == 0)
405 block
.AddRange(Block::Range(0, func
->GetAddressRange().GetByteSize()));
411 // This is a block. Its parent is either a function or another block. In
412 // either case, its parent can be viewed as a block (e.g. a function
413 // contains 1 big block. So just get the parent block and add this block
415 BlockSym
block(static_cast<SymbolRecordKind
>(sym
.kind()));
416 cantFail(SymbolDeserializer::deserializeAs
<BlockSym
>(sym
, block
));
417 lldbassert(block
.Parent
!= 0);
418 PdbCompilandSymId
parent_id(block_id
.modi
, block
.Parent
);
419 Block
&parent_block
= GetOrCreateBlock(parent_id
);
420 Function
*func
= parent_block
.CalculateSymbolContextFunction();
422 lldb::addr_t block_base
=
423 m_index
->MakeVirtualAddress(block
.Segment
, block
.CodeOffset
);
424 lldb::addr_t func_base
=
425 func
->GetAddressRange().GetBaseAddress().GetFileAddress();
426 if (block_base
>= func_base
)
427 child_block
->AddRange(Block::Range(block_base
- func_base
, block
.CodeSize
));
429 GetObjectFile()->GetModule()->ReportError(
430 "S_BLOCK32 at modi: {0:d} offset: {1:d}: adding range "
431 "[{2:x16}-{3:x16}) which has a base that is less than the "
433 "low PC 0x%" PRIx64
". Please file a bug and attach the file at the "
434 "start of this error message",
435 block_id
.modi
, block_id
.offset
, block_base
,
436 block_base
+ block
.CodeSize
, func_base
);
438 parent_block
.AddChild(child_block
);
439 ast_builder
->GetOrCreateBlockDecl(block_id
);
440 m_blocks
.insert({opaque_block_uid
, child_block
});
444 // This ensures line table is parsed first so we have inline sites info.
445 comp_unit
->GetLineTable();
447 std::shared_ptr
<InlineSite
> inline_site
= m_inline_sites
[opaque_block_uid
];
448 Block
&parent_block
= GetOrCreateBlock(inline_site
->parent_id
);
449 parent_block
.AddChild(child_block
);
450 ast_builder
->GetOrCreateInlinedFunctionDecl(block_id
);
451 // Copy ranges from InlineSite to Block.
452 for (size_t i
= 0; i
< inline_site
->ranges
.GetSize(); ++i
) {
453 auto *entry
= inline_site
->ranges
.GetEntryAtIndex(i
);
454 child_block
->AddRange(
455 Block::Range(entry
->GetRangeBase(), entry
->GetByteSize()));
457 child_block
->FinalizeRanges();
459 // Get the inlined function callsite info.
460 Declaration
&decl
= inline_site
->inline_function_info
->GetDeclaration();
461 Declaration
&callsite
= inline_site
->inline_function_info
->GetCallSite();
462 child_block
->SetInlinedFunctionInfo(
463 inline_site
->inline_function_info
->GetName().GetCString(), nullptr,
465 m_blocks
.insert({opaque_block_uid
, child_block
});
469 lldbassert(false && "Symbol is not a block!");
475 lldb::FunctionSP
SymbolFileNativePDB::CreateFunction(PdbCompilandSymId func_id
,
476 CompileUnit
&comp_unit
) {
477 const CompilandIndexItem
*cci
=
478 m_index
->compilands().GetCompiland(func_id
.modi
);
480 CVSymbol sym_record
= cci
->m_debug_stream
.readSymbolAtOffset(func_id
.offset
);
482 lldbassert(sym_record
.kind() == S_LPROC32
|| sym_record
.kind() == S_GPROC32
);
483 SegmentOffsetLength sol
= GetSegmentOffsetAndLength(sym_record
);
486 m_index
->MakeVirtualAddress(sol
.so
.segment
, sol
.so
.offset
);
487 if (file_vm_addr
== LLDB_INVALID_ADDRESS
|| file_vm_addr
== 0)
490 AddressRange
func_range(file_vm_addr
, sol
.length
,
491 comp_unit
.GetModule()->GetSectionList());
492 if (!func_range
.GetBaseAddress().IsValid())
495 ProcSym
proc(static_cast<SymbolRecordKind
>(sym_record
.kind()));
496 cantFail(SymbolDeserializer::deserializeAs
<ProcSym
>(sym_record
, proc
));
497 if (proc
.FunctionType
== TypeIndex::None())
499 TypeSP func_type
= GetOrCreateType(proc
.FunctionType
);
503 PdbTypeSymId
sig_id(proc
.FunctionType
, false);
504 Mangled
mangled(proc
.Name
);
505 FunctionSP func_sp
= std::make_shared
<Function
>(
506 &comp_unit
, toOpaqueUid(func_id
), toOpaqueUid(sig_id
), mangled
,
507 func_type
.get(), AddressRanges
{func_range
});
509 comp_unit
.AddFunction(func_sp
);
511 auto ts_or_err
= GetTypeSystemForLanguage(comp_unit
.GetLanguage());
512 if (auto err
= ts_or_err
.takeError())
514 auto ts
= *ts_or_err
;
517 ts
->GetNativePDBParser()->GetOrCreateFunctionDecl(func_id
);
523 SymbolFileNativePDB::CreateCompileUnit(const CompilandIndexItem
&cci
) {
524 lldb::LanguageType lang
=
525 cci
.m_compile_opts
? TranslateLanguage(cci
.m_compile_opts
->getLanguage())
526 : lldb::eLanguageTypeUnknown
;
528 LazyBool optimized
= eLazyBoolNo
;
529 if (cci
.m_compile_opts
&& cci
.m_compile_opts
->hasOptimizations())
530 optimized
= eLazyBoolYes
;
532 llvm::SmallString
<64> source_file_name
=
533 m_index
->compilands().GetMainSourceFile(cci
);
534 FileSpec
fs(llvm::sys::path::convert_to_slash(
535 source_file_name
, llvm::sys::path::Style::windows_backslash
));
537 CompUnitSP cu_sp
= std::make_shared
<CompileUnit
>(
538 m_objfile_sp
->GetModule(), nullptr, std::make_shared
<SupportFile
>(fs
),
539 toOpaqueUid(cci
.m_id
), lang
, optimized
);
541 SetCompileUnitAtIndex(cci
.m_id
.modi
, cu_sp
);
545 lldb::TypeSP
SymbolFileNativePDB::CreateModifierType(PdbTypeSymId type_id
,
546 const ModifierRecord
&mr
,
548 TpiStream
&stream
= m_index
->tpi();
551 if (mr
.ModifiedType
.isSimple())
552 name
= std::string(GetSimpleTypeName(mr
.ModifiedType
.getSimpleKind()));
554 name
= computeTypeName(stream
.typeCollection(), mr
.ModifiedType
);
556 lldb::TypeSP modified_type
= GetOrCreateType(mr
.ModifiedType
);
558 return MakeType(toOpaqueUid(type_id
), ConstString(name
),
559 modified_type
->GetByteSize(nullptr), nullptr,
560 LLDB_INVALID_UID
, Type::eEncodingIsUID
, decl
, ct
,
561 Type::ResolveState::Full
);
565 SymbolFileNativePDB::CreatePointerType(PdbTypeSymId type_id
,
566 const llvm::codeview::PointerRecord
&pr
,
568 TypeSP pointee
= GetOrCreateType(pr
.ReferentType
);
572 if (pr
.isPointerToMember()) {
573 MemberPointerInfo mpi
= pr
.getMemberInfo();
574 GetOrCreateType(mpi
.ContainingType
);
578 return MakeType(toOpaqueUid(type_id
), ConstString(), pr
.getSize(), nullptr,
579 LLDB_INVALID_UID
, Type::eEncodingIsUID
, decl
, ct
,
580 Type::ResolveState::Full
);
583 lldb::TypeSP
SymbolFileNativePDB::CreateSimpleType(TypeIndex ti
,
585 uint64_t uid
= toOpaqueUid(PdbTypeSymId(ti
, false));
586 if (ti
== TypeIndex::NullptrT()) {
588 return MakeType(uid
, ConstString("std::nullptr_t"), 0, nullptr,
589 LLDB_INVALID_UID
, Type::eEncodingIsUID
, decl
, ct
,
590 Type::ResolveState::Full
);
593 if (ti
.getSimpleMode() != SimpleTypeMode::Direct
) {
594 TypeSP direct_sp
= GetOrCreateType(ti
.makeDirect());
595 uint32_t pointer_size
= 0;
596 switch (ti
.getSimpleMode()) {
597 case SimpleTypeMode::FarPointer32
:
598 case SimpleTypeMode::NearPointer32
:
601 case SimpleTypeMode::NearPointer64
:
605 // 128-bit and 16-bit pointers unsupported.
609 return MakeType(uid
, ConstString(), pointer_size
, nullptr, LLDB_INVALID_UID
,
610 Type::eEncodingIsUID
, decl
, ct
, Type::ResolveState::Full
);
613 if (ti
.getSimpleKind() == SimpleTypeKind::NotTranslated
)
616 size_t size
= GetTypeSizeForSimpleKind(ti
.getSimpleKind());
617 llvm::StringRef type_name
= GetSimpleTypeName(ti
.getSimpleKind());
620 return MakeType(uid
, ConstString(type_name
), size
, nullptr, LLDB_INVALID_UID
,
621 Type::eEncodingIsUID
, decl
, ct
, Type::ResolveState::Full
);
624 static std::string
GetUnqualifiedTypeName(const TagRecord
&record
) {
625 if (!record
.hasUniqueName()) {
626 MSVCUndecoratedNameParser
parser(record
.Name
);
627 llvm::ArrayRef
<MSVCUndecoratedNameSpecifier
> specs
= parser
.GetSpecifiers();
629 return std::string(specs
.back().GetBaseName());
632 llvm::ms_demangle::Demangler demangler
;
633 std::string_view
sv(record
.UniqueName
.begin(), record
.UniqueName
.size());
634 llvm::ms_demangle::TagTypeNode
*ttn
= demangler
.parseTagUniqueName(sv
);
636 return std::string(record
.Name
);
638 llvm::ms_demangle::IdentifierNode
*idn
=
639 ttn
->QualifiedName
->getUnqualifiedIdentifier();
640 return idn
->toString();
644 SymbolFileNativePDB::CreateClassStructUnion(PdbTypeSymId type_id
,
645 const TagRecord
&record
,
646 size_t size
, CompilerType ct
) {
648 std::string uname
= GetUnqualifiedTypeName(record
);
650 // FIXME: Search IPI stream for LF_UDT_MOD_SRC_LINE.
652 return MakeType(toOpaqueUid(type_id
), ConstString(uname
), size
, nullptr,
653 LLDB_INVALID_UID
, Type::eEncodingIsUID
, decl
, ct
,
654 Type::ResolveState::Forward
);
657 lldb::TypeSP
SymbolFileNativePDB::CreateTagType(PdbTypeSymId type_id
,
658 const ClassRecord
&cr
,
660 return CreateClassStructUnion(type_id
, cr
, cr
.getSize(), ct
);
663 lldb::TypeSP
SymbolFileNativePDB::CreateTagType(PdbTypeSymId type_id
,
664 const UnionRecord
&ur
,
666 return CreateClassStructUnion(type_id
, ur
, ur
.getSize(), ct
);
669 lldb::TypeSP
SymbolFileNativePDB::CreateTagType(PdbTypeSymId type_id
,
670 const EnumRecord
&er
,
672 std::string uname
= GetUnqualifiedTypeName(er
);
675 TypeSP underlying_type
= GetOrCreateType(er
.UnderlyingType
);
677 return MakeType(toOpaqueUid(type_id
), ConstString(uname
),
678 underlying_type
->GetByteSize(nullptr), nullptr,
679 LLDB_INVALID_UID
, lldb_private::Type::eEncodingIsUID
, decl
,
680 ct
, lldb_private::Type::ResolveState::Forward
);
683 TypeSP
SymbolFileNativePDB::CreateArrayType(PdbTypeSymId type_id
,
684 const ArrayRecord
&ar
,
686 TypeSP element_type
= GetOrCreateType(ar
.ElementType
);
690 MakeType(toOpaqueUid(type_id
), ConstString(), ar
.Size
, nullptr,
691 LLDB_INVALID_UID
, lldb_private::Type::eEncodingIsUID
, decl
, ct
,
692 lldb_private::Type::ResolveState::Full
);
693 array_sp
->SetEncodingType(element_type
.get());
697 TypeSP
SymbolFileNativePDB::CreateFunctionType(PdbTypeSymId type_id
,
698 const MemberFunctionRecord
&mfr
,
701 return MakeType(toOpaqueUid(type_id
), ConstString(), 0, nullptr,
702 LLDB_INVALID_UID
, lldb_private::Type::eEncodingIsUID
, decl
,
703 ct
, lldb_private::Type::ResolveState::Full
);
706 TypeSP
SymbolFileNativePDB::CreateProcedureType(PdbTypeSymId type_id
,
707 const ProcedureRecord
&pr
,
710 return MakeType(toOpaqueUid(type_id
), ConstString(), 0, nullptr,
711 LLDB_INVALID_UID
, lldb_private::Type::eEncodingIsUID
, decl
,
712 ct
, lldb_private::Type::ResolveState::Full
);
715 TypeSP
SymbolFileNativePDB::CreateType(PdbTypeSymId type_id
, CompilerType ct
) {
716 if (type_id
.index
.isSimple())
717 return CreateSimpleType(type_id
.index
, ct
);
719 TpiStream
&stream
= type_id
.is_ipi
? m_index
->ipi() : m_index
->tpi();
720 CVType cvt
= stream
.getType(type_id
.index
);
722 if (cvt
.kind() == LF_MODIFIER
) {
723 ModifierRecord modifier
;
725 TypeDeserializer::deserializeAs
<ModifierRecord
>(cvt
, modifier
));
726 return CreateModifierType(type_id
, modifier
, ct
);
729 if (cvt
.kind() == LF_POINTER
) {
730 PointerRecord pointer
;
732 TypeDeserializer::deserializeAs
<PointerRecord
>(cvt
, pointer
));
733 return CreatePointerType(type_id
, pointer
, ct
);
736 if (IsClassRecord(cvt
.kind())) {
738 llvm::cantFail(TypeDeserializer::deserializeAs
<ClassRecord
>(cvt
, cr
));
739 return CreateTagType(type_id
, cr
, ct
);
742 if (cvt
.kind() == LF_ENUM
) {
744 llvm::cantFail(TypeDeserializer::deserializeAs
<EnumRecord
>(cvt
, er
));
745 return CreateTagType(type_id
, er
, ct
);
748 if (cvt
.kind() == LF_UNION
) {
750 llvm::cantFail(TypeDeserializer::deserializeAs
<UnionRecord
>(cvt
, ur
));
751 return CreateTagType(type_id
, ur
, ct
);
754 if (cvt
.kind() == LF_ARRAY
) {
756 llvm::cantFail(TypeDeserializer::deserializeAs
<ArrayRecord
>(cvt
, ar
));
757 return CreateArrayType(type_id
, ar
, ct
);
760 if (cvt
.kind() == LF_PROCEDURE
) {
762 llvm::cantFail(TypeDeserializer::deserializeAs
<ProcedureRecord
>(cvt
, pr
));
763 return CreateProcedureType(type_id
, pr
, ct
);
765 if (cvt
.kind() == LF_MFUNCTION
) {
766 MemberFunctionRecord mfr
;
767 llvm::cantFail(TypeDeserializer::deserializeAs
<MemberFunctionRecord
>(cvt
, mfr
));
768 return CreateFunctionType(type_id
, mfr
, ct
);
774 TypeSP
SymbolFileNativePDB::CreateAndCacheType(PdbTypeSymId type_id
) {
775 // If they search for a UDT which is a forward ref, try and resolve the full
776 // decl and just map the forward ref uid to the full decl record.
777 std::optional
<PdbTypeSymId
> full_decl_uid
;
778 if (IsForwardRefUdt(type_id
, m_index
->tpi())) {
779 auto expected_full_ti
=
780 m_index
->tpi().findFullDeclForForwardRef(type_id
.index
);
781 if (!expected_full_ti
)
782 llvm::consumeError(expected_full_ti
.takeError());
783 else if (*expected_full_ti
!= type_id
.index
) {
784 full_decl_uid
= PdbTypeSymId(*expected_full_ti
, false);
786 // It's possible that a lookup would occur for the full decl causing it
787 // to be cached, then a second lookup would occur for the forward decl.
788 // We don't want to create a second full decl, so make sure the full
789 // decl hasn't already been cached.
790 auto full_iter
= m_types
.find(toOpaqueUid(*full_decl_uid
));
791 if (full_iter
!= m_types
.end()) {
792 TypeSP result
= full_iter
->second
;
793 // Map the forward decl to the TypeSP for the full decl so we can take
794 // the fast path next time.
795 m_types
[toOpaqueUid(type_id
)] = result
;
801 PdbTypeSymId best_decl_id
= full_decl_uid
? *full_decl_uid
: type_id
;
802 auto ts_or_err
= GetTypeSystemForLanguage(lldb::eLanguageTypeC_plus_plus
);
803 if (auto err
= ts_or_err
.takeError())
805 auto ts
= *ts_or_err
;
809 PdbAstBuilder
* ast_builder
= ts
->GetNativePDBParser();
810 clang::QualType qt
= ast_builder
->GetOrCreateType(best_decl_id
);
814 TypeSP result
= CreateType(best_decl_id
, ast_builder
->ToCompilerType(qt
));
818 uint64_t best_uid
= toOpaqueUid(best_decl_id
);
819 m_types
[best_uid
] = result
;
820 // If we had both a forward decl and a full decl, make both point to the new
823 m_types
[toOpaqueUid(type_id
)] = result
;
828 TypeSP
SymbolFileNativePDB::GetOrCreateType(PdbTypeSymId type_id
) {
829 // We can't use try_emplace / overwrite here because the process of creating
830 // a type could create nested types, which could invalidate iterators. So
831 // we have to do a 2-phase lookup / insert.
832 auto iter
= m_types
.find(toOpaqueUid(type_id
));
833 if (iter
!= m_types
.end())
836 TypeSP type
= CreateAndCacheType(type_id
);
838 GetTypeList().Insert(type
);
842 VariableSP
SymbolFileNativePDB::CreateGlobalVariable(PdbGlobalSymId var_id
) {
843 CVSymbol sym
= m_index
->symrecords().readRecord(var_id
.offset
);
844 if (sym
.kind() == S_CONSTANT
)
845 return CreateConstantSymbol(var_id
, sym
);
847 lldb::ValueType scope
= eValueTypeInvalid
;
849 llvm::StringRef name
;
850 lldb::addr_t addr
= 0;
851 uint16_t section
= 0;
853 bool is_external
= false;
854 switch (sym
.kind()) {
859 DataSym
ds(sym
.kind());
860 llvm::cantFail(SymbolDeserializer::deserializeAs
<DataSym
>(sym
, ds
));
862 scope
= (sym
.kind() == S_GDATA32
) ? eValueTypeVariableGlobal
863 : eValueTypeVariableStatic
;
865 section
= ds
.Segment
;
866 offset
= ds
.DataOffset
;
867 addr
= m_index
->MakeVirtualAddress(ds
.Segment
, ds
.DataOffset
);
874 ThreadLocalDataSym
tlds(sym
.kind());
876 SymbolDeserializer::deserializeAs
<ThreadLocalDataSym
>(sym
, tlds
));
879 section
= tlds
.Segment
;
880 offset
= tlds
.DataOffset
;
881 addr
= m_index
->MakeVirtualAddress(tlds
.Segment
, tlds
.DataOffset
);
882 scope
= eValueTypeVariableThreadLocal
;
886 llvm_unreachable("unreachable!");
889 CompUnitSP comp_unit
;
890 std::optional
<uint16_t> modi
= m_index
->GetModuleIndexForVa(addr
);
891 // Some globals has modi points to the linker module, ignore them.
892 if (!modi
|| modi
>= GetNumCompileUnits())
895 CompilandIndexItem
&cci
= m_index
->compilands().GetOrCreateCompiland(*modi
);
896 comp_unit
= GetOrCreateCompileUnit(cci
);
899 PdbTypeSymId
tid(ti
, false);
900 SymbolFileTypeSP type_sp
=
901 std::make_shared
<SymbolFileType
>(*this, toOpaqueUid(tid
));
902 Variable::RangeList ranges
;
903 auto ts_or_err
= GetTypeSystemForLanguage(comp_unit
->GetLanguage());
904 if (auto err
= ts_or_err
.takeError())
906 auto ts
= *ts_or_err
;
910 ts
->GetNativePDBParser()->GetOrCreateVariableDecl(var_id
);
912 ModuleSP module_sp
= GetObjectFile()->GetModule();
913 DWARFExpressionList
location(
914 module_sp
, MakeGlobalLocationExpression(section
, offset
, module_sp
),
917 std::string
global_name("::");
919 bool artificial
= false;
920 bool location_is_constant_data
= false;
921 bool static_member
= false;
922 VariableSP var_sp
= std::make_shared
<Variable
>(
923 toOpaqueUid(var_id
), name
.str().c_str(), global_name
.c_str(), type_sp
,
924 scope
, comp_unit
.get(), ranges
, &decl
, location
, is_external
, artificial
,
925 location_is_constant_data
, static_member
);
931 SymbolFileNativePDB::CreateConstantSymbol(PdbGlobalSymId var_id
,
932 const CVSymbol
&cvs
) {
933 TpiStream
&tpi
= m_index
->tpi();
934 ConstantSym
constant(cvs
.kind());
936 llvm::cantFail(SymbolDeserializer::deserializeAs
<ConstantSym
>(cvs
, constant
));
937 std::string
global_name("::");
938 global_name
+= constant
.Name
;
939 PdbTypeSymId
tid(constant
.Type
, false);
940 SymbolFileTypeSP type_sp
=
941 std::make_shared
<SymbolFileType
>(*this, toOpaqueUid(tid
));
944 Variable::RangeList ranges
;
945 ModuleSP module
= GetObjectFile()->GetModule();
946 DWARFExpressionList
location(module
,
947 MakeConstantLocationExpression(
948 constant
.Type
, tpi
, constant
.Value
, module
),
951 bool external
= false;
952 bool artificial
= false;
953 bool location_is_constant_data
= true;
954 bool static_member
= false;
955 VariableSP var_sp
= std::make_shared
<Variable
>(
956 toOpaqueUid(var_id
), constant
.Name
.str().c_str(), global_name
.c_str(),
957 type_sp
, eValueTypeVariableGlobal
, module
.get(), ranges
, &decl
, location
,
958 external
, artificial
, location_is_constant_data
, static_member
);
963 SymbolFileNativePDB::GetOrCreateGlobalVariable(PdbGlobalSymId var_id
) {
964 auto emplace_result
= m_global_vars
.try_emplace(toOpaqueUid(var_id
), nullptr);
965 if (emplace_result
.second
) {
966 if (VariableSP var_sp
= CreateGlobalVariable(var_id
))
967 emplace_result
.first
->second
= var_sp
;
972 return emplace_result
.first
->second
;
975 lldb::TypeSP
SymbolFileNativePDB::GetOrCreateType(TypeIndex ti
) {
976 return GetOrCreateType(PdbTypeSymId(ti
, false));
979 FunctionSP
SymbolFileNativePDB::GetOrCreateFunction(PdbCompilandSymId func_id
,
980 CompileUnit
&comp_unit
) {
981 auto emplace_result
= m_functions
.try_emplace(toOpaqueUid(func_id
), nullptr);
982 if (emplace_result
.second
)
983 emplace_result
.first
->second
= CreateFunction(func_id
, comp_unit
);
985 return emplace_result
.first
->second
;
989 SymbolFileNativePDB::GetOrCreateCompileUnit(const CompilandIndexItem
&cci
) {
991 auto emplace_result
=
992 m_compilands
.try_emplace(toOpaqueUid(cci
.m_id
), nullptr);
993 if (emplace_result
.second
)
994 emplace_result
.first
->second
= CreateCompileUnit(cci
);
996 lldbassert(emplace_result
.first
->second
);
997 return emplace_result
.first
->second
;
1000 Block
&SymbolFileNativePDB::GetOrCreateBlock(PdbCompilandSymId block_id
) {
1001 auto iter
= m_blocks
.find(toOpaqueUid(block_id
));
1002 if (iter
!= m_blocks
.end())
1003 return *iter
->second
;
1005 return CreateBlock(block_id
);
1008 void SymbolFileNativePDB::ParseDeclsForContext(
1009 lldb_private::CompilerDeclContext decl_ctx
) {
1010 TypeSystem
* ts_or_err
= decl_ctx
.GetTypeSystem();
1013 PdbAstBuilder
* ast_builder
= ts_or_err
->GetNativePDBParser();
1014 clang::DeclContext
*context
= ast_builder
->FromCompilerDeclContext(decl_ctx
);
1017 ast_builder
->ParseDeclsForContext(*context
);
1020 lldb::CompUnitSP
SymbolFileNativePDB::ParseCompileUnitAtIndex(uint32_t index
) {
1021 if (index
>= GetNumCompileUnits())
1022 return CompUnitSP();
1023 lldbassert(index
< UINT16_MAX
);
1024 if (index
>= UINT16_MAX
)
1027 CompilandIndexItem
&item
= m_index
->compilands().GetOrCreateCompiland(index
);
1029 return GetOrCreateCompileUnit(item
);
1032 lldb::LanguageType
SymbolFileNativePDB::ParseLanguage(CompileUnit
&comp_unit
) {
1033 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
1034 PdbSymUid
uid(comp_unit
.GetID());
1035 lldbassert(uid
.kind() == PdbSymUidKind::Compiland
);
1037 CompilandIndexItem
*item
=
1038 m_index
->compilands().GetCompiland(uid
.asCompiland().modi
);
1040 if (!item
->m_compile_opts
)
1041 return lldb::eLanguageTypeUnknown
;
1043 return TranslateLanguage(item
->m_compile_opts
->getLanguage());
1046 void SymbolFileNativePDB::AddSymbols(Symtab
&symtab
) {}
1048 size_t SymbolFileNativePDB::ParseFunctions(CompileUnit
&comp_unit
) {
1049 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
1050 PdbSymUid uid
{comp_unit
.GetID()};
1051 lldbassert(uid
.kind() == PdbSymUidKind::Compiland
);
1052 uint16_t modi
= uid
.asCompiland().modi
;
1053 CompilandIndexItem
&cii
= m_index
->compilands().GetOrCreateCompiland(modi
);
1055 size_t count
= comp_unit
.GetNumFunctions();
1056 const CVSymbolArray
&syms
= cii
.m_debug_stream
.getSymbolArray();
1057 for (auto iter
= syms
.begin(); iter
!= syms
.end(); ++iter
) {
1058 if (iter
->kind() != S_LPROC32
&& iter
->kind() != S_GPROC32
)
1061 PdbCompilandSymId sym_id
{modi
, iter
.offset()};
1063 FunctionSP func
= GetOrCreateFunction(sym_id
, comp_unit
);
1066 size_t new_count
= comp_unit
.GetNumFunctions();
1067 lldbassert(new_count
>= count
);
1068 return new_count
- count
;
1071 static bool NeedsResolvedCompileUnit(uint32_t resolve_scope
) {
1072 // If any of these flags are set, we need to resolve the compile unit.
1073 uint32_t flags
= eSymbolContextCompUnit
;
1074 flags
|= eSymbolContextVariable
;
1075 flags
|= eSymbolContextFunction
;
1076 flags
|= eSymbolContextBlock
;
1077 flags
|= eSymbolContextLineEntry
;
1078 return (resolve_scope
& flags
) != 0;
1081 uint32_t SymbolFileNativePDB::ResolveSymbolContext(
1082 const Address
&addr
, SymbolContextItem resolve_scope
, SymbolContext
&sc
) {
1083 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
1084 uint32_t resolved_flags
= 0;
1085 lldb::addr_t file_addr
= addr
.GetFileAddress();
1087 if (NeedsResolvedCompileUnit(resolve_scope
)) {
1088 std::optional
<uint16_t> modi
= m_index
->GetModuleIndexForVa(file_addr
);
1091 CompUnitSP cu_sp
= GetCompileUnitAtIndex(*modi
);
1095 sc
.comp_unit
= cu_sp
.get();
1096 resolved_flags
|= eSymbolContextCompUnit
;
1099 if (resolve_scope
& eSymbolContextFunction
||
1100 resolve_scope
& eSymbolContextBlock
) {
1101 lldbassert(sc
.comp_unit
);
1102 std::vector
<SymbolAndUid
> matches
= m_index
->FindSymbolsByVa(file_addr
);
1103 // Search the matches in reverse. This way if there are multiple matches
1104 // (for example we are 3 levels deep in a nested scope) it will find the
1105 // innermost one first.
1106 for (const auto &match
: llvm::reverse(matches
)) {
1107 if (match
.uid
.kind() != PdbSymUidKind::CompilandSym
)
1110 PdbCompilandSymId csid
= match
.uid
.asCompilandSym();
1111 CVSymbol cvs
= m_index
->ReadSymbolRecord(csid
);
1112 PDB_SymType type
= CVSymToPDBSym(cvs
.kind());
1113 if (type
!= PDB_SymType::Function
&& type
!= PDB_SymType::Block
)
1115 if (type
== PDB_SymType::Function
) {
1116 sc
.function
= GetOrCreateFunction(csid
, *sc
.comp_unit
).get();
1118 Block
&block
= sc
.function
->GetBlock(true);
1120 sc
.function
->GetAddressRange().GetBaseAddress().GetFileAddress();
1121 addr_t offset
= file_addr
- func_base
;
1122 sc
.block
= block
.FindInnermostBlockByOffset(offset
);
1126 if (type
== PDB_SymType::Block
) {
1127 Block
&block
= GetOrCreateBlock(csid
);
1128 sc
.function
= block
.CalculateSymbolContextFunction();
1130 sc
.function
->GetBlock(true);
1132 sc
.function
->GetAddressRange().GetBaseAddress().GetFileAddress();
1133 addr_t offset
= file_addr
- func_base
;
1134 sc
.block
= block
.FindInnermostBlockByOffset(offset
);
1138 resolved_flags
|= eSymbolContextFunction
;
1140 resolved_flags
|= eSymbolContextBlock
;
1145 if (resolve_scope
& eSymbolContextLineEntry
) {
1146 lldbassert(sc
.comp_unit
);
1147 if (auto *line_table
= sc
.comp_unit
->GetLineTable()) {
1148 if (line_table
->FindLineEntryByAddress(addr
, sc
.line_entry
))
1149 resolved_flags
|= eSymbolContextLineEntry
;
1153 return resolved_flags
;
1156 uint32_t SymbolFileNativePDB::ResolveSymbolContext(
1157 const SourceLocationSpec
&src_location_spec
,
1158 lldb::SymbolContextItem resolve_scope
, SymbolContextList
&sc_list
) {
1159 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
1160 const uint32_t prev_size
= sc_list
.GetSize();
1161 if (resolve_scope
& eSymbolContextCompUnit
) {
1162 for (uint32_t cu_idx
= 0, num_cus
= GetNumCompileUnits(); cu_idx
< num_cus
;
1164 CompileUnit
*cu
= ParseCompileUnitAtIndex(cu_idx
).get();
1168 bool file_spec_matches_cu_file_spec
= FileSpec::Match(
1169 src_location_spec
.GetFileSpec(), cu
->GetPrimaryFile());
1170 if (file_spec_matches_cu_file_spec
) {
1171 cu
->ResolveSymbolContext(src_location_spec
, resolve_scope
, sc_list
);
1176 return sc_list
.GetSize() - prev_size
;
1179 bool SymbolFileNativePDB::ParseLineTable(CompileUnit
&comp_unit
) {
1180 // Unfortunately LLDB is set up to parse the entire compile unit line table
1181 // all at once, even if all it really needs is line info for a specific
1182 // function. In the future it would be nice if it could set the sc.m_function
1183 // member, and we could only get the line info for the function in question.
1184 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
1185 PdbSymUid
cu_id(comp_unit
.GetID());
1186 lldbassert(cu_id
.kind() == PdbSymUidKind::Compiland
);
1187 uint16_t modi
= cu_id
.asCompiland().modi
;
1188 CompilandIndexItem
*cii
= m_index
->compilands().GetCompiland(modi
);
1191 // Parse DEBUG_S_LINES subsections first, then parse all S_INLINESITE records
1192 // in this CU. Add line entries into the set first so that if there are line
1193 // entries with same addres, the later is always more accurate than the
1195 std::set
<LineTable::Entry
, LineTableEntryComparator
> line_set
;
1197 // This is basically a copy of the .debug$S subsections from all original COFF
1198 // object files merged together with address relocations applied. We are
1199 // looking for all DEBUG_S_LINES subsections.
1200 for (const DebugSubsectionRecord
&dssr
:
1201 cii
->m_debug_stream
.getSubsectionsArray()) {
1202 if (dssr
.kind() != DebugSubsectionKind::Lines
)
1205 DebugLinesSubsectionRef lines
;
1206 llvm::BinaryStreamReader
reader(dssr
.getRecordData());
1207 if (auto EC
= lines
.initialize(reader
)) {
1208 llvm::consumeError(std::move(EC
));
1212 const LineFragmentHeader
*lfh
= lines
.header();
1213 uint64_t virtual_addr
=
1214 m_index
->MakeVirtualAddress(lfh
->RelocSegment
, lfh
->RelocOffset
);
1215 if (virtual_addr
== LLDB_INVALID_ADDRESS
)
1218 for (const LineColumnEntry
&group
: lines
) {
1219 llvm::Expected
<uint32_t> file_index_or_err
=
1220 GetFileIndex(*cii
, group
.NameIndex
);
1221 if (!file_index_or_err
)
1223 uint32_t file_index
= file_index_or_err
.get();
1224 lldbassert(!group
.LineNumbers
.empty());
1225 CompilandIndexItem::GlobalLineTable::Entry
line_entry(
1226 LLDB_INVALID_ADDRESS
, 0);
1227 for (const LineNumberEntry
&entry
: group
.LineNumbers
) {
1228 LineInfo
cur_info(entry
.Flags
);
1230 if (cur_info
.isAlwaysStepInto() || cur_info
.isNeverStepInto())
1233 uint64_t addr
= virtual_addr
+ entry
.Offset
;
1235 bool is_statement
= cur_info
.isStatement();
1236 bool is_prologue
= IsFunctionPrologue(*cii
, addr
);
1237 bool is_epilogue
= IsFunctionEpilogue(*cii
, addr
);
1239 uint32_t lno
= cur_info
.getStartLine();
1241 LineTable::Entry
new_entry(addr
, lno
, 0, file_index
, is_statement
, false,
1242 is_prologue
, is_epilogue
, false);
1243 // Terminal entry has lower precedence than new entry.
1244 auto iter
= line_set
.find(new_entry
);
1245 if (iter
!= line_set
.end() && iter
->is_terminal_entry
)
1246 line_set
.erase(iter
);
1247 line_set
.insert(new_entry
);
1249 if (line_entry
.GetRangeBase() != LLDB_INVALID_ADDRESS
) {
1250 line_entry
.SetRangeEnd(addr
);
1251 cii
->m_global_line_table
.Append(line_entry
);
1253 line_entry
.SetRangeBase(addr
);
1254 line_entry
.data
= {file_index
, lno
};
1256 LineInfo
last_line(group
.LineNumbers
.back().Flags
);
1257 line_set
.emplace(virtual_addr
+ lfh
->CodeSize
, last_line
.getEndLine(), 0,
1258 file_index
, false, false, false, false, true);
1260 if (line_entry
.GetRangeBase() != LLDB_INVALID_ADDRESS
) {
1261 line_entry
.SetRangeEnd(virtual_addr
+ lfh
->CodeSize
);
1262 cii
->m_global_line_table
.Append(line_entry
);
1267 cii
->m_global_line_table
.Sort();
1269 // Parse all S_INLINESITE in this CU.
1270 const CVSymbolArray
&syms
= cii
->m_debug_stream
.getSymbolArray();
1271 for (auto iter
= syms
.begin(); iter
!= syms
.end();) {
1272 if (iter
->kind() != S_LPROC32
&& iter
->kind() != S_GPROC32
) {
1277 uint32_t record_offset
= iter
.offset();
1278 CVSymbol func_record
=
1279 cii
->m_debug_stream
.readSymbolAtOffset(record_offset
);
1280 SegmentOffsetLength sol
= GetSegmentOffsetAndLength(func_record
);
1281 addr_t file_vm_addr
=
1282 m_index
->MakeVirtualAddress(sol
.so
.segment
, sol
.so
.offset
);
1283 if (file_vm_addr
== LLDB_INVALID_ADDRESS
)
1286 AddressRange
func_range(file_vm_addr
, sol
.length
,
1287 comp_unit
.GetModule()->GetSectionList());
1288 Address func_base
= func_range
.GetBaseAddress();
1289 PdbCompilandSymId func_id
{modi
, record_offset
};
1291 // Iterate all S_INLINESITEs in the function.
1292 auto parse_inline_sites
= [&](SymbolKind kind
, PdbCompilandSymId id
) {
1293 if (kind
!= S_INLINESITE
)
1296 ParseInlineSite(id
, func_base
);
1298 for (const auto &line_entry
:
1299 m_inline_sites
[toOpaqueUid(id
)]->line_entries
) {
1300 // If line_entry is not terminal entry, remove previous line entry at
1301 // the same address and insert new one. Terminal entry inside an inline
1302 // site might not be terminal entry for its parent.
1303 if (!line_entry
.is_terminal_entry
)
1304 line_set
.erase(line_entry
);
1305 line_set
.insert(line_entry
);
1307 // No longer useful after adding to line_set.
1308 m_inline_sites
[toOpaqueUid(id
)]->line_entries
.clear();
1311 ParseSymbolArrayInScope(func_id
, parse_inline_sites
);
1312 // Jump to the end of the function record.
1313 iter
= syms
.at(getScopeEndOffset(func_record
));
1316 cii
->m_global_line_table
.Clear();
1318 // Add line entries in line_set to line_table.
1319 auto line_table
= std::make_unique
<LineTable
>(&comp_unit
);
1320 std::unique_ptr
<LineSequence
> sequence(
1321 line_table
->CreateLineSequenceContainer());
1322 for (const auto &line_entry
: line_set
) {
1323 line_table
->AppendLineEntryToSequence(
1324 sequence
.get(), line_entry
.file_addr
, line_entry
.line
,
1325 line_entry
.column
, line_entry
.file_idx
,
1326 line_entry
.is_start_of_statement
, line_entry
.is_start_of_basic_block
,
1327 line_entry
.is_prologue_end
, line_entry
.is_epilogue_begin
,
1328 line_entry
.is_terminal_entry
);
1330 line_table
->InsertSequence(sequence
.get());
1332 if (line_table
->GetSize() == 0)
1335 comp_unit
.SetLineTable(line_table
.release());
1339 bool SymbolFileNativePDB::ParseDebugMacros(CompileUnit
&comp_unit
) {
1340 // PDB doesn't contain information about macros
1344 llvm::Expected
<uint32_t>
1345 SymbolFileNativePDB::GetFileIndex(const CompilandIndexItem
&cii
,
1347 if (!cii
.m_strings
.hasChecksums() || !cii
.m_strings
.hasStrings())
1348 return llvm::make_error
<RawError
>(raw_error_code::no_entry
);
1350 const auto &checksums
= cii
.m_strings
.checksums().getArray();
1351 const auto &strings
= cii
.m_strings
.strings();
1352 // Indices in this structure are actually offsets of records in the
1353 // DEBUG_S_FILECHECKSUMS subsection. Those entries then have an index
1354 // into the global PDB string table.
1355 auto iter
= checksums
.at(file_id
);
1356 if (iter
== checksums
.end())
1357 return llvm::make_error
<RawError
>(raw_error_code::no_entry
);
1359 llvm::Expected
<llvm::StringRef
> efn
= strings
.getString(iter
->FileNameOffset
);
1361 return efn
.takeError();
1364 // LLDB wants the index of the file in the list of support files.
1365 auto fn_iter
= llvm::find(cii
.m_file_list
, *efn
);
1366 if (fn_iter
!= cii
.m_file_list
.end())
1367 return std::distance(cii
.m_file_list
.begin(), fn_iter
);
1368 return llvm::make_error
<RawError
>(raw_error_code::no_entry
);
1371 bool SymbolFileNativePDB::ParseSupportFiles(CompileUnit
&comp_unit
,
1372 SupportFileList
&support_files
) {
1373 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
1374 PdbSymUid
cu_id(comp_unit
.GetID());
1375 lldbassert(cu_id
.kind() == PdbSymUidKind::Compiland
);
1376 CompilandIndexItem
*cci
=
1377 m_index
->compilands().GetCompiland(cu_id
.asCompiland().modi
);
1380 for (llvm::StringRef f
: cci
->m_file_list
) {
1381 FileSpec::Style style
=
1382 f
.starts_with("/") ? FileSpec::Style::posix
: FileSpec::Style::windows
;
1383 FileSpec
spec(f
, style
);
1384 support_files
.Append(spec
);
1389 bool SymbolFileNativePDB::ParseImportedModules(
1390 const SymbolContext
&sc
, std::vector
<SourceModule
> &imported_modules
) {
1391 // PDB does not yet support module debug info
1395 void SymbolFileNativePDB::ParseInlineSite(PdbCompilandSymId id
,
1396 Address func_addr
) {
1397 lldb::user_id_t opaque_uid
= toOpaqueUid(id
);
1398 if (m_inline_sites
.contains(opaque_uid
))
1401 addr_t func_base
= func_addr
.GetFileAddress();
1402 CompilandIndexItem
*cii
= m_index
->compilands().GetCompiland(id
.modi
);
1403 CVSymbol sym
= cii
->m_debug_stream
.readSymbolAtOffset(id
.offset
);
1404 CompUnitSP comp_unit
= GetOrCreateCompileUnit(*cii
);
1406 InlineSiteSym
inline_site(static_cast<SymbolRecordKind
>(sym
.kind()));
1407 cantFail(SymbolDeserializer::deserializeAs
<InlineSiteSym
>(sym
, inline_site
));
1408 PdbCompilandSymId
parent_id(id
.modi
, inline_site
.Parent
);
1410 std::shared_ptr
<InlineSite
> inline_site_sp
=
1411 std::make_shared
<InlineSite
>(parent_id
);
1413 // Get the inlined function declaration info.
1414 auto iter
= cii
->m_inline_map
.find(inline_site
.Inlinee
);
1415 if (iter
== cii
->m_inline_map
.end())
1417 InlineeSourceLine inlinee_line
= iter
->second
;
1419 const SupportFileList
&files
= comp_unit
->GetSupportFiles();
1421 llvm::Expected
<uint32_t> file_index_or_err
=
1422 GetFileIndex(*cii
, inlinee_line
.Header
->FileID
);
1423 if (!file_index_or_err
)
1425 uint32_t file_offset
= file_index_or_err
.get();
1426 decl_file
= files
.GetFileSpecAtIndex(file_offset
);
1427 uint32_t decl_line
= inlinee_line
.Header
->SourceLineNum
;
1428 std::unique_ptr
<Declaration
> decl_up
=
1429 std::make_unique
<Declaration
>(decl_file
, decl_line
);
1431 // Parse range and line info.
1432 uint32_t code_offset
= 0;
1433 int32_t line_offset
= 0;
1434 std::optional
<uint32_t> code_offset_base
;
1435 std::optional
<uint32_t> code_offset_end
;
1436 std::optional
<int32_t> cur_line_offset
;
1437 std::optional
<int32_t> next_line_offset
;
1438 std::optional
<uint32_t> next_file_offset
;
1440 bool is_terminal_entry
= false;
1441 bool is_start_of_statement
= true;
1442 // The first instruction is the prologue end.
1443 bool is_prologue_end
= true;
1445 auto update_code_offset
= [&](uint32_t code_delta
) {
1446 if (!code_offset_base
)
1447 code_offset_base
= code_offset
;
1448 else if (!code_offset_end
)
1449 code_offset_end
= *code_offset_base
+ code_delta
;
1451 auto update_line_offset
= [&](int32_t line_delta
) {
1452 line_offset
+= line_delta
;
1453 if (!code_offset_base
|| !cur_line_offset
)
1454 cur_line_offset
= line_offset
;
1456 next_line_offset
= line_offset
;
1459 auto update_file_offset
= [&](uint32_t offset
) {
1460 if (!code_offset_base
)
1461 file_offset
= offset
;
1463 next_file_offset
= offset
;
1466 for (auto &annot
: inline_site
.annotations()) {
1467 switch (annot
.OpCode
) {
1468 case BinaryAnnotationsOpCode::CodeOffset
:
1469 case BinaryAnnotationsOpCode::ChangeCodeOffset
:
1470 case BinaryAnnotationsOpCode::ChangeCodeOffsetBase
:
1471 code_offset
+= annot
.U1
;
1472 update_code_offset(annot
.U1
);
1474 case BinaryAnnotationsOpCode::ChangeLineOffset
:
1475 update_line_offset(annot
.S1
);
1477 case BinaryAnnotationsOpCode::ChangeCodeLength
:
1478 update_code_offset(annot
.U1
);
1479 code_offset
+= annot
.U1
;
1480 is_terminal_entry
= true;
1482 case BinaryAnnotationsOpCode::ChangeCodeOffsetAndLineOffset
:
1483 code_offset
+= annot
.U1
;
1484 update_code_offset(annot
.U1
);
1485 update_line_offset(annot
.S1
);
1487 case BinaryAnnotationsOpCode::ChangeCodeLengthAndCodeOffset
:
1488 code_offset
+= annot
.U2
;
1489 update_code_offset(annot
.U2
);
1490 update_code_offset(annot
.U1
);
1491 code_offset
+= annot
.U1
;
1492 is_terminal_entry
= true;
1494 case BinaryAnnotationsOpCode::ChangeFile
:
1495 update_file_offset(annot
.U1
);
1501 // Add range if current range is finished.
1502 if (code_offset_base
&& code_offset_end
&& cur_line_offset
) {
1503 inline_site_sp
->ranges
.Append(RangeSourceLineVector::Entry(
1504 *code_offset_base
, *code_offset_end
- *code_offset_base
,
1505 decl_line
+ *cur_line_offset
));
1506 // Set base, end, file offset and line offset for next range.
1507 if (next_file_offset
)
1508 file_offset
= *next_file_offset
;
1509 if (next_line_offset
) {
1510 cur_line_offset
= next_line_offset
;
1511 next_line_offset
= std::nullopt
;
1513 code_offset_base
= is_terminal_entry
? std::nullopt
: code_offset_end
;
1514 code_offset_end
= next_file_offset
= std::nullopt
;
1516 if (code_offset_base
&& cur_line_offset
) {
1517 if (is_terminal_entry
) {
1518 LineTable::Entry
line_entry(
1519 func_base
+ *code_offset_base
, decl_line
+ *cur_line_offset
, 0,
1520 file_offset
, false, false, false, false, true);
1521 inline_site_sp
->line_entries
.push_back(line_entry
);
1523 LineTable::Entry
line_entry(func_base
+ *code_offset_base
,
1524 decl_line
+ *cur_line_offset
, 0,
1525 file_offset
, is_start_of_statement
, false,
1526 is_prologue_end
, false, false);
1527 inline_site_sp
->line_entries
.push_back(line_entry
);
1528 is_prologue_end
= false;
1529 is_start_of_statement
= false;
1532 if (is_terminal_entry
)
1533 is_start_of_statement
= true;
1534 is_terminal_entry
= false;
1537 inline_site_sp
->ranges
.Sort();
1539 // Get the inlined function callsite info.
1540 std::unique_ptr
<Declaration
> callsite_up
;
1541 if (!inline_site_sp
->ranges
.IsEmpty()) {
1542 auto *entry
= inline_site_sp
->ranges
.GetEntryAtIndex(0);
1543 addr_t base_offset
= entry
->GetRangeBase();
1544 if (cii
->m_debug_stream
.readSymbolAtOffset(parent_id
.offset
).kind() ==
1546 // Its parent is another inline site, lookup parent site's range vector
1547 // for callsite line.
1548 ParseInlineSite(parent_id
, func_base
);
1549 std::shared_ptr
<InlineSite
> parent_site
=
1550 m_inline_sites
[toOpaqueUid(parent_id
)];
1551 FileSpec
&parent_decl_file
=
1552 parent_site
->inline_function_info
->GetDeclaration().GetFile();
1553 if (auto *parent_entry
=
1554 parent_site
->ranges
.FindEntryThatContains(base_offset
)) {
1556 std::make_unique
<Declaration
>(parent_decl_file
, parent_entry
->data
);
1559 // Its parent is a function, lookup global line table for callsite.
1560 if (auto *entry
= cii
->m_global_line_table
.FindEntryThatContains(
1561 func_base
+ base_offset
)) {
1562 const FileSpec
&callsite_file
=
1563 files
.GetFileSpecAtIndex(entry
->data
.first
);
1565 std::make_unique
<Declaration
>(callsite_file
, entry
->data
.second
);
1570 // Get the inlined function name.
1571 CVType inlinee_cvt
= m_index
->ipi().getType(inline_site
.Inlinee
);
1572 std::string inlinee_name
;
1573 if (inlinee_cvt
.kind() == LF_MFUNC_ID
) {
1574 MemberFuncIdRecord mfr
;
1576 TypeDeserializer::deserializeAs
<MemberFuncIdRecord
>(inlinee_cvt
, mfr
));
1577 LazyRandomTypeCollection
&types
= m_index
->tpi().typeCollection();
1578 inlinee_name
.append(std::string(types
.getTypeName(mfr
.ClassType
)));
1579 inlinee_name
.append("::");
1580 inlinee_name
.append(mfr
.getName().str());
1581 } else if (inlinee_cvt
.kind() == LF_FUNC_ID
) {
1583 cantFail(TypeDeserializer::deserializeAs
<FuncIdRecord
>(inlinee_cvt
, fir
));
1584 TypeIndex parent_idx
= fir
.getParentScope();
1585 if (!parent_idx
.isNoneType()) {
1586 LazyRandomTypeCollection
&ids
= m_index
->ipi().typeCollection();
1587 inlinee_name
.append(std::string(ids
.getTypeName(parent_idx
)));
1588 inlinee_name
.append("::");
1590 inlinee_name
.append(fir
.getName().str());
1592 inline_site_sp
->inline_function_info
= std::make_shared
<InlineFunctionInfo
>(
1593 inlinee_name
.c_str(), llvm::StringRef(), decl_up
.get(),
1596 m_inline_sites
[opaque_uid
] = inline_site_sp
;
1599 size_t SymbolFileNativePDB::ParseBlocksRecursive(Function
&func
) {
1600 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
1601 PdbCompilandSymId func_id
= PdbSymUid(func
.GetID()).asCompilandSym();
1602 // After we iterate through inline sites inside the function, we already get
1603 // all the info needed, removing from the map to save memory.
1604 std::set
<uint64_t> remove_uids
;
1605 auto parse_blocks
= [&](SymbolKind kind
, PdbCompilandSymId id
) {
1606 if (kind
== S_GPROC32
|| kind
== S_LPROC32
|| kind
== S_BLOCK32
||
1607 kind
== S_INLINESITE
) {
1608 GetOrCreateBlock(id
);
1609 if (kind
== S_INLINESITE
)
1610 remove_uids
.insert(toOpaqueUid(id
));
1615 size_t count
= ParseSymbolArrayInScope(func_id
, parse_blocks
);
1616 for (uint64_t uid
: remove_uids
) {
1617 m_inline_sites
.erase(uid
);
1622 size_t SymbolFileNativePDB::ParseSymbolArrayInScope(
1623 PdbCompilandSymId parent_id
,
1624 llvm::function_ref
<bool(SymbolKind
, PdbCompilandSymId
)> fn
) {
1625 CompilandIndexItem
*cii
= m_index
->compilands().GetCompiland(parent_id
.modi
);
1626 CVSymbolArray syms
=
1627 cii
->m_debug_stream
.getSymbolArrayForScope(parent_id
.offset
);
1630 for (auto iter
= syms
.begin(); iter
!= syms
.end(); ++iter
) {
1631 PdbCompilandSymId
child_id(parent_id
.modi
, iter
.offset());
1632 if (fn(iter
->kind(), child_id
))
1639 void SymbolFileNativePDB::DumpClangAST(Stream
&s
) {
1640 auto ts_or_err
= GetTypeSystemForLanguage(eLanguageTypeC_plus_plus
);
1643 auto ts
= *ts_or_err
;
1644 TypeSystemClang
*clang
= llvm::dyn_cast_or_null
<TypeSystemClang
>(ts
.get());
1647 clang
->GetNativePDBParser()->Dump(s
);
1650 void SymbolFileNativePDB::FindGlobalVariables(
1651 ConstString name
, const CompilerDeclContext
&parent_decl_ctx
,
1652 uint32_t max_matches
, VariableList
&variables
) {
1653 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
1654 using SymbolAndOffset
= std::pair
<uint32_t, llvm::codeview::CVSymbol
>;
1656 std::vector
<SymbolAndOffset
> results
= m_index
->globals().findRecordsByName(
1657 name
.GetStringRef(), m_index
->symrecords());
1658 for (const SymbolAndOffset
&result
: results
) {
1659 switch (result
.second
.kind()) {
1660 case SymbolKind::S_GDATA32
:
1661 case SymbolKind::S_LDATA32
:
1662 case SymbolKind::S_GTHREAD32
:
1663 case SymbolKind::S_LTHREAD32
:
1664 case SymbolKind::S_CONSTANT
: {
1665 PdbGlobalSymId
global(result
.first
, false);
1666 if (VariableSP var
= GetOrCreateGlobalVariable(global
))
1667 variables
.AddVariable(var
);
1676 void SymbolFileNativePDB::FindFunctions(
1677 const Module::LookupInfo
&lookup_info
,
1678 const CompilerDeclContext
&parent_decl_ctx
, bool include_inlines
,
1679 SymbolContextList
&sc_list
) {
1680 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
1681 ConstString name
= lookup_info
.GetLookupName();
1682 FunctionNameType name_type_mask
= lookup_info
.GetNameTypeMask();
1683 if (name_type_mask
& eFunctionNameTypeFull
)
1684 name
= lookup_info
.GetName();
1686 // For now we only support lookup by method name or full name.
1687 if (!(name_type_mask
& eFunctionNameTypeFull
||
1688 name_type_mask
& eFunctionNameTypeMethod
))
1691 using SymbolAndOffset
= std::pair
<uint32_t, llvm::codeview::CVSymbol
>;
1693 std::vector
<SymbolAndOffset
> matches
= m_index
->globals().findRecordsByName(
1694 name
.GetStringRef(), m_index
->symrecords());
1695 for (const SymbolAndOffset
&match
: matches
) {
1696 if (match
.second
.kind() != S_PROCREF
&& match
.second
.kind() != S_LPROCREF
)
1698 ProcRefSym
proc(match
.second
.kind());
1699 cantFail(SymbolDeserializer::deserializeAs
<ProcRefSym
>(match
.second
, proc
));
1701 if (!IsValidRecord(proc
))
1704 CompilandIndexItem
&cci
=
1705 m_index
->compilands().GetOrCreateCompiland(proc
.modi());
1708 sc
.comp_unit
= GetOrCreateCompileUnit(cci
).get();
1709 PdbCompilandSymId
func_id(proc
.modi(), proc
.SymOffset
);
1710 sc
.function
= GetOrCreateFunction(func_id
, *sc
.comp_unit
).get();
1716 void SymbolFileNativePDB::FindFunctions(const RegularExpression
®ex
,
1717 bool include_inlines
,
1718 SymbolContextList
&sc_list
) {}
1720 void SymbolFileNativePDB::FindTypes(const lldb_private::TypeQuery
&query
,
1721 lldb_private::TypeResults
&results
) {
1723 // Make sure we haven't already searched this SymbolFile before.
1724 if (results
.AlreadySearched(this))
1727 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
1729 std::vector
<TypeIndex
> matches
=
1730 m_index
->tpi().findRecordsByName(query
.GetTypeBasename().GetStringRef());
1732 for (TypeIndex type_idx
: matches
) {
1733 TypeSP type_sp
= GetOrCreateType(type_idx
);
1737 // We resolved a type. Get the fully qualified name to ensure it matches.
1738 ConstString name
= type_sp
->GetQualifiedName();
1739 TypeQuery
type_match(name
.GetStringRef(), TypeQueryOptions::e_exact_match
);
1740 if (query
.ContextMatches(type_match
.GetContextRef())) {
1741 results
.InsertUnique(type_sp
);
1742 if (results
.Done(query
))
1748 void SymbolFileNativePDB::FindTypesByName(llvm::StringRef name
,
1749 uint32_t max_matches
,
1752 std::vector
<TypeIndex
> matches
= m_index
->tpi().findRecordsByName(name
);
1753 if (max_matches
> 0 && max_matches
< matches
.size())
1754 matches
.resize(max_matches
);
1756 for (TypeIndex ti
: matches
) {
1757 TypeSP type
= GetOrCreateType(ti
);
1765 size_t SymbolFileNativePDB::ParseTypes(CompileUnit
&comp_unit
) {
1766 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
1767 // Only do the full type scan the first time.
1768 if (m_done_full_type_scan
)
1771 const size_t old_count
= GetTypeList().GetSize();
1772 LazyRandomTypeCollection
&types
= m_index
->tpi().typeCollection();
1774 // First process the entire TPI stream.
1775 for (auto ti
= types
.getFirst(); ti
; ti
= types
.getNext(*ti
)) {
1776 TypeSP type
= GetOrCreateType(*ti
);
1778 (void)type
->GetFullCompilerType();
1781 // Next look for S_UDT records in the globals stream.
1782 for (const uint32_t gid
: m_index
->globals().getGlobalsTable()) {
1783 PdbGlobalSymId global
{gid
, false};
1784 CVSymbol sym
= m_index
->ReadSymbolRecord(global
);
1785 if (sym
.kind() != S_UDT
)
1788 UDTSym udt
= llvm::cantFail(SymbolDeserializer::deserializeAs
<UDTSym
>(sym
));
1789 bool is_typedef
= true;
1790 if (IsTagRecord(PdbTypeSymId
{udt
.Type
, false}, m_index
->tpi())) {
1791 CVType cvt
= m_index
->tpi().getType(udt
.Type
);
1792 llvm::StringRef name
= CVTagRecord::create(cvt
).name();
1793 if (name
== udt
.Name
)
1798 GetOrCreateTypedef(global
);
1801 const size_t new_count
= GetTypeList().GetSize();
1803 m_done_full_type_scan
= true;
1805 return new_count
- old_count
;
1809 SymbolFileNativePDB::ParseVariablesForCompileUnit(CompileUnit
&comp_unit
,
1810 VariableList
&variables
) {
1811 PdbSymUid
sym_uid(comp_unit
.GetID());
1812 lldbassert(sym_uid
.kind() == PdbSymUidKind::Compiland
);
1813 for (const uint32_t gid
: m_index
->globals().getGlobalsTable()) {
1814 PdbGlobalSymId global
{gid
, false};
1815 CVSymbol sym
= m_index
->ReadSymbolRecord(global
);
1816 // TODO: S_CONSTANT is not handled here to prevent a possible crash in
1817 // lldb_private::npdb::MakeConstantLocationExpression when it's a record
1818 // type (e.g. std::strong_ordering::equal). That function needs to be
1819 // updated to handle this case when we add S_CONSTANT case here.
1820 switch (sym
.kind()) {
1821 case SymbolKind::S_GDATA32
:
1822 case SymbolKind::S_LDATA32
:
1823 case SymbolKind::S_GTHREAD32
:
1824 case SymbolKind::S_LTHREAD32
: {
1825 if (VariableSP var
= GetOrCreateGlobalVariable(global
))
1826 variables
.AddVariable(var
);
1833 return variables
.GetSize();
1836 VariableSP
SymbolFileNativePDB::CreateLocalVariable(PdbCompilandSymId scope_id
,
1837 PdbCompilandSymId var_id
,
1839 ModuleSP module
= GetObjectFile()->GetModule();
1840 Block
&block
= GetOrCreateBlock(scope_id
);
1841 // Get function block.
1842 Block
*func_block
= &block
;
1843 while (func_block
->GetParent()) {
1844 func_block
= func_block
->GetParent();
1847 func_block
->GetStartAddress(addr
);
1848 VariableInfo var_info
=
1849 GetVariableLocationInfo(*m_index
, var_id
, *func_block
, module
);
1850 Function
*func
= func_block
->CalculateSymbolContextFunction();
1853 // Use empty dwarf expr if optimized away so that it won't be filtered out
1854 // when lookuping local variables in this scope.
1855 if (!var_info
.location
.IsValid())
1856 var_info
.location
= DWARFExpressionList(module
, DWARFExpression(), nullptr);
1857 var_info
.location
.SetFuncFileAddress(
1858 func
->GetAddressRange().GetBaseAddress().GetFileAddress());
1859 CompilandIndexItem
*cii
= m_index
->compilands().GetCompiland(var_id
.modi
);
1860 CompUnitSP comp_unit_sp
= GetOrCreateCompileUnit(*cii
);
1861 TypeSP type_sp
= GetOrCreateType(var_info
.type
);
1864 std::string name
= var_info
.name
.str();
1866 SymbolFileTypeSP sftype
=
1867 std::make_shared
<SymbolFileType
>(*this, type_sp
->GetID());
1869 is_param
|= var_info
.is_param
;
1870 ValueType var_scope
=
1871 is_param
? eValueTypeVariableArgument
: eValueTypeVariableLocal
;
1872 bool external
= false;
1873 bool artificial
= false;
1874 bool location_is_constant_data
= false;
1875 bool static_member
= false;
1876 Variable::RangeList scope_ranges
;
1877 VariableSP var_sp
= std::make_shared
<Variable
>(
1878 toOpaqueUid(var_id
), name
.c_str(), name
.c_str(), sftype
, var_scope
,
1879 &block
, scope_ranges
, &decl
, var_info
.location
, external
, artificial
,
1880 location_is_constant_data
, static_member
);
1882 auto ts_or_err
= GetTypeSystemForLanguage(comp_unit_sp
->GetLanguage());
1883 if (auto err
= ts_or_err
.takeError())
1885 auto ts
= *ts_or_err
;
1889 ts
->GetNativePDBParser()->GetOrCreateVariableDecl(scope_id
, var_id
);
1891 m_local_variables
[toOpaqueUid(var_id
)] = var_sp
;
1895 VariableSP
SymbolFileNativePDB::GetOrCreateLocalVariable(
1896 PdbCompilandSymId scope_id
, PdbCompilandSymId var_id
, bool is_param
) {
1897 auto iter
= m_local_variables
.find(toOpaqueUid(var_id
));
1898 if (iter
!= m_local_variables
.end())
1899 return iter
->second
;
1901 return CreateLocalVariable(scope_id
, var_id
, is_param
);
1904 TypeSP
SymbolFileNativePDB::CreateTypedef(PdbGlobalSymId id
) {
1905 CVSymbol sym
= m_index
->ReadSymbolRecord(id
);
1906 lldbassert(sym
.kind() == SymbolKind::S_UDT
);
1908 UDTSym udt
= llvm::cantFail(SymbolDeserializer::deserializeAs
<UDTSym
>(sym
));
1910 TypeSP target_type
= GetOrCreateType(udt
.Type
);
1912 auto ts_or_err
= GetTypeSystemForLanguage(lldb::eLanguageTypeC_plus_plus
);
1913 if (auto err
= ts_or_err
.takeError())
1915 auto ts
= *ts_or_err
;
1919 ts
->GetNativePDBParser()->GetOrCreateTypedefDecl(id
);
1923 toOpaqueUid(id
), ConstString(udt
.Name
), target_type
->GetByteSize(nullptr),
1924 nullptr, target_type
->GetID(), lldb_private::Type::eEncodingIsTypedefUID
,
1925 decl
, target_type
->GetForwardCompilerType(),
1926 lldb_private::Type::ResolveState::Forward
);
1929 TypeSP
SymbolFileNativePDB::GetOrCreateTypedef(PdbGlobalSymId id
) {
1930 auto iter
= m_types
.find(toOpaqueUid(id
));
1931 if (iter
!= m_types
.end())
1932 return iter
->second
;
1934 return CreateTypedef(id
);
1937 size_t SymbolFileNativePDB::ParseVariablesForBlock(PdbCompilandSymId block_id
) {
1938 Block
&block
= GetOrCreateBlock(block_id
);
1942 CompilandIndexItem
*cii
= m_index
->compilands().GetCompiland(block_id
.modi
);
1943 CVSymbol sym
= cii
->m_debug_stream
.readSymbolAtOffset(block_id
.offset
);
1944 uint32_t params_remaining
= 0;
1945 switch (sym
.kind()) {
1948 ProcSym
proc(static_cast<SymbolRecordKind
>(sym
.kind()));
1949 cantFail(SymbolDeserializer::deserializeAs
<ProcSym
>(sym
, proc
));
1950 CVType signature
= m_index
->tpi().getType(proc
.FunctionType
);
1951 if (signature
.kind() == LF_PROCEDURE
) {
1952 ProcedureRecord sig
;
1953 if (llvm::Error e
= TypeDeserializer::deserializeAs
<ProcedureRecord
>(
1955 llvm::consumeError(std::move(e
));
1958 params_remaining
= sig
.getParameterCount();
1959 } else if (signature
.kind() == LF_MFUNCTION
) {
1960 MemberFunctionRecord sig
;
1961 if (llvm::Error e
= TypeDeserializer::deserializeAs
<MemberFunctionRecord
>(
1963 llvm::consumeError(std::move(e
));
1966 params_remaining
= sig
.getParameterCount();
1976 lldbassert(false && "Symbol is not a block!");
1980 VariableListSP variables
= block
.GetBlockVariableList(false);
1982 variables
= std::make_shared
<VariableList
>();
1983 block
.SetVariableList(variables
);
1986 CVSymbolArray syms
= limitSymbolArrayToScope(
1987 cii
->m_debug_stream
.getSymbolArray(), block_id
.offset
);
1989 // Skip the first record since it's a PROC32 or BLOCK32, and there's
1990 // no point examining it since we know it's not a local variable.
1992 auto iter
= syms
.begin();
1993 auto end
= syms
.end();
1995 while (iter
!= end
) {
1996 uint32_t record_offset
= iter
.offset();
1997 CVSymbol variable_cvs
= *iter
;
1998 PdbCompilandSymId
child_sym_id(block_id
.modi
, record_offset
);
2001 // If this is a block or inline site, recurse into its children and then
2003 if (variable_cvs
.kind() == S_BLOCK32
||
2004 variable_cvs
.kind() == S_INLINESITE
) {
2005 uint32_t block_end
= getScopeEndOffset(variable_cvs
);
2006 count
+= ParseVariablesForBlock(child_sym_id
);
2007 iter
= syms
.at(block_end
);
2011 bool is_param
= params_remaining
> 0;
2012 VariableSP variable
;
2013 switch (variable_cvs
.kind()) {
2017 variable
= GetOrCreateLocalVariable(block_id
, child_sym_id
, is_param
);
2021 variables
->AddVariableIfUnique(variable
);
2028 // Pass false for set_children, since we call this recursively so that the
2029 // children will call this for themselves.
2030 block
.SetDidParseVariables(true, false);
2035 size_t SymbolFileNativePDB::ParseVariablesForContext(const SymbolContext
&sc
) {
2036 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
2037 lldbassert(sc
.function
|| sc
.comp_unit
);
2039 VariableListSP variables
;
2041 PdbSymUid
block_id(sc
.block
->GetID());
2043 size_t count
= ParseVariablesForBlock(block_id
.asCompilandSym());
2048 PdbSymUid
block_id(sc
.function
->GetID());
2050 size_t count
= ParseVariablesForBlock(block_id
.asCompilandSym());
2055 variables
= sc
.comp_unit
->GetVariableList(false);
2057 variables
= std::make_shared
<VariableList
>();
2058 sc
.comp_unit
->SetVariableList(variables
);
2060 return ParseVariablesForCompileUnit(*sc
.comp_unit
, *variables
);
2063 llvm_unreachable("Unreachable!");
2066 CompilerDecl
SymbolFileNativePDB::GetDeclForUID(lldb::user_id_t uid
) {
2067 auto ts_or_err
= GetTypeSystemForLanguage(lldb::eLanguageTypeC_plus_plus
);
2068 if (auto err
= ts_or_err
.takeError())
2069 return CompilerDecl();
2070 auto ts
= *ts_or_err
;
2074 if (auto decl
= ts
->GetNativePDBParser()->GetOrCreateDeclForUid(uid
))
2076 return CompilerDecl();
2080 SymbolFileNativePDB::GetDeclContextForUID(lldb::user_id_t uid
) {
2081 auto ts_or_err
= GetTypeSystemForLanguage(lldb::eLanguageTypeC_plus_plus
);
2082 if (auto err
= ts_or_err
.takeError())
2084 auto ts
= *ts_or_err
;
2088 PdbAstBuilder
*ast_builder
= ts
->GetNativePDBParser();
2089 clang::DeclContext
*context
=
2090 ast_builder
->GetOrCreateDeclContextForUid(PdbSymUid(uid
));
2094 return ast_builder
->ToCompilerDeclContext(*context
);
2098 SymbolFileNativePDB::GetDeclContextContainingUID(lldb::user_id_t uid
) {
2099 auto ts_or_err
= GetTypeSystemForLanguage(lldb::eLanguageTypeC_plus_plus
);
2100 if (auto err
= ts_or_err
.takeError())
2101 return CompilerDeclContext();
2102 auto ts
= *ts_or_err
;
2106 PdbAstBuilder
*ast_builder
= ts
->GetNativePDBParser();
2107 clang::DeclContext
*context
= ast_builder
->GetParentDeclContext(PdbSymUid(uid
));
2109 return CompilerDeclContext();
2110 return ast_builder
->ToCompilerDeclContext(*context
);
2113 Type
*SymbolFileNativePDB::ResolveTypeUID(lldb::user_id_t type_uid
) {
2114 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
2115 auto iter
= m_types
.find(type_uid
);
2116 // lldb should not be passing us non-sensical type uids. the only way it
2117 // could have a type uid in the first place is if we handed it out, in which
2118 // case we should know about the type. However, that doesn't mean we've
2119 // instantiated it yet. We can vend out a UID for a future type. So if the
2120 // type doesn't exist, let's instantiate it now.
2121 if (iter
!= m_types
.end())
2122 return &*iter
->second
;
2124 PdbSymUid
uid(type_uid
);
2125 lldbassert(uid
.kind() == PdbSymUidKind::Type
);
2126 PdbTypeSymId type_id
= uid
.asTypeSym();
2127 if (type_id
.index
.isNoneType())
2130 TypeSP type_sp
= CreateAndCacheType(type_id
);
2136 std::optional
<SymbolFile::ArrayInfo
>
2137 SymbolFileNativePDB::GetDynamicArrayInfoForUID(
2138 lldb::user_id_t type_uid
, const lldb_private::ExecutionContext
*exe_ctx
) {
2139 return std::nullopt
;
2142 bool SymbolFileNativePDB::CompleteType(CompilerType
&compiler_type
) {
2143 std::lock_guard
<std::recursive_mutex
> guard(GetModuleMutex());
2144 auto ts
= compiler_type
.GetTypeSystem();
2145 auto clang_type_system
= ts
.dyn_cast_or_null
<TypeSystemClang
>();
2146 if (!clang_type_system
)
2149 PdbAstBuilder
*ast_builder
=
2150 static_cast<PdbAstBuilder
*>(clang_type_system
->GetNativePDBParser());
2152 ast_builder
->GetClangASTImporter().CanImport(compiler_type
))
2153 return ast_builder
->GetClangASTImporter().CompleteType(compiler_type
);
2154 clang::QualType qt
=
2155 clang::QualType::getFromOpaquePtr(compiler_type
.GetOpaqueQualType());
2157 return ast_builder
->CompleteType(qt
);
2160 void SymbolFileNativePDB::GetTypes(lldb_private::SymbolContextScope
*sc_scope
,
2161 TypeClass type_mask
,
2162 lldb_private::TypeList
&type_list
) {}
2164 CompilerDeclContext
SymbolFileNativePDB::FindNamespace(
2165 ConstString name
, const CompilerDeclContext
&parent_decl_ctx
, bool) {
2169 llvm::Expected
<lldb::TypeSystemSP
>
2170 SymbolFileNativePDB::GetTypeSystemForLanguage(lldb::LanguageType language
) {
2171 auto type_system_or_err
=
2172 m_objfile_sp
->GetModule()->GetTypeSystemForLanguage(language
);
2173 if (type_system_or_err
)
2174 if (auto ts
= *type_system_or_err
)
2175 ts
->SetSymbolFile(this);
2176 return type_system_or_err
;
2179 uint64_t SymbolFileNativePDB::GetDebugInfoSize(bool load_all_debug_info
) {
2180 // PDB files are a separate file that contains all debug info.
2181 return m_index
->pdb().getFileSize();
2184 void SymbolFileNativePDB::BuildParentMap() {
2185 LazyRandomTypeCollection
&types
= m_index
->tpi().typeCollection();
2187 llvm::DenseMap
<TypeIndex
, TypeIndex
> forward_to_full
;
2188 llvm::DenseMap
<TypeIndex
, TypeIndex
> full_to_forward
;
2190 struct RecordIndices
{
2195 llvm::StringMap
<RecordIndices
> record_indices
;
2197 for (auto ti
= types
.getFirst(); ti
; ti
= types
.getNext(*ti
)) {
2198 CVType type
= types
.getType(*ti
);
2199 if (!IsTagRecord(type
))
2202 CVTagRecord tag
= CVTagRecord::create(type
);
2204 RecordIndices
&indices
= record_indices
[tag
.asTag().getUniqueName()];
2205 if (tag
.asTag().isForwardRef())
2206 indices
.forward
= *ti
;
2210 if (indices
.full
!= TypeIndex::None() &&
2211 indices
.forward
!= TypeIndex::None()) {
2212 forward_to_full
[indices
.forward
] = indices
.full
;
2213 full_to_forward
[indices
.full
] = indices
.forward
;
2216 // We're looking for LF_NESTTYPE records in the field list, so ignore
2217 // forward references (no field list), and anything without a nested class
2218 // (since there won't be any LF_NESTTYPE records).
2219 if (tag
.asTag().isForwardRef() || !tag
.asTag().containsNestedClass())
2222 struct ProcessTpiStream
: public TypeVisitorCallbacks
{
2223 ProcessTpiStream(PdbIndex
&index
, TypeIndex parent
,
2224 const CVTagRecord
&parent_cvt
,
2225 llvm::DenseMap
<TypeIndex
, TypeIndex
> &parents
)
2226 : index(index
), parents(parents
), parent(parent
),
2227 parent_cvt(parent_cvt
) {}
2230 llvm::DenseMap
<TypeIndex
, TypeIndex
> &parents
;
2232 unsigned unnamed_type_index
= 1;
2234 const CVTagRecord
&parent_cvt
;
2236 llvm::Error
visitKnownMember(CVMemberRecord
&CVR
,
2237 NestedTypeRecord
&Record
) override
{
2238 std::string unnamed_type_name
;
2239 if (Record
.Name
.empty()) {
2241 llvm::formatv("<unnamed-type-$S{0}>", unnamed_type_index
).str();
2242 Record
.Name
= unnamed_type_name
;
2243 ++unnamed_type_index
;
2245 std::optional
<CVTagRecord
> tag
=
2246 GetNestedTagDefinition(Record
, parent_cvt
, index
.tpi());
2248 return llvm::ErrorSuccess();
2250 parents
[Record
.Type
] = parent
;
2251 return llvm::ErrorSuccess();
2255 CVType field_list_cvt
= m_index
->tpi().getType(tag
.asTag().FieldList
);
2256 ProcessTpiStream
process(*m_index
, *ti
, tag
, m_parent_types
);
2257 FieldListRecord field_list
;
2258 if (llvm::Error error
= TypeDeserializer::deserializeAs
<FieldListRecord
>(
2259 field_list_cvt
, field_list
))
2260 llvm::consumeError(std::move(error
));
2261 if (llvm::Error error
= visitMemberRecordStream(field_list
.Data
, process
))
2262 llvm::consumeError(std::move(error
));
2265 // Now that we know the forward -> full mapping of all type indices, we can
2266 // re-write all the indices. At the end of this process, we want a mapping
2267 // consisting of fwd -> full and full -> full for all child -> parent indices.
2268 // We can re-write the values in place, but for the keys, we must save them
2269 // off so that we don't modify the map in place while also iterating it.
2270 std::vector
<TypeIndex
> full_keys
;
2271 std::vector
<TypeIndex
> fwd_keys
;
2272 for (auto &entry
: m_parent_types
) {
2273 TypeIndex key
= entry
.first
;
2274 TypeIndex value
= entry
.second
;
2276 auto iter
= forward_to_full
.find(value
);
2277 if (iter
!= forward_to_full
.end())
2278 entry
.second
= iter
->second
;
2280 iter
= forward_to_full
.find(key
);
2281 if (iter
!= forward_to_full
.end())
2282 fwd_keys
.push_back(key
);
2284 full_keys
.push_back(key
);
2286 for (TypeIndex fwd
: fwd_keys
) {
2287 TypeIndex full
= forward_to_full
[fwd
];
2288 TypeIndex parent_idx
= m_parent_types
[fwd
];
2289 m_parent_types
[full
] = parent_idx
;
2291 for (TypeIndex full
: full_keys
) {
2292 TypeIndex fwd
= full_to_forward
[full
];
2293 m_parent_types
[fwd
] = m_parent_types
[full
];
2297 std::optional
<PdbCompilandSymId
>
2298 SymbolFileNativePDB::FindSymbolScope(PdbCompilandSymId id
) {
2299 CVSymbol sym
= m_index
->ReadSymbolRecord(id
);
2300 if (symbolOpensScope(sym
.kind())) {
2301 // If this exact symbol opens a scope, we can just directly access its
2303 id
.offset
= getScopeParentOffset(sym
);
2304 // Global symbols have parent offset of 0. Return std::nullopt to indicate
2307 return std::nullopt
;
2311 // Otherwise we need to start at the beginning and iterate forward until we
2312 // reach (or pass) this particular symbol
2313 CompilandIndexItem
&cii
= m_index
->compilands().GetOrCreateCompiland(id
.modi
);
2314 const CVSymbolArray
&syms
= cii
.m_debug_stream
.getSymbolArray();
2316 auto begin
= syms
.begin();
2317 auto end
= syms
.at(id
.offset
);
2318 std::vector
<PdbCompilandSymId
> scope_stack
;
2320 while (begin
!= end
) {
2321 if (begin
.offset() > id
.offset
) {
2322 // We passed it. We couldn't even find this symbol record.
2323 lldbassert(false && "Invalid compiland symbol id!");
2324 return std::nullopt
;
2327 // We haven't found the symbol yet. Check if we need to open or close the
2329 if (symbolOpensScope(begin
->kind())) {
2330 // We can use the end offset of the scope to determine whether or not
2331 // we can just outright skip this entire scope.
2332 uint32_t scope_end
= getScopeEndOffset(*begin
);
2333 if (scope_end
< id
.offset
) {
2334 begin
= syms
.at(scope_end
);
2336 // The symbol we're looking for is somewhere in this scope.
2337 scope_stack
.emplace_back(id
.modi
, begin
.offset());
2339 } else if (symbolEndsScope(begin
->kind())) {
2340 scope_stack
.pop_back();
2344 if (scope_stack
.empty())
2345 return std::nullopt
;
2346 // We have a match! Return the top of the stack
2347 return scope_stack
.back();
2350 std::optional
<llvm::codeview::TypeIndex
>
2351 SymbolFileNativePDB::GetParentType(llvm::codeview::TypeIndex ti
) {
2352 auto parent_iter
= m_parent_types
.find(ti
);
2353 if (parent_iter
== m_parent_types
.end())
2354 return std::nullopt
;
2355 return parent_iter
->second
;