Create reserved symbols early so they can be versioned

[• rafael]

Summary

This fixes pr35570.

We were creating these symbols after parsing version scripts, so they could not be versioned.

We cannot move the version script later because we need it for lto.

One option is to move both addReservedSymbols and createSyntheticSections earlier. The disadvantage is that some sections created by createSyntheticSections replace other input sections. For example, gdb index replaces .debug_gnu_pubnames, so it wants to run after gc sections so that it can set S->Live to false.

What this patch does instead is to move just the ElfHeader creation early.

[emaste]

I tested this patch against lld head and confirm it resolves the issue via my reproducer. I also backported it to lld 5.0.1 (the version in FreeBSD HEAD) , rebuilt, and confirm that sbrk() is functional.

[emaste]

Spoke too soon - buildworld is actually failing elsewhere now, with my backported patch in lld.

/usr/obj/usr/home/emaste/src/freebsd/amd64.amd64/tmp/usr/bin/ld: error: relocation R_X86_64_PLT32 cannot refer to absolute symbol: __tls_get_addr
>>> defined in <internal>
>>> referenced by runetype.h:98 (/usr/obj/usr/home/emaste/src/freebsd/amd64.amd64/tmp/usr/include/runetype.h:98)
>>>               xlat16_iconv.pico:(kiconv_xlat16_open)

I probably have an error in my backport attempt though, this other library (lib/libkiconv) linked succesfully with lld head + this patch.

[emaste]

I successfully linked all of FreeBSD/amd64 with LLD head + this patch.

[dim]

When I patch lld trunk rL320307 with this, executables linked by it make readelf (from binutils 2.28) produce a warning:

readelf: Warning: [10]: Info field (0) should index a relocatable section.

And I still don't see any _end symbol in the executable.

Full output:

$ readelf -aW test
ELF Header:
  Magic:   7f 45 4c 46 02 01 01 09 00 00 00 00 00 00 00 00
  Class:                             ELF64
  Data:                              2's complement, little endian
  Version:                           1 (current)
  OS/ABI:                            UNIX - FreeBSD
  ABI Version:                       0
  Type:                              EXEC (Executable file)
  Machine:                           Advanced Micro Devices X86-64
  Version:                           0x1
  Entry point address:               0x201000
  Start of program headers:          64 (bytes into file)
  Start of section headers:          19216 (bytes into file)
  Flags:                             0x0
  Size of this header:               64 (bytes)
  Size of program headers:           56 (bytes)
  Number of program headers:         10
  Size of section headers:           64 (bytes)
  Number of section headers:         38
  Section header string table index: 36

Section Headers:
  [Nr] Name              Type            Address          Off    Size   ES Flg Lk Inf Al
  [ 0]                   NULL            0000000000000000 000000 000000 00      0   0  0
  [ 1] .interp           PROGBITS        0000000000200270 000270 000015 00   A  0   0  1
  [ 2] .note.tag         NOTE            0000000000200288 000288 000030 00   A  0   0  4
  [ 3] .rodata           PROGBITS        00000000002002b8 0002b8 0000b9 01 AMS  0   0  1
  [ 4] .dynsym           DYNSYM          0000000000200378 000378 000108 18   A  9   1  8
  [ 5] .gnu.version      VERSYM          0000000000200480 000480 000016 02   A  4   0  2
  [ 6] .gnu.version_r    VERNEED         0000000000200498 000498 000020 00   A  9   1  4
  [ 7] .gnu.hash         GNU_HASH        00000000002004b8 0004b8 00004c 00   A  4   0  8
  [ 8] .hash             HASH            0000000000200504 000504 000060 04   A  4   0  4
  [ 9] .dynstr           STRTAB          0000000000200564 000564 000079 00   A  0   0  1
