Skip to content

Commit

Permalink
[Object][COFF] Allow section symbol to be common symbol
Browse files Browse the repository at this point in the history
I ran into an lld-link error due to a symbol named ".idata$4" coming from some
static library:
  .idata$4 should not refer to special section 0.

Here is the symbol table entry for .idata$4:

  Symbol {
      Name: .idata$4
      Value: 3221225536
      Section: IMAGE_SYM_UNDEFINED (0)
      BaseType: Null (0x0)
      ComplexType: Null (0x0)
      StorageClass: Section (0x68)
      AuxSymbolCount: 0
  }

The symbol .idata$4 is a section symbol (IMAGE_SYM_CLASS_SECTION) and LLD
currently handles it as a regular defined symbol since isCommon() returns false
for this symbol. This results in the error ".idata$4 should not refer to special
section 0" because lld-link asserts that regular defined symbols should not
refer to section 0.

Should this symbol be handled as a common symbol instead? LLVM currently only
allows external symbols (IMAGE_SYM_CLASS_EXTERNAL) to be common
symbols. However, the PE/COFF spec (see section "Section Number Values") does
not seem to mention this restriction. Any thoughts?

Reviewed By: thakis

Differential Revision: https://reviews.llvm.org/D133627
  • Loading branch information
pzhengqc committed Sep 14, 2022
1 parent 8c2ea14 commit ecb5ea6
Show file tree
Hide file tree
Showing 2 changed files with 22 additions and 2 deletions.
4 changes: 2 additions & 2 deletions llvm/include/llvm/Object/COFF.h
Original file line number Diff line number Diff line change
Expand Up @@ -379,8 +379,8 @@ class COFFSymbolRef {
}

bool isCommon() const {
return isExternal() && getSectionNumber() == COFF::IMAGE_SYM_UNDEFINED &&
getValue() != 0;
return (isExternal() || isSection()) &&
getSectionNumber() == COFF::IMAGE_SYM_UNDEFINED && getValue() != 0;
}

bool isUndefined() const {
Expand Down
20 changes: 20 additions & 0 deletions llvm/test/Object/coff-sec-sym.test
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
# Check that section symbol (IMAGE_SYM_CLASS_SECTION) is listed as common symbol.

# RUN: yaml2obj %s -o %t.obj
# RUN: llvm-nm %t.obj | FileCheck %s

# CHECK: 00000001 C foo

--- !COFF
header:
Machine: IMAGE_FILE_MACHINE_AMD64
Characteristics: [ ]
sections:
symbols:
- Name: foo
Value: 1
SectionNumber: 0
SimpleType: IMAGE_SYM_TYPE_NULL
ComplexType: IMAGE_SYM_DTYPE_NULL
StorageClass: IMAGE_SYM_CLASS_SECTION
...

0 comments on commit ecb5ea6

Please sign in to comment.