/* * CDDL HEADER START * * The contents of this file are subject to the terms of the * Common Development and Distribution License (the "License"). * You may not use this file except in compliance with the License. * * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE * or http://www.opensolaris.org/os/licensing. * See the License for the specific language governing permissions * and limitations under the License. * * When distributing Covered Code, include this CDDL HEADER in each * file and include the License file at usr/src/OPENSOLARIS.LICENSE. * If applicable, add the following below this CDDL HEADER, with the * fields enclosed by brackets "[]" replaced with your own identifying * information: Portions Copyright [yyyy] [name of copyright owner] * * CDDL HEADER END */ /* * Copyright (c) 1988 AT&T * All Rights Reserved * * Copyright 2010 Sun Microsystems, Inc. All rights reserved. * Use is subject to license terms. */ /* * Update the new output file image, perform virtual address, offset and * displacement calculations on the program headers and sections headers, * and generate any new output section information. */ #define ELF_TARGET_AMD64 #include #include #include #include #include "msg.h" #include "_libld.h" /* * Comparison routine used by qsort() for sorting of the global symbol list * based off of the hashbuckets the symbol will eventually be deposited in. */ static int sym_hash_compare(Sym_s_list * s1, Sym_s_list * s2) { return (s1->sl_hval - s2->sl_hval); } /* * Comparison routine used by qsort() for sorting of dyn[sym|tls]sort section * indices based on the address of the symbols they reference. The * use of the global dynsort_compare_syms variable is needed because * we need to examine the symbols the indices reference. It is safe, because * the linker is single threaded. */ Sym *dynsort_compare_syms; static int dynsort_compare(const void *idx1, const void *idx2) { Sym *s1 = dynsort_compare_syms + *((const Word *) idx1); Sym *s2 = dynsort_compare_syms + *((const Word *) idx2); /* * Note: the logical computation for this is * (st_value1 - st_value2) * However, that is only correct if the address type is smaller * than a pointer. Writing it this way makes it immune to the * class (32 or 64-bit) of the linker. */ return ((s1->st_value < s2->st_value) ? -1 : (s1->st_value > s2->st_value)); } /* * Scan the sorted symbols, and issue warnings if there are any duplicate * values in the list. We only do this if -zverbose is set, or we are * running with LD_DEBUG defined * * entry: * ofl - Output file descriptor * ldynsym - Pointer to start of .SUNW_ldynsym section that the * sort section indexes reference. * symsort - Pointer to start of .SUNW_dynsymsort or .SUNW_dyntlssort * section. * n - # of indices in symsort array * secname - Name of the symsort section. * * exit: * If the symsort section contains indexes to more than one * symbol with the same address value, a warning is issued. */ static void dynsort_dupwarn(Ofl_desc *ofl, Sym *ldynsym, const char *str, Word *symsort, Word n, const char *secname) { int zverbose = (ofl->ofl_flags & FLG_OF_VERBOSE) != 0; Word ndx, cmp_ndx; Addr addr, cmp_addr; /* Nothing to do if -zverbose or LD_DEBUG are not active */ if (!(zverbose || DBG_ENABLED)) return; cmp_ndx = 0; cmp_addr = ldynsym[symsort[cmp_ndx]].st_value; for (ndx = 1; ndx < n; ndx++) { addr = ldynsym[symsort[ndx]].st_value; if (cmp_addr == addr) { if (zverbose) eprintf(ofl->ofl_lml, ERR_WARNING, MSG_INTL(MSG_SYM_DUPSORTADDR), secname, str + ldynsym[symsort[cmp_ndx]].st_name, str + ldynsym[symsort[ndx]].st_name, EC_ADDR(addr)); DBG_CALL(Dbg_syms_dup_sort_addr(ofl->ofl_lml, secname, str + ldynsym[symsort[cmp_ndx]].st_name, str + ldynsym[symsort[ndx]].st_name, EC_ADDR(addr))); } else { /* Not a dup. Move reference up */ cmp_ndx = ndx; cmp_addr = addr; } } } /* * Build and update any output symbol tables. Here we work on all the symbol * tables at once to reduce the duplication of symbol and string manipulation. * Symbols and their associated strings are copied from the read-only input * file images to the output image and their values and index's updated in the * output image. */ static Addr update_osym(Ofl_desc *ofl) { /* * There are several places in this function where we wish * to insert a symbol index to the combined .SUNW_ldynsym/.dynsym * symbol table into one of the two sort sections (.SUNW_dynsymsort * or .SUNW_dyntlssort), if that symbol has the right attributes. * This macro is used to generate the necessary code from a single * specification. * * entry: * _sdp, _sym, _type - As per DYNSORT_COUNT. See _libld.h * _sym_ndx - Index that _sym will have in the combined * .SUNW_ldynsym/.dynsym symbol table. */ #define ADD_TO_DYNSORT(_sdp, _sym, _type, _sym_ndx) \ { \ Word *_dynsort_arr, *_dynsort_ndx; \ \ if (dynsymsort_symtype[_type]) { \ _dynsort_arr = dynsymsort; \ _dynsort_ndx = &dynsymsort_ndx; \ } else if (_type == STT_TLS) { \ _dynsort_arr = dyntlssort; \ _dynsort_ndx = &dyntlssort_ndx; \ } else { \ _dynsort_arr = NULL; \ } \ if ((_dynsort_arr != NULL) && DYNSORT_TEST_ATTR(_sdp, _sym)) \ _dynsort_arr[(*_dynsort_ndx)++] = _sym_ndx; \ } Sym_desc *sdp; Sym_avlnode *sav; Sg_desc *sgp, *tsgp = NULL, *dsgp = NULL, *esgp = NULL; Os_desc *osp, *iosp = NULL, *fosp = NULL; Is_desc *isc; Ifl_desc *ifl; Word bssndx, etext_ndx, edata_ndx = 0, end_ndx, start_ndx; Word end_abs = 0, etext_abs = 0, edata_abs; Word tlsbssndx = 0, parexpnndx; #if defined(_ELF64) Word lbssndx = 0; Addr lbssaddr = 0; #endif Addr bssaddr, etext = 0, edata = 0, end = 0, start = 0; Addr tlsbssaddr = 0; Addr parexpnbase, parexpnaddr; int start_set = 0; Sym _sym = {0}, *sym, *symtab = NULL; Sym *dynsym = NULL, *ldynsym = NULL; Word symtab_ndx = 0; /* index into .symtab */ Word symtab_gbl_bndx; /* .symtab ndx 1st global */ Word ldynsym_ndx = 0; /* index into .SUNW_ldynsym */ Word dynsym_ndx = 0; /* index into .dynsym */ Word scopesym_ndx = 0; /* index into scoped symbols */ Word scopesym_bndx = 0; /* .symtab ndx 1st scoped sym */ Word ldynscopesym_ndx = 0; /* index to ldynsym scoped */ /* symbols */ Word *dynsymsort = NULL; /* SUNW_dynsymsort index */ /* vector */ Word *dyntlssort = NULL; /* SUNW_dyntlssort index */ /* vector */ Word dynsymsort_ndx; /* index dynsymsort array */ Word dyntlssort_ndx; /* index dyntlssort array */ Word *symndx; /* symbol index (for */ /* relocation use) */ Word *symshndx = NULL; /* .symtab_shndx table */ Word *dynshndx = NULL; /* .dynsym_shndx table */ Word *ldynshndx = NULL; /* .SUNW_ldynsym_shndx table */ Word ldynsym_cnt = NULL; /* number of items in */ /* .SUNW_ldynsym */ Str_tbl *shstrtab; Str_tbl *strtab; Str_tbl *dynstr; Word *hashtab; /* hash table pointer */ Word *hashbkt; /* hash table bucket pointer */ Word *hashchain; /* hash table chain pointer */ Wk_desc *wkp; Alist *weak = NULL; ofl_flag_t flags = ofl->ofl_flags; Versym *versym; Gottable *gottable; /* used for display got debugging */ /* information */ Syminfo *syminfo; Sym_s_list *sorted_syms; /* table to hold sorted symbols */ Word ssndx; /* global index into sorted_syms */ Word scndx; /* scoped index into sorted_syms */ size_t stoff; /* string offset */ Aliste idx1; /* * Initialize pointers to the symbol table entries and the symbol * table strings. Skip the first symbol entry and the first string * table byte. Note that if we are not generating any output symbol * tables we must still generate and update internal copies so * that the relocation phase has the correct information. */ if (!(flags & FLG_OF_STRIP) || (flags & FLG_OF_RELOBJ) || ((flags & FLG_OF_STATIC) && ofl->ofl_osversym)) { symtab = (Sym *)ofl->ofl_ossymtab->os_outdata->d_buf; symtab[symtab_ndx++] = _sym; if (ofl->ofl_ossymshndx) symshndx = (Word *)ofl->ofl_ossymshndx->os_outdata->d_buf; } if (OFL_ALLOW_DYNSYM(ofl)) { dynsym = (Sym *)ofl->ofl_osdynsym->os_outdata->d_buf; dynsym[dynsym_ndx++] = _sym; /* * If we are also constructing a .SUNW_ldynsym section * to contain local function symbols, then set it up too. */ if (ofl->ofl_osldynsym) { ldynsym = (Sym *)ofl->ofl_osldynsym->os_outdata->d_buf; ldynsym[ldynsym_ndx++] = _sym; ldynsym_cnt = 1 + ofl->ofl_dynlocscnt + ofl->ofl_dynscopecnt; /* * If there is a SUNW_ldynsym, then there may also * be a .SUNW_dynsymsort and/or .SUNW_dyntlssort * sections, used to collect indices of function * and data symbols sorted by address order. */ if (ofl->ofl_osdynsymsort) { /* .SUNW_dynsymsort */ dynsymsort = (Word *) ofl->ofl_osdynsymsort->os_outdata->d_buf; dynsymsort_ndx = 0; } if (ofl->ofl_osdyntlssort) { /* .SUNW_dyntlssort */ dyntlssort = (Word *) ofl->ofl_osdyntlssort->os_outdata->d_buf; dyntlssort_ndx = 0; } } /* * Initialize the hash table. */ hashtab = (Word *)(ofl->ofl_oshash->os_outdata->d_buf); hashbkt = &hashtab[2]; hashchain = &hashtab[2 + ofl->ofl_hashbkts]; hashtab[0] = ofl->ofl_hashbkts; hashtab[1] = DYNSYM_ALL_CNT(ofl); if (ofl->ofl_osdynshndx) dynshndx = (Word *)ofl->ofl_osdynshndx->os_outdata->d_buf; if (ofl->ofl_osldynshndx) ldynshndx = (Word *)ofl->ofl_osldynshndx->os_outdata->d_buf; } /* * symndx is the symbol index to be used for relocation processing. It * points to the relevant symtab's (.dynsym or .symtab) symbol ndx. */ if (dynsym) symndx = &dynsym_ndx; else symndx = &symtab_ndx; /* * If we have version definitions initialize the version symbol index * table. There is one entry for each symbol which contains the symbols * version index. */ if (!(flags & FLG_OF_NOVERSEC) && (flags & (FLG_OF_VERNEED | FLG_OF_VERDEF))) { versym = (Versym *)ofl->ofl_osversym->os_outdata->d_buf; versym[0] = NULL; } else versym = NULL; /* * If syminfo section exists be prepared to fill it in. */ if (ofl->ofl_ossyminfo) { syminfo = ofl->ofl_ossyminfo->os_outdata->d_buf; syminfo[0].si_flags = SYMINFO_CURRENT; } else syminfo = NULL; /* * Setup our string tables. */ shstrtab = ofl->ofl_shdrsttab; strtab = ofl->ofl_strtab; dynstr = ofl->ofl_dynstrtab; DBG_CALL(Dbg_syms_sec_title(ofl->ofl_lml)); /* * Put output file name to the first .symtab and .SUNW_ldynsym symbol. */ if (symtab) { (void) st_setstring(strtab, ofl->ofl_name, &stoff); sym = &symtab[symtab_ndx++]; /* LINTED */ sym->st_name = stoff; sym->st_value = 0; sym->st_size = 0; sym->st_info = ELF_ST_INFO(STB_LOCAL, STT_FILE); sym->st_other = 0; sym->st_shndx = SHN_ABS; if (versym && !dynsym) versym[1] = 0; } if (ldynsym) { (void) st_setstring(dynstr, ofl->ofl_name, &stoff); sym = &ldynsym[ldynsym_ndx]; /* LINTED */ sym->st_name = stoff; sym->st_value = 0; sym->st_size = 0; sym->st_info = ELF_ST_INFO(STB_LOCAL, STT_FILE); sym->st_other = 0; sym->st_shndx = SHN_ABS; /* Scoped symbols get filled in global loop below */ ldynscopesym_ndx = ldynsym_ndx + 1; ldynsym_ndx += ofl->ofl_dynscopecnt; } /* * If we are to display GOT summary information, then allocate * the buffer to 'cache' the GOT symbols into now. */ if (DBG_ENABLED) { if ((ofl->ofl_gottable = gottable = libld_calloc(ofl->ofl_gotcnt, sizeof (Gottable))) == NULL) return ((Addr)S_ERROR); } /* * Traverse the program headers. Determine the last executable segment * and the last data segment so that we can update etext and edata. If * we have empty segments (reservations) record them for setting _end. */ for (APLIST_TRAVERSE(ofl->ofl_segs, idx1, sgp)) { Phdr *phd = &(sgp->sg_phdr); Os_desc *osp; Aliste idx2; if (phd->p_type == PT_LOAD) { if (sgp->sg_osdescs != NULL) { Word _flags = phd->p_flags & (PF_W | PF_R); if (_flags == PF_R) tsgp = sgp; else if (_flags == (PF_W | PF_R)) dsgp = sgp; } else if (sgp->sg_flags & FLG_SG_EMPTY) esgp = sgp; } /* * Generate a section symbol for each output section. */ for (APLIST_TRAVERSE(sgp->sg_osdescs, idx2, osp)) { Word sectndx; sym = &_sym; sym->st_value = osp->os_shdr->sh_addr; sym->st_info = ELF_ST_INFO(STB_LOCAL, STT_SECTION); /* LINTED */ sectndx = elf_ndxscn(osp->os_scn); if (symtab) { if (sectndx >= SHN_LORESERVE) { symshndx[symtab_ndx] = sectndx; sym->st_shndx = SHN_XINDEX; } else { /* LINTED */ sym->st_shndx = (Half)sectndx; } symtab[symtab_ndx++] = *sym; } if (dynsym && (osp->os_flags & FLG_OS_OUTREL)) dynsym[dynsym_ndx++] = *sym; if ((dynsym == NULL) || (osp->os_flags & FLG_OS_OUTREL)) { if (versym) versym[*symndx - 1] = 0; osp->os_identndx = *symndx - 1; DBG_CALL(Dbg_syms_sec_entry(ofl->ofl_lml, osp->os_identndx, sgp, osp)); } /* * Generate the .shstrtab for this section. */ (void) st_setstring(shstrtab, osp->os_name, &stoff); osp->os_shdr->sh_name = (Word)stoff; /* * Find the section index for our special symbols. */ if (sgp == tsgp) { /* LINTED */ etext_ndx = elf_ndxscn(osp->os_scn); } else if (dsgp == sgp) { if (osp->os_shdr->sh_type != SHT_NOBITS) { /* LINTED */ edata_ndx = elf_ndxscn(osp->os_scn); } } if (start_set == 0) { start = sgp->sg_phdr.p_vaddr; /* LINTED */ start_ndx = elf_ndxscn(osp->os_scn); start_set++; } /* * While we're here, determine whether a .init or .fini * section exist. */ if ((iosp == NULL) && (strcmp(osp->os_name, MSG_ORIG(MSG_SCN_INIT)) == 0)) iosp = osp; if ((fosp == NULL) && (strcmp(osp->os_name, MSG_ORIG(MSG_SCN_FINI)) == 0)) fosp = osp; } } /* * Add local register symbols to the .dynsym. These are required as * DT_REGISTER .dynamic entries must have a symbol to reference. */ if (ofl->ofl_regsyms && dynsym) { int ndx; for (ndx = 0; ndx < ofl->ofl_regsymsno; ndx++) { Sym_desc *rsdp; if ((rsdp = ofl->ofl_regsyms[ndx]) == NULL) continue; if (!SYM_IS_HIDDEN(rsdp) && (ELF_ST_BIND(rsdp->sd_sym->st_info) != STB_LOCAL)) continue; dynsym[dynsym_ndx] = *(rsdp->sd_sym); rsdp->sd_symndx = *symndx; if (dynsym[dynsym_ndx].st_name) { (void) st_setstring(dynstr, rsdp->sd_name, &stoff); dynsym[dynsym_ndx].st_name = stoff; } dynsym_ndx++; } } /* * Having traversed all the output segments, warn the user if the * traditional text or data segments don't exist. Otherwise from these * segments establish the values for `etext', `edata', `end', `END', * and `START'. */ if (!(flags & FLG_OF_RELOBJ)) { Sg_desc *sgp; if (tsgp) etext = tsgp->sg_phdr.p_vaddr + tsgp->sg_phdr.p_filesz; else { etext = (Addr)0; etext_ndx = SHN_ABS; etext_abs = 1; if (flags & FLG_OF_VERBOSE) eprintf(ofl->ofl_lml, ERR_WARNING, MSG_INTL(MSG_UPD_NOREADSEG)); } if (dsgp) { edata = dsgp->sg_phdr.p_vaddr + dsgp->sg_phdr.p_filesz; } else { edata = (Addr)0; edata_ndx = SHN_ABS; edata_abs = 1; if (flags & FLG_OF_VERBOSE) eprintf(ofl->ofl_lml, ERR_WARNING, MSG_INTL(MSG_UPD_NORDWRSEG)); } if (dsgp == NULL) { if (tsgp) sgp = tsgp; else sgp = 0; } else if (tsgp == NULL) sgp = dsgp; else if (dsgp->sg_phdr.p_vaddr > tsgp->sg_phdr.p_vaddr) sgp = dsgp; else if (dsgp->sg_phdr.p_vaddr < tsgp->sg_phdr.p_vaddr) sgp = tsgp; else { /* * One of the segments must be of zero size. */ if (tsgp->sg_phdr.p_memsz) sgp = tsgp; else sgp = dsgp; } if (esgp && (esgp->sg_phdr.p_vaddr > sgp->sg_phdr.p_vaddr)) sgp = esgp; if (sgp) { end = sgp->sg_phdr.p_vaddr + sgp->sg_phdr.p_memsz; /* * If the last loadable segment is a read-only segment, * then the application which uses the symbol _end to * find the beginning of writable heap area may cause * segmentation violation. We adjust the value of the * _end to skip to the next page boundary. * * 6401812 System interface which returs beginning * heap would be nice. * When the above RFE is implemented, the changes below * could be changed in a better way. */ if ((sgp->sg_phdr.p_flags & PF_W) == 0) end = (Addr)S_ROUND(end, sysconf(_SC_PAGESIZE)); /* * If we're dealing with a memory reservation there are * no sections to establish an index for _end, so assign * it as an absolute. */ if (sgp->sg_osdescs != NULL) { /* * Determine the last section for this segment. */ Os_desc *osp = sgp->sg_osdescs->apl_data [sgp->sg_osdescs->apl_nitems - 1]; /* LINTED */ end_ndx = elf_ndxscn(osp->os_scn); } else { end_ndx = SHN_ABS; end_abs = 1; } } else { end = (Addr) 0; end_ndx = SHN_ABS; end_abs = 1; eprintf(ofl->ofl_lml, ERR_WARNING, MSG_INTL(MSG_UPD_NOSEG)); } } /* * Initialize the scoped symbol table entry point. This is for all * the global symbols that have been scoped to locals and will be * filled in during global symbol processing so that we don't have * to traverse the globals symbol hash array more than once. */ if (symtab) { scopesym_bndx = symtab_ndx; scopesym_ndx = scopesym_bndx; symtab_ndx += ofl->ofl_scopecnt; } /* * If expanding partially expanded symbols under '-z nopartial', * prepare to do that. */ if (ofl->ofl_isparexpn) { osp = ofl->ofl_isparexpn->is_osdesc; parexpnbase = parexpnaddr = (Addr)(osp->os_shdr->sh_addr + ofl->ofl_isparexpn->is_indata->d_off); /* LINTED */ parexpnndx = elf_ndxscn(osp->os_scn); ofl->ofl_parexpnndx = osp->os_identndx; } /* * If we are generating a .symtab collect all the local symbols, * assigning a new virtual address or displacement (value). */ for (APLIST_TRAVERSE(ofl->ofl_objs, idx1, ifl)) { Xword lndx, local = ifl->ifl_locscnt; Cap_desc *cdp = ifl->ifl_caps; for (lndx = 1; lndx < local; lndx++) { Gotndx *gnp; uchar_t type; Word *_symshndx; int enter_in_symtab, enter_in_ldynsym; int update_done; sdp = ifl->ifl_oldndx[lndx]; sym = sdp->sd_sym; /* * Assign a got offset if necessary. */ if ((ld_targ.t_mr.mr_assign_got != NULL) && (*ld_targ.t_mr.mr_assign_got)(ofl, sdp) == S_ERROR) return ((Addr)S_ERROR); if (DBG_ENABLED) { Aliste idx2; for (ALIST_TRAVERSE(sdp->sd_GOTndxs, idx2, gnp)) { gottable->gt_sym = sdp; gottable->gt_gndx.gn_gotndx = gnp->gn_gotndx; gottable->gt_gndx.gn_addend = gnp->gn_addend; gottable++; } } if ((type = ELF_ST_TYPE(sym->st_info)) == STT_SECTION) continue; /* * Ignore any symbols that have been marked as invalid * during input processing. Providing these aren't used * for relocation they'll just be dropped from the * output image. */ if (sdp->sd_flags & FLG_SY_INVALID) continue; /* * If the section that this symbol was associated * with has been discarded - then we discard * the local symbol along with it. */ if (sdp->sd_flags & FLG_SY_ISDISC) continue; /* * If this symbol is from a different file * than the input descriptor we are processing, * treat it as if it has FLG_SY_ISDISC set. * This happens when sloppy_comdat_reloc() * replaces a symbol to a discarded comdat section * with an equivalent symbol from a different * file. We only want to enter such a symbol * once --- as part of the file that actually * supplies it. */ if (ifl != sdp->sd_file) continue; /* * Generate an output symbol to represent this input * symbol. Even if the symbol table is to be stripped * we still need to update any local symbols that are * used during relocation. */ enter_in_symtab = symtab && (!(ofl->ofl_flags & FLG_OF_REDLSYM) || sdp->sd_move); enter_in_ldynsym = ldynsym && sdp->sd_name && ldynsym_symtype[type] && !(ofl->ofl_flags & FLG_OF_REDLSYM); _symshndx = NULL; if (enter_in_symtab) { if (!dynsym) sdp->sd_symndx = *symndx; symtab[symtab_ndx] = *sym; /* * Provided this isn't an unnamed register * symbol, update its name. */ if (((sdp->sd_flags & FLG_SY_REGSYM) == 0) || symtab[symtab_ndx].st_name) { (void) st_setstring(strtab, sdp->sd_name, &stoff); symtab[symtab_ndx].st_name = stoff; } sdp->sd_flags &= ~FLG_SY_CLEAN; if (symshndx) _symshndx = &symshndx[symtab_ndx]; sdp->sd_sym = sym = &symtab[symtab_ndx++]; if ((sdp->sd_flags & FLG_SY_SPECSEC) && (sym->st_shndx == SHN_ABS) && !enter_in_ldynsym) continue; } else if (enter_in_ldynsym) { /* * Not using symtab, but we do have ldynsym * available. */ ldynsym[ldynsym_ndx] = *sym; (void) st_setstring(dynstr, sdp->sd_name, &stoff); ldynsym[ldynsym_ndx].st_name = stoff; sdp->sd_flags &= ~FLG_SY_CLEAN; if (ldynshndx) _symshndx = &ldynshndx[ldynsym_ndx]; sdp->sd_sym = sym = &ldynsym[ldynsym_ndx]; /* Add it to sort section if it qualifies */ ADD_TO_DYNSORT(sdp, sym, type, ldynsym_ndx); ldynsym_ndx++; } else { /* Not using symtab or ldynsym */ /* * If this symbol requires modifying to provide * for a relocation or move table update, make * a copy of it. */ if (!(sdp->sd_flags & FLG_SY_UPREQD) && !(sdp->sd_move)) continue; if ((sdp->sd_flags & FLG_SY_SPECSEC) && (sym->st_shndx == SHN_ABS)) continue; if (ld_sym_copy(sdp) == S_ERROR) return ((Addr)S_ERROR); sym = sdp->sd_sym; } /* * Update the symbols contents if necessary. */ update_done = 0; if (type == STT_FILE) { sdp->sd_shndx = sym->st_shndx = SHN_ABS; sdp->sd_flags |= FLG_SY_SPECSEC; update_done = 1; } /* * If we are expanding the locally bound partially * initialized symbols, then update the address here. */ if (ofl->ofl_isparexpn && (sdp->sd_flags & FLG_SY_PAREXPN) && !update_done) { sym->st_shndx = parexpnndx; sdp->sd_isc = ofl->ofl_isparexpn; sym->st_value = parexpnaddr; parexpnaddr += sym->st_size; if ((flags & FLG_OF_RELOBJ) == 0) sym->st_value -= parexpnbase; } /* * If this isn't an UNDEF symbol (ie. an input section * is associated), update the symbols value and index. */ if (((isc = sdp->sd_isc) != NULL) && !update_done) { Word sectndx; osp = isc->is_osdesc; /* LINTED */ sym->st_value += (Off)_elf_getxoff(isc->is_indata); if ((flags & FLG_OF_RELOBJ) == 0) { sym->st_value += osp->os_shdr->sh_addr; /* * TLS symbols are relative to * the TLS segment. */ if ((type == STT_TLS) && (ofl->ofl_tlsphdr)) { sym->st_value -= ofl->ofl_tlsphdr->p_vaddr; } } /* LINTED */ if ((sdp->sd_shndx = sectndx = elf_ndxscn(osp->os_scn)) >= SHN_LORESERVE) { if (_symshndx) { *_symshndx = sectndx; } sym->st_shndx = SHN_XINDEX; } else { /* LINTED */ sym->st_shndx = sectndx; } } /* * If entering the symbol in both the symtab and the * ldynsym, then the one in symtab needs to be * copied to ldynsym. If it is only in the ldynsym, * then the code above already set it up and we have * nothing more to do here. */ if (enter_in_symtab && enter_in_ldynsym) { ldynsym[ldynsym_ndx] = *sym; (void) st_setstring(dynstr, sdp->sd_name, &stoff); ldynsym[ldynsym_ndx].st_name = stoff; if (_symshndx && ldynshndx) ldynshndx[ldynsym_ndx] = *_symshndx; /* Add it to sort section if it qualifies */ ADD_TO_DYNSORT(sdp, sym, type, ldynsym_ndx); ldynsym_ndx++; } } /* * If this input file has undergone object to symbol * capabilities conversion, supply any new capabilities symbols. * These symbols are copies of the original global symbols, and * follow the existing local symbols that are supplied from this * input file (which are identified with a preceding STT_FILE). */ if (symtab && cdp && cdp->ca_syms) { Aliste idx2; Cap_sym *csp; for (APLIST_TRAVERSE(cdp->ca_syms, idx2, csp)) { Is_desc *isp; sdp = csp->cs_sdp; sym = sdp->sd_sym; if ((isp = sdp->sd_isc) != NULL) { Os_desc *osp = isp->is_osdesc; /* * Update the symbols value. */ /* LINTED */ sym->st_value += (Off)_elf_getxoff(isp->is_indata); if ((flags & FLG_OF_RELOBJ) == 0) sym->st_value += osp->os_shdr->sh_addr; /* * Update the symbols section index. */ sdp->sd_shndx = sym->st_shndx = elf_ndxscn(osp->os_scn); } symtab[symtab_ndx] = *sym; (void) st_setstring(strtab, sdp->sd_name, &stoff); symtab[symtab_ndx].st_name = stoff; sdp->sd_symndx = symtab_ndx++; } } } symtab_gbl_bndx = symtab_ndx; /* .symtab index of 1st global entry */ /* * Two special symbols are `_init' and `_fini'. If these are supplied * by crti.o then they are used to represent the total concatenation of * the `.init' and `.fini' sections. * * Determine whether any .init or .fini sections exist. If these * sections exist and a dynamic object is being built, but no `_init' * or `_fini' symbols are found, then the user is probably building * this object directly from ld(1) rather than using a compiler driver * that provides the symbols via crt's. * * If the .init or .fini section exist, and their associated symbols, * determine the size of the sections and updated the symbols value * accordingly. */ if (((sdp = ld_sym_find(MSG_ORIG(MSG_SYM_INIT_U), SYM_NOHASH, 0, ofl)) != NULL) && (sdp->sd_ref == REF_REL_NEED) && sdp->sd_isc && (sdp->sd_isc->is_osdesc == iosp)) { if (ld_sym_copy(sdp) == S_ERROR) return ((Addr)S_ERROR); sdp->sd_sym->st_size = sdp->sd_isc->is_osdesc->os_shdr->sh_size; } else if (iosp && !(flags & FLG_OF_RELOBJ)) { eprintf(ofl->ofl_lml, ERR_WARNING, MSG_INTL(MSG_SYM_NOCRT), MSG_ORIG(MSG_SYM_INIT_U), MSG_ORIG(MSG_SCN_INIT)); } if (((sdp = ld_sym_find(MSG_ORIG(MSG_SYM_FINI_U), SYM_NOHASH, 0, ofl)) != NULL) && (sdp->sd_ref == REF_REL_NEED) && sdp->sd_isc && (sdp->sd_isc->is_osdesc == fosp)) { if (ld_sym_copy(sdp) == S_ERROR) return ((Addr)S_ERROR); sdp->sd_sym->st_size = sdp->sd_isc->is_osdesc->os_shdr->sh_size; } else if (fosp && !(flags & FLG_OF_RELOBJ)) { eprintf(ofl->ofl_lml, ERR_WARNING, MSG_INTL(MSG_SYM_NOCRT), MSG_ORIG(MSG_SYM_FINI_U), MSG_ORIG(MSG_SCN_FINI)); } /* * Assign .bss information for use with updating COMMON symbols. */ if (ofl->ofl_isbss) { isc = ofl->ofl_isbss; osp = isc->is_osdesc; bssaddr = osp->os_shdr->sh_addr + (Off)_elf_getxoff(isc->is_indata); /* LINTED */ bssndx = elf_ndxscn(osp->os_scn); } #if defined(_ELF64) /* * For amd64 target, assign .lbss information for use * with updating LCOMMON symbols. */ if ((ld_targ.t_m.m_mach == EM_AMD64) && ofl->ofl_islbss) { osp = ofl->ofl_islbss->is_osdesc; lbssaddr = osp->os_shdr->sh_addr + (Off)_elf_getxoff(ofl->ofl_islbss->is_indata); /* LINTED */ lbssndx = elf_ndxscn(osp->os_scn); } #endif /* * Assign .tlsbss information for use with updating COMMON symbols. */ if (ofl->ofl_istlsbss) { osp = ofl->ofl_istlsbss->is_osdesc; tlsbssaddr = osp->os_shdr->sh_addr + (Off)_elf_getxoff(ofl->ofl_istlsbss->is_indata); /* LINTED */ tlsbssndx = elf_ndxscn(osp->os_scn); } if ((sorted_syms = libld_calloc(ofl->ofl_globcnt + ofl->ofl_elimcnt + ofl->ofl_scopecnt, sizeof (*sorted_syms))) == NULL) return ((Addr)S_ERROR); scndx = 0; ssndx = ofl->ofl_scopecnt + ofl->ofl_elimcnt; DBG_CALL(Dbg_syms_up_title(ofl->ofl_lml)); /* * Traverse the internal symbol table updating global symbol information * and allocating common. */ for (sav = avl_first(&ofl->ofl_symavl); sav; sav = AVL_NEXT(&ofl->ofl_symavl, sav)) { Sym *symptr; int local; int restore; sdp = sav->sav_sdp; /* * Ignore any symbols that have been marked as invalid during * input processing. Providing these aren't used for * relocation, they will be dropped from the output image. */ if (sdp->sd_flags & FLG_SY_INVALID) { DBG_CALL(Dbg_syms_old(ofl, sdp)); DBG_CALL(Dbg_syms_ignore(ofl, sdp)); continue; } /* * Only needed symbols are copied to the output symbol table. */ if (sdp->sd_ref == REF_DYN_SEEN) continue; if (SYM_IS_HIDDEN(sdp) && (flags & FLG_OF_PROCRED)) local = 1; else local = 0; if (local || (ofl->ofl_hashbkts == 0)) { sorted_syms[scndx++].sl_sdp = sdp; } else { sorted_syms[ssndx].sl_hval = sdp->sd_aux->sa_hash % ofl->ofl_hashbkts; sorted_syms[ssndx].sl_sdp = sdp; ssndx++; } /* * Note - expand the COMMON symbols here because an address * must be assigned to them in the same order that space was * calculated in sym_validate(). If this ordering isn't * followed differing alignment requirements can throw us all * out of whack. * * The expanded .bss global symbol is handled here as well. * * The actual adding entries into the symbol table still occurs * below in hashbucket order. */ symptr = sdp->sd_sym; restore = 0; if ((sdp->sd_flags & FLG_SY_PAREXPN) || ((sdp->sd_flags & FLG_SY_SPECSEC) && (sdp->sd_shndx = symptr->st_shndx) == SHN_COMMON)) { /* * An expanded symbol goes to a special .data section * prepared for that purpose (ofl->ofl_isparexpn). * Assign COMMON allocations to .bss. * Otherwise leave it as is. */ if (sdp->sd_flags & FLG_SY_PAREXPN) { restore = 1; sdp->sd_shndx = parexpnndx; sdp->sd_flags &= ~FLG_SY_SPECSEC; symptr->st_value = (Xword) S_ROUND( parexpnaddr, symptr->st_value); parexpnaddr = symptr->st_value + symptr->st_size; sdp->sd_isc = ofl->ofl_isparexpn; sdp->sd_flags |= FLG_SY_COMMEXP; } else if (ELF_ST_TYPE(symptr->st_info) != STT_TLS && (local || !(flags & FLG_OF_RELOBJ))) { restore = 1; sdp->sd_shndx = bssndx; sdp->sd_flags &= ~FLG_SY_SPECSEC; symptr->st_value = (Xword)S_ROUND(bssaddr, symptr->st_value); bssaddr = symptr->st_value + symptr->st_size; sdp->sd_isc = ofl->ofl_isbss; sdp->sd_flags |= FLG_SY_COMMEXP; } else if (ELF_ST_TYPE(symptr->st_info) == STT_TLS && (local || !(flags & FLG_OF_RELOBJ))) { restore = 1; sdp->sd_shndx = tlsbssndx; sdp->sd_flags &= ~FLG_SY_SPECSEC; symptr->st_value = (Xword)S_ROUND(tlsbssaddr, symptr->st_value); tlsbssaddr = symptr->st_value + symptr->st_size; sdp->sd_isc = ofl->ofl_istlsbss; sdp->sd_flags |= FLG_SY_COMMEXP; /* * TLS symbols are relative to the TLS segment. */ symptr->st_value -= ofl->ofl_tlsphdr->p_vaddr; } #if defined(_ELF64) } else if ((ld_targ.t_m.m_mach == EM_AMD64) && (sdp->sd_flags & FLG_SY_SPECSEC) && ((sdp->sd_shndx = symptr->st_shndx) == SHN_X86_64_LCOMMON) && ((local || !(flags & FLG_OF_RELOBJ)))) { restore = 1; sdp->sd_shndx = lbssndx; sdp->sd_flags &= ~FLG_SY_SPECSEC; symptr->st_value = (Xword)S_ROUND(lbssaddr, symptr->st_value); lbssaddr = symptr->st_value + symptr->st_size; sdp->sd_isc = ofl->ofl_islbss; sdp->sd_flags |= FLG_SY_COMMEXP; #endif } if (restore != 0) { uchar_t type, bind; /* * Make sure this COMMON symbol is returned to the same * binding as was defined in the original relocatable * object reference. */ type = ELF_ST_TYPE(symptr->st_info); if (sdp->sd_flags & FLG_SY_GLOBREF) bind = STB_GLOBAL; else bind = STB_WEAK; symptr->st_info = ELF_ST_INFO(bind, type); } } /* * If this is a dynamic object then add any local capabilities symbols. */ if (dynsym && ofl->ofl_capfamilies) { Cap_avlnode *cav; for (cav = avl_first(ofl->ofl_capfamilies); cav; cav = AVL_NEXT(ofl->ofl_capfamilies, cav)) { Cap_sym *csp; Aliste idx; for (APLIST_TRAVERSE(cav->cn_members, idx, csp)) { sdp = csp->cs_sdp; DBG_CALL(Dbg_syms_created(ofl->ofl_lml, sdp->sd_name)); DBG_CALL(Dbg_syms_entered(ofl, sdp->sd_sym, sdp)); dynsym[dynsym_ndx] = *sdp->sd_sym; (void) st_setstring(dynstr, sdp->sd_name, &stoff); dynsym[dynsym_ndx].st_name = stoff; sdp->sd_sym = &dynsym[dynsym_ndx]; sdp->sd_symndx = dynsym_ndx; /* * Indicate that this is a capabilities symbol. * Note, that this identification only provides * information regarding the symbol that is * visible from elfdump(1) -y. The association * of a symbol to its capabilities is derived * from a .SUNW_capinfo entry. */ if (syminfo) { syminfo[dynsym_ndx].si_flags |= SYMINFO_FLG_CAP; } dynsym_ndx++; } } } if (ofl->ofl_hashbkts) { qsort(sorted_syms + ofl->ofl_scopecnt + ofl->ofl_elimcnt, ofl->ofl_globcnt, sizeof (Sym_s_list), (int (*)(const void *, const void *))sym_hash_compare); } for (ssndx = 0; ssndx < (ofl->ofl_elimcnt + ofl->ofl_scopecnt + ofl->ofl_globcnt); ssndx++) { const char *name; Sym *sym; Sym_aux *sap; Half spec; int local = 0, dynlocal = 0, enter_in_symtab; Gotndx *gnp; Word sectndx; sdp = sorted_syms[ssndx].sl_sdp; sectndx = 0; if (symtab) enter_in_symtab = 1; else enter_in_symtab = 0; /* * Assign a got offset if necessary. */ if ((ld_targ.t_mr.mr_assign_got != NULL) && (*ld_targ.t_mr.mr_assign_got)(ofl, sdp) == S_ERROR) return ((Addr)S_ERROR); if (DBG_ENABLED) { Aliste idx2; for (ALIST_TRAVERSE(sdp->sd_GOTndxs, idx2, gnp)) { gottable->gt_sym = sdp; gottable->gt_gndx.gn_gotndx = gnp->gn_gotndx; gottable->gt_gndx.gn_addend = gnp->gn_addend; gottable++; } if (sdp->sd_aux && sdp->sd_aux->sa_PLTGOTndx) { gottable->gt_sym = sdp; gottable->gt_gndx.gn_gotndx = sdp->sd_aux->sa_PLTGOTndx; gottable++; } } /* * If this symbol has been marked as being reduced to local * scope then it will have to be placed in the scoped portion * of the .symtab. Retain the appropriate index for use in * version symbol indexing and relocation. */ if (SYM_IS_HIDDEN(sdp) && (flags & FLG_OF_PROCRED)) { local = 1; if (!(sdp->sd_flags & FLG_SY_ELIM) && !dynsym) sdp->sd_symndx = scopesym_ndx; else sdp->sd_symndx = 0; if (sdp->sd_flags & FLG_SY_ELIM) { enter_in_symtab = 0; } else if (ldynsym && sdp->sd_sym->st_name && ldynsym_symtype[ ELF_ST_TYPE(sdp->sd_sym->st_info)]) { dynlocal = 1; } } else { sdp->sd_symndx = *symndx; } /* * Copy basic symbol and string information. */ name = sdp->sd_name; sap = sdp->sd_aux; /* * If we require to record version symbol indexes, update the * associated version symbol information for all defined * symbols. If a version definition is required any zero value * symbol indexes would have been flagged as undefined symbol * errors, however if we're just scoping these need to fall into * the base of global symbols. */ if (sdp->sd_symndx && versym) { Half vndx = 0; if (sdp->sd_flags & FLG_SY_MVTOCOMM) { vndx = VER_NDX_GLOBAL; } else if (sdp->sd_ref == REF_REL_NEED) { vndx = sap->sa_overndx; if ((vndx == 0) && (sdp->sd_sym->st_shndx != SHN_UNDEF)) { if (SYM_IS_HIDDEN(sdp)) vndx = VER_NDX_LOCAL; else vndx = VER_NDX_GLOBAL; } } else if ((sdp->sd_ref == REF_DYN_NEED) && (sap->sa_dverndx > 0) && (sap->sa_dverndx <= sdp->sd_file->ifl_vercnt) && (sdp->sd_file->ifl_verndx != NULL)) { /* Use index of verneed record */ vndx = sdp->sd_file->ifl_verndx [sap->sa_dverndx].vi_overndx; } versym[sdp->sd_symndx] = vndx; } /* * If we are creating the .syminfo section then set per symbol * flags here. */ if (sdp->sd_symndx && syminfo && !(sdp->sd_flags & FLG_SY_NOTAVAIL)) { int ndx = sdp->sd_symndx; APlist **alpp = &(ofl->ofl_symdtent); if (sdp->sd_flags & FLG_SY_MVTOCOMM) /* * Identify a copy relocation symbol. */ syminfo[ndx].si_flags |= SYMINFO_FLG_COPY; if (sdp->sd_ref == REF_DYN_NEED) { /* * A reference is bound to a needed dependency. * Save the syminfo entry, so that when the * .dynamic section has been updated, a * DT_NEEDED entry can be associated * (see update_osyminfo()). */ if (aplist_append(alpp, sdp, AL_CNT_OFL_SYMINFOSYMS) == NULL) return (0); /* * Flag that the symbol has a direct association * with the external reference (this is an old * tagging, that has no real effect by itself). * And flag whether this reference is lazy * loadable. */ syminfo[ndx].si_flags |= SYMINFO_FLG_DIRECT; if (sdp->sd_flags & FLG_SY_LAZYLD) syminfo[ndx].si_flags |= SYMINFO_FLG_LAZYLOAD; /* * Enable direct symbol bindings if: * * - Symbol was identified with the DIRECT * keyword in a mapfile. * * - Symbol reference has been bound to a * dependency which was specified as * requiring direct bindings with -zdirect. * * - All symbol references are required to * use direct bindings via -Bdirect. */ if (sdp->sd_flags & FLG_SY_DIR) syminfo[ndx].si_flags |= SYMINFO_FLG_DIRECTBIND; } else if ((sdp->sd_flags & FLG_SY_EXTERN) && (sdp->sd_sym->st_shndx == SHN_UNDEF)) { /* * If this symbol has been explicitly defined * as external, and remains unresolved, mark * it as external. */ syminfo[ndx].si_boundto = SYMINFO_BT_EXTERN; } else if ((sdp->sd_flags & FLG_SY_PARENT) && (sdp->sd_sym->st_shndx == SHN_UNDEF)) { /* * If this symbol has been explicitly defined * to be a reference to a parent object, * indicate whether a direct binding should be * established. */ syminfo[ndx].si_flags |= SYMINFO_FLG_DIRECT; syminfo[ndx].si_boundto = SYMINFO_BT_PARENT; if (sdp->sd_flags & FLG_SY_DIR) syminfo[ndx].si_flags |= SYMINFO_FLG_DIRECTBIND; } else if (sdp->sd_flags & FLG_SY_STDFLTR) { /* * A filter definition. Although this symbol * can only be a stub, it might be necessary to * prevent external direct bindings. */ syminfo[ndx].si_flags |= SYMINFO_FLG_FILTER; if (sdp->sd_flags & FLG_SY_NDIR) syminfo[ndx].si_flags |= SYMINFO_FLG_NOEXTDIRECT; } else if (sdp->sd_flags & FLG_SY_AUXFLTR) { /* * An auxiliary filter definition. By nature, * this definition is direct, in that should the * filtee lookup fail, we'll fall back to this * object. It may still be necessary to * prevent external direct bindings. */ syminfo[ndx].si_flags |= SYMINFO_FLG_AUXILIARY; if (sdp->sd_flags & FLG_SY_NDIR) syminfo[ndx].si_flags |= SYMINFO_FLG_NOEXTDIRECT; } else if ((sdp->sd_ref == REF_REL_NEED) && (sdp->sd_sym->st_shndx != SHN_UNDEF)) { /* * This definition exists within the object * being created. Provide a default boundto * definition, which may be overridden later. */ syminfo[ndx].si_boundto = SYMINFO_BT_NONE; /* * Indicate whether it is necessary to prevent * external direct bindings. */ if (sdp->sd_flags & FLG_SY_NDIR) { syminfo[ndx].si_flags |= SYMINFO_FLG_NOEXTDIRECT; } /* * Indicate that this symbol is acting as an * individual interposer. */ if (sdp->sd_flags & FLG_SY_INTPOSE) { syminfo[ndx].si_flags |= SYMINFO_FLG_INTERPOSE; } /* * If external bindings are allowed, indicate * the binding, and a direct binding if * necessary. */ if ((sdp->sd_flags & FLG_SY_NDIR) == 0) { syminfo[ndx].si_flags |= SYMINFO_FLG_DIRECT; if (sdp->sd_flags & FLG_SY_DIR) syminfo[ndx].si_flags |= SYMINFO_FLG_DIRECTBIND; /* * Provide a default boundto definition, * which may be overridden later. */ syminfo[ndx].si_boundto = SYMINFO_BT_SELF; } /* * Indicate that this is a capabilities symbol. * Note, that this identification only provides * information regarding the symbol that is * visible from elfdump(1) -y. The association * of a symbol to its capabilities is derived * from a .SUNW_capinfo entry. */ if ((sdp->sd_flags & FLG_SY_CAP) && ofl->ofl_oscapinfo) { syminfo[ndx].si_flags |= SYMINFO_FLG_CAP; } } } /* * Note that the `sym' value is reset to be one of the new * symbol table entries. This symbol will be updated further * depending on the type of the symbol. Process the .symtab * first, followed by the .dynsym, thus the `sym' value will * remain as the .dynsym value when the .dynsym is present. * This ensures that any versioning symbols st_name value will * be appropriate for the string table used by version * entries. */ if (enter_in_symtab) { Word _symndx; if (local) _symndx = scopesym_ndx; else _symndx = symtab_ndx; symtab[_symndx] = *sdp->sd_sym; sdp->sd_sym = sym = &symtab[_symndx]; (void) st_setstring(strtab, name, &stoff); sym->st_name = stoff; } if (dynlocal) { ldynsym[ldynscopesym_ndx] = *sdp->sd_sym; sdp->sd_sym = sym = &ldynsym[ldynscopesym_ndx]; (void) st_setstring(dynstr, name, &stoff); ldynsym[ldynscopesym_ndx].st_name = stoff; /* Add it to sort section if it qualifies */ ADD_TO_DYNSORT(sdp, sym, ELF_ST_TYPE(sym->st_info), ldynscopesym_ndx); } if (dynsym && !local) { dynsym[dynsym_ndx] = *sdp->sd_sym; /* * Provided this isn't an unnamed register symbol, * update the symbols name and hash value. */ if (((sdp->sd_flags & FLG_SY_REGSYM) == 0) || dynsym[dynsym_ndx].st_name) { (void) st_setstring(dynstr, name, &stoff); dynsym[dynsym_ndx].st_name = stoff; if (stoff) { Word hashval, _hashndx; hashval = sap->sa_hash % ofl->ofl_hashbkts; /* LINTED */ if (_hashndx = hashbkt[hashval]) { while (hashchain[_hashndx]) { _hashndx = hashchain[_hashndx]; } hashchain[_hashndx] = sdp->sd_symndx; } else { hashbkt[hashval] = sdp->sd_symndx; } } } sdp->sd_sym = sym = &dynsym[dynsym_ndx]; /* * Add it to sort section if it qualifies. * The indexes in that section are relative to the * the adjacent SUNW_ldynsym/dymsym pair, so we * add the number of items in SUNW_ldynsym to the * dynsym index. */ ADD_TO_DYNSORT(sdp, sym, ELF_ST_TYPE(sym->st_info), ldynsym_cnt + dynsym_ndx); } if (!enter_in_symtab && (!dynsym || (local && !dynlocal))) { if (!(sdp->sd_flags & FLG_SY_UPREQD)) continue; sym = sdp->sd_sym; } else sdp->sd_flags &= ~FLG_SY_CLEAN; /* * If we have a weak data symbol for which we need the real * symbol also, save this processing until later. * * The exception to this is if the weak/strong have PLT's * assigned to them. In that case we don't do the post-weak * processing because the PLT's must be maintained so that we * can do 'interpositioning' on both of the symbols. */ if ((sap->sa_linkndx) && (ELF_ST_BIND(sym->st_info) == STB_WEAK) && (!sap->sa_PLTndx)) { Sym_desc *_sdp; _sdp = sdp->sd_file->ifl_oldndx[sap->sa_linkndx]; if (_sdp->sd_ref != REF_DYN_SEEN) { Wk_desc wk; if (enter_in_symtab) { if (local) { wk.wk_symtab = &symtab[scopesym_ndx]; scopesym_ndx++; } else { wk.wk_symtab = &symtab[symtab_ndx]; symtab_ndx++; } } else { wk.wk_symtab = NULL; } if (dynsym) { if (!local) { wk.wk_dynsym = &dynsym[dynsym_ndx]; dynsym_ndx++; } else if (dynlocal) { wk.wk_dynsym = &ldynsym[ldynscopesym_ndx]; ldynscopesym_ndx++; } } else { wk.wk_dynsym = NULL; } wk.wk_weak = sdp; wk.wk_alias = _sdp; if (alist_append(&weak, &wk, sizeof (Wk_desc), AL_CNT_WEAK) == NULL) return ((Addr)S_ERROR); continue; } } DBG_CALL(Dbg_syms_old(ofl, sdp)); spec = NULL; /* * assign new symbol value. */ sectndx = sdp->sd_shndx; if (sectndx == SHN_UNDEF) { if (((sdp->sd_flags & FLG_SY_REGSYM) == 0) && (sym->st_value != 0)) { eprintf(ofl->ofl_lml, ERR_WARNING, MSG_INTL(MSG_SYM_NOTNULL), demangle(name), sdp->sd_file->ifl_name); } /* * Undefined weak global, if we are generating a static * executable, output as an absolute zero. Otherwise * leave it as is, ld.so.1 will skip symbols of this * type (this technique allows applications and * libraries to test for the existence of a symbol as an * indication of the presence or absence of certain * functionality). */ if (OFL_IS_STATIC_EXEC(ofl) && (ELF_ST_BIND(sym->st_info) == STB_WEAK)) { sdp->sd_flags |= FLG_SY_SPECSEC; sdp->sd_shndx = sectndx = SHN_ABS; } } else if ((sdp->sd_flags & FLG_SY_SPECSEC) && (sectndx == SHN_COMMON)) { /* COMMONs have already been processed */ /* EMPTY */ ; } else { if ((sdp->sd_flags & FLG_SY_SPECSEC) && (sectndx == SHN_ABS)) spec = sdp->sd_aux->sa_symspec; /* LINTED */ if (sdp->sd_flags & FLG_SY_COMMEXP) { /* * This is (or was) a COMMON symbol which was * processed above - no processing * required here. */ ; } else if (sdp->sd_ref == REF_DYN_NEED) { uchar_t type, bind; sectndx = SHN_UNDEF; sym->st_value = 0; sym->st_size = 0; /* * Make sure this undefined symbol is returned * to the same binding as was defined in the * original relocatable object reference. */ type = ELF_ST_TYPE(sym-> st_info); if (sdp->sd_flags & FLG_SY_GLOBREF) bind = STB_GLOBAL; else bind = STB_WEAK; sym->st_info = ELF_ST_INFO(bind, type); } else if (((sdp->sd_flags & FLG_SY_SPECSEC) == 0) && (sdp->sd_ref == REF_REL_NEED)) { osp = sdp->sd_isc->is_osdesc; /* LINTED */ sectndx = elf_ndxscn(osp->os_scn); /* * In an executable, the new symbol value is the * old value (offset into defining section) plus * virtual address of defining section. In a * relocatable, the new value is the old value * plus the displacement of the section within * the file. */ /* LINTED */ sym->st_value += (Off)_elf_getxoff(sdp->sd_isc->is_indata); if (!(flags & FLG_OF_RELOBJ)) { sym->st_value += osp->os_shdr->sh_addr; /* * TLS symbols are relative to * the TLS segment. */ if ((ELF_ST_TYPE(sym->st_info) == STT_TLS) && (ofl->ofl_tlsphdr)) sym->st_value -= ofl->ofl_tlsphdr->p_vaddr; } } } if (spec) { switch (spec) { case SDAUX_ID_ETEXT: sym->st_value = etext; sectndx = etext_ndx; if (etext_abs) sdp->sd_flags |= FLG_SY_SPECSEC; else sdp->sd_flags &= ~FLG_SY_SPECSEC; break; case SDAUX_ID_EDATA: sym->st_value = edata; sectndx = edata_ndx; if (edata_abs) sdp->sd_flags |= FLG_SY_SPECSEC; else sdp->sd_flags &= ~FLG_SY_SPECSEC; break; case SDAUX_ID_END: sym->st_value = end; sectndx = end_ndx; if (end_abs) sdp->sd_flags |= FLG_SY_SPECSEC; else sdp->sd_flags &= ~FLG_SY_SPECSEC; break; case SDAUX_ID_START: sym->st_value = start; sectndx = start_ndx; sdp->sd_flags &= ~FLG_SY_SPECSEC; break; case SDAUX_ID_DYN: if (flags & FLG_OF_DYNAMIC) { sym->st_value = ofl-> ofl_osdynamic->os_shdr->sh_addr; /* LINTED */ sectndx = elf_ndxscn( ofl->ofl_osdynamic->os_scn); sdp->sd_flags &= ~FLG_SY_SPECSEC; } break; case SDAUX_ID_PLT: if (ofl->ofl_osplt) { sym->st_value = ofl-> ofl_osplt->os_shdr->sh_addr; /* LINTED */ sectndx = elf_ndxscn( ofl->ofl_osplt->os_scn); sdp->sd_flags &= ~FLG_SY_SPECSEC; } break; case SDAUX_ID_GOT: /* * Symbol bias for negative growing tables is * stored in symbol's value during * allocate_got(). */ sym->st_value += ofl-> ofl_osgot->os_shdr->sh_addr; /* LINTED */ sectndx = elf_ndxscn(ofl-> ofl_osgot->os_scn); sdp->sd_flags &= ~FLG_SY_SPECSEC; break; default: /* NOTHING */ ; } } /* * If a plt index has been assigned to an undefined function, * update the symbols value to the appropriate .plt address. */ if ((flags & FLG_OF_DYNAMIC) && (flags & FLG_OF_EXEC) && (sdp->sd_file) && (sdp->sd_file->ifl_ehdr->e_type == ET_DYN) && (ELF_ST_TYPE(sym->st_info) == STT_FUNC) && !(flags & FLG_OF_BFLAG)) { if (sap->sa_PLTndx) sym->st_value = (*ld_targ.t_mr.mr_calc_plt_addr)(sdp, ofl); } /* * Finish updating the symbols. */ /* * Sym Update: if scoped local - set local binding */ if (local) sym->st_info = ELF_ST_INFO(STB_LOCAL, ELF_ST_TYPE(sym->st_info)); /* * Sym Updated: If both the .symtab and .dynsym * are present then we've actually updated the information in * the .dynsym, therefore copy this same information to the * .symtab entry. */ sdp->sd_shndx = sectndx; if (enter_in_symtab && dynsym && (!local || dynlocal)) { Word _symndx = dynlocal ? scopesym_ndx : symtab_ndx; symtab[_symndx].st_value = sym->st_value; symtab[_symndx].st_size = sym->st_size; symtab[_symndx].st_info = sym->st_info; symtab[_symndx].st_other = sym->st_other; } if (enter_in_symtab) { Word _symndx; if (local) _symndx = scopesym_ndx++; else _symndx = symtab_ndx++; if (((sdp->sd_flags & FLG_SY_SPECSEC) == 0) && (sectndx >= SHN_LORESERVE)) { assert(symshndx != NULL); symshndx[_symndx] = sectndx; symtab[_symndx].st_shndx = SHN_XINDEX; } else { /* LINTED */ symtab[_symndx].st_shndx = (Half)sectndx; } } if (dynsym && (!local || dynlocal)) { /* * dynsym and ldynsym are distinct tables, so * we use indirection to access the right one * and the related extended section index array. */ Word _symndx; Sym *_dynsym; Word *_dynshndx; if (!local) { _symndx = dynsym_ndx++; _dynsym = dynsym; _dynshndx = dynshndx; } else { _symndx = ldynscopesym_ndx++; _dynsym = ldynsym; _dynshndx = ldynshndx; } if (((sdp->sd_flags & FLG_SY_SPECSEC) == 0) && (sectndx >= SHN_LORESERVE)) { assert(_dynshndx != NULL); _dynshndx[_symndx] = sectndx; _dynsym[_symndx].st_shndx = SHN_XINDEX; } else { /* LINTED */ _dynsym[_symndx].st_shndx = (Half)sectndx; } } DBG_CALL(Dbg_syms_new(ofl, sym, sdp)); } /* * Now that all the symbols have been processed update any weak symbols * information (ie. copy all information except `st_name'). As both * symbols will be represented in the output, return the weak symbol to * its correct type. */ for (ALIST_TRAVERSE(weak, idx1, wkp)) { Sym_desc *sdp, *_sdp; Sym *sym, *_sym, *__sym; uchar_t bind; sdp = wkp->wk_weak; _sdp = wkp->wk_alias; _sym = __sym = _sdp->sd_sym; sdp->sd_flags |= FLG_SY_WEAKDEF; /* * If the symbol definition has been scoped then assign it to * be local, otherwise if it's from a shared object then we need * to maintain the binding of the original reference. */ if (SYM_IS_HIDDEN(sdp)) { if (flags & FLG_OF_PROCRED) bind = STB_LOCAL; else bind = STB_WEAK; } else if ((sdp->sd_ref == REF_DYN_NEED) && (sdp->sd_flags & FLG_SY_GLOBREF)) bind = STB_GLOBAL; else bind = STB_WEAK; DBG_CALL(Dbg_syms_old(ofl, sdp)); if ((sym = wkp->wk_symtab) != NULL) { sym->st_value = _sym->st_value; sym->st_size = _sym->st_size; sym->st_other = _sym->st_other; sym->st_shndx = _sym->st_shndx; sym->st_info = ELF_ST_INFO(bind, ELF_ST_TYPE(sym->st_info)); __sym = sym; } if ((sym = wkp->wk_dynsym) != NULL) { sym->st_value = _sym->st_value; sym->st_size = _sym->st_size; sym->st_other = _sym->st_other; sym->st_shndx = _sym->st_shndx; sym->st_info = ELF_ST_INFO(bind, ELF_ST_TYPE(sym->st_info)); __sym = sym; } DBG_CALL(Dbg_syms_new(ofl, __sym, sdp)); } /* * Now display GOT debugging information if required. */ DBG_CALL(Dbg_got_display(ofl, 0, 0, ld_targ.t_m.m_got_xnumber, ld_targ.t_m.m_got_entsize)); /* * Update the section headers information. sh_info is * supposed to contain the offset at which the first * global symbol resides in the symbol table, while * sh_link contains the section index of the associated * string table. */ if (symtab) { Shdr *shdr = ofl->ofl_ossymtab->os_shdr; shdr->sh_info = symtab_gbl_bndx; /* LINTED */ shdr->sh_link = (Word)elf_ndxscn(ofl->ofl_osstrtab->os_scn); if (symshndx) ofl->ofl_ossymshndx->os_shdr->sh_link = (Word)elf_ndxscn(ofl->ofl_ossymtab->os_scn); /* * Ensure that the expected number of symbols * were entered into the right spots: * - Scoped symbols in the right range * - Globals start at the right spot * (correct number of locals entered) * - The table is exactly filled * (correct number of globals entered) */ assert((scopesym_bndx + ofl->ofl_scopecnt) == scopesym_ndx); assert(shdr->sh_info == SYMTAB_LOC_CNT(ofl)); assert((shdr->sh_info + ofl->ofl_globcnt) == symtab_ndx); } if (dynsym) { Shdr *shdr = ofl->ofl_osdynsym->os_shdr; shdr->sh_info = DYNSYM_LOC_CNT(ofl); /* LINTED */ shdr->sh_link = (Word)elf_ndxscn(ofl->ofl_osdynstr->os_scn); ofl->ofl_oshash->os_shdr->sh_link = /* LINTED */ (Word)elf_ndxscn(ofl->ofl_osdynsym->os_scn); if (dynshndx) { shdr = ofl->ofl_osdynshndx->os_shdr; shdr->sh_link = (Word)elf_ndxscn(ofl->ofl_osdynsym->os_scn); } } if (ldynsym) { Shdr *shdr = ofl->ofl_osldynsym->os_shdr; /* ldynsym has no globals, so give index one past the end */ shdr->sh_info = ldynsym_ndx; /* * The ldynsym and dynsym must be adjacent. The * idea is that rtld should be able to start with * the ldynsym and march straight through the end * of dynsym, seeing them as a single symbol table, * despite the fact that they are in distinct sections. * Ensure that this happened correctly. * * Note that I use ldynsym_ndx here instead of the * computation I used to set the section size * (found in ldynsym_cnt). The two will agree, unless * we somehow miscounted symbols or failed to insert them * all. Using ldynsym_ndx here catches that error in * addition to checking for adjacency. */ assert(dynsym == (ldynsym + ldynsym_ndx)); /* LINTED */ shdr->sh_link = (Word)elf_ndxscn(ofl->ofl_osdynstr->os_scn); if (ldynshndx) { shdr = ofl->ofl_osldynshndx->os_shdr; shdr->sh_link = (Word)elf_ndxscn(ofl->ofl_osldynsym->os_scn); } /* * The presence of .SUNW_ldynsym means that there may be * associated sort sections, one for regular symbols * and the other for TLS. Each sort section needs the * following done: * - Section header link references .SUNW_ldynsym * - Should have received the expected # of items * - Sorted by increasing address */ if (ofl->ofl_osdynsymsort) { /* .SUNW_dynsymsort */ ofl->ofl_osdynsymsort->os_shdr->sh_link = (Word)elf_ndxscn(ofl->ofl_osldynsym->os_scn); assert(ofl->ofl_dynsymsortcnt == dynsymsort_ndx); if (dynsymsort_ndx > 1) { dynsort_compare_syms = ldynsym; qsort(dynsymsort, dynsymsort_ndx, sizeof (*dynsymsort), dynsort_compare); dynsort_dupwarn(ofl, ldynsym, st_getstrbuf(dynstr), dynsymsort, dynsymsort_ndx, MSG_ORIG(MSG_SCN_DYNSYMSORT)); } } if (ofl->ofl_osdyntlssort) { /* .SUNW_dyntlssort */ ofl->ofl_osdyntlssort->os_shdr->sh_link = (Word)elf_ndxscn(ofl->ofl_osldynsym->os_scn); assert(ofl->ofl_dyntlssortcnt == dyntlssort_ndx); if (dyntlssort_ndx > 1) { dynsort_compare_syms = ldynsym; qsort(dyntlssort, dyntlssort_ndx, sizeof (*dyntlssort), dynsort_compare); dynsort_dupwarn(ofl, ldynsym, st_getstrbuf(dynstr), dyntlssort, dyntlssort_ndx, MSG_ORIG(MSG_SCN_DYNTLSSORT)); } } } /* * Used by ld.so.1 only. */ return (etext); #undef ADD_TO_DYNSORT } /* * Build the dynamic section. * * This routine must be maintained in parallel with make_dynamic() * in sections.c */ static int update_odynamic(Ofl_desc *ofl) { Aliste idx; Ifl_desc *ifl; Sym_desc *sdp; Shdr *shdr; Dyn *_dyn = (Dyn *)ofl->ofl_osdynamic->os_outdata->d_buf; Dyn *dyn; Os_desc *symosp, *strosp; Str_tbl *strtbl; size_t stoff; ofl_flag_t flags = ofl->ofl_flags; int not_relobj = !(flags & FLG_OF_RELOBJ); Word cnt; /* * Relocatable objects can be built with -r and -dy to trigger the * creation of a .dynamic section. This model is used to create kernel * device drivers. The .dynamic section provides a subset of userland * .dynamic entries, typically entries such as DT_NEEDED and DT_RUNPATH. * * Within a dynamic object, any .dynamic string references are to the * .dynstr table. Within a relocatable object, these strings can reside * within the .strtab. */ if (OFL_IS_STATIC_OBJ(ofl)) { symosp = ofl->ofl_ossymtab; strosp = ofl->ofl_osstrtab; strtbl = ofl->ofl_strtab; } else { symosp = ofl->ofl_osdynsym; strosp = ofl->ofl_osdynstr; strtbl = ofl->ofl_dynstrtab; } /* LINTED */ ofl->ofl_osdynamic->os_shdr->sh_link = (Word)elf_ndxscn(strosp->os_scn); dyn = _dyn; for (APLIST_TRAVERSE(ofl->ofl_sos, idx, ifl)) { if ((ifl->ifl_flags & (FLG_IF_IGNORE | FLG_IF_DEPREQD)) == FLG_IF_IGNORE) continue; /* * Create and set up the DT_POSFLAG_1 entry here if required. */ if ((ifl->ifl_flags & (FLG_IF_LAZYLD|FLG_IF_GRPPRM)) && (ifl->ifl_flags & (FLG_IF_NEEDED)) && not_relobj) { dyn->d_tag = DT_POSFLAG_1; if (ifl->ifl_flags & FLG_IF_LAZYLD) dyn->d_un.d_val = DF_P1_LAZYLOAD; if (ifl->ifl_flags & FLG_IF_GRPPRM) dyn->d_un.d_val |= DF_P1_GROUPPERM; dyn++; } if (ifl->ifl_flags & (FLG_IF_NEEDED | FLG_IF_NEEDSTR)) dyn->d_tag = DT_NEEDED; else continue; (void) st_setstring(strtbl, ifl->ifl_soname, &stoff); dyn->d_un.d_val = stoff; /* LINTED */ ifl->ifl_neededndx = (Half)(((uintptr_t)dyn - (uintptr_t)_dyn) / sizeof (Dyn)); dyn++; } if (not_relobj) { if (ofl->ofl_dtsfltrs != NULL) { Dfltr_desc *dftp; for (ALIST_TRAVERSE(ofl->ofl_dtsfltrs, idx, dftp)) { if (dftp->dft_flag == FLG_SY_AUXFLTR) dyn->d_tag = DT_SUNW_AUXILIARY; else dyn->d_tag = DT_SUNW_FILTER; (void) st_setstring(strtbl, dftp->dft_str, &stoff); dyn->d_un.d_val = stoff; dftp->dft_ndx = (Half)(((uintptr_t)dyn - (uintptr_t)_dyn) / sizeof (Dyn)); dyn++; } } if (((sdp = ld_sym_find(MSG_ORIG(MSG_SYM_INIT_U), SYM_NOHASH, 0, ofl)) != NULL) && (sdp->sd_ref == REF_REL_NEED) && (sdp->sd_sym->st_shndx != SHN_UNDEF)) { dyn->d_tag = DT_INIT; dyn->d_un.d_ptr = sdp->sd_sym->st_value; dyn++; } if (((sdp = ld_sym_find(MSG_ORIG(MSG_SYM_FINI_U), SYM_NOHASH, 0, ofl)) != NULL) && (sdp->sd_ref == REF_REL_NEED) && (sdp->sd_sym->st_shndx != SHN_UNDEF)) { dyn->d_tag = DT_FINI; dyn->d_un.d_ptr = sdp->sd_sym->st_value; dyn++; } if (ofl->ofl_soname) { dyn->d_tag = DT_SONAME; (void) st_setstring(strtbl, ofl->ofl_soname, &stoff); dyn->d_un.d_val = stoff; dyn++; } if (ofl->ofl_filtees) { if (flags & FLG_OF_AUX) { dyn->d_tag = DT_AUXILIARY; } else { dyn->d_tag = DT_FILTER; } (void) st_setstring(strtbl, ofl->ofl_filtees, &stoff); dyn->d_un.d_val = stoff; dyn++; } } if (ofl->ofl_rpath) { (void) st_setstring(strtbl, ofl->ofl_rpath, &stoff); dyn->d_tag = DT_RUNPATH; dyn->d_un.d_val = stoff; dyn++; dyn->d_tag = DT_RPATH; dyn->d_un.d_val = stoff; dyn++; } if (not_relobj) { Aliste idx; if (ofl->ofl_config) { dyn->d_tag = DT_CONFIG; (void) st_setstring(strtbl, ofl->ofl_config, &stoff); dyn->d_un.d_val = stoff; dyn++; } if (ofl->ofl_depaudit) { dyn->d_tag = DT_DEPAUDIT; (void) st_setstring(strtbl, ofl->ofl_depaudit, &stoff); dyn->d_un.d_val = stoff; dyn++; } if (ofl->ofl_audit) { dyn->d_tag = DT_AUDIT; (void) st_setstring(strtbl, ofl->ofl_audit, &stoff); dyn->d_un.d_val = stoff; dyn++; } dyn->d_tag = DT_HASH; dyn->d_un.d_ptr = ofl->ofl_oshash->os_shdr->sh_addr; dyn++; shdr = strosp->os_shdr; dyn->d_tag = DT_STRTAB; dyn->d_un.d_ptr = shdr->sh_addr; dyn++; dyn->d_tag = DT_STRSZ; dyn->d_un.d_ptr = shdr->sh_size; dyn++; /* * Note, the shdr is set and used in the ofl->ofl_osldynsym case * that follows. */ shdr = symosp->os_shdr; dyn->d_tag = DT_SYMTAB; dyn->d_un.d_ptr = shdr->sh_addr; dyn++; dyn->d_tag = DT_SYMENT; dyn->d_un.d_ptr = shdr->sh_entsize; dyn++; if (ofl->ofl_osldynsym) { Shdr *lshdr = ofl->ofl_osldynsym->os_shdr; /* * We have arranged for the .SUNW_ldynsym data to be * immediately in front of the .dynsym data. * This means that you could start at the top * of .SUNW_ldynsym and see the data for both tables * without a break. This is the view we want to * provide for DT_SUNW_SYMTAB, which is why we * add the lengths together. */ dyn->d_tag = DT_SUNW_SYMTAB; dyn->d_un.d_ptr = lshdr->sh_addr; dyn++; dyn->d_tag = DT_SUNW_SYMSZ; dyn->d_un.d_val = lshdr->sh_size + shdr->sh_size; dyn++; } if (ofl->ofl_osdynsymsort || ofl->ofl_osdyntlssort) { dyn->d_tag = DT_SUNW_SORTENT; dyn->d_un.d_val = sizeof (Word); dyn++; } if (ofl->ofl_osdynsymsort) { shdr = ofl->ofl_osdynsymsort->os_shdr; dyn->d_tag = DT_SUNW_SYMSORT; dyn->d_un.d_ptr = shdr->sh_addr; dyn++; dyn->d_tag = DT_SUNW_SYMSORTSZ; dyn->d_un.d_val = shdr->sh_size; dyn++; } if (ofl->ofl_osdyntlssort) { shdr = ofl->ofl_osdyntlssort->os_shdr; dyn->d_tag = DT_SUNW_TLSSORT; dyn->d_un.d_ptr = shdr->sh_addr; dyn++; dyn->d_tag = DT_SUNW_TLSSORTSZ; dyn->d_un.d_val = shdr->sh_size; dyn++; } /* * Reserve the DT_CHECKSUM entry. Its value will be filled in * after the complete image is built. */ dyn->d_tag = DT_CHECKSUM; ofl->ofl_checksum = &dyn->d_un.d_val; dyn++; /* * Versioning sections: DT_VERDEF and DT_VERNEED. * * The Solaris ld does not produce DT_VERSYM, but the GNU ld * does, in order to support their style of versioning, which * differs from ours: * * - The top bit of the 16-bit Versym index is * not part of the version, but is interpreted * as a "hidden bit". * * - External (SHN_UNDEF) symbols can have non-zero * Versym values, which specify versions in * referenced objects, via the Verneed section. * * - The vna_other field of the Vernaux structures * found in the Verneed section are not zero as * with Solaris, but instead contain the version * index to be used by Versym indices to reference * the given external version. * * The Solaris ld, rtld, and elfdump programs all interpret the * presence of DT_VERSYM as meaning that GNU versioning rules * apply to the given file. If DT_VERSYM is not present, * then Solaris versioning rules apply. If we should ever need * to change our ld so that it does issue DT_VERSYM, then * this rule for detecting GNU versioning will no longer work. * In that case, we will have to invent a way to explicitly * specify the style of versioning in use, perhaps via a * new dynamic entry named something like DT_SUNW_VERSIONSTYLE, * where the d_un.d_val value specifies which style is to be * used. */ if ((flags & (FLG_OF_VERDEF | FLG_OF_NOVERSEC)) == FLG_OF_VERDEF) { shdr = ofl->ofl_osverdef->os_shdr; dyn->d_tag = DT_VERDEF; dyn->d_un.d_ptr = shdr->sh_addr; dyn++; dyn->d_tag = DT_VERDEFNUM; dyn->d_un.d_ptr = shdr->sh_info; dyn++; } if ((flags & (FLG_OF_VERNEED | FLG_OF_NOVERSEC)) == FLG_OF_VERNEED) { shdr = ofl->ofl_osverneed->os_shdr; dyn->d_tag = DT_VERNEED; dyn->d_un.d_ptr = shdr->sh_addr; dyn++; dyn->d_tag = DT_VERNEEDNUM; dyn->d_un.d_ptr = shdr->sh_info; dyn++; } if ((flags & FLG_OF_COMREL) && ofl->ofl_relocrelcnt) { dyn->d_tag = ld_targ.t_m.m_rel_dt_count; dyn->d_un.d_val = ofl->ofl_relocrelcnt; dyn++; } if (flags & FLG_OF_TEXTREL) { /* * Only the presence of this entry is used in this * implementation, not the value stored. */ dyn->d_tag = DT_TEXTREL; dyn->d_un.d_val = 0; dyn++; } if (ofl->ofl_osfiniarray) { shdr = ofl->ofl_osfiniarray->os_shdr; dyn->d_tag = DT_FINI_ARRAY; dyn->d_un.d_ptr = shdr->sh_addr; dyn++; dyn->d_tag = DT_FINI_ARRAYSZ; dyn->d_un.d_val = shdr->sh_size; dyn++; } if (ofl->ofl_osinitarray) { shdr = ofl->ofl_osinitarray->os_shdr; dyn->d_tag = DT_INIT_ARRAY; dyn->d_un.d_ptr = shdr->sh_addr; dyn++; dyn->d_tag = DT_INIT_ARRAYSZ; dyn->d_un.d_val = shdr->sh_size; dyn++; } if (ofl->ofl_ospreinitarray) { shdr = ofl->ofl_ospreinitarray->os_shdr; dyn->d_tag = DT_PREINIT_ARRAY; dyn->d_un.d_ptr = shdr->sh_addr; dyn++; dyn->d_tag = DT_PREINIT_ARRAYSZ; dyn->d_un.d_val = shdr->sh_size; dyn++; } if (ofl->ofl_pltcnt) { shdr = ofl->ofl_osplt->os_relosdesc->os_shdr; dyn->d_tag = DT_PLTRELSZ; dyn->d_un.d_ptr = shdr->sh_size; dyn++; dyn->d_tag = DT_PLTREL; dyn->d_un.d_ptr = ld_targ.t_m.m_rel_dt_type; dyn++; dyn->d_tag = DT_JMPREL; dyn->d_un.d_ptr = shdr->sh_addr; dyn++; } if (ofl->ofl_pltpad) { shdr = ofl->ofl_osplt->os_shdr; dyn->d_tag = DT_PLTPAD; if (ofl->ofl_pltcnt) { dyn->d_un.d_ptr = shdr->sh_addr + ld_targ.t_m.m_plt_reservsz + ofl->ofl_pltcnt * ld_targ.t_m.m_plt_entsize; } else dyn->d_un.d_ptr = shdr->sh_addr; dyn++; dyn->d_tag = DT_PLTPADSZ; dyn->d_un.d_val = ofl->ofl_pltpad * ld_targ.t_m.m_plt_entsize; dyn++; } if (ofl->ofl_relocsz) { shdr = ofl->ofl_osrelhead->os_shdr; dyn->d_tag = ld_targ.t_m.m_rel_dt_type; dyn->d_un.d_ptr = shdr->sh_addr; dyn++; dyn->d_tag = ld_targ.t_m.m_rel_dt_size; dyn->d_un.d_ptr = ofl->ofl_relocsz; dyn++; dyn->d_tag = ld_targ.t_m.m_rel_dt_ent; if (shdr->sh_type == SHT_REL) dyn->d_un.d_ptr = sizeof (Rel); else dyn->d_un.d_ptr = sizeof (Rela); dyn++; } if (ofl->ofl_ossyminfo) { shdr = ofl->ofl_ossyminfo->os_shdr; dyn->d_tag = DT_SYMINFO; dyn->d_un.d_ptr = shdr->sh_addr; dyn++; dyn->d_tag = DT_SYMINSZ; dyn->d_un.d_val = shdr->sh_size; dyn++; dyn->d_tag = DT_SYMINENT; dyn->d_un.d_val = sizeof (Syminfo); dyn++; } if (ofl->ofl_osmove) { shdr = ofl->ofl_osmove->os_shdr; dyn->d_tag = DT_MOVETAB; dyn->d_un.d_val = shdr->sh_addr; dyn++; dyn->d_tag = DT_MOVESZ; dyn->d_un.d_val = shdr->sh_size; dyn++; dyn->d_tag = DT_MOVEENT; dyn->d_un.d_val = shdr->sh_entsize; dyn++; } if (ofl->ofl_regsymcnt) { int ndx; for (ndx = 0; ndx < ofl->ofl_regsymsno; ndx++) { if ((sdp = ofl->ofl_regsyms[ndx]) == NULL) continue; dyn->d_tag = ld_targ.t_m.m_dt_register; dyn->d_un.d_val = sdp->sd_symndx; dyn++; } } for (APLIST_TRAVERSE(ofl->ofl_rtldinfo, idx, sdp)) { dyn->d_tag = DT_SUNW_RTLDINF; dyn->d_un.d_ptr = sdp->sd_sym->st_value; dyn++; } if (ofl->ofl_osdynamic->os_sgdesc && (ofl->ofl_osdynamic->os_sgdesc->sg_phdr.p_flags & PF_W)) { if (ofl->ofl_osinterp) { dyn->d_tag = DT_DEBUG; dyn->d_un.d_ptr = 0; dyn++; } dyn->d_tag = DT_FEATURE_1; if (ofl->ofl_osmove) dyn->d_un.d_val = 0; else dyn->d_un.d_val = DTF_1_PARINIT; dyn++; } if (ofl->ofl_oscap) { dyn->d_tag = DT_SUNW_CAP; dyn->d_un.d_val = ofl->ofl_oscap->os_shdr->sh_addr; dyn++; } if (ofl->ofl_oscapinfo) { dyn->d_tag = DT_SUNW_CAPINFO; dyn->d_un.d_val = ofl->ofl_oscapinfo->os_shdr->sh_addr; dyn++; } if (ofl->ofl_oscapchain) { shdr = ofl->ofl_oscapchain->os_shdr; dyn->d_tag = DT_SUNW_CAPCHAIN; dyn->d_un.d_val = shdr->sh_addr; dyn++; dyn->d_tag = DT_SUNW_CAPCHAINSZ; dyn->d_un.d_val = shdr->sh_size; dyn++; dyn->d_tag = DT_SUNW_CAPCHAINENT; dyn->d_un.d_val = shdr->sh_entsize; dyn++; } if (flags & FLG_OF_SYMBOLIC) { dyn->d_tag = DT_SYMBOLIC; dyn->d_un.d_val = 0; dyn++; } } dyn->d_tag = DT_FLAGS; dyn->d_un.d_val = ofl->ofl_dtflags; dyn++; /* * If -Bdirect was specified, but some NODIRECT symbols were specified * via a mapfile, or -znodirect was used on the command line, then * clear the DF_1_DIRECT flag. The resultant object will use per-symbol * direct bindings rather than be enabled for global direct bindings. * * If any no-direct bindings exist within this object, set the * DF_1_NODIRECT flag. ld(1) recognizes this flag when processing * dependencies, and performs extra work to ensure that no direct * bindings are established to the no-direct symbols that exist * within these dependencies. */ if (ofl->ofl_flags1 & FLG_OF1_NGLBDIR) ofl->ofl_dtflags_1 &= ~DF_1_DIRECT; if (ofl->ofl_flags1 & FLG_OF1_NDIRECT) ofl->ofl_dtflags_1 |= DF_1_NODIRECT; dyn->d_tag = DT_FLAGS_1; dyn->d_un.d_val = ofl->ofl_dtflags_1; dyn++; dyn->d_tag = DT_SUNW_STRPAD; dyn->d_un.d_val = DYNSTR_EXTRA_PAD; dyn++; dyn->d_tag = DT_SUNW_LDMACH; dyn->d_un.d_val = ld_sunw_ldmach(); dyn++; (*ld_targ.t_mr.mr_mach_update_odynamic)(ofl, &dyn); for (cnt = 1 + DYNAMIC_EXTRA_ELTS; cnt--; dyn++) { dyn->d_tag = DT_NULL; dyn->d_un.d_val = 0; } /* * Ensure that we wrote the right number of entries. If not, we either * miscounted in make_dynamic(), or we did something wrong in this * function. */ assert((ofl->ofl_osdynamic->os_shdr->sh_size / ofl->ofl_osdynamic->os_shdr->sh_entsize) == ((uintptr_t)dyn - (uintptr_t)_dyn) / sizeof (*dyn)); return (1); } /* * Build the version definition section */ static int update_overdef(Ofl_desc *ofl) { Aliste idx1; Ver_desc *vdp, *_vdp; Verdef *vdf, *_vdf; int num = 0; Os_desc *strosp; Str_tbl *strtbl; /* * Determine which string table to use. */ if (OFL_IS_STATIC_OBJ(ofl)) { strtbl = ofl->ofl_strtab; strosp = ofl->ofl_osstrtab; } else { strtbl = ofl->ofl_dynstrtab; strosp = ofl->ofl_osdynstr; } /* * Traverse the version descriptors and update the version structures * to point to the dynstr name in preparation for building the version * section structure. */ for (APLIST_TRAVERSE(ofl->ofl_verdesc, idx1, vdp)) { Sym_desc *sdp; if (vdp->vd_flags & VER_FLG_BASE) { const char *name = vdp->vd_name; size_t stoff; /* * Create a new string table entry to represent the base * version name (there is no corresponding symbol for * this). */ (void) st_setstring(strtbl, name, &stoff); /* LINTED */ vdp->vd_name = (const char *)stoff; } else { sdp = ld_sym_find(vdp->vd_name, vdp->vd_hash, 0, ofl); /* LINTED */ vdp->vd_name = (const char *) (uintptr_t)sdp->sd_sym->st_name; } } _vdf = vdf = (Verdef *)ofl->ofl_osverdef->os_outdata->d_buf; /* * Traverse the version descriptors and update the version section to * reflect each version and its associated dependencies. */ for (APLIST_TRAVERSE(ofl->ofl_verdesc, idx1, vdp)) { Aliste idx2; Half cnt = 1; Verdaux *vdap, *_vdap; _vdap = vdap = (Verdaux *)(vdf + 1); vdf->vd_version = VER_DEF_CURRENT; vdf->vd_flags = vdp->vd_flags & MSK_VER_USER; vdf->vd_ndx = vdp->vd_ndx; vdf->vd_hash = vdp->vd_hash; /* LINTED */ vdap->vda_name = (uintptr_t)vdp->vd_name; vdap++; /* LINTED */ _vdap->vda_next = (Word)((uintptr_t)vdap - (uintptr_t)_vdap); /* * Traverse this versions dependency list generating the * appropriate version dependency entries. */ for (APLIST_TRAVERSE(vdp->vd_deps, idx2, _vdp)) { /* LINTED */ vdap->vda_name = (uintptr_t)_vdp->vd_name; _vdap = vdap; vdap++, cnt++; /* LINTED */ _vdap->vda_next = (Word)((uintptr_t)vdap - (uintptr_t)_vdap); } _vdap->vda_next = 0; /* * Record the versions auxiliary array offset and the associated * dependency count. */ /* LINTED */ vdf->vd_aux = (Word)((uintptr_t)(vdf + 1) - (uintptr_t)vdf); vdf->vd_cnt = cnt; /* * Record the next versions offset and update the version * pointer. Remember the previous version offset as the very * last structures next pointer should be null. */ _vdf = vdf; vdf = (Verdef *)vdap, num++; /* LINTED */ _vdf->vd_next = (Word)((uintptr_t)vdf - (uintptr_t)_vdf); } _vdf->vd_next = 0; /* * Record the string table association with the version definition * section, and the symbol table associated with the version symbol * table (the actual contents of the version symbol table are filled * in during symbol update). */ /* LINTED */ ofl->ofl_osverdef->os_shdr->sh_link = (Word)elf_ndxscn(strosp->os_scn); /* * The version definition sections `info' field is used to indicate the * number of entries in this section. */ ofl->ofl_osverdef->os_shdr->sh_info = num; return (1); } /* * Finish the version symbol index section */ static void update_oversym(Ofl_desc *ofl) { Os_desc *osp; /* * Record the symbol table associated with the version symbol table. * The contents of the version symbol table are filled in during * symbol update. */ if (OFL_IS_STATIC_OBJ(ofl)) osp = ofl->ofl_ossymtab; else osp = ofl->ofl_osdynsym; /* LINTED */ ofl->ofl_osversym->os_shdr->sh_link = (Word)elf_ndxscn(osp->os_scn); } /* * Build the version needed section */ static int update_overneed(Ofl_desc *ofl) { Aliste idx1; Ifl_desc *ifl; Verneed *vnd, *_vnd; Os_desc *strosp; Str_tbl *strtbl; Word num = 0; _vnd = vnd = (Verneed *)ofl->ofl_osverneed->os_outdata->d_buf; /* * Determine which string table is appropriate. */ if (OFL_IS_STATIC_OBJ(ofl)) { strosp = ofl->ofl_osstrtab; strtbl = ofl->ofl_strtab; } else { strosp = ofl->ofl_osdynstr; strtbl = ofl->ofl_dynstrtab; } /* * Traverse the shared object list looking for dependencies that have * versions defined within them. */ for (APLIST_TRAVERSE(ofl->ofl_sos, idx1, ifl)) { Half _cnt; Word cnt = 0; Vernaux *_vnap, *vnap; size_t stoff; if (!(ifl->ifl_flags & FLG_IF_VERNEED)) continue; vnd->vn_version = VER_NEED_CURRENT; (void) st_setstring(strtbl, ifl->ifl_soname, &stoff); vnd->vn_file = stoff; _vnap = vnap = (Vernaux *)(vnd + 1); /* * Traverse the version index list recording * each version as a needed dependency. */ for (_cnt = 0; _cnt <= ifl->ifl_vercnt; _cnt++) { Ver_index *vip = &ifl->ifl_verndx[_cnt]; if (vip->vi_flags & FLG_VER_REFER) { (void) st_setstring(strtbl, vip->vi_name, &stoff); vnap->vna_name = stoff; if (vip->vi_desc) { vnap->vna_hash = vip->vi_desc->vd_hash; vnap->vna_flags = vip->vi_desc->vd_flags; } else { vnap->vna_hash = 0; vnap->vna_flags = 0; } vnap->vna_other = vip->vi_overndx; /* * If version A inherits version B, then * B is implicit in A. It suffices for ld.so.1 * to verify A at runtime and skip B. The * version normalization process sets the INFO * flag for the versions we want ld.so.1 to * skip. */ if (vip->vi_flags & VER_FLG_INFO) vnap->vna_flags |= VER_FLG_INFO; _vnap = vnap; vnap++, cnt++; _vnap->vna_next = /* LINTED */ (Word)((uintptr_t)vnap - (uintptr_t)_vnap); } } _vnap->vna_next = 0; /* * Record the versions auxiliary array offset and * the associated dependency count. */ /* LINTED */ vnd->vn_aux = (Word)((uintptr_t)(vnd + 1) - (uintptr_t)vnd); /* LINTED */ vnd->vn_cnt = (Half)cnt; /* * Record the next versions offset and update the version * pointer. Remember the previous version offset as the very * last structures next pointer should be null. */ _vnd = vnd; vnd = (Verneed *)vnap, num++; /* LINTED */ _vnd->vn_next = (Word)((uintptr_t)vnd - (uintptr_t)_vnd); } _vnd->vn_next = 0; /* * Use sh_link to record the associated string table section, and * sh_info to indicate the number of entries contained in the section. */ /* LINTED */ ofl->ofl_osverneed->os_shdr->sh_link = (Word)elf_ndxscn(strosp->os_scn); ofl->ofl_osverneed->os_shdr->sh_info = num; return (1); } /* * Update syminfo section. */ static uintptr_t update_osyminfo(Ofl_desc *ofl) { Os_desc *symosp, *infosp = ofl->ofl_ossyminfo; Syminfo *sip = infosp->os_outdata->d_buf; Shdr *shdr = infosp->os_shdr; char *strtab; Aliste idx; Sym_desc *sdp; Sfltr_desc *sftp; if (ofl->ofl_flags & FLG_OF_RELOBJ) { symosp = ofl->ofl_ossymtab; strtab = ofl->ofl_osstrtab->os_outdata->d_buf; } else { symosp = ofl->ofl_osdynsym; strtab = ofl->ofl_osdynstr->os_outdata->d_buf; } /* LINTED */ infosp->os_shdr->sh_link = (Word)elf_ndxscn(symosp->os_scn); if (ofl->ofl_osdynamic) infosp->os_shdr->sh_info = /* LINTED */ (Word)elf_ndxscn(ofl->ofl_osdynamic->os_scn); /* * Update any references with the index into the dynamic table. */ for (APLIST_TRAVERSE(ofl->ofl_symdtent, idx, sdp)) sip[sdp->sd_symndx].si_boundto = sdp->sd_file->ifl_neededndx; /* * Update any filtee references with the index into the dynamic table. */ for (ALIST_TRAVERSE(ofl->ofl_symfltrs, idx, sftp)) { Dfltr_desc *dftp; dftp = alist_item(ofl->ofl_dtsfltrs, sftp->sft_idx); sip[sftp->sft_sdp->sd_symndx].si_boundto = dftp->dft_ndx; } /* * Display debugging information about section. */ DBG_CALL(Dbg_syminfo_title(ofl->ofl_lml)); if (DBG_ENABLED) { Word _cnt, cnt = shdr->sh_size / shdr->sh_entsize; Sym *symtab = symosp->os_outdata->d_buf; Dyn *dyn; if (ofl->ofl_osdynamic) dyn = ofl->ofl_osdynamic->os_outdata->d_buf; else dyn = NULL; for (_cnt = 1; _cnt < cnt; _cnt++) { if (sip[_cnt].si_flags || sip[_cnt].si_boundto) /* LINTED */ DBG_CALL(Dbg_syminfo_entry(ofl->ofl_lml, _cnt, &sip[_cnt], &symtab[_cnt], strtab, dyn)); } } return (1); } /* * Build the output elf header. */ static uintptr_t update_oehdr(Ofl_desc * ofl) { Ehdr *ehdr = ofl->ofl_nehdr; /* * If an entry point symbol has already been established (refer * sym_validate()) simply update the elf header entry point with the * symbols value. If no entry point is defined it will have been filled * with the start address of the first section within the text segment * (refer update_outfile()). */ if (ofl->ofl_entry) ehdr->e_entry = ((Sym_desc *)(ofl->ofl_entry))->sd_sym->st_value; /* * Note. it may be necessary to update the `e_flags' field in the * machine dependent section. */ ehdr->e_ident[EI_DATA] = ld_targ.t_m.m_data; ehdr->e_machine = ofl->ofl_dehdr->e_machine; ehdr->e_flags = ofl->ofl_dehdr->e_flags; ehdr->e_version = ofl->ofl_dehdr->e_version; if (ehdr->e_machine != ld_targ.t_m.m_mach) { if (ehdr->e_machine != ld_targ.t_m.m_machplus) return (S_ERROR); if ((ehdr->e_flags & ld_targ.t_m.m_flagsplus) == 0) return (S_ERROR); } if (ofl->ofl_flags & FLG_OF_SHAROBJ) ehdr->e_type = ET_DYN; else if (ofl->ofl_flags & FLG_OF_RELOBJ) ehdr->e_type = ET_REL; else ehdr->e_type = ET_EXEC; return (1); } /* * Perform move table expansion. */ static void expand_move(Ofl_desc *ofl, Sym_desc *sdp, Move *mvp) { Os_desc *osp; uchar_t *taddr, *taddr0; Sxword offset; Half cnt; uint_t stride; osp = ofl->ofl_isparexpn->is_osdesc; offset = sdp->sd_sym->st_value - osp->os_shdr->sh_addr; taddr0 = taddr = osp->os_outdata->d_buf; taddr += offset; taddr = taddr + mvp->m_poffset; for (cnt = 0; cnt < mvp->m_repeat; cnt++) { /* LINTED */ DBG_CALL(Dbg_move_expand(ofl->ofl_lml, mvp, (Addr)(taddr - taddr0))); stride = (uint_t)mvp->m_stride + 1; /* * Update the target address based upon the move entry size. * This size was validated in ld_process_move(). */ /* LINTED */ switch (ELF_M_SIZE(mvp->m_info)) { case 1: /* LINTED */ *taddr = (uchar_t)mvp->m_value; taddr += stride; break; case 2: /* LINTED */ *((Half *)taddr) = (Half)mvp->m_value; taddr += 2 * stride; break; case 4: /* LINTED */ *((Word *)taddr) = (Word)mvp->m_value; taddr += 4 * stride; break; case 8: /* LINTED */ *((u_longlong_t *)taddr) = mvp->m_value; taddr += 8 * stride; break; } } } /* * Update Move sections. */ static void update_move(Ofl_desc *ofl) { Word ndx = 0; ofl_flag_t flags = ofl->ofl_flags; Move *omvp; Aliste idx1; Sym_desc *sdp; /* * Determine the index of the symbol table that will be referenced by * the Move section. */ if (OFL_ALLOW_DYNSYM(ofl)) /* LINTED */ ndx = (Word) elf_ndxscn(ofl->ofl_osdynsym->os_scn); else if (!(flags & FLG_OF_STRIP) || (flags & FLG_OF_RELOBJ)) /* LINTED */ ndx = (Word) elf_ndxscn(ofl->ofl_ossymtab->os_scn); /* * Update sh_link of the Move section, and point to the new Move data. */ if (ofl->ofl_osmove) { ofl->ofl_osmove->os_shdr->sh_link = ndx; omvp = (Move *)ofl->ofl_osmove->os_outdata->d_buf; } /* * Update symbol entry index */ for (APLIST_TRAVERSE(ofl->ofl_parsyms, idx1, sdp)) { Aliste idx2; Mv_desc *mdp; /* * Expand move table */ if (sdp->sd_flags & FLG_SY_PAREXPN) { const char *str; if (flags & FLG_OF_STATIC) str = MSG_INTL(MSG_PSYM_EXPREASON1); else if (ofl->ofl_flags1 & FLG_OF1_NOPARTI) str = MSG_INTL(MSG_PSYM_EXPREASON2); else str = MSG_INTL(MSG_PSYM_EXPREASON3); DBG_CALL(Dbg_move_parexpn(ofl->ofl_lml, sdp->sd_name, str)); for (ALIST_TRAVERSE(sdp->sd_move, idx2, mdp)) { DBG_CALL(Dbg_move_entry1(ofl->ofl_lml, 0, mdp->md_move, sdp)); expand_move(ofl, sdp, mdp->md_move); } continue; } /* * Process move table */ DBG_CALL(Dbg_move_outmove(ofl->ofl_lml, sdp->sd_name)); for (ALIST_TRAVERSE(sdp->sd_move, idx2, mdp)) { Move *imvp; int idx = 1; Sym *sym; imvp = mdp->md_move; sym = sdp->sd_sym; DBG_CALL(Dbg_move_entry1(ofl->ofl_lml, 1, imvp, sdp)); *omvp = *imvp; if ((flags & FLG_OF_RELOBJ) == 0) { if (ELF_ST_BIND(sym->st_info) == STB_LOCAL) { Os_desc *osp = sdp->sd_isc->is_osdesc; Word ndx = osp->os_identndx; omvp->m_info = /* LINTED */ ELF_M_INFO(ndx, imvp->m_info); if (ELF_ST_TYPE(sym->st_info) != STT_SECTION) { omvp->m_poffset = sym->st_value - osp->os_shdr->sh_addr + imvp->m_poffset; } } else { omvp->m_info = /* LINTED */ ELF_M_INFO(sdp->sd_symndx, imvp->m_info); } } else { Boolean isredloc = FALSE; if ((ELF_ST_BIND(sym->st_info) == STB_LOCAL) && (ofl->ofl_flags & FLG_OF_REDLSYM)) isredloc = TRUE; if (isredloc && !(sdp->sd_move)) { Os_desc *osp = sdp->sd_isc->is_osdesc; Word ndx = osp->os_identndx; omvp->m_info = /* LINTED */ ELF_M_INFO(ndx, imvp->m_info); omvp->m_poffset += sym->st_value; } else { if (isredloc) DBG_CALL(Dbg_syms_reduce(ofl, DBG_SYM_REDUCE_RETAIN, sdp, idx, ofl->ofl_osmove->os_name)); omvp->m_info = /* LINTED */ ELF_M_INFO(sdp->sd_symndx, imvp->m_info); } } DBG_CALL(Dbg_move_entry1(ofl->ofl_lml, 0, omvp, sdp)); omvp++; idx++; } } } /* * Scan through the SHT_GROUP output sections. Update their sh_link/sh_info * fields as well as the section contents. */ static uintptr_t update_ogroup(Ofl_desc *ofl) { Aliste idx; Os_desc *osp; uintptr_t error = 0; for (APLIST_TRAVERSE(ofl->ofl_osgroups, idx, osp)) { Is_desc *isp; Ifl_desc *ifl; Shdr *shdr = osp->os_shdr; Sym_desc *sdp; Xword i, grpcnt; Word *gdata; /* * Since input GROUP sections always create unique * output GROUP sections - we know there is only one * item on the list. */ isp = ld_os_first_isdesc(osp); ifl = isp->is_file; sdp = ifl->ifl_oldndx[isp->is_shdr->sh_info]; shdr->sh_link = (Word)elf_ndxscn(ofl->ofl_ossymtab->os_scn); shdr->sh_info = sdp->sd_symndx; /* * Scan through the group data section and update * all of the links to new values. */ grpcnt = shdr->sh_size / shdr->sh_entsize; gdata = (Word *)osp->os_outdata->d_buf; for (i = 1; i < grpcnt; i++) { Os_desc *_osp; Is_desc *_isp = ifl->ifl_isdesc[gdata[i]]; /* * If the referenced section didn't make it to the * output file - just zero out the entry. */ if ((_osp = _isp->is_osdesc) == NULL) gdata[i] = 0; else gdata[i] = (Word)elf_ndxscn(_osp->os_scn); } } return (error); } static void update_ostrtab(Os_desc *osp, Str_tbl *stp, uint_t extra) { Elf_Data *data; if (osp == NULL) return; data = osp->os_outdata; assert(data->d_size == (st_getstrtab_sz(stp) + extra)); (void) st_setstrbuf(stp, data->d_buf, data->d_size - extra); /* If leaving an extra hole at the end, zero it */ if (extra > 0) (void) memset((char *)data->d_buf + data->d_size - extra, 0x0, extra); } /* * Update capabilities information. * * If string table capabilities exist, then the associated string must be * translated into an offset into the string table. */ static void update_oscap(Ofl_desc *ofl) { Os_desc *strosp, *cosp; Cap *cap; Str_tbl *strtbl; Capstr *capstr; size_t stoff; Aliste idx1; /* * Determine which symbol table or string table is appropriate. */ if (OFL_IS_STATIC_OBJ(ofl)) { strosp = ofl->ofl_osstrtab; strtbl = ofl->ofl_strtab; } else { strosp = ofl->ofl_osdynstr; strtbl = ofl->ofl_dynstrtab; } /* * If symbol capabilities exist, set the sh_link field of the .SUNW_cap * section to the .SUNW_capinfo section. */ if (ofl->ofl_oscapinfo) { cosp = ofl->ofl_oscap; cosp->os_shdr->sh_link = (Word)elf_ndxscn(ofl->ofl_oscapinfo->os_scn); } /* * If there are capability strings to process, set the sh_info * field of the .SUNW_cap section to the associated string table, and * proceed to process any CA_SUNW_PLAT entries. */ if ((ofl->ofl_flags & FLG_OF_CAPSTRS) == 0) return; cosp = ofl->ofl_oscap; cosp->os_shdr->sh_info = (Word)elf_ndxscn(strosp->os_scn); cap = ofl->ofl_oscap->os_outdata->d_buf; /* * Determine whether an object capability identifier, or object * machine/platform capabilities exists. */ capstr = &ofl->ofl_ocapset.oc_id; if (capstr->cs_str) { (void) st_setstring(strtbl, capstr->cs_str, &stoff); cap[capstr->cs_ndx].c_un.c_ptr = stoff; } for (ALIST_TRAVERSE(ofl->ofl_ocapset.oc_plat.cl_val, idx1, capstr)) { (void) st_setstring(strtbl, capstr->cs_str, &stoff); cap[capstr->cs_ndx].c_un.c_ptr = stoff; } for (ALIST_TRAVERSE(ofl->ofl_ocapset.oc_mach.cl_val, idx1, capstr)) { (void) st_setstring(strtbl, capstr->cs_str, &stoff); cap[capstr->cs_ndx].c_un.c_ptr = stoff; } /* * Determine any symbol capability identifiers, or machine/platform * capabilities. */ if (ofl->ofl_capgroups) { Cap_group *cgp; for (APLIST_TRAVERSE(ofl->ofl_capgroups, idx1, cgp)) { Objcapset *ocapset = &cgp->cg_set; Aliste idx2; capstr = &ocapset->oc_id; if (capstr->cs_str) { (void) st_setstring(strtbl, capstr->cs_str, &stoff); cap[capstr->cs_ndx].c_un.c_ptr = stoff; } for (ALIST_TRAVERSE(ocapset->oc_plat.cl_val, idx2, capstr)) { (void) st_setstring(strtbl, capstr->cs_str, &stoff); cap[capstr->cs_ndx].c_un.c_ptr = stoff; } for (ALIST_TRAVERSE(ocapset->oc_mach.cl_val, idx2, capstr)) { (void) st_setstring(strtbl, capstr->cs_str, &stoff); cap[capstr->cs_ndx].c_un.c_ptr = stoff; } } } } /* * Update the .SUNW_capinfo, and possibly the .SUNW_capchain sections. */ static void update_oscapinfo(Ofl_desc *ofl) { Os_desc *symosp, *ciosp, *ccosp = NULL; Capinfo *ocapinfo; Capchain *ocapchain; Cap_avlnode *cav; Word chainndx = 0; /* * Determine which symbol table is appropriate. */ if (OFL_IS_STATIC_OBJ(ofl)) symosp = ofl->ofl_ossymtab; else symosp = ofl->ofl_osdynsym; /* * Update the .SUNW_capinfo sh_link to point to the appropriate symbol * table section. If we're creating a dynamic object, the * .SUNW_capinfo sh_info is updated to point to the .SUNW_capchain * section. */ ciosp = ofl->ofl_oscapinfo; ciosp->os_shdr->sh_link = (Word)elf_ndxscn(symosp->os_scn); if (OFL_IS_STATIC_OBJ(ofl) == 0) { ccosp = ofl->ofl_oscapchain; ciosp->os_shdr->sh_info = (Word)elf_ndxscn(ccosp->os_scn); } /* * Establish the data for each section. The first element of each * section defines the section's version number. */ ocapinfo = ciosp->os_outdata->d_buf; ocapinfo[0] = CAPINFO_CURRENT; if (ccosp) { ocapchain = ccosp->os_outdata->d_buf; ocapchain[chainndx++] = CAPCHAIN_CURRENT; } /* * Traverse all capabilities families. Each member has a .SUNW_capinfo * assignment. The .SUNW_capinfo entry differs for relocatable objects * and dynamic objects. * * Relocatable objects: * ELF_C_GROUP ELF_C_SYM * * Family lead: CAPINFO_SUNW_GLOB lead symbol index * Family lead alias: CAPINFO_SUNW_GLOB lead symbol index * Family member: .SUNW_cap index lead symbol index * * Dynamic objects: * ELF_C_GROUP ELF_C_SYM * * Family lead: CAPINFO_SUNW_GLOB .SUNW_capchain index * Family lead alias: CAPINFO_SUNW_GLOB .SUNW_capchain index * Family member: .SUNW_cap index lead symbol index * * The ELF_C_GROUP field identifies a capabilities symbol. Lead * capability symbols, and lead capability aliases are identified by * a CAPINFO_SUNW_GLOB group identifier. For family members, the * ELF_C_GROUP provides an index to the associate capabilities group * (i.e, an index into the SUNW_cap section that defines a group). * * For relocatable objects, the ELF_C_SYM field identifies the lead * capability symbol. For the lead symbol itself, the .SUNW_capinfo * index is the same as the ELF_C_SYM value. For lead alias symbols, * the .SUNW_capinfo index differs from the ELF_C_SYM value. This * differentiation of CAPINFO_SUNW_GLOB symbols allows ld(1) to * identify, and propagate lead alias symbols. For example, the lead * capability symbol memcpy() would have the ELF_C_SYM for memcpy(), * and the lead alias _memcpy() would also have the ELF_C_SYM for * memcpy(). * * For dynamic objects, both a lead capability symbol, and alias symbol * would have a ELF_C_SYM value that represents the same capability * chain index. The capability chain allows ld.so.1 to traverse a * family chain for a given lead symbol, and select the most appropriate * family member. The .SUNW_capchain array contains a series of symbol * indexes for each family member: * * chaincap[n] chaincap[n + 1] chaincap[n + 2] chaincap[n + x] * foo() ndx foo%x() ndx foo%y() ndx 0 * * For family members, the ELF_C_SYM value associates the capability * members with their family lead symbol. This association, although * unused within a dynamic object, allows ld(1) to identify, and * propagate family members when processing relocatable objects. */ for (cav = avl_first(ofl->ofl_capfamilies); cav; cav = AVL_NEXT(ofl->ofl_capfamilies, cav)) { Cap_sym *csp; Aliste idx; Sym_desc *asdp, *lsdp = cav->cn_symavlnode.sav_sdp; if (ccosp) { /* * For a dynamic object, identify this lead symbol, and * point it to the head of a capability chain. Set the * head of the capability chain to the same lead symbol. */ ocapinfo[lsdp->sd_symndx] = ELF_C_INFO(chainndx, CAPINFO_SUNW_GLOB); ocapchain[chainndx] = lsdp->sd_symndx; } else { /* * For a relocatable object, identify this lead symbol, * and set the lead symbol index to itself. */ ocapinfo[lsdp->sd_symndx] = ELF_C_INFO(lsdp->sd_symndx, CAPINFO_SUNW_GLOB); } /* * Gather any lead symbol aliases. */ for (APLIST_TRAVERSE(cav->cn_aliases, idx, asdp)) { if (ccosp) { /* * For a dynamic object, identify this lead * alias symbol, and point it to the same * capability chain index as the lead symbol. */ ocapinfo[asdp->sd_symndx] = ELF_C_INFO(chainndx, CAPINFO_SUNW_GLOB); } else { /* * For a relocatable object, identify this lead * alias symbol, and set the lead symbol index * to the lead symbol. */ ocapinfo[asdp->sd_symndx] = ELF_C_INFO(lsdp->sd_symndx, CAPINFO_SUNW_GLOB); } } chainndx++; /* * Gather the family members. */ for (APLIST_TRAVERSE(cav->cn_members, idx, csp)) { Sym_desc *msdp = csp->cs_sdp; /* * Identify the members capability group, and the lead * symbol of the family this symbol is a member of. */ ocapinfo[msdp->sd_symndx] = ELF_C_INFO(lsdp->sd_symndx, csp->cs_group->cg_ndx); if (ccosp) { /* * For a dynamic object, set the next capability * chain to point to this family member. */ ocapchain[chainndx++] = msdp->sd_symndx; } } /* * Any chain of family members is terminated with a 0 element. */ if (ccosp) ocapchain[chainndx++] = 0; } } /* * Translate the shdr->sh_{link, info} from its input section value to that * of the corresponding shdr->sh_{link, info} output section value. */ static Word translate_link(Ofl_desc *ofl, Os_desc *osp, Word link, const char *msg) { Is_desc *isp; Ifl_desc *ifl; /* * Don't translate the special section numbers. */ if (link >= SHN_LORESERVE) return (link); /* * Does this output section translate back to an input file. If not * then there is no translation to do. In this case we will assume that * if sh_link has a value, it's the right value. */ isp = ld_os_first_isdesc(osp); if ((ifl = isp->is_file) == NULL) return (link); /* * Sanity check to make sure that the sh_{link, info} value * is within range for the input file. */ if (link >= ifl->ifl_shnum) { eprintf(ofl->ofl_lml, ERR_WARNING, msg, ifl->ifl_name, EC_WORD(isp->is_scnndx), isp->is_name, EC_XWORD(link)); return (link); } /* * Follow the link to the input section. */ if ((isp = ifl->ifl_isdesc[link]) == NULL) return (0); if ((osp = isp->is_osdesc) == NULL) return (0); /* LINTED */ return ((Word)elf_ndxscn(osp->os_scn)); } /* * Having created all of the necessary sections, segments, and associated * headers, fill in the program headers and update any other data in the * output image. Some general rules: * * - If an interpreter is required always generate a PT_PHDR entry as * well. It is this entry that triggers the kernel into passing the * interpreter an aux vector instead of just a file descriptor. * * - When generating an image that will be interpreted (ie. a dynamic * executable, a shared object, or a static executable that has been * provided with an interpreter - weird, but possible), make the initial * loadable segment include both the ehdr and phdr[]. Both of these * tables are used by the interpreter therefore it seems more intuitive * to explicitly defined them as part of the mapped image rather than * relying on page rounding by the interpreter to allow their access. * * - When generating a static image that does not require an interpreter * have the first loadable segment indicate the address of the first * .section as the start address (things like /kernel/unix and ufsboot * expect this behavior). */ uintptr_t ld_update_outfile(Ofl_desc *ofl) { Addr size, etext, vaddr; Sg_desc *sgp; Sg_desc *dtracesgp = NULL, *capsgp = NULL, *intpsgp = NULL; Os_desc *osp; int phdrndx = 0, segndx = -1, secndx, intppndx, intpsndx; int dtracepndx, dtracesndx, cappndx, capsndx; Ehdr *ehdr = ofl->ofl_nehdr; Shdr *hshdr; Phdr *_phdr = NULL; Word phdrsz = (ehdr->e_phnum * ehdr->e_phentsize), shscnndx; ofl_flag_t flags = ofl->ofl_flags; Word ehdrsz = ehdr->e_ehsize; Boolean nobits; Off offset; Aliste idx1; /* * Initialize the starting address for the first segment. Executables * have different starting addresses depending upon the target ABI, * where as shared objects have a starting address of 0. If this is * a 64-bit executable that is being constructed to run in a restricted * address space, use an alternative origin that will provide more free * address space for the the eventual process. */ if (ofl->ofl_flags & FLG_OF_EXEC) { #if defined(_ELF64) if (ofl->ofl_ocapset.oc_sf_1.cm_val & SF1_SUNW_ADDR32) vaddr = ld_targ.t_m.m_segm_aorigin; else #endif vaddr = ld_targ.t_m.m_segm_origin; } else vaddr = 0; /* * Loop through the segment descriptors and pick out what we need. */ DBG_CALL(Dbg_seg_title(ofl->ofl_lml)); for (APLIST_TRAVERSE(ofl->ofl_segs, idx1, sgp)) { Phdr *phdr = &(sgp->sg_phdr); Xword p_align; Aliste idx2; Sym_desc *sdp; segndx++; /* * If an interpreter is required generate a PT_INTERP and * PT_PHDR program header entry. The PT_PHDR entry describes * the program header table itself. This information will be * passed via the aux vector to the interpreter (ld.so.1). * The program header array is actually part of the first * loadable segment (and the PT_PHDR entry is the first entry), * therefore its virtual address isn't known until the first * loadable segment is processed. */ if (phdr->p_type == PT_PHDR) { if (ofl->ofl_osinterp) { phdr->p_offset = ehdr->e_phoff; phdr->p_filesz = phdr->p_memsz = phdrsz; DBG_CALL(Dbg_seg_entry(ofl, segndx, sgp)); ofl->ofl_phdr[phdrndx++] = *phdr; } continue; } if (phdr->p_type == PT_INTERP) { if (ofl->ofl_osinterp) { intpsgp = sgp; intpsndx = segndx; intppndx = phdrndx++; } continue; } /* * If we are creating a PT_SUNWDTRACE segment, remember where * the program header is. The header values are assigned after * update_osym() has completed and the symbol table addresses * have been updated. */ if (phdr->p_type == PT_SUNWDTRACE) { if (ofl->ofl_dtracesym && ((flags & FLG_OF_RELOBJ) == 0)) { dtracesgp = sgp; dtracesndx = segndx; dtracepndx = phdrndx++; } continue; } /* * If a hardware/software capabilities section is required, * generate the PT_SUNWCAP header. Note, as this comes before * the first loadable segment, we don't yet know its real * virtual address. This is updated later. */ if (phdr->p_type == PT_SUNWCAP) { if (ofl->ofl_oscap && (ofl->ofl_flags & FLG_OF_PTCAP) && ((flags & FLG_OF_RELOBJ) == 0)) { capsgp = sgp; capsndx = segndx; cappndx = phdrndx++; } continue; } /* * As the dynamic program header occurs after the loadable * headers in the segment descriptor table, all the address * information for the .dynamic output section will have been * figured out by now. */ if (phdr->p_type == PT_DYNAMIC) { if (OFL_ALLOW_DYNSYM(ofl)) { Shdr *shdr = ofl->ofl_osdynamic->os_shdr; phdr->p_vaddr = shdr->sh_addr; phdr->p_offset = shdr->sh_offset; phdr->p_filesz = shdr->sh_size; phdr->p_flags = ld_targ.t_m.m_dataseg_perm; DBG_CALL(Dbg_seg_entry(ofl, segndx, sgp)); ofl->ofl_phdr[phdrndx++] = *phdr; } continue; } /* * As the unwind (.eh_frame_hdr) program header occurs after * the loadable headers in the segment descriptor table, all * the address information for the .eh_frame output section * will have been figured out by now. */ if (phdr->p_type == PT_SUNW_UNWIND) { Shdr *shdr; if (ofl->ofl_unwindhdr == NULL) continue; shdr = ofl->ofl_unwindhdr->os_shdr; phdr->p_flags = PF_R; phdr->p_vaddr = shdr->sh_addr; phdr->p_memsz = shdr->sh_size; phdr->p_filesz = shdr->sh_size; phdr->p_offset = shdr->sh_offset; phdr->p_align = shdr->sh_addralign; phdr->p_paddr = 0; ofl->ofl_phdr[phdrndx++] = *phdr; continue; } /* * The sunwstack program is used to convey non-default * flags for the process stack. Only emit it if it would * change the default. */ if (phdr->p_type == PT_SUNWSTACK) { if (((flags & FLG_OF_RELOBJ) == 0) && ((sgp->sg_flags & FLG_SG_DISABLED) == 0)) ofl->ofl_phdr[phdrndx++] = *phdr; continue; } /* * As the TLS program header occurs after the loadable * headers in the segment descriptor table, all the address * information for the .tls output section will have been * figured out by now. */ if (phdr->p_type == PT_TLS) { Os_desc *tlsosp; Shdr *lastfileshdr = NULL; Shdr *firstshdr = NULL, *lastshdr; Aliste idx; if (ofl->ofl_ostlsseg == NULL) continue; /* * Scan the output sections that have contributed TLS. * Remember the first and last so as to determine the * TLS memory size requirement. Remember the last * progbits section to determine the TLS data * contribution, which determines the TLS program * header filesz. */ for (APLIST_TRAVERSE(ofl->ofl_ostlsseg, idx, tlsosp)) { Shdr *tlsshdr = tlsosp->os_shdr; if (firstshdr == NULL) firstshdr = tlsshdr; if (tlsshdr->sh_type != SHT_NOBITS) lastfileshdr = tlsshdr; lastshdr = tlsshdr; } phdr->p_flags = PF_R | PF_W; phdr->p_vaddr = firstshdr->sh_addr; phdr->p_offset = firstshdr->sh_offset; phdr->p_align = firstshdr->sh_addralign; /* * Determine the initialized TLS data size. This * address range is from the start of the TLS segment * to the end of the last piece of initialized data. */ if (lastfileshdr) phdr->p_filesz = lastfileshdr->sh_offset + lastfileshdr->sh_size - phdr->p_offset; else phdr->p_filesz = 0; /* * Determine the total TLS memory size. This includes * all TLS data and TLS uninitialized data. This * address range is from the start of the TLS segment * to the memory address of the last piece of * uninitialized data. */ phdr->p_memsz = lastshdr->sh_addr + lastshdr->sh_size - phdr->p_vaddr; DBG_CALL(Dbg_seg_entry(ofl, segndx, sgp)); ofl->ofl_phdr[phdrndx] = *phdr; ofl->ofl_tlsphdr = &ofl->ofl_phdr[phdrndx++]; continue; } /* * If this is an empty segment declaration, it will occur after * all other loadable segments. As empty segments can be * defined with fixed addresses, make sure that no loadable * segments overlap. This might occur as the object evolves * and the loadable segments grow, thus encroaching upon an * existing segment reservation. * * Segments are only created for dynamic objects, thus this * checking can be skipped when building a relocatable object. */ if (!(flags & FLG_OF_RELOBJ) && (sgp->sg_flags & FLG_SG_EMPTY)) { int i; Addr v_e; vaddr = phdr->p_vaddr; phdr->p_memsz = sgp->sg_length; DBG_CALL(Dbg_seg_entry(ofl, segndx, sgp)); ofl->ofl_phdr[phdrndx++] = *phdr; if (phdr->p_type != PT_LOAD) continue; v_e = vaddr + phdr->p_memsz; /* * Check overlaps */ for (i = 0; i < phdrndx - 1; i++) { Addr p_s = (ofl->ofl_phdr[i]).p_vaddr; Addr p_e; if ((ofl->ofl_phdr[i]).p_type != PT_LOAD) continue; p_e = p_s + (ofl->ofl_phdr[i]).p_memsz; if (((p_s <= vaddr) && (p_e > vaddr)) || ((vaddr <= p_s) && (v_e > p_s))) eprintf(ofl->ofl_lml, ERR_WARNING, MSG_INTL(MSG_UPD_SEGOVERLAP), ofl->ofl_name, EC_ADDR(p_e), sgp->sg_name, EC_ADDR(vaddr)); } continue; } /* * Having processed any of the special program headers any * remaining headers will be built to express individual * segments. Segments are only built if they have output * section descriptors associated with them (ie. some form of * input section has been matched to this segment). */ if (sgp->sg_osdescs == NULL) continue; /* * Determine the segments offset and size from the section * information provided from elf_update(). * Allow for multiple NOBITS sections. */ osp = sgp->sg_osdescs->apl_data[0]; hshdr = osp->os_shdr; phdr->p_filesz = 0; phdr->p_memsz = 0; phdr->p_offset = offset = hshdr->sh_offset; nobits = ((hshdr->sh_type == SHT_NOBITS) && ((sgp->sg_flags & FLG_SG_PHREQ) == 0)); for (APLIST_TRAVERSE(sgp->sg_osdescs, idx2, osp)) { Shdr *shdr = osp->os_shdr; p_align = 0; if (shdr->sh_addralign > p_align) p_align = shdr->sh_addralign; offset = (Off)S_ROUND(offset, shdr->sh_addralign); offset += shdr->sh_size; if (shdr->sh_type != SHT_NOBITS) { if (nobits) { eprintf(ofl->ofl_lml, ERR_FATAL, MSG_INTL(MSG_UPD_NOBITS)); return (S_ERROR); } phdr->p_filesz = offset - phdr->p_offset; } else if ((sgp->sg_flags & FLG_SG_PHREQ) == 0) nobits = TRUE; } phdr->p_memsz = offset - hshdr->sh_offset; /* * If this is the first loadable segment of a dynamic object, * or an interpreter has been specified (a static object built * with an interpreter will still be given a PT_HDR entry), then * compensate for the elf header and program header array. Both * of these are actually part of the loadable segment as they * may be inspected by the interpreter. Adjust the segments * size and offset accordingly. */ if ((_phdr == NULL) && (phdr->p_type == PT_LOAD) && ((ofl->ofl_osinterp) || (flags & FLG_OF_DYNAMIC)) && (!(ofl->ofl_dtflags_1 & DF_1_NOHDR))) { size = (Addr)S_ROUND((phdrsz + ehdrsz), hshdr->sh_addralign); phdr->p_offset -= size; phdr->p_filesz += size; phdr->p_memsz += size; } /* * If segment size symbols are required (specified via a * mapfile) update their value. */ for (APLIST_TRAVERSE(sgp->sg_sizesym, idx2, sdp)) sdp->sd_sym->st_value = phdr->p_memsz; /* * If no file content has been assigned to this segment (it * only contains no-bits sections), then reset the offset for * consistency. */ if (phdr->p_filesz == 0) phdr->p_offset = 0; /* * If a virtual address has been specified for this segment * from a mapfile use it and make sure the previous segment * does not run into this segment. */ if (phdr->p_type == PT_LOAD) { if ((sgp->sg_flags & FLG_SG_P_VADDR)) { if (_phdr && (vaddr > phdr->p_vaddr) && (phdr->p_type == PT_LOAD)) eprintf(ofl->ofl_lml, ERR_WARNING, MSG_INTL(MSG_UPD_SEGOVERLAP), ofl->ofl_name, EC_ADDR(vaddr), sgp->sg_name, EC_ADDR(phdr->p_vaddr)); vaddr = phdr->p_vaddr; phdr->p_align = 0; } else { vaddr = phdr->p_vaddr = (Addr)S_ROUND(vaddr, phdr->p_align); } } /* * Adjust the address offset and p_align if needed. */ if (((sgp->sg_flags & FLG_SG_P_VADDR) == 0) && ((ofl->ofl_dtflags_1 & DF_1_NOHDR) == 0)) { if (phdr->p_align != 0) vaddr += phdr->p_offset % phdr->p_align; else vaddr += phdr->p_offset; phdr->p_vaddr = vaddr; } /* * If an interpreter is required set the virtual address of the * PT_PHDR program header now that we know the virtual address * of the loadable segment that contains it. Update the * PT_SUNWCAP header similarly. */ if ((_phdr == NULL) && (phdr->p_type == PT_LOAD)) { _phdr = phdr; if ((ofl->ofl_dtflags_1 & DF_1_NOHDR) == 0) { if (ofl->ofl_osinterp) ofl->ofl_phdr[0].p_vaddr = vaddr + ehdrsz; /* * Finally, if we're creating a dynamic object * (or a static object in which an interpreter * is specified) update the vaddr to reflect * the address of the first section within this * segment. */ if ((ofl->ofl_osinterp) || (flags & FLG_OF_DYNAMIC)) vaddr += size; } else { /* * If the DF_1_NOHDR flag was set, and an * interpreter is being generated, the PT_PHDR * will not be part of any loadable segment. */ if (ofl->ofl_osinterp) { ofl->ofl_phdr[0].p_vaddr = 0; ofl->ofl_phdr[0].p_memsz = 0; ofl->ofl_phdr[0].p_flags = 0; } } } /* * Ensure the ELF entry point defaults to zero. Typically, this * value is overridden in update_oehdr() to one of the standard * entry points. Historically, this default was set to the * address of first executable section, but this has since been * found to be more confusing than it is helpful. */ ehdr->e_entry = 0; DBG_CALL(Dbg_seg_entry(ofl, segndx, sgp)); /* * Traverse the output section descriptors for this segment so * that we can update the section headers addresses. We've * calculated the virtual address of the initial section within * this segment, so each successive section can be calculated * based on their offsets from each other. */ secndx = 0; hshdr = 0; for (APLIST_TRAVERSE(sgp->sg_osdescs, idx2, osp)) { Shdr *shdr = osp->os_shdr; if (shdr->sh_link) shdr->sh_link = translate_link(ofl, osp, shdr->sh_link, MSG_INTL(MSG_FIL_INVSHLINK)); if (shdr->sh_info && (shdr->sh_flags & SHF_INFO_LINK)) shdr->sh_info = translate_link(ofl, osp, shdr->sh_info, MSG_INTL(MSG_FIL_INVSHINFO)); if (!(flags & FLG_OF_RELOBJ) && (phdr->p_type == PT_LOAD)) { if (hshdr) vaddr += (shdr->sh_offset - hshdr->sh_offset); shdr->sh_addr = vaddr; hshdr = shdr; } DBG_CALL(Dbg_seg_os(ofl, osp, secndx)); secndx++; } /* * Establish the virtual address of the end of the last section * in this segment so that the next segments offset can be * calculated from this. */ if (hshdr) vaddr += hshdr->sh_size; /* * Output sections for this segment complete. Adjust the * virtual offset for the last sections size, and make sure we * haven't exceeded any maximum segment length specification. */ if ((sgp->sg_length != 0) && (sgp->sg_length < phdr->p_memsz)) { eprintf(ofl->ofl_lml, ERR_FATAL, MSG_INTL(MSG_UPD_LARGSIZE), ofl->ofl_name, sgp->sg_name, EC_XWORD(phdr->p_memsz), EC_XWORD(sgp->sg_length)); return (S_ERROR); } if (phdr->p_type == PT_NOTE) { phdr->p_vaddr = 0; phdr->p_paddr = 0; phdr->p_align = 0; phdr->p_memsz = 0; } if ((phdr->p_type != PT_NULL) && !(flags & FLG_OF_RELOBJ)) ofl->ofl_phdr[phdrndx++] = *phdr; } /* * Update any new output sections. When building the initial output * image, a number of sections were created but left uninitialized (eg. * .dynsym, .dynstr, .symtab, .symtab, etc.). Here we update these * sections with the appropriate data. Other sections may still be * modified via reloc_process(). * * Copy the interpreter name into the .interp section. */ if (ofl->ofl_interp) (void) strcpy((char *)ofl->ofl_osinterp->os_outdata->d_buf, ofl->ofl_interp); /* * Update the .shstrtab, .strtab and .dynstr sections. */ update_ostrtab(ofl->ofl_osshstrtab, ofl->ofl_shdrsttab, 0); update_ostrtab(ofl->ofl_osstrtab, ofl->ofl_strtab, 0); update_ostrtab(ofl->ofl_osdynstr, ofl->ofl_dynstrtab, DYNSTR_EXTRA_PAD); /* * Build any output symbol tables, the symbols information is copied * and updated into the new output image. */ if ((etext = update_osym(ofl)) == (Addr)S_ERROR) return (S_ERROR); /* * If we have an PT_INTERP phdr, update it now from the associated * section information. */ if (intpsgp) { Phdr *phdr = &(intpsgp->sg_phdr); Shdr *shdr = ofl->ofl_osinterp->os_shdr; phdr->p_vaddr = shdr->sh_addr; phdr->p_offset = shdr->sh_offset; phdr->p_memsz = phdr->p_filesz = shdr->sh_size; phdr->p_flags = PF_R; DBG_CALL(Dbg_seg_entry(ofl, intpsndx, intpsgp)); ofl->ofl_phdr[intppndx] = *phdr; } /* * If we have a PT_SUNWDTRACE phdr, update it now with the address of * the symbol. It's only now been updated via update_sym(). */ if (dtracesgp) { Phdr *aphdr, *phdr = &(dtracesgp->sg_phdr); Sym_desc *sdp = ofl->ofl_dtracesym; phdr->p_vaddr = sdp->sd_sym->st_value; phdr->p_memsz = sdp->sd_sym->st_size; /* * Take permissions from the segment that the symbol is * associated with. */ aphdr = &sdp->sd_isc->is_osdesc->os_sgdesc->sg_phdr; assert(aphdr); phdr->p_flags = aphdr->p_flags; DBG_CALL(Dbg_seg_entry(ofl, dtracesndx, dtracesgp)); ofl->ofl_phdr[dtracepndx] = *phdr; } /* * If we have a PT_SUNWCAP phdr, update it now from the associated * section information. */ if (capsgp) { Phdr *phdr = &(capsgp->sg_phdr); Shdr *shdr = ofl->ofl_oscap->os_shdr; phdr->p_vaddr = shdr->sh_addr; phdr->p_offset = shdr->sh_offset; phdr->p_memsz = phdr->p_filesz = shdr->sh_size; phdr->p_flags = PF_R; DBG_CALL(Dbg_seg_entry(ofl, capsndx, capsgp)); ofl->ofl_phdr[cappndx] = *phdr; } /* * Update the GROUP sections. */ if (update_ogroup(ofl) == S_ERROR) return (S_ERROR); /* * Update Move Table. */ if (ofl->ofl_osmove || ofl->ofl_isparexpn) update_move(ofl); /* * Build any output headers, version information, dynamic structure and * syminfo structure. */ if (update_oehdr(ofl) == S_ERROR) return (S_ERROR); if (!(flags & FLG_OF_NOVERSEC)) { if ((flags & FLG_OF_VERDEF) && (update_overdef(ofl) == S_ERROR)) return (S_ERROR); if ((flags & FLG_OF_VERNEED) && (update_overneed(ofl) == S_ERROR)) return (S_ERROR); if (flags & (FLG_OF_VERNEED | FLG_OF_VERDEF)) update_oversym(ofl); } if (flags & FLG_OF_DYNAMIC) { if (update_odynamic(ofl) == S_ERROR) return (S_ERROR); } if (ofl->ofl_ossyminfo) { if (update_osyminfo(ofl) == S_ERROR) return (S_ERROR); } /* * Update capabilities information if required. */ if (ofl->ofl_oscap) update_oscap(ofl); if (ofl->ofl_oscapinfo) update_oscapinfo(ofl); /* * Sanity test: the first and last data byte of a string table * must be NULL. */ assert((ofl->ofl_osshstrtab == NULL) || (*((char *)ofl->ofl_osshstrtab->os_outdata->d_buf) == '\0')); assert((ofl->ofl_osshstrtab == NULL) || (*(((char *)ofl->ofl_osshstrtab->os_outdata->d_buf) + ofl->ofl_osshstrtab->os_outdata->d_size - 1) == '\0')); assert((ofl->ofl_osstrtab == NULL) || (*((char *)ofl->ofl_osstrtab->os_outdata->d_buf) == '\0')); assert((ofl->ofl_osstrtab == NULL) || (*(((char *)ofl->ofl_osstrtab->os_outdata->d_buf) + ofl->ofl_osstrtab->os_outdata->d_size - 1) == '\0')); assert((ofl->ofl_osdynstr == NULL) || (*((char *)ofl->ofl_osdynstr->os_outdata->d_buf) == '\0')); assert((ofl->ofl_osdynstr == NULL) || (*(((char *)ofl->ofl_osdynstr->os_outdata->d_buf) + ofl->ofl_osdynstr->os_outdata->d_size - DYNSTR_EXTRA_PAD - 1) == '\0')); /* * Emit Strtab diagnostics. */ DBG_CALL(Dbg_sec_strtab(ofl->ofl_lml, ofl->ofl_osshstrtab, ofl->ofl_shdrsttab)); DBG_CALL(Dbg_sec_strtab(ofl->ofl_lml, ofl->ofl_osstrtab, ofl->ofl_strtab)); DBG_CALL(Dbg_sec_strtab(ofl->ofl_lml, ofl->ofl_osdynstr, ofl->ofl_dynstrtab)); /* * Initialize the section headers string table index within the elf * header. */ /* LINTED */ if ((shscnndx = elf_ndxscn(ofl->ofl_osshstrtab->os_scn)) < SHN_LORESERVE) { ofl->ofl_nehdr->e_shstrndx = /* LINTED */ (Half)shscnndx; } else { /* * If the STRTAB section index doesn't fit into * e_shstrndx, then we store it in 'shdr[0].st_link'. */ Elf_Scn *scn; Shdr *shdr0; if ((scn = elf_getscn(ofl->ofl_elf, 0)) == NULL) { eprintf(ofl->ofl_lml, ERR_ELF, MSG_INTL(MSG_ELF_GETSCN), ofl->ofl_name); return (S_ERROR); } if ((shdr0 = elf_getshdr(scn)) == NULL) { eprintf(ofl->ofl_lml, ERR_ELF, MSG_INTL(MSG_ELF_GETSHDR), ofl->ofl_name); return (S_ERROR); } ofl->ofl_nehdr->e_shstrndx = SHN_XINDEX; shdr0->sh_link = shscnndx; } return ((uintptr_t)etext); }