readelf: Warning: [10]: Info field (0) should index a relocatable section.
  [10] .rela.plt         RELA            00000000002005e0 0005e0 0000a8 18   A  4   0  8
  [11] .eh_frame_hdr     PROGBITS        0000000000200688 000688 000034 00   A  0   0  1
  [12] .eh_frame         PROGBITS        00000000002006c0 0006c0 0000c0 00   A  0   0  8
  [13] .text             PROGBITS        0000000000201000 001000 0005c8 00  AX  0   0 16
  [14] .init             PROGBITS        00000000002015c8 0015c8 000013 00  AX  0   0  4
  [15] .fini             PROGBITS        00000000002015dc 0015dc 00000e 00  AX  0   0  4
  [16] .plt              PROGBITS        00000000002015f0 0015f0 000080 00  AX  0   0 16
  [17] .data             PROGBITS        0000000000202000 002000 000034 00  WA  0   0 16
  [18] .got.plt          PROGBITS        0000000000202038 002038 000050 00  WA  0   0  8
  [19] .ctors            PROGBITS        0000000000203000 003000 000010 00  WA  0   0  8
  [20] .dtors            PROGBITS        0000000000203010 003010 000010 00  WA  0   0  8
  [21] .jcr              PROGBITS        0000000000203020 003020 000008 00  WA  0   0  8
  [22] .dynamic          DYNAMIC         0000000000203028 003028 000130 10  WA  9   0  8
  [23] .bss              NOBITS          0000000000204000 003158 000008 00  WA  0   0  8
  [24] .comment          PROGBITS        0000000000000000 003158 0001dc 01  MS  0   0  1
  [25] .debug_str        PROGBITS        0000000000000000 003334 0001ca 01  MS  0   0  1
  [26] .debug_loc        PROGBITS        0000000000000000 0034fe 0002ca 00      0   0  1
  [27] .debug_abbrev     PROGBITS        0000000000000000 0037c8 00019e 00      0   0  1
  [28] .debug_info       PROGBITS        0000000000000000 003966 000544 00      0   0  1
  [29] .debug_ranges     PROGBITS        0000000000000000 003eaa 000030 00      0   0  1
  [30] .debug_macinfo    PROGBITS        0000000000000000 003eda 000001 00      0   0  1
  [31] .debug_pubnames   PROGBITS        0000000000000000 003edb 00008b 00      0   0  1
  [32] .debug_pubtypes   PROGBITS        0000000000000000 003f66 0000d2 00      0   0  1
  [33] .debug_line       PROGBITS        0000000000000000 004038 00030a 00      0   0  1
  [34] .debug_aranges    PROGBITS        0000000000000000 004342 000080 00      0   0  1
  [35] .symtab           SYMTAB          0000000000000000 0043c8 0003d8 18     37  28  8
  [36] .shstrtab         STRTAB          0000000000000000 0047a0 00016b 00      0   0  1
  [37] .strtab           STRTAB          0000000000000000 00490b 000202 00      0   0  1
Key to Flags:
  W (write), A (alloc), X (execute), M (merge), S (strings), I (info),
  L (link order), O (extra OS processing required), G (group), T (TLS),
  C (compressed), x (unknown), o (OS specific), E (exclude),
  l (large), p (processor specific)

There are no section groups in this file.

Program Headers:
  Type           Offset   VirtAddr           PhysAddr           FileSiz  MemSiz   Flg Align
  PHDR           0x000040 0x0000000000200040 0x0000000000200040 0x000230 0x000230 R   0x8
  INTERP         0x000270 0x0000000000200270 0x0000000000200270 0x000015 0x000015 R   0x1
      [Requesting program interpreter: /libexec/ld-elf.so.1]
  LOAD           0x000000 0x0000000000200000 0x0000000000200000 0x000780 0x000780 R   0x1000
  LOAD           0x001000 0x0000000000201000 0x0000000000201000 0x000670 0x000670 R E 0x1000
  LOAD           0x002000 0x0000000000202000 0x0000000000202000 0x001158 0x002008 RW  0x1000
  DYNAMIC        0x003028 0x0000000000203028 0x0000000000203028 0x000130 0x000130 RW  0x8
  GNU_RELRO      0x003000 0x0000000000203000 0x0000000000203000 0x000158 0x001000 R   0x1
  GNU_EH_FRAME   0x000688 0x0000000000200688 0x0000000000200688 0x000034 0x000034 R   0x1
  GNU_STACK      0x000000 0x0000000000000000 0x0000000000000000 0x000000 0x000000 RW  0
  NOTE           0x000288 0x0000000000200288 0x0000000000200288 0x000030 0x000030 R   0x4

 Section to Segment mapping:
  Segment Sections...
   00
   01     .interp
   02     .interp .note.tag .rodata .dynsym .gnu.version .gnu.version_r .gnu.hash .hash .dynstr .rela.plt .eh_frame_hdr .eh_frame
   03     .text .init .fini .plt
   04     .data .got.plt .ctors .dtors .jcr .dynamic .bss
   05     .dynamic
   06     .ctors .dtors .jcr .dynamic
   07     .eh_frame_hdr
   08
   09     .note.tag

