123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215 |
- //===- DWARFLinkerDeclContext.cpp -----------------------------------------===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- #include "llvm/DWARFLinker/DWARFLinkerDeclContext.h"
- #include "llvm/DebugInfo/DWARF/DWARFContext.h"
- #include "llvm/DebugInfo/DWARF/DWARFDie.h"
- #include "llvm/DebugInfo/DWARF/DWARFUnit.h"
- namespace llvm {
- /// Set the last DIE/CU a context was seen in and, possibly invalidate the
- /// context if it is ambiguous.
- ///
- /// In the current implementation, we don't handle overloaded functions well,
- /// because the argument types are not taken into account when computing the
- /// DeclContext tree.
- ///
- /// Some of this is mitigated byt using mangled names that do contain the
- /// arguments types, but sometimes (e.g. with function templates) we don't have
- /// that. In that case, just do not unique anything that refers to the contexts
- /// we are not able to distinguish.
- ///
- /// If a context that is not a namespace appears twice in the same CU, we know
- /// it is ambiguous. Make it invalid.
- bool DeclContext::setLastSeenDIE(CompileUnit &U, const DWARFDie &Die) {
- if (LastSeenCompileUnitID == U.getUniqueID()) {
- DWARFUnit &OrigUnit = U.getOrigUnit();
- uint32_t FirstIdx = OrigUnit.getDIEIndex(LastSeenDIE);
- U.getInfo(FirstIdx).Ctxt = nullptr;
- return false;
- }
- LastSeenCompileUnitID = U.getUniqueID();
- LastSeenDIE = Die;
- return true;
- }
- PointerIntPair<DeclContext *, 1>
- DeclContextTree::getChildDeclContext(DeclContext &Context, const DWARFDie &DIE,
- CompileUnit &U, bool InClangModule) {
- unsigned Tag = DIE.getTag();
- // FIXME: dsymutil-classic compat: We should bail out here if we
- // have a specification or an abstract_origin. We will get the
- // parent context wrong here.
- switch (Tag) {
- default:
- // By default stop gathering child contexts.
- return PointerIntPair<DeclContext *, 1>(nullptr);
- case dwarf::DW_TAG_module:
- break;
- case dwarf::DW_TAG_compile_unit:
- return PointerIntPair<DeclContext *, 1>(&Context);
- case dwarf::DW_TAG_subprogram:
- // Do not unique anything inside CU local functions.
- if ((Context.getTag() == dwarf::DW_TAG_namespace ||
- Context.getTag() == dwarf::DW_TAG_compile_unit) &&
- !dwarf::toUnsigned(DIE.find(dwarf::DW_AT_external), 0))
- return PointerIntPair<DeclContext *, 1>(nullptr);
- LLVM_FALLTHROUGH;
- case dwarf::DW_TAG_member:
- case dwarf::DW_TAG_namespace:
- case dwarf::DW_TAG_structure_type:
- case dwarf::DW_TAG_class_type:
- case dwarf::DW_TAG_union_type:
- case dwarf::DW_TAG_enumeration_type:
- case dwarf::DW_TAG_typedef:
- // Artificial things might be ambiguous, because they might be created on
- // demand. For example implicitly defined constructors are ambiguous
- // because of the way we identify contexts, and they won't be generated
- // every time everywhere.
- if (dwarf::toUnsigned(DIE.find(dwarf::DW_AT_artificial), 0))
- return PointerIntPair<DeclContext *, 1>(nullptr);
- break;
- }
- StringRef NameRef;
- StringRef FileRef;
- if (const char *LinkageName = DIE.getLinkageName())
- NameRef = StringPool.internString(LinkageName);
- else if (const char *ShortName = DIE.getShortName())
- NameRef = StringPool.internString(ShortName);
- bool IsAnonymousNamespace = NameRef.empty() && Tag == dwarf::DW_TAG_namespace;
- if (IsAnonymousNamespace) {
- // FIXME: For dsymutil-classic compatibility. I think uniquing within
- // anonymous namespaces is wrong. There is no ODR guarantee there.
- NameRef = "(anonymous namespace)";
- }
- if (Tag != dwarf::DW_TAG_class_type && Tag != dwarf::DW_TAG_structure_type &&
- Tag != dwarf::DW_TAG_union_type &&
- Tag != dwarf::DW_TAG_enumeration_type && NameRef.empty())
- return PointerIntPair<DeclContext *, 1>(nullptr);
- unsigned Line = 0;
- unsigned ByteSize = std::numeric_limits<uint32_t>::max();
- if (!InClangModule) {
- // Gather some discriminating data about the DeclContext we will be
- // creating: File, line number and byte size. This shouldn't be necessary,
- // because the ODR is just about names, but given that we do some
- // approximations with overloaded functions and anonymous namespaces, use
- // these additional data points to make the process safer.
- //
- // This is disabled for clang modules, because forward declarations of
- // module-defined types do not have a file and line.
- ByteSize = dwarf::toUnsigned(DIE.find(dwarf::DW_AT_byte_size),
- std::numeric_limits<uint64_t>::max());
- if (Tag != dwarf::DW_TAG_namespace || IsAnonymousNamespace) {
- if (unsigned FileNum =
- dwarf::toUnsigned(DIE.find(dwarf::DW_AT_decl_file), 0)) {
- if (const auto *LT = U.getOrigUnit().getContext().getLineTableForUnit(
- &U.getOrigUnit())) {
- // FIXME: dsymutil-classic compatibility. I'd rather not
- // unique anything in anonymous namespaces, but if we do, then
- // verify that the file and line correspond.
- if (IsAnonymousNamespace)
- FileNum = 1;
- if (LT->hasFileAtIndex(FileNum)) {
- Line = dwarf::toUnsigned(DIE.find(dwarf::DW_AT_decl_line), 0);
- // Cache the resolved paths based on the index in the line table,
- // because calling realpath is expensive.
- FileRef = getResolvedPath(U, FileNum, *LT);
- }
- }
- }
- }
- }
- if (!Line && NameRef.empty())
- return PointerIntPair<DeclContext *, 1>(nullptr);
- // We hash NameRef, which is the mangled name, in order to get most
- // overloaded functions resolve correctly.
- //
- // Strictly speaking, hashing the Tag is only necessary for a
- // DW_TAG_module, to prevent uniquing of a module and a namespace
- // with the same name.
- //
- // FIXME: dsymutil-classic won't unique the same type presented
- // once as a struct and once as a class. Using the Tag in the fully
- // qualified name hash to get the same effect.
- unsigned Hash = hash_combine(Context.getQualifiedNameHash(), Tag, NameRef);
- // FIXME: dsymutil-classic compatibility: when we don't have a name,
- // use the filename.
- if (IsAnonymousNamespace)
- Hash = hash_combine(Hash, FileRef);
- // Now look if this context already exists.
- DeclContext Key(Hash, Line, ByteSize, Tag, NameRef, FileRef, Context);
- auto ContextIter = Contexts.find(&Key);
- if (ContextIter == Contexts.end()) {
- // The context wasn't found.
- bool Inserted;
- DeclContext *NewContext =
- new (Allocator) DeclContext(Hash, Line, ByteSize, Tag, NameRef, FileRef,
- Context, DIE, U.getUniqueID());
- std::tie(ContextIter, Inserted) = Contexts.insert(NewContext);
- assert(Inserted && "Failed to insert DeclContext");
- (void)Inserted;
- } else if (Tag != dwarf::DW_TAG_namespace &&
- !(*ContextIter)->setLastSeenDIE(U, DIE)) {
- // The context was found, but it is ambiguous with another context
- // in the same file. Mark it invalid.
- return PointerIntPair<DeclContext *, 1>(*ContextIter, /* IntVal= */ 1);
- }
- assert(ContextIter != Contexts.end());
- // FIXME: dsymutil-classic compatibility. Union types aren't
- // uniques, but their children might be.
- if ((Tag == dwarf::DW_TAG_subprogram &&
- Context.getTag() != dwarf::DW_TAG_structure_type &&
- Context.getTag() != dwarf::DW_TAG_class_type) ||
- (Tag == dwarf::DW_TAG_union_type))
- return PointerIntPair<DeclContext *, 1>(*ContextIter, /* IntVal= */ 1);
- return PointerIntPair<DeclContext *, 1>(*ContextIter);
- }
- StringRef
- DeclContextTree::getResolvedPath(CompileUnit &CU, unsigned FileNum,
- const DWARFDebugLine::LineTable &LineTable) {
- std::pair<unsigned, unsigned> Key = {CU.getUniqueID(), FileNum};
- ResolvedPathsMap::const_iterator It = ResolvedPaths.find(Key);
- if (It == ResolvedPaths.end()) {
- std::string FileName;
- bool FoundFileName = LineTable.getFileNameByIndex(
- FileNum, CU.getOrigUnit().getCompilationDir(),
- DILineInfoSpecifier::FileLineInfoKind::AbsoluteFilePath, FileName);
- (void)FoundFileName;
- assert(FoundFileName && "Must get file name from line table");
- // Second level of caching, this time based on the file's parent
- // path.
- StringRef ResolvedPath = PathResolver.resolve(FileName, StringPool);
- It = ResolvedPaths.insert(std::make_pair(Key, ResolvedPath)).first;
- }
- return It->second;
- }
- } // namespace llvm
|