Dynamic section at offset 0x3028 contains 19 entries:
  Tag        Type                         Name/Value
 0x0000000000000001 (NEEDED)             Shared library: [libgcc_s.so.1]
 0x0000000000000001 (NEEDED)             Shared library: [libc.so.7]
 0x0000000000000015 (DEBUG)              0x0
 0x0000000000000017 (JMPREL)             0x2005e0
 0x0000000000000002 (PLTRELSZ)           168 (bytes)
 0x0000000000000003 (PLTGOT)             0x202038
 0x0000000000000014 (PLTREL)             RELA
 0x0000000000000006 (SYMTAB)             0x200378
 0x000000000000000b (SYMENT)             24 (bytes)
 0x0000000000000005 (STRTAB)             0x200564
 0x000000000000000a (STRSZ)              121 (bytes)
 0x000000006ffffef5 (GNU_HASH)           0x2004b8
 0x0000000000000004 (HASH)               0x200504
 0x000000000000000c (INIT)               0x2015c8
 0x000000000000000d (FINI)               0x2015dc
 0x000000006ffffff0 (VERSYM)             0x200480
 0x000000006ffffffe (VERNEED)            0x200498
 0x000000006fffffff (VERNEEDNUM)         1
 0x0000000000000000 (NULL)               0x0

Relocation section '.rela.plt' at offset 0x5e0 contains 7 entries:
    Offset             Info             Type               Symbol's Value  Symbol's Name + Addend
0000000000202050  0000000400000007 R_X86_64_JUMP_SLOT     0000000000201600 atexit@FBSD_1.0 + 0
0000000000202058  0000000300000007 R_X86_64_JUMP_SLOT     0000000000201610 _init_tls@FBSD_1.0 + 0
0000000000202060  0000000700000007 R_X86_64_JUMP_SLOT     0000000000201620 exit@FBSD_1.0 + 0
0000000000202068  0000000900000007 R_X86_64_JUMP_SLOT     0000000000201630 __error@FBSD_1.0 + 0
0000000000202070  0000000a00000007 R_X86_64_JUMP_SLOT     0000000000201640 sbrk@FBSD_1.0 + 0
0000000000202078  0000000600000007 R_X86_64_JUMP_SLOT     0000000000201650 brk@FBSD_1.0 + 0
0000000000202080  0000000800000007 R_X86_64_JUMP_SLOT     0000000000201660 __assert@FBSD_1.0 + 0

The decoding of unwind sections for machine type Advanced Micro Devices X86-64 is not currently supported.

Symbol table '.dynsym' contains 11 entries:
   Num:    Value          Size Type    Bind   Vis      Ndx Name
     0: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT  UND
     1: 0000000000000000     0 NOTYPE  WEAK   DEFAULT  UND _Jv_RegisterClasses
     2: 0000000000202000     8 OBJECT  GLOBAL DEFAULT   17 __progname
     3: 0000000000201610     0 FUNC    GLOBAL DEFAULT  UND _init_tls@FBSD_1.0 (2)
     4: 0000000000201600     0 FUNC    GLOBAL DEFAULT  UND atexit@FBSD_1.0 (2)
     5: 0000000000204000     8 OBJECT  GLOBAL DEFAULT   23 environ
     6: 0000000000201650     0 FUNC    GLOBAL DEFAULT  UND brk@FBSD_1.0 (2)
     7: 0000000000201620     0 FUNC    GLOBAL DEFAULT  UND exit@FBSD_1.0 (2)
     8: 0000000000201660     0 FUNC    GLOBAL DEFAULT  UND __assert@FBSD_1.0 (2)
     9: 0000000000201630     0 FUNC    GLOBAL DEFAULT  UND __error@FBSD_1.0 (2)
    10: 0000000000201640     0 FUNC    GLOBAL DEFAULT  UND sbrk@FBSD_1.0 (2)

Symbol table '.symtab' contains 41 entries:
   Num:    Value          Size Type    Bind   Vis      Ndx Name
     0: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT  UND
     1: 0000000000200288    24 OBJECT  LOCAL  DEFAULT    2 abitag
     2: 00000000002002a0    24 OBJECT  LOCAL  DEFAULT    2 crt_noinit_tag
     3: 0000000000201190   115 FUNC    LOCAL  DEFAULT   13 finalizer
     4: 0000000000203000     8 OBJECT  LOCAL  DEFAULT   19 __CTOR_LIST__
     5: 0000000000203010     8 OBJECT  LOCAL  DEFAULT   20 __DTOR_LIST__
     6: 0000000000203020     0 OBJECT  LOCAL  DEFAULT   21 __JCR_LIST__
     7: 0000000000201210    53 FUNC    LOCAL  DEFAULT   13 __do_global_dtors_aux
     8: 0000000000202018     1 OBJECT  LOCAL  DEFAULT   17 __do_global_dtors_aux.completed
     9: 0000000000202010     8 OBJECT  LOCAL  DEFAULT   17 __do_global_dtors_aux.p
    10: 0000000000201250    34 FUNC    LOCAL  DEFAULT   13 frame_dummy
    11: 00000000002012b0   360 FUNC    LOCAL  DEFAULT   13 test_brk
    12: 0000000000201420   366 FUNC    LOCAL  DEFAULT   13 test_sbrk
    13: 0000000000203008     8 OBJECT  LOCAL  DEFAULT   19 __CTOR_END__
    14: 0000000000203018     8 OBJECT  LOCAL  DEFAULT   20 __DTOR_END__
    15: 00000000002006c0     4 OBJECT  LOCAL  DEFAULT   12 __FRAME_END__
    16: 0000000000203020     8 OBJECT  LOCAL  DEFAULT   21 __JCR_END__
    17: 0000000000201590    54 FUNC    LOCAL  DEFAULT   13 __do_global_ctors_aux
    18: 0000000000203028     0 NOTYPE  LOCAL  HIDDEN    22 _DYNAMIC
    19: 0000000000000000     0 NOTYPE  LOCAL  HIDDEN   ABS __fini_array_end
    20: 0000000000000000     0 NOTYPE  LOCAL  HIDDEN   ABS __fini_array_start
    21: 0000000000000000     0 NOTYPE  LOCAL  HIDDEN   ABS __init_array_end
    22: 0000000000000000     0 NOTYPE  LOCAL  HIDDEN   ABS __init_array_start
    23: 0000000000000000     0 NOTYPE  LOCAL  HIDDEN   ABS __preinit_array_end
    24: 0000000000000000     0 NOTYPE  LOCAL  HIDDEN   ABS __preinit_array_start
    25: 00000000002015dc     0 FUNC    LOCAL  HIDDEN    15 _fini
    26: 00000000002015c8     0 FUNC    LOCAL  HIDDEN    14 _init
    27: 0000000000202008     8 OBJECT  LOCAL  HIDDEN    17 __dso_handle
    28: 0000000000202000     8 OBJECT  GLOBAL DEFAULT   17 __progname
    29: 0000000000201610     0 FUNC    GLOBAL DEFAULT  UND _init_tls
    30: 0000000000201000   390 FUNC    GLOBAL DEFAULT   13 _start
    31: 0000000000201600     0 FUNC    GLOBAL DEFAULT  UND atexit
    32: 0000000000204000     8 OBJECT  GLOBAL DEFAULT   23 environ
    33: 0000000000201620     0 FUNC    GLOBAL DEFAULT  UND exit
    34: 0000000000201280    38 FUNC    GLOBAL DEFAULT   13 main
    35: 0000000000000000     0 NOTYPE  WEAK   DEFAULT  UND _Jv_RegisterClasses
    36: 0000000000201660     0 FUNC    GLOBAL DEFAULT  UND __assert
    37: 0000000000201630     0 FUNC    GLOBAL DEFAULT  UND __error
    38: 0000000000201650     0 FUNC    GLOBAL DEFAULT  UND brk
    39: 0000000000201640     0 FUNC    GLOBAL DEFAULT  UND sbrk
    40: 0000000000202020    20 OBJECT  GLOBAL DEFAULT   17 test_data

Histogram for bucket list length (total of 11 buckets):
 Length  Number     % of total  Coverage
      0  4          ( 36.4%)
      1  4          ( 36.4%)     40.0%
      2  3          ( 27.3%)    100.0%

Histogram for `.gnu.hash' bucket list length (total of 2 buckets):
 Length  Number     % of total  Coverage
      0  0          (  0.0%)
      1  0          (  0.0%)      0.0%
      2  0          (  0.0%)      0.0%
      3  0          (  0.0%)      0.0%
      4  1          ( 50.0%)     44.4%
      5  1          ( 50.0%)    100.0%

Version symbols section '.gnu.version' contains 11 entries:
 Addr: 0000000000200480  Offset: 0x000480  Link: 4 (.dynsym)
  000:   0 (*local*)       1 (*global*)      1 (*global*)      2 (FBSD_1.0)
  004:   2 (FBSD_1.0)      1 (*global*)      2 (FBSD_1.0)      2 (FBSD_1.0)
  008:   2 (FBSD_1.0)      2 (FBSD_1.0)      2 (FBSD_1.0)

Version needs section '.gnu.version_r' contains 1 entries:
 Addr: 0x0000000000200498  Offset: 0x000498  Link: 9 (.dynstr)
  000000: Version: 1  File: libc.so.7  Cnt: 1
  0x0010:   Name: FBSD_1.0  Flags: none  Version: 2

Displaying notes found in: .note.tag
  Owner                 Data size       Description
  FreeBSD              0x00000004       NT_VERSION (version)
   description data: ffffffb6 4f 12 00
  FreeBSD              0x00000004       NT_ARCH (architecture)
   description data: 00 00 00 00

[emaste]

From e-mail followup @dim linked against libc linked with pre-patch lld.

This change works for me when I:

• rebuild libc with patched lld
• link a test application that calls sbrk (which relies on _end) against the new libc

[emaste]

This LGTM (but @ruiu or @grimar please review as well).

[grimar]

Sorry for delay, I can check and review that tomorrow (if Rui will not approve it until that).

[ruiu]

LGTM

[• espindola]

r320390

ELF/Driver.cpp

template <class ELFT> void LinkerDriver::link(opt::InputArgList &Args) {
 
   // Handle undefined symbols in DSOs.
   Symtab->scanShlibUndefined<ELFT>();
 
   // Handle the -exclude-libs option.
   if (Args.hasArg(OPT_exclude_libs))
     excludeLibs<ELFT>(Args, Files);
 
+  // Create ElfHeader early. We need a dummy section in
+  // addReservedSymbols to mark the created symbols as not absolute.
+  Out::ElfHeader = make<OutputSection>("", 0, SHF_ALLOC);
+  Out::ElfHeader->Size = sizeof(typename ELFT::Ehdr);
+
+  // We need to create some reserved symbols such as _end. Create them.
+  if (!Config->Relocatable)
+    addReservedSymbols<ELFT>();
+
   // Apply version scripts.
   Symtab->scanVersionScript();
 
   // Create wrapped symbols for -wrap option.
   for (auto *Arg : Args.filtered(OPT_wrap))
     Symtab->addSymbolWrap<ELFT>(Arg->getValue());
 
   Symtab->addCombinedLTOObject<ELFT>();

ELF/Writer.h

struct PhdrEntry {
   uint32_t p_type = 0;
   uint32_t p_flags = 0;
 
   OutputSection *FirstSec = nullptr;
   OutputSection *LastSec = nullptr;
   bool HasLMA = false;
 };
 
+template <class ELFT> void addReservedSymbols();
 llvm::StringRef getOutputSectionName(InputSectionBase *S);
 
 template <class ELFT> uint32_t calcMipsEFlags();
 
 uint8_t getMipsFpAbiFlag(uint8_t OldFlag, uint8_t NewFlag,
                          llvm::StringRef FileName);
 
 bool isMipsN32Abi(const InputFile *F);
 bool isMicroMips();
 bool isMipsR6();
 } // namespace elf
 } // namespace lld
 
 #endif

ELF/Writer.cpp

static Defined *addOptionalRegular(StringRef Name, SectionBase *Sec,
   Symbol *Sym = Symtab->addRegular<ELFT>(Name, StOther, STT_NOTYPE, Val,
                                          /*Size=*/0, Binding, Sec,
                                          /*File=*/nullptr);
   return cast<Defined>(Sym);
 }
 
 // The linker is expected to define some symbols depending on
 // the linking result. This function defines such symbols.
-template <class ELFT> static void addReservedSymbols() {
+template <class ELFT> void elf::addReservedSymbols() {
   if (Config->EMachine == EM_MIPS) {
     // Define _gp for MIPS. st_value of _gp symbol will be updated by Writer
     // so that it points to an absolute address which by default is relative
     // to GOT. Default offset is 0x7ff0.
     // See "Global Data Symbols" in Chapter 6 in the following document:
     // ftp://www.linux-mips.org/pub/linux/mips/doc/ABI/mipsabi.pdf
     ElfSym::MipsGp = Symtab->addAbsolute<ELFT>("_gp", STV_HIDDEN, STB_GLOBAL);
 
     // On MIPS O32 ABI, _gp_disp is a magic symbol designates offset between
     // start of function and 'gp' pointer into GOT.
     if (Symtab->find("_gp_disp"))
       ElfSym::MipsGpDisp =
           Symtab->addAbsolute<ELFT>("_gp_disp", STV_HIDDEN, STB_GLOBAL);
 
     // The __gnu_local_gp is a magic symbol equal to the current value of 'gp'
     // pointer. This symbol is used in the code generated by .cpload pseudo-op
     // in case of using -mno-shared option.
     // https://sourceware.org/ml/binutils/2004-12/msg00094.html
     if (Symtab->find("__gnu_local_gp"))
       ElfSym::MipsLocalGp =
           Symtab->addAbsolute<ELFT>("__gnu_local_gp", STV_HIDDEN, STB_GLOBAL);
   }
 
-  // The _GLOBAL_OFFSET_TABLE_ symbol is defined by target convention to
-  // be at some offset from the base of the .got section, usually 0 or the end
-  // of the .got
-  InputSection *GotSection = InX::MipsGot ? cast<InputSection>(InX::MipsGot)
-                                          : cast<InputSection>(InX::Got);
   ElfSym::GlobalOffsetTable = addOptionalRegular<ELFT>(
-      "_GLOBAL_OFFSET_TABLE_", GotSection, Target->GotBaseSymOff);
+      "_GLOBAL_OFFSET_TABLE_", Out::ElfHeader, Target->GotBaseSymOff);
 
   // __ehdr_start is the location of ELF file headers. Note that we define
   // this symbol unconditionally even when using a linker script, which
   // differs from the behavior implemented by GNU linker which only define
   // this symbol if ELF headers are in the memory mapped segment.
   // __executable_start is not documented, but the expectation of at
   // least the android libc is that it points to the elf header too.
   // __dso_handle symbol is passed to cxa_finalize as a marker to identify
if (Config->AndroidPackDynRelocs) {
     In<ELFT>::RelaDyn = make<AndroidPackedRelocationSection<ELFT>>(
         Config->IsRela ? ".rela.dyn" : ".rel.dyn");
   } else {
     In<ELFT>::RelaDyn = make<RelocationSection<ELFT>>(
         Config->IsRela ? ".rela.dyn" : ".rel.dyn", Config->ZCombreloc);
   }
   InX::ShStrTab = make<StringTableSection>(".shstrtab", false);
 
-  Out::ElfHeader = make<OutputSection>("", 0, SHF_ALLOC);
-  Out::ElfHeader->Size = sizeof(typename ELFT::Ehdr);
   Out::ProgramHeaders = make<OutputSection>("", 0, SHF_ALLOC);
   Out::ProgramHeaders->Alignment = Config->Wordsize;
 
   if (needsInterpSection()) {
     InX::Interp = createInterpSection();
     Add(InX::Interp);
   } else {
     InX::Interp = nullptr;

 template <class ELFT> void Writer<ELFT>::run() {
   // Create linker-synthesized sections such as .got or .plt.
   // Such sections are of type input section.
   createSyntheticSections<ELFT>();
 
   if (!Config->Relocatable)
     combineEhFrameSections<ELFT>();
 
-  // We need to create some reserved symbols such as _end. Create them.
-  if (!Config->Relocatable)
-    addReservedSymbols<ELFT>();
-
   // We want to process linker script commands. When SECTIONS command
   // is given we let it create sections.
   Script->processSectionCommands();
 
   // Linker scripts controls how input sections are assigned to output sections.
   // Input sections that were not handled by scripts are called "orphans", and
   // they are assigned to output sections by the default rule. Process that.
   Script->addOrphanSections();

 }
 
 // This function generates assignments for predefined symbols (e.g. _end or
 // _etext) and inserts them into the commands sequence to be processed at the
 // appropriate time. This ensures that the value is going to be correct by the
 // time any references to these symbols are processed and is equivalent to
 // defining these symbols explicitly in the linker script.
 template <class ELFT> void Writer<ELFT>::setReservedSymbolSections() {
+  if (ElfSym::GlobalOffsetTable) {
+    // The _GLOBAL_OFFSET_TABLE_ symbol is defined by target convention to
+    // be at some offset from the base of the .got section, usually 0 or the end
+    // of the .got
+    InputSection *GotSection = InX::MipsGot ? cast<InputSection>(InX::MipsGot)
+                                            : cast<InputSection>(InX::Got);
+    ElfSym::GlobalOffsetTable->Section = GotSection;
+  }
+
   PhdrEntry *Last = nullptr;
   PhdrEntry *LastRO = nullptr;
 
   for (PhdrEntry *P : Phdrs) {
     if (P->p_type != PT_LOAD)
       continue;
     Last = P;
     if (!(P->p_flags & PF_W))
template <class ELFT> void Writer<ELFT>::writeBuildId() {
   uint8_t *End = Start + FileSize;
   InX::BuildId->writeBuildId({Start, End});
 }
 
 template void elf::writeResult<ELF32LE>();
 template void elf::writeResult<ELF32BE>();
 template void elf::writeResult<ELF64LE>();
 template void elf::writeResult<ELF64BE>();
+
+template void elf::addReservedSymbols<ELF32LE>();
+template void elf::addReservedSymbols<ELF32BE>();
+template void elf::addReservedSymbols<ELF64LE>();
+template void elf::addReservedSymbols<ELF64BE>();

test/ELF/linkerscript/version-linker-symbol.s

+# REQUIRES: x86
+
+# RUN: echo "VER1 { global: _end; foo ; local: * ; } ;" > %t.script
+# RUN: llvm-mc -filetype=obj -triple=x86_64-pc-linux %s -o %t.o
+# RUN: ld.lld --version-script %t.script -shared %t.o -o %t.so
+# RUN: llvm-readobj -dyn-symbols %t.so | FileCheck %s
+
+# CHECK:      Name: _end@@VER1
+# CHECK-NEXT: Value: 0
+# CHECK-NEXT: Size: 0
+# CHECK-NEXT: Binding: Global
+# CHECK-NEXT: Type: None
+# CHECK-NEXT: Other: 0
+# CHECK-NEXT: Section: .dynamic
+
+# CHECK:      Name: foo@@VER1
+# CHECK-NEXT: Value: 0
+# CHECK-NEXT: Size: 0
+# CHECK-NEXT: Binding: Global
+# CHECK-NEXT: Type: None
+# CHECK-NEXT: Other: 0
+# CHECK-NEXT: Section: .text
+
+.global foo
+foo:
+        .data
+        .quad _end
+        .quad foo