17c478bd9Sstevel@tonic-gate /* 27c478bd9Sstevel@tonic-gate * CDDL HEADER START 37c478bd9Sstevel@tonic-gate * 47c478bd9Sstevel@tonic-gate * The contents of this file are subject to the terms of the 55aefb655Srie * Common Development and Distribution License (the "License"). 65aefb655Srie * You may not use this file except in compliance with the License. 77c478bd9Sstevel@tonic-gate * 87c478bd9Sstevel@tonic-gate * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE 97c478bd9Sstevel@tonic-gate * or http://www.opensolaris.org/os/licensing. 107c478bd9Sstevel@tonic-gate * See the License for the specific language governing permissions 117c478bd9Sstevel@tonic-gate * and limitations under the License. 127c478bd9Sstevel@tonic-gate * 137c478bd9Sstevel@tonic-gate * When distributing Covered Code, include this CDDL HEADER in each 147c478bd9Sstevel@tonic-gate * file and include the License file at usr/src/OPENSOLARIS.LICENSE. 157c478bd9Sstevel@tonic-gate * If applicable, add the following below this CDDL HEADER, with the 167c478bd9Sstevel@tonic-gate * fields enclosed by brackets "[]" replaced with your own identifying 177c478bd9Sstevel@tonic-gate * information: Portions Copyright [yyyy] [name of copyright owner] 187c478bd9Sstevel@tonic-gate * 197c478bd9Sstevel@tonic-gate * CDDL HEADER END 207c478bd9Sstevel@tonic-gate */ 215aefb655Srie 227c478bd9Sstevel@tonic-gate /* 237c478bd9Sstevel@tonic-gate * Copyright (c) 1988 AT&T 247c478bd9Sstevel@tonic-gate * All Rights Reserved 257c478bd9Sstevel@tonic-gate * 267c478bd9Sstevel@tonic-gate * 27bf994817SAli Bahrami * Copyright (c) 1989, 2010, Oracle and/or its affiliates. All rights reserved. 287c478bd9Sstevel@tonic-gate */ 297c478bd9Sstevel@tonic-gate 307c478bd9Sstevel@tonic-gate /* 317c478bd9Sstevel@tonic-gate * Symbol table management routines 327c478bd9Sstevel@tonic-gate */ 33ba2be530Sab 34ba2be530Sab #define ELF_TARGET_AMD64 35ba2be530Sab 367c478bd9Sstevel@tonic-gate #include <stdio.h> 377c478bd9Sstevel@tonic-gate #include <string.h> 385aefb655Srie #include <debug.h> 397c478bd9Sstevel@tonic-gate #include "msg.h" 407c478bd9Sstevel@tonic-gate #include "_libld.h" 417c478bd9Sstevel@tonic-gate 427c478bd9Sstevel@tonic-gate /* 437c478bd9Sstevel@tonic-gate * AVL tree comparator function: 447c478bd9Sstevel@tonic-gate * 456b3ba5bdSAli Bahrami * The primary key is the symbol name hash with a secondary key of the symbol 466b3ba5bdSAli Bahrami * name itself. 477c478bd9Sstevel@tonic-gate */ 487c478bd9Sstevel@tonic-gate int 495aefb655Srie ld_sym_avl_comp(const void *elem1, const void *elem2) 507c478bd9Sstevel@tonic-gate { 517c478bd9Sstevel@tonic-gate Sym_avlnode *sav1 = (Sym_avlnode *)elem1; 527c478bd9Sstevel@tonic-gate Sym_avlnode *sav2 = (Sym_avlnode *)elem2; 536b3ba5bdSAli Bahrami int res; 547c478bd9Sstevel@tonic-gate 557c478bd9Sstevel@tonic-gate res = sav1->sav_hash - sav2->sav_hash; 567c478bd9Sstevel@tonic-gate 577c478bd9Sstevel@tonic-gate if (res < 0) 587c478bd9Sstevel@tonic-gate return (-1); 597c478bd9Sstevel@tonic-gate if (res > 0) 607c478bd9Sstevel@tonic-gate return (1); 617c478bd9Sstevel@tonic-gate 627c478bd9Sstevel@tonic-gate /* 637c478bd9Sstevel@tonic-gate * Hash is equal - now compare name 647c478bd9Sstevel@tonic-gate */ 657c478bd9Sstevel@tonic-gate res = strcmp(sav1->sav_name, sav2->sav_name); 667c478bd9Sstevel@tonic-gate if (res == 0) 677c478bd9Sstevel@tonic-gate return (0); 687c478bd9Sstevel@tonic-gate if (res > 0) 697c478bd9Sstevel@tonic-gate return (1); 707c478bd9Sstevel@tonic-gate return (-1); 717c478bd9Sstevel@tonic-gate } 727c478bd9Sstevel@tonic-gate 737c478bd9Sstevel@tonic-gate /* 747c478bd9Sstevel@tonic-gate * Focal point for verifying symbol names. 757c478bd9Sstevel@tonic-gate */ 76a194faf8Srie inline static const char * 775aefb655Srie string(Ofl_desc *ofl, Ifl_desc *ifl, Sym *sym, const char *strs, size_t strsize, 784a8d0ea7SAli Bahrami int symndx, Word shndx, Word symsecndx, const char *symsecname, 79635216b6SRod Evans const char *strsecname, sd_flag_t *flags) 807c478bd9Sstevel@tonic-gate { 816b3ba5bdSAli Bahrami Word name = sym->st_name; 827c478bd9Sstevel@tonic-gate 837c478bd9Sstevel@tonic-gate if (name) { 847c478bd9Sstevel@tonic-gate if ((ifl->ifl_flags & FLG_IF_HSTRTAB) == 0) { 851007fd6fSAli Bahrami ld_eprintf(ofl, ERR_FATAL, MSG_INTL(MSG_FIL_NOSTRTABLE), 861007fd6fSAli Bahrami ifl->ifl_name, EC_WORD(symsecndx), symsecname, 871007fd6fSAli Bahrami symndx, EC_XWORD(name)); 886b3ba5bdSAli Bahrami return (NULL); 897c478bd9Sstevel@tonic-gate } 907c478bd9Sstevel@tonic-gate if (name >= (Word)strsize) { 911007fd6fSAli Bahrami ld_eprintf(ofl, ERR_FATAL, 925aefb655Srie MSG_INTL(MSG_FIL_EXCSTRTABLE), ifl->ifl_name, 934a8d0ea7SAli Bahrami EC_WORD(symsecndx), symsecname, symndx, 944a8d0ea7SAli Bahrami EC_XWORD(name), strsecname, EC_XWORD(strsize)); 956b3ba5bdSAli Bahrami return (NULL); 967c478bd9Sstevel@tonic-gate } 977c478bd9Sstevel@tonic-gate } 987c478bd9Sstevel@tonic-gate 997c478bd9Sstevel@tonic-gate /* 1007c478bd9Sstevel@tonic-gate * Determine if we're dealing with a register and if so validate it. 1017c478bd9Sstevel@tonic-gate * If it's a scratch register, a fabricated name will be returned. 1027c478bd9Sstevel@tonic-gate */ 103ba2be530Sab if (ld_targ.t_ms.ms_is_regsym != NULL) { 104ba2be530Sab const char *regname = (*ld_targ.t_ms.ms_is_regsym)(ofl, ifl, 105ba2be530Sab sym, strs, symndx, shndx, symsecname, flags); 106ba2be530Sab 107ba2be530Sab if (regname == (const char *)S_ERROR) { 1086b3ba5bdSAli Bahrami return (NULL); 109ba2be530Sab } 110ba2be530Sab if (regname) 111ba2be530Sab return (regname); 1127c478bd9Sstevel@tonic-gate } 1137c478bd9Sstevel@tonic-gate 1147c478bd9Sstevel@tonic-gate /* 1157c478bd9Sstevel@tonic-gate * If this isn't a register, but we have a global symbol with a null 1167c478bd9Sstevel@tonic-gate * name, we're not going to be able to hash this, search for it, or 1177c478bd9Sstevel@tonic-gate * do anything interesting. However, we've been accepting a symbol of 1187c478bd9Sstevel@tonic-gate * this kind for ages now, so give the user a warning (rather than a 1197c478bd9Sstevel@tonic-gate * fatal error), just in case this instance exists somewhere in the 1207c478bd9Sstevel@tonic-gate * world and hasn't, as yet, been a problem. 1217c478bd9Sstevel@tonic-gate */ 1227c478bd9Sstevel@tonic-gate if ((name == 0) && (ELF_ST_BIND(sym->st_info) != STB_LOCAL)) { 1231007fd6fSAli Bahrami ld_eprintf(ofl, ERR_WARNING, MSG_INTL(MSG_FIL_NONAMESYM), 1244a8d0ea7SAli Bahrami ifl->ifl_name, EC_WORD(symsecndx), symsecname, symndx, 1254a8d0ea7SAli Bahrami EC_XWORD(name)); 1267c478bd9Sstevel@tonic-gate } 1277c478bd9Sstevel@tonic-gate return (strs + name); 1287c478bd9Sstevel@tonic-gate } 1297c478bd9Sstevel@tonic-gate 130ba2be530Sab /* 131ba2be530Sab * For producing symbol names strings to use in error messages. 132ba2be530Sab * If the symbol has a non-null name, then the string returned by 133ba2be530Sab * this function is the output from demangle(), surrounded by 134ba2be530Sab * single quotes. For null names, a descriptive string giving 135ba2be530Sab * the symbol section and index is generated. 136ba2be530Sab * 137ba2be530Sab * This function uses an internal static buffer to hold the resulting 138ba2be530Sab * string. The value returned is usable by the caller until the next 139ba2be530Sab * call, at which point it is overwritten. 140ba2be530Sab */ 141ba2be530Sab static const char * 142ba2be530Sab demangle_symname(const char *name, const char *symtab_name, Word symndx) 143ba2be530Sab { 144ba2be530Sab #define INIT_BUFSIZE 256 145ba2be530Sab 1466b3ba5bdSAli Bahrami static char *buf; 1476b3ba5bdSAli Bahrami static size_t bufsize = 0; 148ba2be530Sab size_t len; 149ba2be530Sab int use_name; 150ba2be530Sab 151ba2be530Sab use_name = (name != NULL) && (*name != '\0'); 152ba2be530Sab 153ba2be530Sab if (use_name) { 154ba2be530Sab name = demangle(name); 155ba2be530Sab len = strlen(name) + 2; /* Include room for quotes */ 156ba2be530Sab } else { 157ba2be530Sab name = MSG_ORIG(MSG_STR_EMPTY); 1584f680cc6SAli Bahrami len = strlen(symtab_name) + 2 + CONV_INV_BUFSIZE; 159ba2be530Sab } 160ba2be530Sab len++; /* Null termination */ 161ba2be530Sab 162ba2be530Sab /* If our buffer is too small, double it until it is big enough */ 163ba2be530Sab if (len > bufsize) { 164ba2be530Sab size_t new_bufsize = bufsize; 165ba2be530Sab char *new_buf; 166ba2be530Sab 167ba2be530Sab if (new_bufsize == 0) 168ba2be530Sab new_bufsize = INIT_BUFSIZE; 169ba2be530Sab while (len > new_bufsize) 170ba2be530Sab new_bufsize *= 2; 1716b3ba5bdSAli Bahrami if ((new_buf = libld_malloc(new_bufsize)) == NULL) 172ba2be530Sab return (name); 173ba2be530Sab buf = new_buf; 174ba2be530Sab bufsize = new_bufsize; 175ba2be530Sab } 176ba2be530Sab 177ba2be530Sab if (use_name) { 178ba2be530Sab (void) snprintf(buf, bufsize, MSG_ORIG(MSG_FMT_SYMNAM), name); 179ba2be530Sab } else { 180ba2be530Sab (void) snprintf(buf, bufsize, MSG_ORIG(MSG_FMT_NULLSYMNAM), 181ba2be530Sab symtab_name, EC_WORD(symndx)); 182ba2be530Sab } 183ba2be530Sab 184ba2be530Sab return (buf); 185ba2be530Sab 186ba2be530Sab #undef INIT_BUFSIZE 187ba2be530Sab } 188ba2be530Sab 1897c478bd9Sstevel@tonic-gate /* 1907c478bd9Sstevel@tonic-gate * Shared objects can be built that define specific symbols that can not be 1917c478bd9Sstevel@tonic-gate * directly bound to. These objects have a syminfo section (and an associated 1927c478bd9Sstevel@tonic-gate * DF_1_NODIRECT dynamic flags entry). Scan this table looking for symbols 1937c478bd9Sstevel@tonic-gate * that can't be bound to directly, and if this files symbol is presently 1947c478bd9Sstevel@tonic-gate * referenced, mark it so that we don't directly bind to it. 1957c478bd9Sstevel@tonic-gate */ 1967c478bd9Sstevel@tonic-gate uintptr_t 1979a411307Srie ld_sym_nodirect(Is_desc *isp, Ifl_desc *ifl, Ofl_desc *ofl) 1987c478bd9Sstevel@tonic-gate { 1997c478bd9Sstevel@tonic-gate Shdr *sifshdr, *symshdr; 2007c478bd9Sstevel@tonic-gate Syminfo *sifdata; 2017c478bd9Sstevel@tonic-gate Sym *symdata; 2027c478bd9Sstevel@tonic-gate char *strdata; 2037c478bd9Sstevel@tonic-gate ulong_t cnt, _cnt; 2047c478bd9Sstevel@tonic-gate 2057c478bd9Sstevel@tonic-gate /* 2067c478bd9Sstevel@tonic-gate * Get the syminfo data, and determine the number of entries. 2077c478bd9Sstevel@tonic-gate */ 2087c478bd9Sstevel@tonic-gate sifshdr = isp->is_shdr; 2097c478bd9Sstevel@tonic-gate sifdata = (Syminfo *)isp->is_indata->d_buf; 2107c478bd9Sstevel@tonic-gate cnt = sifshdr->sh_size / sifshdr->sh_entsize; 2117c478bd9Sstevel@tonic-gate 2127c478bd9Sstevel@tonic-gate /* 2137c478bd9Sstevel@tonic-gate * Get the associated symbol table. 2147c478bd9Sstevel@tonic-gate */ 21528bda19cSRod Evans if ((sifshdr->sh_link == 0) || (sifshdr->sh_link >= ifl->ifl_shnum)) { 21628bda19cSRod Evans /* 21728bda19cSRod Evans * Broken input file 21828bda19cSRod Evans */ 2191007fd6fSAli Bahrami ld_eprintf(ofl, ERR_FATAL, MSG_INTL(MSG_FIL_INVSHINFO), 22028bda19cSRod Evans ifl->ifl_name, isp->is_name, EC_XWORD(sifshdr->sh_link)); 22128bda19cSRod Evans return (0); 22228bda19cSRod Evans } 2237c478bd9Sstevel@tonic-gate symshdr = ifl->ifl_isdesc[sifshdr->sh_link]->is_shdr; 2247c478bd9Sstevel@tonic-gate symdata = ifl->ifl_isdesc[sifshdr->sh_link]->is_indata->d_buf; 2257c478bd9Sstevel@tonic-gate 2267c478bd9Sstevel@tonic-gate /* 2277c478bd9Sstevel@tonic-gate * Get the string table associated with the symbol table. 2287c478bd9Sstevel@tonic-gate */ 2297c478bd9Sstevel@tonic-gate strdata = ifl->ifl_isdesc[symshdr->sh_link]->is_indata->d_buf; 2307c478bd9Sstevel@tonic-gate 2317c478bd9Sstevel@tonic-gate /* 2327c478bd9Sstevel@tonic-gate * Traverse the syminfo data for symbols that can't be directly 2337c478bd9Sstevel@tonic-gate * bound to. 2347c478bd9Sstevel@tonic-gate */ 2357c478bd9Sstevel@tonic-gate for (_cnt = 1, sifdata++; _cnt < cnt; _cnt++, sifdata++) { 2367c478bd9Sstevel@tonic-gate Sym *sym; 2377c478bd9Sstevel@tonic-gate char *str; 2387c478bd9Sstevel@tonic-gate Sym_desc *sdp; 2397c478bd9Sstevel@tonic-gate 2403c4993fbSrie if ((sifdata->si_flags & SYMINFO_FLG_NOEXTDIRECT) == 0) 2417c478bd9Sstevel@tonic-gate continue; 2427c478bd9Sstevel@tonic-gate 2437c478bd9Sstevel@tonic-gate sym = (Sym *)(symdata + _cnt); 2447c478bd9Sstevel@tonic-gate str = (char *)(strdata + sym->st_name); 2457c478bd9Sstevel@tonic-gate 24628bda19cSRod Evans if ((sdp = ld_sym_find(str, SYM_NOHASH, NULL, ofl)) != NULL) { 2477c478bd9Sstevel@tonic-gate if (ifl != sdp->sd_file) 2487c478bd9Sstevel@tonic-gate continue; 2497c478bd9Sstevel@tonic-gate 250635216b6SRod Evans sdp->sd_flags &= ~FLG_SY_DIR; 251635216b6SRod Evans sdp->sd_flags |= FLG_SY_NDIR; 2527c478bd9Sstevel@tonic-gate } 2537c478bd9Sstevel@tonic-gate } 2547c478bd9Sstevel@tonic-gate return (0); 2557c478bd9Sstevel@tonic-gate } 2567c478bd9Sstevel@tonic-gate 2577c478bd9Sstevel@tonic-gate /* 2587c478bd9Sstevel@tonic-gate * If, during symbol processing, it is necessary to update a local symbols 2597c478bd9Sstevel@tonic-gate * contents before we have generated the symbol tables in the output image, 2607c478bd9Sstevel@tonic-gate * create a new symbol structure and copy the original symbol contents. While 2617c478bd9Sstevel@tonic-gate * we are processing the input files, their local symbols are part of the 2627c478bd9Sstevel@tonic-gate * read-only mapped image. Commonly, these symbols are copied to the new output 2637c478bd9Sstevel@tonic-gate * file image and then updated to reflect their new address and any change in 2647c478bd9Sstevel@tonic-gate * attributes. However, sometimes during relocation counting, it is necessary 2657c478bd9Sstevel@tonic-gate * to adjust the symbols information. This routine provides for the generation 2667c478bd9Sstevel@tonic-gate * of a new symbol image so that this update can be performed. 2677c478bd9Sstevel@tonic-gate * All global symbols are copied to an internal symbol table to improve locality 2687c478bd9Sstevel@tonic-gate * of reference and hence performance, and thus this copying is not necessary. 2697c478bd9Sstevel@tonic-gate */ 2707c478bd9Sstevel@tonic-gate uintptr_t 2715aefb655Srie ld_sym_copy(Sym_desc *sdp) 2727c478bd9Sstevel@tonic-gate { 2737c478bd9Sstevel@tonic-gate Sym *nsym; 2747c478bd9Sstevel@tonic-gate 2757c478bd9Sstevel@tonic-gate if (sdp->sd_flags & FLG_SY_CLEAN) { 2766b3ba5bdSAli Bahrami if ((nsym = libld_malloc(sizeof (Sym))) == NULL) 2777c478bd9Sstevel@tonic-gate return (S_ERROR); 2787c478bd9Sstevel@tonic-gate *nsym = *(sdp->sd_sym); 2797c478bd9Sstevel@tonic-gate sdp->sd_sym = nsym; 2807c478bd9Sstevel@tonic-gate sdp->sd_flags &= ~FLG_SY_CLEAN; 2817c478bd9Sstevel@tonic-gate } 2827c478bd9Sstevel@tonic-gate return (1); 2837c478bd9Sstevel@tonic-gate } 2847c478bd9Sstevel@tonic-gate 2857c478bd9Sstevel@tonic-gate /* 2867c478bd9Sstevel@tonic-gate * Finds a given name in the link editors internal symbol table. If no 2877c478bd9Sstevel@tonic-gate * hash value is specified it is calculated. A pointer to the located 2887c478bd9Sstevel@tonic-gate * Sym_desc entry is returned, or NULL if the symbol is not found. 2897c478bd9Sstevel@tonic-gate */ 2907c478bd9Sstevel@tonic-gate Sym_desc * 2915aefb655Srie ld_sym_find(const char *name, Word hash, avl_index_t *where, Ofl_desc *ofl) 2927c478bd9Sstevel@tonic-gate { 2936b3ba5bdSAli Bahrami Sym_avlnode qsav, *sav; 2947c478bd9Sstevel@tonic-gate 2957c478bd9Sstevel@tonic-gate if (hash == SYM_NOHASH) 2967c478bd9Sstevel@tonic-gate /* LINTED */ 2977c478bd9Sstevel@tonic-gate hash = (Word)elf_hash((const char *)name); 2987c478bd9Sstevel@tonic-gate qsav.sav_hash = hash; 2997c478bd9Sstevel@tonic-gate qsav.sav_name = name; 3007c478bd9Sstevel@tonic-gate 3017c478bd9Sstevel@tonic-gate /* 3027c478bd9Sstevel@tonic-gate * Perform search for symbol in AVL tree. Note that the 'where' field 3037c478bd9Sstevel@tonic-gate * is passed in from the caller. If a 'where' is present, it can be 304a194faf8Srie * used in subsequent 'ld_sym_enter()' calls if required. 3057c478bd9Sstevel@tonic-gate */ 3067c478bd9Sstevel@tonic-gate sav = avl_find(&ofl->ofl_symavl, &qsav, where); 3077c478bd9Sstevel@tonic-gate 3087c478bd9Sstevel@tonic-gate /* 3097c478bd9Sstevel@tonic-gate * If symbol was not found in the avl tree, return null to show that. 3107c478bd9Sstevel@tonic-gate */ 3116b3ba5bdSAli Bahrami if (sav == NULL) 3126b3ba5bdSAli Bahrami return (NULL); 3137c478bd9Sstevel@tonic-gate 3147c478bd9Sstevel@tonic-gate /* 3157c478bd9Sstevel@tonic-gate * Return symbol found. 3167c478bd9Sstevel@tonic-gate */ 317635216b6SRod Evans return (sav->sav_sdp); 3187c478bd9Sstevel@tonic-gate } 3197c478bd9Sstevel@tonic-gate 3207c478bd9Sstevel@tonic-gate /* 3217c478bd9Sstevel@tonic-gate * Enter a new symbol into the link editors internal symbol table. 3227c478bd9Sstevel@tonic-gate * If the symbol is from an input file, information regarding the input file 3237c478bd9Sstevel@tonic-gate * and input section is also recorded. Otherwise (file == NULL) the symbol 3247c478bd9Sstevel@tonic-gate * has been internally generated (ie. _etext, _edata, etc.). 3257c478bd9Sstevel@tonic-gate */ 3267c478bd9Sstevel@tonic-gate Sym_desc * 3275aefb655Srie ld_sym_enter(const char *name, Sym *osym, Word hash, Ifl_desc *ifl, 328635216b6SRod Evans Ofl_desc *ofl, Word ndx, Word shndx, sd_flag_t sdflags, avl_index_t *where) 3297c478bd9Sstevel@tonic-gate { 3307c478bd9Sstevel@tonic-gate Sym_desc *sdp; 3317c478bd9Sstevel@tonic-gate Sym_aux *sap; 3327c478bd9Sstevel@tonic-gate Sym_avlnode *savl; 3337c478bd9Sstevel@tonic-gate char *_name; 3347c478bd9Sstevel@tonic-gate Sym *nsym; 3357c478bd9Sstevel@tonic-gate Half etype; 33660758829Srie uchar_t vis; 3377c478bd9Sstevel@tonic-gate avl_index_t _where; 3387c478bd9Sstevel@tonic-gate 3397c478bd9Sstevel@tonic-gate /* 3407c478bd9Sstevel@tonic-gate * Establish the file type. 3417c478bd9Sstevel@tonic-gate */ 3427c478bd9Sstevel@tonic-gate if (ifl) 3437c478bd9Sstevel@tonic-gate etype = ifl->ifl_ehdr->e_type; 3447c478bd9Sstevel@tonic-gate else 3457c478bd9Sstevel@tonic-gate etype = ET_NONE; 3467c478bd9Sstevel@tonic-gate 3477c478bd9Sstevel@tonic-gate ofl->ofl_entercnt++; 3487c478bd9Sstevel@tonic-gate 3497c478bd9Sstevel@tonic-gate /* 3507c478bd9Sstevel@tonic-gate * Allocate a Sym Descriptor, Auxiliary Descriptor, and a Sym AVLNode - 3517c478bd9Sstevel@tonic-gate * contiguously. 3527c478bd9Sstevel@tonic-gate */ 353635216b6SRod Evans if ((savl = libld_calloc(S_DROUND(sizeof (Sym_avlnode)) + 354635216b6SRod Evans S_DROUND(sizeof (Sym_desc)) + 355635216b6SRod Evans S_DROUND(sizeof (Sym_aux)), 1)) == NULL) 3567c478bd9Sstevel@tonic-gate return ((Sym_desc *)S_ERROR); 357635216b6SRod Evans sdp = (Sym_desc *)((uintptr_t)savl + 358635216b6SRod Evans S_DROUND(sizeof (Sym_avlnode))); 359635216b6SRod Evans sap = (Sym_aux *)((uintptr_t)sdp + 360635216b6SRod Evans S_DROUND(sizeof (Sym_desc))); 3617c478bd9Sstevel@tonic-gate 362635216b6SRod Evans savl->sav_sdp = sdp; 3637c478bd9Sstevel@tonic-gate sdp->sd_file = ifl; 3647c478bd9Sstevel@tonic-gate sdp->sd_aux = sap; 3657c478bd9Sstevel@tonic-gate savl->sav_hash = sap->sa_hash = hash; 3667c478bd9Sstevel@tonic-gate 3677c478bd9Sstevel@tonic-gate /* 3687c478bd9Sstevel@tonic-gate * Copy the symbol table entry from the input file into the internal 3697c478bd9Sstevel@tonic-gate * entry and have the symbol descriptor use it. 3707c478bd9Sstevel@tonic-gate */ 3717c478bd9Sstevel@tonic-gate sdp->sd_sym = nsym = &sap->sa_sym; 3727c478bd9Sstevel@tonic-gate *nsym = *osym; 3737c478bd9Sstevel@tonic-gate sdp->sd_shndx = shndx; 3747c478bd9Sstevel@tonic-gate sdp->sd_flags |= sdflags; 3757c478bd9Sstevel@tonic-gate 3766b3ba5bdSAli Bahrami if ((_name = libld_malloc(strlen(name) + 1)) == NULL) 3777c478bd9Sstevel@tonic-gate return ((Sym_desc *)S_ERROR); 3787c478bd9Sstevel@tonic-gate savl->sav_name = sdp->sd_name = (const char *)strcpy(_name, name); 3797c478bd9Sstevel@tonic-gate 3807c478bd9Sstevel@tonic-gate /* 3817c478bd9Sstevel@tonic-gate * Enter Symbol in AVL tree. 3827c478bd9Sstevel@tonic-gate */ 3837c478bd9Sstevel@tonic-gate if (where == 0) { 3847c478bd9Sstevel@tonic-gate /* LINTED */ 3857c478bd9Sstevel@tonic-gate Sym_avlnode *_savl; 3867c478bd9Sstevel@tonic-gate /* 3875aefb655Srie * If a previous ld_sym_find() hasn't initialized 'where' do it 3887c478bd9Sstevel@tonic-gate * now. 3897c478bd9Sstevel@tonic-gate */ 3907c478bd9Sstevel@tonic-gate where = &_where; 3917c478bd9Sstevel@tonic-gate _savl = avl_find(&ofl->ofl_symavl, savl, where); 3926b3ba5bdSAli Bahrami assert(_savl == NULL); 3937c478bd9Sstevel@tonic-gate } 3947c478bd9Sstevel@tonic-gate avl_insert(&ofl->ofl_symavl, savl, *where); 3957c478bd9Sstevel@tonic-gate 3967c478bd9Sstevel@tonic-gate /* 3977c478bd9Sstevel@tonic-gate * Record the section index. This is possible because the 3987c478bd9Sstevel@tonic-gate * `ifl_isdesc' table is filled before we start symbol processing. 3997c478bd9Sstevel@tonic-gate */ 4000bc07c75Srie if ((sdflags & FLG_SY_SPECSEC) || (nsym->st_shndx == SHN_UNDEF)) 4017c478bd9Sstevel@tonic-gate sdp->sd_isc = NULL; 4027c478bd9Sstevel@tonic-gate else { 4037c478bd9Sstevel@tonic-gate sdp->sd_isc = ifl->ifl_isdesc[shndx]; 4047c478bd9Sstevel@tonic-gate 4057c478bd9Sstevel@tonic-gate /* 4067c478bd9Sstevel@tonic-gate * If this symbol is from a relocatable object, make sure that 4077c478bd9Sstevel@tonic-gate * it is still associated with a section. For example, an 4087c478bd9Sstevel@tonic-gate * unknown section type (SHT_NULL) would have been rejected on 4097c478bd9Sstevel@tonic-gate * input with a warning. Here, we make the use of the symbol 4107c478bd9Sstevel@tonic-gate * fatal. A symbol descriptor is still returned, so that the 4117c478bd9Sstevel@tonic-gate * caller can continue processing all symbols, and hence flush 4127c478bd9Sstevel@tonic-gate * out as many error conditions as possible. 4137c478bd9Sstevel@tonic-gate */ 4146b3ba5bdSAli Bahrami if ((etype == ET_REL) && (sdp->sd_isc == NULL)) { 4151007fd6fSAli Bahrami ld_eprintf(ofl, ERR_FATAL, MSG_INTL(MSG_SYM_INVSEC), 4161007fd6fSAli Bahrami name, ifl->ifl_name, EC_XWORD(shndx)); 4177c478bd9Sstevel@tonic-gate return (sdp); 4187c478bd9Sstevel@tonic-gate } 4197c478bd9Sstevel@tonic-gate } 4207c478bd9Sstevel@tonic-gate 4217c478bd9Sstevel@tonic-gate /* 4227c478bd9Sstevel@tonic-gate * Mark any COMMON symbols as 'tentative'. 4237c478bd9Sstevel@tonic-gate */ 42454d82594Sseizo if (sdflags & FLG_SY_SPECSEC) { 4250bc07c75Srie if (nsym->st_shndx == SHN_COMMON) 42654d82594Sseizo sdp->sd_flags |= FLG_SY_TENTSYM; 427ba2be530Sab #if defined(_ELF64) 428ba2be530Sab else if ((ld_targ.t_m.m_mach == EM_AMD64) && 429ba2be530Sab (nsym->st_shndx == SHN_X86_64_LCOMMON)) 43054d82594Sseizo sdp->sd_flags |= FLG_SY_TENTSYM; 43154d82594Sseizo #endif 43254d82594Sseizo } 4337c478bd9Sstevel@tonic-gate 4347c478bd9Sstevel@tonic-gate /* 43560758829Srie * Establish the symbols visibility and reference. 4367c478bd9Sstevel@tonic-gate */ 43760758829Srie vis = ELF_ST_VISIBILITY(nsym->st_other); 43860758829Srie 4397c478bd9Sstevel@tonic-gate if ((etype == ET_NONE) || (etype == ET_REL)) { 44060758829Srie switch (vis) { 44160758829Srie case STV_DEFAULT: 442635216b6SRod Evans sdp->sd_flags |= FLG_SY_DEFAULT; 44360758829Srie break; 44460758829Srie case STV_INTERNAL: 44560758829Srie case STV_HIDDEN: 446635216b6SRod Evans sdp->sd_flags |= FLG_SY_HIDDEN; 44760758829Srie break; 44860758829Srie case STV_PROTECTED: 449635216b6SRod Evans sdp->sd_flags |= FLG_SY_PROTECT; 45060758829Srie break; 45160758829Srie case STV_EXPORTED: 452635216b6SRod Evans sdp->sd_flags |= FLG_SY_EXPORT; 45360758829Srie break; 45460758829Srie case STV_SINGLETON: 455635216b6SRod Evans sdp->sd_flags |= (FLG_SY_SINGLE | FLG_SY_NDIR); 45628bda19cSRod Evans ofl->ofl_flags1 |= (FLG_OF1_NDIRECT | FLG_OF1_NGLBDIR); 45760758829Srie break; 45860758829Srie case STV_ELIMINATE: 459635216b6SRod Evans sdp->sd_flags |= (FLG_SY_HIDDEN | FLG_SY_ELIM); 46060758829Srie break; 46160758829Srie default: 46260758829Srie assert(vis <= STV_ELIMINATE); 46360758829Srie } 46460758829Srie 4657c478bd9Sstevel@tonic-gate sdp->sd_ref = REF_REL_NEED; 4667c478bd9Sstevel@tonic-gate 4677c478bd9Sstevel@tonic-gate /* 4689a411307Srie * Under -Bnodirect, all exported interfaces that have not 4699a411307Srie * explicitly been defined protected or directly bound to, are 4709a411307Srie * tagged to prevent direct binding. 4717c478bd9Sstevel@tonic-gate */ 4720bc07c75Srie if ((ofl->ofl_flags1 & FLG_OF1_ALNODIR) && 473635216b6SRod Evans ((sdp->sd_flags & (FLG_SY_PROTECT | FLG_SY_DIR)) == 0) && 4749a411307Srie (nsym->st_shndx != SHN_UNDEF)) { 475635216b6SRod Evans sdp->sd_flags |= FLG_SY_NDIR; 4769a411307Srie } 4777c478bd9Sstevel@tonic-gate } else { 4787c478bd9Sstevel@tonic-gate sdp->sd_ref = REF_DYN_SEEN; 4797c478bd9Sstevel@tonic-gate 4807c478bd9Sstevel@tonic-gate /* 48160758829Srie * If this is a protected symbol, remember this. Note, this 482635216b6SRod Evans * state is different from the FLG_SY_PROTECT used to establish 48360758829Srie * a symbol definitions visibility. This state is used to warn 48460758829Srie * against possible copy relocations against this referenced 48560758829Srie * symbol. 4867c478bd9Sstevel@tonic-gate */ 48760758829Srie if (vis == STV_PROTECTED) 4887c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_PROT; 4897c478bd9Sstevel@tonic-gate 4907c478bd9Sstevel@tonic-gate /* 49160758829Srie * If this is a SINGLETON definition, then indicate the symbol 49260758829Srie * can not be directly bound to, and retain the visibility. 49360758829Srie * This visibility will be inherited by any references made to 49460758829Srie * this symbol. 4957c478bd9Sstevel@tonic-gate */ 49660758829Srie if ((vis == STV_SINGLETON) && (nsym->st_shndx != SHN_UNDEF)) 497635216b6SRod Evans sdp->sd_flags |= (FLG_SY_SINGLE | FLG_SY_NDIR); 4987c478bd9Sstevel@tonic-gate 4997c478bd9Sstevel@tonic-gate /* 50060758829Srie * If the new symbol is from a shared library and is associated 50160758829Srie * with a SHT_NOBITS section then this symbol originated from a 50260758829Srie * tentative symbol. 5037c478bd9Sstevel@tonic-gate */ 5047c478bd9Sstevel@tonic-gate if (sdp->sd_isc && 5057c478bd9Sstevel@tonic-gate (sdp->sd_isc->is_shdr->sh_type == SHT_NOBITS)) 5067c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_TENTSYM; 5077c478bd9Sstevel@tonic-gate } 5087c478bd9Sstevel@tonic-gate 5097c478bd9Sstevel@tonic-gate /* 5107c478bd9Sstevel@tonic-gate * Reclassify any SHN_SUNW_IGNORE symbols to SHN_UNDEF so as to 5110bc07c75Srie * simplify future processing. 5127c478bd9Sstevel@tonic-gate */ 5130bc07c75Srie if (nsym->st_shndx == SHN_SUNW_IGNORE) { 5147c478bd9Sstevel@tonic-gate sdp->sd_shndx = shndx = SHN_UNDEF; 515635216b6SRod Evans sdp->sd_flags |= (FLG_SY_REDUCED | 516635216b6SRod Evans FLG_SY_HIDDEN | FLG_SY_IGNORE | FLG_SY_ELIM); 5177c478bd9Sstevel@tonic-gate } 5187c478bd9Sstevel@tonic-gate 5197c478bd9Sstevel@tonic-gate /* 5207c478bd9Sstevel@tonic-gate * If this is an undefined, or common symbol from a relocatable object 5217c478bd9Sstevel@tonic-gate * determine whether it is a global or weak reference (see build_osym(), 5227c478bd9Sstevel@tonic-gate * where REF_DYN_NEED definitions are returned back to undefines). 5237c478bd9Sstevel@tonic-gate */ 52454d82594Sseizo if ((etype == ET_REL) && 52554d82594Sseizo (ELF_ST_BIND(nsym->st_info) == STB_GLOBAL) && 5260bc07c75Srie ((nsym->st_shndx == SHN_UNDEF) || ((sdflags & FLG_SY_SPECSEC) && 527ba2be530Sab #if defined(_ELF64) 5280bc07c75Srie ((nsym->st_shndx == SHN_COMMON) || 529ba2be530Sab ((ld_targ.t_m.m_mach == EM_AMD64) && 530ba2be530Sab (nsym->st_shndx == SHN_X86_64_LCOMMON)))))) 53154d82594Sseizo #else 53233eb6ee1Sab /* BEGIN CSTYLED */ 5330bc07c75Srie (nsym->st_shndx == SHN_COMMON)))) 53433eb6ee1Sab /* END CSTYLED */ 53554d82594Sseizo #endif 5367c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_GLOBREF; 5377c478bd9Sstevel@tonic-gate 5387c478bd9Sstevel@tonic-gate /* 5397c478bd9Sstevel@tonic-gate * Record the input filename on the referenced or defined files list 5407c478bd9Sstevel@tonic-gate * for possible later diagnostics. The `sa_rfile' pointer contains the 5417c478bd9Sstevel@tonic-gate * name of the file that first referenced this symbol and is used to 5427c478bd9Sstevel@tonic-gate * generate undefined symbol diagnostics (refer to sym_undef_entry()). 5437c478bd9Sstevel@tonic-gate * Note that this entry can be overridden if a reference from a 5447c478bd9Sstevel@tonic-gate * relocatable object is found after a reference from a shared object 5457c478bd9Sstevel@tonic-gate * (refer to sym_override()). 5467c478bd9Sstevel@tonic-gate * The `sa_dfiles' list is used to maintain the list of files that 5477c478bd9Sstevel@tonic-gate * define the same symbol. This list can be used for two reasons: 5487c478bd9Sstevel@tonic-gate * 54908278a5eSRod Evans * - To save the first definition of a symbol that is not available 5507c478bd9Sstevel@tonic-gate * for this link-edit. 5517c478bd9Sstevel@tonic-gate * 55208278a5eSRod Evans * - To save all definitions of a symbol when the -m option is in 5537c478bd9Sstevel@tonic-gate * effect. This is optional as it is used to list multiple 5547c478bd9Sstevel@tonic-gate * (interposed) definitions of a symbol (refer to ldmap_out()), 5557c478bd9Sstevel@tonic-gate * and can be quite expensive. 5567c478bd9Sstevel@tonic-gate */ 5570bc07c75Srie if (nsym->st_shndx == SHN_UNDEF) { 5587c478bd9Sstevel@tonic-gate sap->sa_rfile = ifl->ifl_name; 5597c478bd9Sstevel@tonic-gate } else { 5607c478bd9Sstevel@tonic-gate if (sdp->sd_ref == REF_DYN_SEEN) { 5617c478bd9Sstevel@tonic-gate /* 5627c478bd9Sstevel@tonic-gate * A symbol is determined to be unavailable if it 5637c478bd9Sstevel@tonic-gate * belongs to a version of a shared object that this 5647c478bd9Sstevel@tonic-gate * user does not wish to use, or if it belongs to an 5657c478bd9Sstevel@tonic-gate * implicit shared object. 5667c478bd9Sstevel@tonic-gate */ 5677c478bd9Sstevel@tonic-gate if (ifl->ifl_vercnt) { 5689039eeafSab Ver_index *vip; 5697c478bd9Sstevel@tonic-gate Half vndx = ifl->ifl_versym[ndx]; 5707c478bd9Sstevel@tonic-gate 5717c478bd9Sstevel@tonic-gate sap->sa_dverndx = vndx; 5727c478bd9Sstevel@tonic-gate vip = &ifl->ifl_verndx[vndx]; 5737c478bd9Sstevel@tonic-gate if (!(vip->vi_flags & FLG_VER_AVAIL)) { 5747c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_NOTAVAIL; 5757c478bd9Sstevel@tonic-gate sap->sa_vfile = ifl->ifl_name; 5767c478bd9Sstevel@tonic-gate } 5777c478bd9Sstevel@tonic-gate } 5787c478bd9Sstevel@tonic-gate if (!(ifl->ifl_flags & FLG_IF_NEEDED)) 5797c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_NOTAVAIL; 5807c478bd9Sstevel@tonic-gate 5817c478bd9Sstevel@tonic-gate } else if (etype == ET_REL) { 5827c478bd9Sstevel@tonic-gate /* 5837c478bd9Sstevel@tonic-gate * If this symbol has been obtained from a versioned 5847c478bd9Sstevel@tonic-gate * input relocatable object then the new symbol must be 5857c478bd9Sstevel@tonic-gate * promoted to the versioning of the output file. 5867c478bd9Sstevel@tonic-gate */ 5877c478bd9Sstevel@tonic-gate if (ifl->ifl_versym) 5885aefb655Srie ld_vers_promote(sdp, ndx, ifl, ofl); 5897c478bd9Sstevel@tonic-gate } 5907c478bd9Sstevel@tonic-gate 5917c478bd9Sstevel@tonic-gate if ((ofl->ofl_flags & FLG_OF_GENMAP) && 5927c478bd9Sstevel@tonic-gate ((sdflags & FLG_SY_SPECSEC) == 0)) 59357ef7aa9SRod Evans if (aplist_append(&sap->sa_dfiles, ifl->ifl_name, 59457ef7aa9SRod Evans AL_CNT_SDP_DFILES) == NULL) 5957c478bd9Sstevel@tonic-gate return ((Sym_desc *)S_ERROR); 5967c478bd9Sstevel@tonic-gate } 5977c478bd9Sstevel@tonic-gate 59860758829Srie /* 59960758829Srie * Provided we're not processing a mapfile, diagnose the entered symbol. 60060758829Srie * Mapfile processing requires the symbol to be updated with additional 60160758829Srie * information, therefore the diagnosing of the symbol is deferred until 60260758829Srie * later (see Dbg_map_symbol()). 60360758829Srie */ 6046b3ba5bdSAli Bahrami if ((ifl == NULL) || ((ifl->ifl_flags & FLG_IF_MAPFILE) == 0)) 60560758829Srie DBG_CALL(Dbg_syms_entered(ofl, nsym, sdp)); 606635216b6SRod Evans 6077c478bd9Sstevel@tonic-gate return (sdp); 6087c478bd9Sstevel@tonic-gate } 6097c478bd9Sstevel@tonic-gate 6107c478bd9Sstevel@tonic-gate /* 6117c478bd9Sstevel@tonic-gate * Add a special symbol to the symbol table. Takes special symbol name with 6127c478bd9Sstevel@tonic-gate * and without underscores. This routine is called, after all other symbol 6137c478bd9Sstevel@tonic-gate * resolution has completed, to generate a reserved absolute symbol (the 6147c478bd9Sstevel@tonic-gate * underscore version). Special symbols are updated with the appropriate 615dd94ecefSrie * values in update_osym(). If the user has already defined this symbol 6167c478bd9Sstevel@tonic-gate * issue a warning and leave the symbol as is. If the non-underscore symbol 6177c478bd9Sstevel@tonic-gate * is referenced then turn it into a weak alias of the underscored symbol. 6187c478bd9Sstevel@tonic-gate * 619635216b6SRod Evans * The bits in sdflags_u are OR'd into the flags field of the symbol for the 620635216b6SRod Evans * underscored symbol. 621d579eb63Sab * 6227c478bd9Sstevel@tonic-gate * If this is a global symbol, and it hasn't explicitly been defined as being 6237c478bd9Sstevel@tonic-gate * directly bound to, indicate that it can't be directly bound to. 6247c478bd9Sstevel@tonic-gate * Historically, most special symbols only have meaning to the object in which 625c1c6f601Srie * they exist, however, they've always been global. To ensure compatibility 626c1c6f601Srie * with any unexpected use presently in effect, ensure these symbols don't get 6277c478bd9Sstevel@tonic-gate * directly bound to. Note, that establishing this state here isn't sufficient 6287c478bd9Sstevel@tonic-gate * to create a syminfo table, only if a syminfo table is being created by some 629c1c6f601Srie * other symbol directives will the nodirect binding be recorded. This ensures 6307c478bd9Sstevel@tonic-gate * we don't create syminfo sections for all objects we create, as this might add 6317c478bd9Sstevel@tonic-gate * unnecessary bloat to users who haven't explicitly requested extra symbol 6327c478bd9Sstevel@tonic-gate * information. 6337c478bd9Sstevel@tonic-gate */ 6347c478bd9Sstevel@tonic-gate static uintptr_t 6357c478bd9Sstevel@tonic-gate sym_add_spec(const char *name, const char *uname, Word sdaux_id, 636635216b6SRod Evans sd_flag_t sdflags_u, sd_flag_t sdflags, Ofl_desc *ofl) 6377c478bd9Sstevel@tonic-gate { 6387c478bd9Sstevel@tonic-gate Sym_desc *sdp; 639c524b4feSRichard Lowe Sym_desc *usdp; 6407c478bd9Sstevel@tonic-gate Sym *sym; 6417c478bd9Sstevel@tonic-gate Word hash; 6427c478bd9Sstevel@tonic-gate avl_index_t where; 6437c478bd9Sstevel@tonic-gate 6447c478bd9Sstevel@tonic-gate /* LINTED */ 6457c478bd9Sstevel@tonic-gate hash = (Word)elf_hash(uname); 6465aefb655Srie if (usdp = ld_sym_find(uname, hash, &where, ofl)) { 6477c478bd9Sstevel@tonic-gate /* 6487c478bd9Sstevel@tonic-gate * If the underscore symbol exists and is undefined, or was 6497c478bd9Sstevel@tonic-gate * defined in a shared library, convert it to a local symbol. 6507c478bd9Sstevel@tonic-gate * Otherwise leave it as is and warn the user. 6517c478bd9Sstevel@tonic-gate */ 6527c478bd9Sstevel@tonic-gate if ((usdp->sd_shndx == SHN_UNDEF) || 6537c478bd9Sstevel@tonic-gate (usdp->sd_ref != REF_REL_NEED)) { 6547c478bd9Sstevel@tonic-gate usdp->sd_ref = REF_REL_NEED; 6557c478bd9Sstevel@tonic-gate usdp->sd_shndx = usdp->sd_sym->st_shndx = SHN_ABS; 656635216b6SRod Evans usdp->sd_flags |= FLG_SY_SPECSEC | sdflags_u; 6577c478bd9Sstevel@tonic-gate usdp->sd_sym->st_info = 6587c478bd9Sstevel@tonic-gate ELF_ST_INFO(STB_GLOBAL, STT_OBJECT); 6597c478bd9Sstevel@tonic-gate usdp->sd_isc = NULL; 6607c478bd9Sstevel@tonic-gate usdp->sd_sym->st_size = 0; 6617c478bd9Sstevel@tonic-gate usdp->sd_sym->st_value = 0; 6627c478bd9Sstevel@tonic-gate /* LINTED */ 6637c478bd9Sstevel@tonic-gate usdp->sd_aux->sa_symspec = (Half)sdaux_id; 6647c478bd9Sstevel@tonic-gate 6657c478bd9Sstevel@tonic-gate /* 6669a411307Srie * If a user hasn't specifically indicated that the 6679a411307Srie * scope of this symbol be made local, then leave it 6689a411307Srie * as global (ie. prevent automatic scoping). The GOT 6699a411307Srie * should be defined protected, whereas all other 6709a411307Srie * special symbols are tagged as no-direct. 6717c478bd9Sstevel@tonic-gate */ 67208278a5eSRod Evans if (!SYM_IS_HIDDEN(usdp) && 673635216b6SRod Evans (sdflags & FLG_SY_DEFAULT)) { 67433eb6ee1Sab usdp->sd_aux->sa_overndx = VER_NDX_GLOBAL; 67533eb6ee1Sab if (sdaux_id == SDAUX_ID_GOT) { 676635216b6SRod Evans usdp->sd_flags &= ~FLG_SY_NDIR; 677635216b6SRod Evans usdp->sd_flags |= FLG_SY_PROTECT; 67833eb6ee1Sab usdp->sd_sym->st_other = STV_PROTECTED; 67933eb6ee1Sab } else if ( 680635216b6SRod Evans ((usdp->sd_flags & FLG_SY_DIR) == 0) && 68133eb6ee1Sab ((ofl->ofl_flags & FLG_OF_SYMBOLIC) == 0)) { 682635216b6SRod Evans usdp->sd_flags |= FLG_SY_NDIR; 68333eb6ee1Sab } 6847c478bd9Sstevel@tonic-gate } 685635216b6SRod Evans usdp->sd_flags |= sdflags; 6867c478bd9Sstevel@tonic-gate 6877c478bd9Sstevel@tonic-gate /* 688c1c6f601Srie * If the reference originated from a mapfile ensure 6897c478bd9Sstevel@tonic-gate * we mark the symbol as used. 6907c478bd9Sstevel@tonic-gate */ 6917c478bd9Sstevel@tonic-gate if (usdp->sd_flags & FLG_SY_MAPREF) 6927c478bd9Sstevel@tonic-gate usdp->sd_flags |= FLG_SY_MAPUSED; 6937c478bd9Sstevel@tonic-gate 6945aefb655Srie DBG_CALL(Dbg_syms_updated(ofl, usdp, uname)); 695*b6a0e2cdSRichard Lowe } else { 6961007fd6fSAli Bahrami ld_eprintf(ofl, ERR_WARNING, MSG_INTL(MSG_SYM_RESERVE), 6971007fd6fSAli Bahrami uname, usdp->sd_file->ifl_name); 698*b6a0e2cdSRichard Lowe } 6997c478bd9Sstevel@tonic-gate } else { 7007c478bd9Sstevel@tonic-gate /* 7017c478bd9Sstevel@tonic-gate * If the symbol does not exist create it. 7027c478bd9Sstevel@tonic-gate */ 7036b3ba5bdSAli Bahrami if ((sym = libld_calloc(sizeof (Sym), 1)) == NULL) 7047c478bd9Sstevel@tonic-gate return (S_ERROR); 7057c478bd9Sstevel@tonic-gate sym->st_shndx = SHN_ABS; 7067c478bd9Sstevel@tonic-gate sym->st_info = ELF_ST_INFO(STB_GLOBAL, STT_OBJECT); 7077c478bd9Sstevel@tonic-gate sym->st_size = 0; 7087c478bd9Sstevel@tonic-gate sym->st_value = 0; 7095aefb655Srie DBG_CALL(Dbg_syms_created(ofl->ofl_lml, uname)); 7105aefb655Srie if ((usdp = ld_sym_enter(uname, sym, hash, (Ifl_desc *)NULL, 711635216b6SRod Evans ofl, 0, SHN_ABS, (FLG_SY_SPECSEC | sdflags_u), &where)) == 7127c478bd9Sstevel@tonic-gate (Sym_desc *)S_ERROR) 7137c478bd9Sstevel@tonic-gate return (S_ERROR); 7147c478bd9Sstevel@tonic-gate usdp->sd_ref = REF_REL_NEED; 7157c478bd9Sstevel@tonic-gate /* LINTED */ 7167c478bd9Sstevel@tonic-gate usdp->sd_aux->sa_symspec = (Half)sdaux_id; 7177c478bd9Sstevel@tonic-gate 7187c478bd9Sstevel@tonic-gate usdp->sd_aux->sa_overndx = VER_NDX_GLOBAL; 7199a411307Srie 7209a411307Srie if (sdaux_id == SDAUX_ID_GOT) { 721635216b6SRod Evans usdp->sd_flags |= FLG_SY_PROTECT; 7229a411307Srie usdp->sd_sym->st_other = STV_PROTECTED; 723635216b6SRod Evans } else if ((sdflags & FLG_SY_DEFAULT) && 7249a411307Srie ((ofl->ofl_flags & FLG_OF_SYMBOLIC) == 0)) { 725635216b6SRod Evans usdp->sd_flags |= FLG_SY_NDIR; 7269a411307Srie } 727635216b6SRod Evans usdp->sd_flags |= sdflags; 7287c478bd9Sstevel@tonic-gate } 7297c478bd9Sstevel@tonic-gate 73028bda19cSRod Evans if (name && (sdp = ld_sym_find(name, SYM_NOHASH, NULL, ofl)) && 7310bc07c75Srie (sdp->sd_sym->st_shndx == SHN_UNDEF)) { 7327c478bd9Sstevel@tonic-gate uchar_t bind; 7337c478bd9Sstevel@tonic-gate 7347c478bd9Sstevel@tonic-gate /* 7357c478bd9Sstevel@tonic-gate * If the non-underscore symbol exists and is undefined 7367c478bd9Sstevel@tonic-gate * convert it to be a local. If the underscore has 7377c478bd9Sstevel@tonic-gate * sa_symspec set (ie. it was created above) then simulate this 7387c478bd9Sstevel@tonic-gate * as a weak alias. 7397c478bd9Sstevel@tonic-gate */ 7407c478bd9Sstevel@tonic-gate sdp->sd_ref = REF_REL_NEED; 7417c478bd9Sstevel@tonic-gate sdp->sd_shndx = sdp->sd_sym->st_shndx = SHN_ABS; 7427c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_SPECSEC; 7437c478bd9Sstevel@tonic-gate sdp->sd_isc = NULL; 7447c478bd9Sstevel@tonic-gate sdp->sd_sym->st_size = 0; 7457c478bd9Sstevel@tonic-gate sdp->sd_sym->st_value = 0; 7467c478bd9Sstevel@tonic-gate /* LINTED */ 7477c478bd9Sstevel@tonic-gate sdp->sd_aux->sa_symspec = (Half)sdaux_id; 7487c478bd9Sstevel@tonic-gate if (usdp->sd_aux->sa_symspec) { 7497c478bd9Sstevel@tonic-gate usdp->sd_aux->sa_linkndx = 0; 7507c478bd9Sstevel@tonic-gate sdp->sd_aux->sa_linkndx = 0; 7517c478bd9Sstevel@tonic-gate bind = STB_WEAK; 7527c478bd9Sstevel@tonic-gate } else 7537c478bd9Sstevel@tonic-gate bind = STB_GLOBAL; 7547c478bd9Sstevel@tonic-gate sdp->sd_sym->st_info = ELF_ST_INFO(bind, STT_OBJECT); 7557c478bd9Sstevel@tonic-gate 7567c478bd9Sstevel@tonic-gate /* 7579a411307Srie * If a user hasn't specifically indicated the scope of this 7589a411307Srie * symbol be made local then leave it as global (ie. prevent 7599a411307Srie * automatic scoping). The GOT should be defined protected, 7609a411307Srie * whereas all other special symbols are tagged as no-direct. 7617c478bd9Sstevel@tonic-gate */ 76208278a5eSRod Evans if (!SYM_IS_HIDDEN(sdp) && 763635216b6SRod Evans (sdflags & FLG_SY_DEFAULT)) { 7647c478bd9Sstevel@tonic-gate sdp->sd_aux->sa_overndx = VER_NDX_GLOBAL; 7659a411307Srie if (sdaux_id == SDAUX_ID_GOT) { 766635216b6SRod Evans sdp->sd_flags &= ~FLG_SY_NDIR; 767635216b6SRod Evans sdp->sd_flags |= FLG_SY_PROTECT; 7689a411307Srie sdp->sd_sym->st_other = STV_PROTECTED; 769635216b6SRod Evans } else if (((sdp->sd_flags & FLG_SY_DIR) == 0) && 7709a411307Srie ((ofl->ofl_flags & FLG_OF_SYMBOLIC) == 0)) { 771635216b6SRod Evans sdp->sd_flags |= FLG_SY_NDIR; 7729a411307Srie } 7737c478bd9Sstevel@tonic-gate } 774635216b6SRod Evans sdp->sd_flags |= sdflags; 7757c478bd9Sstevel@tonic-gate 7767c478bd9Sstevel@tonic-gate /* 777c1c6f601Srie * If the reference originated from a mapfile ensure 7787c478bd9Sstevel@tonic-gate * we mark the symbol as used. 7797c478bd9Sstevel@tonic-gate */ 7807c478bd9Sstevel@tonic-gate if (sdp->sd_flags & FLG_SY_MAPREF) 7817c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_MAPUSED; 7827c478bd9Sstevel@tonic-gate 7835aefb655Srie DBG_CALL(Dbg_syms_updated(ofl, sdp, name)); 7847c478bd9Sstevel@tonic-gate } 7857c478bd9Sstevel@tonic-gate return (1); 7867c478bd9Sstevel@tonic-gate } 7877c478bd9Sstevel@tonic-gate 7887c478bd9Sstevel@tonic-gate 7897c478bd9Sstevel@tonic-gate /* 7907c478bd9Sstevel@tonic-gate * Undefined symbols can fall into one of four types: 7917c478bd9Sstevel@tonic-gate * 7926b3ba5bdSAli Bahrami * - the symbol is really undefined (SHN_UNDEF). 7937c478bd9Sstevel@tonic-gate * 7946b3ba5bdSAli Bahrami * - versioning has been enabled, however this symbol has not been assigned 7957c478bd9Sstevel@tonic-gate * to one of the defined versions. 7967c478bd9Sstevel@tonic-gate * 7976b3ba5bdSAli Bahrami * - the symbol has been defined by an implicitly supplied library, ie. one 7987c478bd9Sstevel@tonic-gate * which was encounted because it was NEEDED by another library, rather 799c524b4feSRichard Lowe * than from a command line supplied library which would become the only 8007c478bd9Sstevel@tonic-gate * dependency of the output file being produced. 8017c478bd9Sstevel@tonic-gate * 8026b3ba5bdSAli Bahrami * - the symbol has been defined by a version of a shared object that is 8037c478bd9Sstevel@tonic-gate * not permitted for this link-edit. 8047c478bd9Sstevel@tonic-gate * 8057c478bd9Sstevel@tonic-gate * In all cases the file who made the first reference to this symbol will have 8067c478bd9Sstevel@tonic-gate * been recorded via the `sa_rfile' pointer. 8077c478bd9Sstevel@tonic-gate */ 8087c478bd9Sstevel@tonic-gate typedef enum { 8097c478bd9Sstevel@tonic-gate UNDEF, NOVERSION, IMPLICIT, NOTAVAIL, 8107c478bd9Sstevel@tonic-gate BNDLOCAL 8117c478bd9Sstevel@tonic-gate } Type; 8127c478bd9Sstevel@tonic-gate 8137c478bd9Sstevel@tonic-gate static const Msg format[] = { 8147c478bd9Sstevel@tonic-gate MSG_SYM_UND_UNDEF, /* MSG_INTL(MSG_SYM_UND_UNDEF) */ 8157c478bd9Sstevel@tonic-gate MSG_SYM_UND_NOVER, /* MSG_INTL(MSG_SYM_UND_NOVER) */ 8167c478bd9Sstevel@tonic-gate MSG_SYM_UND_IMPL, /* MSG_INTL(MSG_SYM_UND_IMPL) */ 8177c478bd9Sstevel@tonic-gate MSG_SYM_UND_NOTA, /* MSG_INTL(MSG_SYM_UND_NOTA) */ 8187c478bd9Sstevel@tonic-gate MSG_SYM_UND_BNDLOCAL /* MSG_INTL(MSG_SYM_UND_BNDLOCAL) */ 8197c478bd9Sstevel@tonic-gate }; 8207c478bd9Sstevel@tonic-gate 8211007fd6fSAli Bahrami /* 8221007fd6fSAli Bahrami * Issue an undefined symbol message for the given symbol. 8231007fd6fSAli Bahrami * 8241007fd6fSAli Bahrami * entry: 8251007fd6fSAli Bahrami * ofl - Output descriptor 8261007fd6fSAli Bahrami * sdp - Undefined symbol to report 8271007fd6fSAli Bahrami * type - Type of undefined symbol 8281007fd6fSAli Bahrami * ofl_flag - One of 0, FLG_OF_FATAL, or FLG_OF_WARN. 8291007fd6fSAli Bahrami * undef_state - Address of variable to be initialized to 0 8301007fd6fSAli Bahrami * before the first call to sym_undef_entry, and passed 8311007fd6fSAli Bahrami * to each subsequent call. A non-zero value for *undef_state 8321007fd6fSAli Bahrami * indicates that this is not the first call in the series. 8331007fd6fSAli Bahrami * 8341007fd6fSAli Bahrami * exit: 8351007fd6fSAli Bahrami * If *undef_state is 0, a title is issued. 8361007fd6fSAli Bahrami * 8371007fd6fSAli Bahrami * A message for the undefined symbol is issued. 8381007fd6fSAli Bahrami * 8391007fd6fSAli Bahrami * If ofl_flag is non-zero, its value is OR'd into *undef_state. Otherwise, 8401007fd6fSAli Bahrami * all bits other than FLG_OF_FATAL and FLG_OF_WARN are set, in order to 8411007fd6fSAli Bahrami * provide *undef_state with a non-zero value. These other bits have 8421007fd6fSAli Bahrami * no meaning beyond that, and serve to ensure that *undef_state is 8431007fd6fSAli Bahrami * non-zero if sym_undef_entry() has been called. 8441007fd6fSAli Bahrami */ 8455aefb655Srie static void 8461007fd6fSAli Bahrami sym_undef_entry(Ofl_desc *ofl, Sym_desc *sdp, Type type, ofl_flag_t ofl_flag, 8471007fd6fSAli Bahrami ofl_flag_t *undef_state) 8487c478bd9Sstevel@tonic-gate { 8497c478bd9Sstevel@tonic-gate const char *name1, *name2, *name3; 8507c478bd9Sstevel@tonic-gate Ifl_desc *ifl = sdp->sd_file; 8517c478bd9Sstevel@tonic-gate Sym_aux *sap = sdp->sd_aux; 8527c478bd9Sstevel@tonic-gate 8531007fd6fSAli Bahrami if (*undef_state == 0) 8541007fd6fSAli Bahrami ld_eprintf(ofl, ERR_NONE, MSG_INTL(MSG_SYM_FMT_UNDEF), 8551007fd6fSAli Bahrami MSG_INTL(MSG_SYM_UNDEF_ITM_11), 8561007fd6fSAli Bahrami MSG_INTL(MSG_SYM_UNDEF_ITM_21), 8571007fd6fSAli Bahrami MSG_INTL(MSG_SYM_UNDEF_ITM_12), 8581007fd6fSAli Bahrami MSG_INTL(MSG_SYM_UNDEF_ITM_22)); 8591007fd6fSAli Bahrami 8601007fd6fSAli Bahrami ofl->ofl_flags |= ofl_flag; 8611007fd6fSAli Bahrami *undef_state |= ofl_flag ? ofl_flag : ~(FLG_OF_FATAL | FLG_OF_WARN); 8627c478bd9Sstevel@tonic-gate 8637c478bd9Sstevel@tonic-gate switch (type) { 8647c478bd9Sstevel@tonic-gate case UNDEF: 8657c478bd9Sstevel@tonic-gate case BNDLOCAL: 8667c478bd9Sstevel@tonic-gate name1 = sap->sa_rfile; 8677c478bd9Sstevel@tonic-gate break; 8687c478bd9Sstevel@tonic-gate case NOVERSION: 8697c478bd9Sstevel@tonic-gate name1 = ifl->ifl_name; 8707c478bd9Sstevel@tonic-gate break; 8717c478bd9Sstevel@tonic-gate case IMPLICIT: 8727c478bd9Sstevel@tonic-gate name1 = sap->sa_rfile; 8737c478bd9Sstevel@tonic-gate name2 = ifl->ifl_name; 8747c478bd9Sstevel@tonic-gate break; 8757c478bd9Sstevel@tonic-gate case NOTAVAIL: 8767c478bd9Sstevel@tonic-gate name1 = sap->sa_rfile; 8777c478bd9Sstevel@tonic-gate name2 = sap->sa_vfile; 8787c478bd9Sstevel@tonic-gate name3 = ifl->ifl_verndx[sap->sa_dverndx].vi_name; 8797c478bd9Sstevel@tonic-gate break; 8807c478bd9Sstevel@tonic-gate default: 8817c478bd9Sstevel@tonic-gate return; 8827c478bd9Sstevel@tonic-gate } 8837c478bd9Sstevel@tonic-gate 8841007fd6fSAli Bahrami ld_eprintf(ofl, ERR_NONE, MSG_INTL(format[type]), 8855aefb655Srie demangle(sdp->sd_name), name1, name2, name3); 8867c478bd9Sstevel@tonic-gate } 8877c478bd9Sstevel@tonic-gate 888*b6a0e2cdSRichard Lowe /* 889*b6a0e2cdSRichard Lowe * If an undef symbol exists naming a bound for the output section, 890*b6a0e2cdSRichard Lowe * turn it into a defined symbol with the correct value. 891*b6a0e2cdSRichard Lowe * 892*b6a0e2cdSRichard Lowe * We set an arbitrary 1KB limit on the resulting symbol names. 893*b6a0e2cdSRichard Lowe */ 894*b6a0e2cdSRichard Lowe static void 895*b6a0e2cdSRichard Lowe sym_add_bounds(Ofl_desc *ofl, Os_desc *osp, Word bound) 896*b6a0e2cdSRichard Lowe { 897*b6a0e2cdSRichard Lowe Sym_desc *bsdp; 898*b6a0e2cdSRichard Lowe char symn[1024]; 899*b6a0e2cdSRichard Lowe size_t nsz; 900*b6a0e2cdSRichard Lowe 901*b6a0e2cdSRichard Lowe switch (bound) { 902*b6a0e2cdSRichard Lowe case SDAUX_ID_SECBOUND_START: 903*b6a0e2cdSRichard Lowe nsz = snprintf(symn, sizeof (symn), "%s%s", 904*b6a0e2cdSRichard Lowe MSG_ORIG(MSG_SYM_SECBOUND_START), osp->os_name); 905*b6a0e2cdSRichard Lowe if (nsz >= sizeof (symn)) 906*b6a0e2cdSRichard Lowe return; 907*b6a0e2cdSRichard Lowe break; 908*b6a0e2cdSRichard Lowe case SDAUX_ID_SECBOUND_STOP: 909*b6a0e2cdSRichard Lowe nsz = snprintf(symn, sizeof (symn), "%s%s", 910*b6a0e2cdSRichard Lowe MSG_ORIG(MSG_SYM_SECBOUND_STOP), osp->os_name); 911*b6a0e2cdSRichard Lowe if (nsz >= sizeof (symn)) 912*b6a0e2cdSRichard Lowe return; 913*b6a0e2cdSRichard Lowe break; 914*b6a0e2cdSRichard Lowe default: 915*b6a0e2cdSRichard Lowe assert(0); 916*b6a0e2cdSRichard Lowe } 917*b6a0e2cdSRichard Lowe 918*b6a0e2cdSRichard Lowe if ((bsdp = ld_sym_find(symn, SYM_NOHASH, NULL, ofl)) != NULL) { 919*b6a0e2cdSRichard Lowe if ((bsdp->sd_shndx != SHN_UNDEF) && 920*b6a0e2cdSRichard Lowe (bsdp->sd_ref == REF_REL_NEED)) { 921*b6a0e2cdSRichard Lowe ld_eprintf(ofl, ERR_WARNING, MSG_INTL(MSG_SYM_RESERVE), 922*b6a0e2cdSRichard Lowe symn, bsdp->sd_file->ifl_name); 923*b6a0e2cdSRichard Lowe return; 924*b6a0e2cdSRichard Lowe } 925*b6a0e2cdSRichard Lowe 926*b6a0e2cdSRichard Lowe DBG_CALL(Dbg_syms_updated(ofl, bsdp, symn)); 927*b6a0e2cdSRichard Lowe 928*b6a0e2cdSRichard Lowe bsdp->sd_aux->sa_symspec = bound; 929*b6a0e2cdSRichard Lowe bsdp->sd_aux->sa_boundsec = osp; 930*b6a0e2cdSRichard Lowe bsdp->sd_flags |= FLG_SY_SPECSEC; 931*b6a0e2cdSRichard Lowe bsdp->sd_ref = REF_REL_NEED; 932*b6a0e2cdSRichard Lowe bsdp->sd_sym->st_info = ELF_ST_INFO(STB_GLOBAL, STT_NOTYPE); 933*b6a0e2cdSRichard Lowe bsdp->sd_sym->st_other = STV_PROTECTED; 934*b6a0e2cdSRichard Lowe bsdp->sd_isc = NULL; 935*b6a0e2cdSRichard Lowe bsdp->sd_sym->st_size = 0; 936*b6a0e2cdSRichard Lowe bsdp->sd_sym->st_value = 0; 937*b6a0e2cdSRichard Lowe bsdp->sd_shndx = bsdp->sd_sym->st_shndx = SHN_ABS; 938*b6a0e2cdSRichard Lowe } 939*b6a0e2cdSRichard Lowe } 940*b6a0e2cdSRichard Lowe 941*b6a0e2cdSRichard Lowe static Boolean 942*b6a0e2cdSRichard Lowe is_cname(const char *name) 943*b6a0e2cdSRichard Lowe { 944*b6a0e2cdSRichard Lowe if (strlen(name) == strspn(name, 945*b6a0e2cdSRichard Lowe "abcdefghijklmnopqrstuvwxyz" 946*b6a0e2cdSRichard Lowe "ABCDEFGHIJKLMNOPQRSTUVWXYZ" 947*b6a0e2cdSRichard Lowe "0123456789" 948*b6a0e2cdSRichard Lowe "_")) 949*b6a0e2cdSRichard Lowe return (TRUE); 950*b6a0e2cdSRichard Lowe else 951*b6a0e2cdSRichard Lowe return (FALSE); 952*b6a0e2cdSRichard Lowe } 953*b6a0e2cdSRichard Lowe 9547c478bd9Sstevel@tonic-gate /* 9557c478bd9Sstevel@tonic-gate * At this point all symbol input processing has been completed, therefore 9567c478bd9Sstevel@tonic-gate * complete the symbol table entries by generating any necessary internal 9577c478bd9Sstevel@tonic-gate * symbols. 9587c478bd9Sstevel@tonic-gate */ 9597c478bd9Sstevel@tonic-gate uintptr_t 9605aefb655Srie ld_sym_spec(Ofl_desc *ofl) 9617c478bd9Sstevel@tonic-gate { 9629a411307Srie Sym_desc *sdp; 963*b6a0e2cdSRichard Lowe Sg_desc *sgp; 964*b6a0e2cdSRichard Lowe 965*b6a0e2cdSRichard Lowe DBG_CALL(Dbg_syms_spec_title(ofl->ofl_lml)); 966*b6a0e2cdSRichard Lowe 967*b6a0e2cdSRichard Lowe /* 968*b6a0e2cdSRichard Lowe * For each section in the output file, look for symbols named for the 969*b6a0e2cdSRichard Lowe * __start/__stop patterns. If references exist, flesh the symbols to 970*b6a0e2cdSRichard Lowe * be defined. 971*b6a0e2cdSRichard Lowe * 972*b6a0e2cdSRichard Lowe * The symbols are given values at the same time as the other special 973*b6a0e2cdSRichard Lowe * symbols. 974*b6a0e2cdSRichard Lowe */ 975*b6a0e2cdSRichard Lowe if (!(ofl->ofl_flags & FLG_OF_RELOBJ) || 976*b6a0e2cdSRichard Lowe (ofl->ofl_flags & FLG_OF_KMOD)) { 977*b6a0e2cdSRichard Lowe Aliste idx1; 978*b6a0e2cdSRichard Lowe 979*b6a0e2cdSRichard Lowe for (APLIST_TRAVERSE(ofl->ofl_segs, idx1, sgp)) { 980*b6a0e2cdSRichard Lowe Os_desc *osp; 981*b6a0e2cdSRichard Lowe Aliste idx2; 982*b6a0e2cdSRichard Lowe 983*b6a0e2cdSRichard Lowe for (APLIST_TRAVERSE(sgp->sg_osdescs, idx2, osp)) { 984*b6a0e2cdSRichard Lowe if (is_cname(osp->os_name)) { 985*b6a0e2cdSRichard Lowe sym_add_bounds(ofl, osp, 986*b6a0e2cdSRichard Lowe SDAUX_ID_SECBOUND_START); 987*b6a0e2cdSRichard Lowe sym_add_bounds(ofl, osp, 988*b6a0e2cdSRichard Lowe SDAUX_ID_SECBOUND_STOP); 989*b6a0e2cdSRichard Lowe } 990*b6a0e2cdSRichard Lowe } 991*b6a0e2cdSRichard Lowe } 992*b6a0e2cdSRichard Lowe } 9937c478bd9Sstevel@tonic-gate 9949a411307Srie if (ofl->ofl_flags & FLG_OF_RELOBJ) 9959a411307Srie return (1); 9967c478bd9Sstevel@tonic-gate 9979a411307Srie if (sym_add_spec(MSG_ORIG(MSG_SYM_ETEXT), MSG_ORIG(MSG_SYM_ETEXT_U), 998635216b6SRod Evans SDAUX_ID_ETEXT, 0, (FLG_SY_DEFAULT | FLG_SY_EXPDEF), 99960758829Srie ofl) == S_ERROR) 10009a411307Srie return (S_ERROR); 10019a411307Srie if (sym_add_spec(MSG_ORIG(MSG_SYM_EDATA), MSG_ORIG(MSG_SYM_EDATA_U), 1002635216b6SRod Evans SDAUX_ID_EDATA, 0, (FLG_SY_DEFAULT | FLG_SY_EXPDEF), 100360758829Srie ofl) == S_ERROR) 10049a411307Srie return (S_ERROR); 10059a411307Srie if (sym_add_spec(MSG_ORIG(MSG_SYM_END), MSG_ORIG(MSG_SYM_END_U), 1006635216b6SRod Evans SDAUX_ID_END, FLG_SY_DYNSORT, (FLG_SY_DEFAULT | FLG_SY_EXPDEF), 100760758829Srie ofl) == S_ERROR) 10089a411307Srie return (S_ERROR); 10099a411307Srie if (sym_add_spec(MSG_ORIG(MSG_SYM_L_END), MSG_ORIG(MSG_SYM_L_END_U), 1010635216b6SRod Evans SDAUX_ID_END, 0, FLG_SY_HIDDEN, ofl) == S_ERROR) 10119a411307Srie return (S_ERROR); 10129a411307Srie if (sym_add_spec(MSG_ORIG(MSG_SYM_L_START), MSG_ORIG(MSG_SYM_L_START_U), 1013635216b6SRod Evans SDAUX_ID_START, 0, FLG_SY_HIDDEN, ofl) == S_ERROR) 10149a411307Srie return (S_ERROR); 10157c478bd9Sstevel@tonic-gate 10169a411307Srie /* 10179a411307Srie * Historically we've always produced a _DYNAMIC symbol, even for 10189a411307Srie * static executables (in which case its value will be 0). 10199a411307Srie */ 10209a411307Srie if (sym_add_spec(MSG_ORIG(MSG_SYM_DYNAMIC), MSG_ORIG(MSG_SYM_DYNAMIC_U), 1021635216b6SRod Evans SDAUX_ID_DYN, FLG_SY_DYNSORT, (FLG_SY_DEFAULT | FLG_SY_EXPDEF), 102260758829Srie ofl) == S_ERROR) 10239a411307Srie return (S_ERROR); 10249a411307Srie 1025d579eb63Sab if (OFL_ALLOW_DYNSYM(ofl)) 10269a411307Srie if (sym_add_spec(MSG_ORIG(MSG_SYM_PLKTBL), 10279a411307Srie MSG_ORIG(MSG_SYM_PLKTBL_U), SDAUX_ID_PLT, 1028635216b6SRod Evans FLG_SY_DYNSORT, (FLG_SY_DEFAULT | FLG_SY_EXPDEF), 102960758829Srie ofl) == S_ERROR) 10307c478bd9Sstevel@tonic-gate return (S_ERROR); 10317c478bd9Sstevel@tonic-gate 10329a411307Srie /* 10339a411307Srie * A GOT reference will be accompanied by the associated GOT symbol. 10349a411307Srie * Make sure it gets assigned the appropriate special attributes. 10359a411307Srie */ 10369a411307Srie if (((sdp = ld_sym_find(MSG_ORIG(MSG_SYM_GOFTBL_U), 1037635216b6SRod Evans SYM_NOHASH, NULL, ofl)) != NULL) && (sdp->sd_ref != REF_DYN_SEEN)) { 10389a411307Srie if (sym_add_spec(MSG_ORIG(MSG_SYM_GOFTBL), 1039d579eb63Sab MSG_ORIG(MSG_SYM_GOFTBL_U), SDAUX_ID_GOT, FLG_SY_DYNSORT, 1040635216b6SRod Evans (FLG_SY_DEFAULT | FLG_SY_EXPDEF), ofl) == S_ERROR) 10419a411307Srie return (S_ERROR); 10427c478bd9Sstevel@tonic-gate } 10439a411307Srie 10447c478bd9Sstevel@tonic-gate return (1); 10457c478bd9Sstevel@tonic-gate } 10467c478bd9Sstevel@tonic-gate 104708278a5eSRod Evans /* 104808278a5eSRod Evans * Determine a potential capability symbol's visibility. 104908278a5eSRod Evans * 105008278a5eSRod Evans * The -z symbolcap option transforms an object capabilities relocatable object 105108278a5eSRod Evans * into a symbol capabilities relocatable object. Any global function symbols, 105208278a5eSRod Evans * or initialized global data symbols are candidates for transforming into local 105308278a5eSRod Evans * symbol capabilities definitions. However, if a user indicates that a symbol 105408278a5eSRod Evans * should be demoted to local using a mapfile, then there is no need to 105508278a5eSRod Evans * transform the associated global symbol. 105608278a5eSRod Evans * 105708278a5eSRod Evans * Normally, a symbol's visibility is determined after the symbol resolution 105808278a5eSRod Evans * process, after all symbol state has been gathered and resolved. However, 105908278a5eSRod Evans * for -z symbolcap, this determination is too late. When a global symbol is 106008278a5eSRod Evans * read from an input file we need to determine it's visibility so as to decide 106108278a5eSRod Evans * whether to create a local or not. 106208278a5eSRod Evans * 106308278a5eSRod Evans * If a user has explicitly defined this symbol as having local scope within a 106408278a5eSRod Evans * mapfile, then a symbol of the same name already exists. However, explicit 106508278a5eSRod Evans * local definitions are uncommon, as most mapfiles define the global symbol 106608278a5eSRod Evans * requirements together with an auto-reduction directive '*'. If this state 106708278a5eSRod Evans * has been defined, then we must make sure that the new symbol isn't a type 106808278a5eSRod Evans * that can not be demoted to local. 106908278a5eSRod Evans */ 107008278a5eSRod Evans static int 107108278a5eSRod Evans sym_cap_vis(const char *name, Word hash, Sym *sym, Ofl_desc *ofl) 107208278a5eSRod Evans { 107308278a5eSRod Evans Sym_desc *sdp; 107408278a5eSRod Evans uchar_t vis; 107508278a5eSRod Evans avl_index_t where; 107608278a5eSRod Evans sd_flag_t sdflags = 0; 107708278a5eSRod Evans 107808278a5eSRod Evans /* 107908278a5eSRod Evans * Determine the visibility of the new symbol. 108008278a5eSRod Evans */ 108108278a5eSRod Evans vis = ELF_ST_VISIBILITY(sym->st_other); 108208278a5eSRod Evans switch (vis) { 108308278a5eSRod Evans case STV_EXPORTED: 108408278a5eSRod Evans sdflags |= FLG_SY_EXPORT; 108508278a5eSRod Evans break; 108608278a5eSRod Evans case STV_SINGLETON: 108708278a5eSRod Evans sdflags |= FLG_SY_SINGLE; 108808278a5eSRod Evans break; 1089c524b4feSRichard Lowe case STV_HIDDEN: 1090c524b4feSRichard Lowe sdflags |= FLG_SY_HIDDEN; 1091c524b4feSRichard Lowe break; 109208278a5eSRod Evans } 109308278a5eSRod Evans 109408278a5eSRod Evans /* 109508278a5eSRod Evans * Determine whether a symbol definition already exists, and if so 109608278a5eSRod Evans * obtain the visibility. 109708278a5eSRod Evans */ 109808278a5eSRod Evans if ((sdp = ld_sym_find(name, hash, &where, ofl)) != NULL) 109908278a5eSRod Evans sdflags |= sdp->sd_flags; 110008278a5eSRod Evans 110108278a5eSRod Evans /* 110208278a5eSRod Evans * Determine whether the symbol flags indicate this symbol should be 110308278a5eSRod Evans * hidden. 110408278a5eSRod Evans */ 110508278a5eSRod Evans if ((ofl->ofl_flags & (FLG_OF_AUTOLCL | FLG_OF_AUTOELM)) && 110608278a5eSRod Evans ((sdflags & MSK_SY_NOAUTO) == 0)) 110708278a5eSRod Evans sdflags |= FLG_SY_HIDDEN; 110808278a5eSRod Evans 110908278a5eSRod Evans return ((sdflags & FLG_SY_HIDDEN) == 0); 111008278a5eSRod Evans } 111108278a5eSRod Evans 11127c478bd9Sstevel@tonic-gate /* 11137c478bd9Sstevel@tonic-gate * This routine checks to see if a symbols visibility needs to be reduced to 11147c478bd9Sstevel@tonic-gate * either SYMBOLIC or LOCAL. This routine can be called from either 11157c478bd9Sstevel@tonic-gate * reloc_init() or sym_validate(). 11167c478bd9Sstevel@tonic-gate */ 11177c478bd9Sstevel@tonic-gate void 11185aefb655Srie ld_sym_adjust_vis(Sym_desc *sdp, Ofl_desc *ofl) 11197c478bd9Sstevel@tonic-gate { 112044bac77bSrie ofl_flag_t oflags = ofl->ofl_flags; 112144bac77bSrie Sym *sym = sdp->sd_sym; 11227c478bd9Sstevel@tonic-gate 11230bc07c75Srie if ((sdp->sd_ref == REF_REL_NEED) && 11240bc07c75Srie (sdp->sd_sym->st_shndx != SHN_UNDEF)) { 11257c478bd9Sstevel@tonic-gate /* 112660758829Srie * If auto-reduction/elimination is enabled, reduce any 112708278a5eSRod Evans * non-versioned, and non-local capabilities global symbols. 112860758829Srie * A symbol is a candidate for auto-reduction/elimination if: 112960758829Srie * 113028bda19cSRod Evans * - the symbol wasn't explicitly defined within a mapfile 113160758829Srie * (in which case all the necessary state has been applied 113260758829Srie * to the symbol), or 113328bda19cSRod Evans * - the symbol isn't one of the family of reserved 113460758829Srie * special symbols (ie. _end, _etext, etc.), or 113528bda19cSRod Evans * - the symbol isn't a SINGLETON, or 113628bda19cSRod Evans * - the symbol wasn't explicitly defined within a version 113760758829Srie * definition associated with an input relocatable object. 113860758829Srie * 11397c478bd9Sstevel@tonic-gate * Indicate that the symbol has been reduced as it may be 11407c478bd9Sstevel@tonic-gate * necessary to print these symbols later. 11417c478bd9Sstevel@tonic-gate */ 114244bac77bSrie if ((oflags & (FLG_OF_AUTOLCL | FLG_OF_AUTOELM)) && 1143635216b6SRod Evans ((sdp->sd_flags & MSK_SY_NOAUTO) == 0)) { 1144635216b6SRod Evans if ((sdp->sd_flags & FLG_SY_HIDDEN) == 0) { 1145635216b6SRod Evans sdp->sd_flags |= 1146635216b6SRod Evans (FLG_SY_REDUCED | FLG_SY_HIDDEN); 114760758829Srie } 11487c478bd9Sstevel@tonic-gate 114944bac77bSrie if (oflags & (FLG_OF_REDLSYM | FLG_OF_AUTOELM)) { 1150635216b6SRod Evans sdp->sd_flags |= FLG_SY_ELIM; 115160758829Srie sym->st_other = STV_ELIMINATE | 115260758829Srie (sym->st_other & ~MSK_SYM_VISIBILITY); 115360758829Srie } else if (ELF_ST_VISIBILITY(sym->st_other) != 115460758829Srie STV_INTERNAL) 115560758829Srie sym->st_other = STV_HIDDEN | 115660758829Srie (sym->st_other & ~MSK_SYM_VISIBILITY); 11577c478bd9Sstevel@tonic-gate } 11587c478bd9Sstevel@tonic-gate 11597c478bd9Sstevel@tonic-gate /* 11609a411307Srie * If -Bsymbolic is in effect, and the symbol hasn't explicitly 11619a411307Srie * been defined nodirect (via a mapfile), then bind the global 11629a411307Srie * symbol symbolically and assign the STV_PROTECTED visibility 11637c478bd9Sstevel@tonic-gate * attribute. 11647c478bd9Sstevel@tonic-gate */ 11657c478bd9Sstevel@tonic-gate if ((oflags & FLG_OF_SYMBOLIC) && 1166635216b6SRod Evans ((sdp->sd_flags & (FLG_SY_HIDDEN | FLG_SY_NDIR)) == 0)) { 1167635216b6SRod Evans sdp->sd_flags |= FLG_SY_PROTECT; 11687c478bd9Sstevel@tonic-gate if (ELF_ST_VISIBILITY(sym->st_other) == STV_DEFAULT) 11697c478bd9Sstevel@tonic-gate sym->st_other = STV_PROTECTED | 11707c478bd9Sstevel@tonic-gate (sym->st_other & ~MSK_SYM_VISIBILITY); 11717c478bd9Sstevel@tonic-gate } 11727c478bd9Sstevel@tonic-gate } 11737c478bd9Sstevel@tonic-gate 11747c478bd9Sstevel@tonic-gate /* 11757c478bd9Sstevel@tonic-gate * Indicate that this symbol has had it's visibility checked so that 11767c478bd9Sstevel@tonic-gate * we don't need to do this investigation again. 11777c478bd9Sstevel@tonic-gate */ 11787c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_VISIBLE; 11797c478bd9Sstevel@tonic-gate } 11807c478bd9Sstevel@tonic-gate 1181c1c6f601Srie /* 1182c1c6f601Srie * Make sure a symbol definition is local to the object being built. 1183c1c6f601Srie */ 118457ef7aa9SRod Evans inline static int 1185c1c6f601Srie ensure_sym_local(Ofl_desc *ofl, Sym_desc *sdp, const char *str) 1186c1c6f601Srie { 1187c1c6f601Srie if (sdp->sd_sym->st_shndx == SHN_UNDEF) { 1188c1c6f601Srie if (str) { 11891007fd6fSAli Bahrami ld_eprintf(ofl, ERR_FATAL, MSG_INTL(MSG_SYM_UNDEF), 11901007fd6fSAli Bahrami str, demangle((char *)sdp->sd_name)); 1191c1c6f601Srie } 1192c1c6f601Srie return (1); 1193c1c6f601Srie } 1194c1c6f601Srie if (sdp->sd_ref != REF_REL_NEED) { 1195c1c6f601Srie if (str) { 11961007fd6fSAli Bahrami ld_eprintf(ofl, ERR_FATAL, MSG_INTL(MSG_SYM_EXTERN), 11971007fd6fSAli Bahrami str, demangle((char *)sdp->sd_name), 1198c1c6f601Srie sdp->sd_file->ifl_name); 1199c1c6f601Srie } 1200c1c6f601Srie return (1); 1201c1c6f601Srie } 1202c1c6f601Srie 1203c1c6f601Srie sdp->sd_flags |= FLG_SY_UPREQD; 1204c1c6f601Srie if (sdp->sd_isc) { 1205c1c6f601Srie sdp->sd_isc->is_flags |= FLG_IS_SECTREF; 1206c1c6f601Srie sdp->sd_isc->is_file->ifl_flags |= FLG_IF_FILEREF; 1207c1c6f601Srie } 1208c1c6f601Srie return (0); 1209c1c6f601Srie } 1210c1c6f601Srie 1211c1c6f601Srie /* 1212c1c6f601Srie * Make sure all the symbol definitions required for initarray, finiarray, or 1213c1c6f601Srie * preinitarray's are local to the object being built. 1214c1c6f601Srie */ 1215c1c6f601Srie static int 121657ef7aa9SRod Evans ensure_array_local(Ofl_desc *ofl, APlist *apl, const char *str) 1217c1c6f601Srie { 121857ef7aa9SRod Evans Aliste idx; 1219c1c6f601Srie Sym_desc *sdp; 1220c1c6f601Srie int ret = 0; 1221c1c6f601Srie 122257ef7aa9SRod Evans for (APLIST_TRAVERSE(apl, idx, sdp)) 1223c1c6f601Srie ret += ensure_sym_local(ofl, sdp, str); 1224c1c6f601Srie 1225c1c6f601Srie return (ret); 1226c1c6f601Srie } 1227c1c6f601Srie 12287c478bd9Sstevel@tonic-gate /* 12297c478bd9Sstevel@tonic-gate * After all symbol table input processing has been finished, and all relocation 12307c478bd9Sstevel@tonic-gate * counting has been carried out (ie. no more symbols will be read, generated, 12317c478bd9Sstevel@tonic-gate * or modified), validate and count the relevant entries: 12327c478bd9Sstevel@tonic-gate * 123308278a5eSRod Evans * - check and print any undefined symbols remaining. Note that if a symbol 1234c524b4feSRichard Lowe * has been defined by virtue of the inclusion of an implicit shared 123508278a5eSRod Evans * library, it is still classed as undefined. 12367c478bd9Sstevel@tonic-gate * 123708278a5eSRod Evans * - count the number of global needed symbols together with the size of 123808278a5eSRod Evans * their associated name strings (if scoping has been indicated these 123908278a5eSRod Evans * symbols may be reduced to locals). 12407c478bd9Sstevel@tonic-gate * 124108278a5eSRod Evans * - establish the size and alignment requirements for the global .bss 1242*b6a0e2cdSRichard Lowe * section (the alignment of this section is based on the first symbol 124308278a5eSRod Evans * that it will contain). 12447c478bd9Sstevel@tonic-gate */ 12457c478bd9Sstevel@tonic-gate uintptr_t 12465aefb655Srie ld_sym_validate(Ofl_desc *ofl) 12477c478bd9Sstevel@tonic-gate { 12487c478bd9Sstevel@tonic-gate Sym_avlnode *sav; 12497c478bd9Sstevel@tonic-gate Sym_desc *sdp; 12507c478bd9Sstevel@tonic-gate Sym *sym; 12511d9df23bSab ofl_flag_t oflags = ofl->ofl_flags; 12521d9df23bSab ofl_flag_t undef = 0, needed = 0, verdesc = 0; 12537c478bd9Sstevel@tonic-gate Xword bssalign = 0, tlsalign = 0; 1254e64d0ff9SAli Bahrami Boolean need_bss, need_tlsbss; 12557c478bd9Sstevel@tonic-gate Xword bsssize = 0, tlssize = 0; 1256ba2be530Sab #if defined(_ELF64) 125754d82594Sseizo Xword lbssalign = 0, lbsssize = 0; 1258e64d0ff9SAli Bahrami Boolean need_lbss; 125954d82594Sseizo #endif 126008278a5eSRod Evans int ret, allow_ldynsym; 1261d579eb63Sab uchar_t type; 12621007fd6fSAli Bahrami ofl_flag_t undef_state = 0; 12637c478bd9Sstevel@tonic-gate 12642017c965SRod Evans DBG_CALL(Dbg_basic_validate(ofl->ofl_lml)); 12652017c965SRod Evans 1266e64d0ff9SAli Bahrami /* 1267e64d0ff9SAli Bahrami * The need_XXX booleans are used to determine whether we need to 1268e64d0ff9SAli Bahrami * create each type of bss section. We used to create these sections 1269e64d0ff9SAli Bahrami * if the sum of the required sizes for each type were non-zero. 1270e64d0ff9SAli Bahrami * However, it is possible for a compiler to generate COMMON variables 1271e64d0ff9SAli Bahrami * of zero-length and this tricks that logic --- even zero-length 1272e64d0ff9SAli Bahrami * symbols need an output section. 1273e64d0ff9SAli Bahrami */ 1274e64d0ff9SAli Bahrami need_bss = need_tlsbss = FALSE; 1275e64d0ff9SAli Bahrami #if defined(_ELF64) 1276e64d0ff9SAli Bahrami need_lbss = FALSE; 1277e64d0ff9SAli Bahrami #endif 1278e64d0ff9SAli Bahrami 12797c478bd9Sstevel@tonic-gate /* 12801007fd6fSAli Bahrami * Determine how undefined symbols are handled: 12811007fd6fSAli Bahrami * 12821007fd6fSAli Bahrami * fatal: 12831007fd6fSAli Bahrami * If this link-edit calls for no undefined symbols to remain 12841007fd6fSAli Bahrami * (this is the default case when generating an executable but 12851007fd6fSAli Bahrami * can be enforced for any object using -z defs), a fatal error 12861007fd6fSAli Bahrami * condition will be indicated. 12871007fd6fSAli Bahrami * 12881007fd6fSAli Bahrami * warning: 12891007fd6fSAli Bahrami * If we're creating a shared object, and either the -Bsymbolic 12901007fd6fSAli Bahrami * flag is set, or the user has turned on the -z guidance feature, 12911007fd6fSAli Bahrami * then a non-fatal warning is issued for each symbol. 12927c478bd9Sstevel@tonic-gate * 12931007fd6fSAli Bahrami * ignore: 12941007fd6fSAli Bahrami * In all other cases, undefined symbols are quietly allowed. 12957c478bd9Sstevel@tonic-gate */ 12961007fd6fSAli Bahrami if (oflags & FLG_OF_NOUNDEF) { 12977c478bd9Sstevel@tonic-gate undef = FLG_OF_FATAL; 12981007fd6fSAli Bahrami } else if (oflags & FLG_OF_SHAROBJ) { 12991007fd6fSAli Bahrami if ((oflags & FLG_OF_SYMBOLIC) || 13001007fd6fSAli Bahrami OFL_GUIDANCE(ofl, FLG_OFG_NO_DEFS)) 13011007fd6fSAli Bahrami undef = FLG_OF_WARN; 13021007fd6fSAli Bahrami } 13037c478bd9Sstevel@tonic-gate 13047c478bd9Sstevel@tonic-gate /* 13057c478bd9Sstevel@tonic-gate * If the symbol is referenced from an implicitly included shared object 13067c478bd9Sstevel@tonic-gate * (ie. it's not on the NEEDED list) then the symbol is also classified 13077c478bd9Sstevel@tonic-gate * as undefined and a fatal error condition will be indicated. 13087c478bd9Sstevel@tonic-gate */ 13097c478bd9Sstevel@tonic-gate if ((oflags & FLG_OF_NOUNDEF) || !(oflags & FLG_OF_SHAROBJ)) 13107c478bd9Sstevel@tonic-gate needed = FLG_OF_FATAL; 13111007fd6fSAli Bahrami else if ((oflags & FLG_OF_SHAROBJ) && 13121007fd6fSAli Bahrami OFL_GUIDANCE(ofl, FLG_OFG_NO_DEFS)) 13131007fd6fSAli Bahrami needed = FLG_OF_WARN; 13147c478bd9Sstevel@tonic-gate 13157c478bd9Sstevel@tonic-gate /* 131628bda19cSRod Evans * If the output image is being versioned, then all symbol definitions 131728bda19cSRod Evans * must be associated with a version. Any symbol that isn't associated 131828bda19cSRod Evans * with a version is classified as undefined, and a fatal error 131928bda19cSRod Evans * condition is indicated. 13207c478bd9Sstevel@tonic-gate */ 13217c478bd9Sstevel@tonic-gate if ((oflags & FLG_OF_VERDEF) && (ofl->ofl_vercnt > VER_NDX_GLOBAL)) 13227c478bd9Sstevel@tonic-gate verdesc = FLG_OF_FATAL; 13237c478bd9Sstevel@tonic-gate 13249039eeafSab allow_ldynsym = OFL_ALLOW_LDYNSYM(ofl); 1325d579eb63Sab 1326d579eb63Sab if (allow_ldynsym) { 1327d579eb63Sab /* 1328d579eb63Sab * Normally, we disallow symbols with 0 size from appearing 1329d579eb63Sab * in a dyn[sym|tls]sort section. However, there are some 1330d579eb63Sab * symbols that serve special purposes that we want to exempt 1331d579eb63Sab * from this rule. Look them up, and set their 1332d579eb63Sab * FLG_SY_DYNSORT flag. 1333d579eb63Sab */ 1334d579eb63Sab static const char *special[] = { 1335d579eb63Sab MSG_ORIG(MSG_SYM_INIT_U), /* _init */ 1336d579eb63Sab MSG_ORIG(MSG_SYM_FINI_U), /* _fini */ 1337d579eb63Sab MSG_ORIG(MSG_SYM_START), /* _start */ 1338d579eb63Sab NULL 1339d579eb63Sab }; 1340d579eb63Sab int i; 1341d579eb63Sab 1342d579eb63Sab for (i = 0; special[i] != NULL; i++) { 1343d579eb63Sab if (((sdp = ld_sym_find(special[i], 134428bda19cSRod Evans SYM_NOHASH, NULL, ofl)) != NULL) && 1345d579eb63Sab (sdp->sd_sym->st_size == 0)) { 1346d579eb63Sab if (ld_sym_copy(sdp) == S_ERROR) 1347d579eb63Sab return (S_ERROR); 1348d579eb63Sab sdp->sd_flags |= FLG_SY_DYNSORT; 1349d579eb63Sab } 1350d579eb63Sab } 1351d579eb63Sab } 1352d579eb63Sab 13537c478bd9Sstevel@tonic-gate /* 13547c478bd9Sstevel@tonic-gate * Collect and validate the globals from the internal symbol table. 13557c478bd9Sstevel@tonic-gate */ 13567c478bd9Sstevel@tonic-gate for (sav = avl_first(&ofl->ofl_symavl); sav; 13577c478bd9Sstevel@tonic-gate sav = AVL_NEXT(&ofl->ofl_symavl, sav)) { 135860758829Srie Is_desc *isp; 13590bc07c75Srie int undeferr = 0; 136060758829Srie uchar_t vis; 13617c478bd9Sstevel@tonic-gate 1362635216b6SRod Evans sdp = sav->sav_sdp; 13637c478bd9Sstevel@tonic-gate 13647c478bd9Sstevel@tonic-gate /* 13651007fd6fSAli Bahrami * If undefined symbols are allowed, and we're not being 13661007fd6fSAli Bahrami * asked to supply guidance, ignore any symbols that are 13677c478bd9Sstevel@tonic-gate * not needed. 13687c478bd9Sstevel@tonic-gate */ 13697c478bd9Sstevel@tonic-gate if (!(oflags & FLG_OF_NOUNDEF) && 13701007fd6fSAli Bahrami !OFL_GUIDANCE(ofl, FLG_OFG_NO_DEFS) && 13717c478bd9Sstevel@tonic-gate (sdp->sd_ref == REF_DYN_SEEN)) 13727c478bd9Sstevel@tonic-gate continue; 13737c478bd9Sstevel@tonic-gate 13747c478bd9Sstevel@tonic-gate /* 13757c478bd9Sstevel@tonic-gate * If the symbol originates from an external or parent mapfile 13767c478bd9Sstevel@tonic-gate * reference and hasn't been matched to a reference from a 13777c478bd9Sstevel@tonic-gate * relocatable object, ignore it. 13787c478bd9Sstevel@tonic-gate */ 13797c478bd9Sstevel@tonic-gate if ((sdp->sd_flags & (FLG_SY_EXTERN | FLG_SY_PARENT)) && 13807c478bd9Sstevel@tonic-gate ((sdp->sd_flags & FLG_SY_MAPUSED) == 0)) { 13817c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_INVALID; 13827c478bd9Sstevel@tonic-gate continue; 13837c478bd9Sstevel@tonic-gate } 13847c478bd9Sstevel@tonic-gate 13857c478bd9Sstevel@tonic-gate sym = sdp->sd_sym; 1386d579eb63Sab type = ELF_ST_TYPE(sym->st_info); 13877c478bd9Sstevel@tonic-gate 13887c478bd9Sstevel@tonic-gate /* 13897c478bd9Sstevel@tonic-gate * Sanity check TLS. 13907c478bd9Sstevel@tonic-gate */ 1391d579eb63Sab if ((type == STT_TLS) && (sym->st_size != 0) && 1392d579eb63Sab (sym->st_shndx != SHN_UNDEF) && 13930bc07c75Srie (sym->st_shndx != SHN_COMMON)) { 139460758829Srie Is_desc *isp = sdp->sd_isc; 139560758829Srie Ifl_desc *ifl = sdp->sd_file; 13967c478bd9Sstevel@tonic-gate 13976b3ba5bdSAli Bahrami if ((isp == NULL) || (isp->is_shdr == NULL) || 13987c478bd9Sstevel@tonic-gate ((isp->is_shdr->sh_flags & SHF_TLS) == 0)) { 13991007fd6fSAli Bahrami ld_eprintf(ofl, ERR_FATAL, 14005aefb655Srie MSG_INTL(MSG_SYM_TLS), 14017c478bd9Sstevel@tonic-gate demangle(sdp->sd_name), ifl->ifl_name); 14027c478bd9Sstevel@tonic-gate continue; 14037c478bd9Sstevel@tonic-gate } 14047c478bd9Sstevel@tonic-gate } 14057c478bd9Sstevel@tonic-gate 14067c478bd9Sstevel@tonic-gate if ((sdp->sd_flags & FLG_SY_VISIBLE) == 0) 14075aefb655Srie ld_sym_adjust_vis(sdp, ofl); 14087c478bd9Sstevel@tonic-gate 14097c478bd9Sstevel@tonic-gate if ((sdp->sd_flags & FLG_SY_REDUCED) && 14107c478bd9Sstevel@tonic-gate (oflags & FLG_OF_PROCRED)) { 14115aefb655Srie DBG_CALL(Dbg_syms_reduce(ofl, DBG_SYM_REDUCE_GLOBAL, 14125aefb655Srie sdp, 0, 0)); 14137c478bd9Sstevel@tonic-gate } 14147c478bd9Sstevel@tonic-gate 141560758829Srie /* 141660758829Srie * Record any STV_SINGLETON existence. 141760758829Srie */ 141860758829Srie if ((vis = ELF_ST_VISIBILITY(sym->st_other)) == STV_SINGLETON) 141960758829Srie ofl->ofl_dtflags_1 |= DF_1_SINGLETON; 142060758829Srie 14217c478bd9Sstevel@tonic-gate /* 14227c478bd9Sstevel@tonic-gate * If building a shared object or executable, and this is a 14237c478bd9Sstevel@tonic-gate * non-weak UNDEF symbol with reduced visibility (STV_*), then 14247c478bd9Sstevel@tonic-gate * give a fatal error. 14257c478bd9Sstevel@tonic-gate */ 142660758829Srie if (((oflags & FLG_OF_RELOBJ) == 0) && 14270bc07c75Srie (sym->st_shndx == SHN_UNDEF) && 14287c478bd9Sstevel@tonic-gate (ELF_ST_BIND(sym->st_info) != STB_WEAK)) { 142960758829Srie if (vis && (vis != STV_SINGLETON)) { 14301007fd6fSAli Bahrami sym_undef_entry(ofl, sdp, BNDLOCAL, 14311007fd6fSAli Bahrami FLG_OF_FATAL, &undef_state); 143260758829Srie continue; 143360758829Srie } 14347c478bd9Sstevel@tonic-gate } 14357c478bd9Sstevel@tonic-gate 14367c478bd9Sstevel@tonic-gate /* 14377c478bd9Sstevel@tonic-gate * If this symbol is defined in a non-allocatable section, 14387c478bd9Sstevel@tonic-gate * reduce it to local symbol. 14397c478bd9Sstevel@tonic-gate */ 14407c478bd9Sstevel@tonic-gate if (((isp = sdp->sd_isc) != 0) && isp->is_shdr && 14417c478bd9Sstevel@tonic-gate ((isp->is_shdr->sh_flags & SHF_ALLOC) == 0)) { 1442635216b6SRod Evans sdp->sd_flags |= (FLG_SY_REDUCED | FLG_SY_HIDDEN); 14437c478bd9Sstevel@tonic-gate } 14447c478bd9Sstevel@tonic-gate 14457c478bd9Sstevel@tonic-gate /* 14467c478bd9Sstevel@tonic-gate * If this symbol originated as a SHN_SUNW_IGNORE, it will have 14477c478bd9Sstevel@tonic-gate * been processed as an SHN_UNDEF. Return the symbol to its 14487c478bd9Sstevel@tonic-gate * original index for validation, and propagation to the output 14497c478bd9Sstevel@tonic-gate * file. 14507c478bd9Sstevel@tonic-gate */ 1451635216b6SRod Evans if (sdp->sd_flags & FLG_SY_IGNORE) 14520bc07c75Srie sdp->sd_shndx = SHN_SUNW_IGNORE; 14537c478bd9Sstevel@tonic-gate 14547c478bd9Sstevel@tonic-gate if (undef) { 14557c478bd9Sstevel@tonic-gate /* 14563b41b08bSab * If a non-weak reference remains undefined, or if a 14577c478bd9Sstevel@tonic-gate * mapfile reference is not bound to the relocatable 14587c478bd9Sstevel@tonic-gate * objects that make up the object being built, we have 14597c478bd9Sstevel@tonic-gate * a fatal error. 14607c478bd9Sstevel@tonic-gate * 14617c478bd9Sstevel@tonic-gate * The exceptions are symbols which are defined to be 14627c478bd9Sstevel@tonic-gate * found in the parent (FLG_SY_PARENT), which is really 14637c478bd9Sstevel@tonic-gate * only meaningful for direct binding, or are defined 14647c478bd9Sstevel@tonic-gate * external (FLG_SY_EXTERN) so as to suppress -zdefs 14657c478bd9Sstevel@tonic-gate * errors. 14667c478bd9Sstevel@tonic-gate * 14677c478bd9Sstevel@tonic-gate * Register symbols are always allowed to be UNDEF. 14687c478bd9Sstevel@tonic-gate * 14697c478bd9Sstevel@tonic-gate * Note that we don't include references created via -u 14707c478bd9Sstevel@tonic-gate * in the same shared object binding test. This is for 14717c478bd9Sstevel@tonic-gate * backward compatibility, in that a number of archive 14727c478bd9Sstevel@tonic-gate * makefile rules used -u to cause archive extraction. 14737c478bd9Sstevel@tonic-gate * These same rules have been cut and pasted to apply 14747c478bd9Sstevel@tonic-gate * to shared objects, and thus although the -u reference 14757c478bd9Sstevel@tonic-gate * is redundant, flagging it as fatal could cause some 14767c478bd9Sstevel@tonic-gate * build to fail. Also we have documented the use of 14777c478bd9Sstevel@tonic-gate * -u as a mechanism to cause binding to weak version 14787c478bd9Sstevel@tonic-gate * definitions, thus giving users an error condition 14797c478bd9Sstevel@tonic-gate * would be incorrect. 14807c478bd9Sstevel@tonic-gate */ 14817c478bd9Sstevel@tonic-gate if (!(sdp->sd_flags & FLG_SY_REGSYM) && 14820bc07c75Srie ((sym->st_shndx == SHN_UNDEF) && 14837c478bd9Sstevel@tonic-gate ((ELF_ST_BIND(sym->st_info) != STB_WEAK) && 14847c478bd9Sstevel@tonic-gate ((sdp->sd_flags & 14857c478bd9Sstevel@tonic-gate (FLG_SY_PARENT | FLG_SY_EXTERN)) == 0)) || 1486635216b6SRod Evans ((sdp->sd_flags & 1487635216b6SRod Evans (FLG_SY_MAPREF | FLG_SY_MAPUSED | FLG_SY_HIDDEN | 1488635216b6SRod Evans FLG_SY_PROTECT)) == FLG_SY_MAPREF))) { 14891007fd6fSAli Bahrami sym_undef_entry(ofl, sdp, UNDEF, undef, 14901007fd6fSAli Bahrami &undef_state); 14917c478bd9Sstevel@tonic-gate undeferr = 1; 14927c478bd9Sstevel@tonic-gate } 14937c478bd9Sstevel@tonic-gate 14947c478bd9Sstevel@tonic-gate } else { 14957c478bd9Sstevel@tonic-gate /* 14967c478bd9Sstevel@tonic-gate * For building things like shared objects (or anything 14977c478bd9Sstevel@tonic-gate * -znodefs), undefined symbols are allowed. 14987c478bd9Sstevel@tonic-gate * 14997c478bd9Sstevel@tonic-gate * If a mapfile reference remains undefined the user 15007c478bd9Sstevel@tonic-gate * would probably like a warning at least (they've 15017c478bd9Sstevel@tonic-gate * usually mis-spelt the reference). Refer to the above 15027c478bd9Sstevel@tonic-gate * comments for discussion on -u references, which 15037c478bd9Sstevel@tonic-gate * are not tested for in the same manner. 15047c478bd9Sstevel@tonic-gate */ 15057c478bd9Sstevel@tonic-gate if ((sdp->sd_flags & 15067c478bd9Sstevel@tonic-gate (FLG_SY_MAPREF | FLG_SY_MAPUSED)) == 15077c478bd9Sstevel@tonic-gate FLG_SY_MAPREF) { 15081007fd6fSAli Bahrami sym_undef_entry(ofl, sdp, UNDEF, FLG_OF_WARN, 15091007fd6fSAli Bahrami &undef_state); 15107c478bd9Sstevel@tonic-gate undeferr = 1; 15117c478bd9Sstevel@tonic-gate } 15127c478bd9Sstevel@tonic-gate } 15137c478bd9Sstevel@tonic-gate 15147c478bd9Sstevel@tonic-gate /* 15157c478bd9Sstevel@tonic-gate * If this symbol comes from a dependency mark the dependency 15167c478bd9Sstevel@tonic-gate * as required (-z ignore can result in unused dependencies 15177c478bd9Sstevel@tonic-gate * being dropped). If we need to record dependency versioning 15187c478bd9Sstevel@tonic-gate * information indicate what version of the needed shared object 15197c478bd9Sstevel@tonic-gate * this symbol is part of. Flag the symbol as undefined if it 15207c478bd9Sstevel@tonic-gate * has not been made available to us. 15217c478bd9Sstevel@tonic-gate */ 15227c478bd9Sstevel@tonic-gate if ((sdp->sd_ref == REF_DYN_NEED) && 15237c478bd9Sstevel@tonic-gate (!(sdp->sd_flags & FLG_SY_REFRSD))) { 15247c478bd9Sstevel@tonic-gate sdp->sd_file->ifl_flags |= FLG_IF_DEPREQD; 15257c478bd9Sstevel@tonic-gate 15267c478bd9Sstevel@tonic-gate /* 15277c478bd9Sstevel@tonic-gate * Capture that we've bound to a symbol that doesn't 15287c478bd9Sstevel@tonic-gate * allow being directly bound to. 15297c478bd9Sstevel@tonic-gate */ 1530635216b6SRod Evans if (sdp->sd_flags & FLG_SY_NDIR) 153128bda19cSRod Evans ofl->ofl_flags1 |= FLG_OF1_NGLBDIR; 15327c478bd9Sstevel@tonic-gate 15337c478bd9Sstevel@tonic-gate if (sdp->sd_file->ifl_vercnt) { 15347c478bd9Sstevel@tonic-gate int vndx; 153560758829Srie Ver_index *vip; 15367c478bd9Sstevel@tonic-gate 15377c478bd9Sstevel@tonic-gate vndx = sdp->sd_aux->sa_dverndx; 15387c478bd9Sstevel@tonic-gate vip = &sdp->sd_file->ifl_verndx[vndx]; 15397c478bd9Sstevel@tonic-gate if (vip->vi_flags & FLG_VER_AVAIL) { 15407c478bd9Sstevel@tonic-gate vip->vi_flags |= FLG_VER_REFER; 15417c478bd9Sstevel@tonic-gate } else { 15421007fd6fSAli Bahrami sym_undef_entry(ofl, sdp, NOTAVAIL, 15431007fd6fSAli Bahrami FLG_OF_FATAL, &undef_state); 15447c478bd9Sstevel@tonic-gate continue; 15457c478bd9Sstevel@tonic-gate } 15467c478bd9Sstevel@tonic-gate } 15477c478bd9Sstevel@tonic-gate } 15487c478bd9Sstevel@tonic-gate 15497c478bd9Sstevel@tonic-gate /* 15507c478bd9Sstevel@tonic-gate * Test that we do not bind to symbol supplied from an implicit 15517c478bd9Sstevel@tonic-gate * shared object. If a binding is from a weak reference it can 15527c478bd9Sstevel@tonic-gate * be ignored. 15537c478bd9Sstevel@tonic-gate */ 15547c478bd9Sstevel@tonic-gate if (needed && !undeferr && (sdp->sd_flags & FLG_SY_GLOBREF) && 15557c478bd9Sstevel@tonic-gate (sdp->sd_ref == REF_DYN_NEED) && 15567c478bd9Sstevel@tonic-gate (sdp->sd_flags & FLG_SY_NOTAVAIL)) { 15571007fd6fSAli Bahrami sym_undef_entry(ofl, sdp, IMPLICIT, needed, 15581007fd6fSAli Bahrami &undef_state); 15591007fd6fSAli Bahrami if (needed == FLG_OF_FATAL) 15601007fd6fSAli Bahrami continue; 15617c478bd9Sstevel@tonic-gate } 15627c478bd9Sstevel@tonic-gate 15637c478bd9Sstevel@tonic-gate /* 15647c478bd9Sstevel@tonic-gate * Test that a symbol isn't going to be reduced to local scope 15657c478bd9Sstevel@tonic-gate * which actually wants to bind to a shared object - if so it's 15667c478bd9Sstevel@tonic-gate * a fatal error. 15677c478bd9Sstevel@tonic-gate */ 15687c478bd9Sstevel@tonic-gate if ((sdp->sd_ref == REF_DYN_NEED) && 1569635216b6SRod Evans (sdp->sd_flags & (FLG_SY_HIDDEN | FLG_SY_PROTECT))) { 15701007fd6fSAli Bahrami sym_undef_entry(ofl, sdp, BNDLOCAL, FLG_OF_FATAL, 15711007fd6fSAli Bahrami &undef_state); 15727c478bd9Sstevel@tonic-gate continue; 15737c478bd9Sstevel@tonic-gate } 15747c478bd9Sstevel@tonic-gate 15757c478bd9Sstevel@tonic-gate /* 15767c478bd9Sstevel@tonic-gate * If the output image is to be versioned then all symbol 157728bda19cSRod Evans * definitions must be associated with a version. Remove any 157828bda19cSRod Evans * versioning that might be left associated with an undefined 157928bda19cSRod Evans * symbol. 15807c478bd9Sstevel@tonic-gate */ 158128bda19cSRod Evans if (verdesc && (sdp->sd_ref == REF_REL_NEED)) { 158228bda19cSRod Evans if (sym->st_shndx == SHN_UNDEF) { 158328bda19cSRod Evans if (sdp->sd_aux && sdp->sd_aux->sa_overndx) 158428bda19cSRod Evans sdp->sd_aux->sa_overndx = 0; 158528bda19cSRod Evans } else { 158608278a5eSRod Evans if (!SYM_IS_HIDDEN(sdp) && sdp->sd_aux && 158728bda19cSRod Evans (sdp->sd_aux->sa_overndx == 0)) { 15881007fd6fSAli Bahrami sym_undef_entry(ofl, sdp, NOVERSION, 15891007fd6fSAli Bahrami verdesc, &undef_state); 159028bda19cSRod Evans continue; 159128bda19cSRod Evans } 159228bda19cSRod Evans } 15937c478bd9Sstevel@tonic-gate } 15947c478bd9Sstevel@tonic-gate 15957c478bd9Sstevel@tonic-gate /* 15967c478bd9Sstevel@tonic-gate * If we don't need the symbol there's no need to process it 15977c478bd9Sstevel@tonic-gate * any further. 15987c478bd9Sstevel@tonic-gate */ 15997c478bd9Sstevel@tonic-gate if (sdp->sd_ref == REF_DYN_SEEN) 16007c478bd9Sstevel@tonic-gate continue; 16017c478bd9Sstevel@tonic-gate 16027c478bd9Sstevel@tonic-gate /* 16037c478bd9Sstevel@tonic-gate * Calculate the size and alignment requirements for the global 16047c478bd9Sstevel@tonic-gate * .bss and .tls sections. If we're building a relocatable 16057c478bd9Sstevel@tonic-gate * object only account for scoped COMMON symbols (these will 16067c478bd9Sstevel@tonic-gate * be converted to .bss references). 16077c478bd9Sstevel@tonic-gate * 160835450702SAli Bahrami * When -z nopartial is in effect, partially initialized 160935450702SAli Bahrami * symbols are directed to the special .data section 161035450702SAli Bahrami * created for that purpose (ofl->ofl_isparexpn). 161135450702SAli Bahrami * Otherwise, partially initialized symbols go to .bss. 16127c478bd9Sstevel@tonic-gate * 16137c478bd9Sstevel@tonic-gate * Also refer to make_mvsections() in sunwmove.c 16147c478bd9Sstevel@tonic-gate */ 16150bc07c75Srie if ((sym->st_shndx == SHN_COMMON) && 16160bc07c75Srie (((oflags & FLG_OF_RELOBJ) == 0) || 1617c524b4feSRichard Lowe ld_sym_reducable(ofl, sdp))) { 161857ef7aa9SRod Evans if ((sdp->sd_move == NULL) || 161935450702SAli Bahrami ((sdp->sd_flags & FLG_SY_PAREXPN) == 0)) { 1620d579eb63Sab if (type != STT_TLS) { 1621e64d0ff9SAli Bahrami need_bss = TRUE; 1622e64d0ff9SAli Bahrami bsssize = (Xword)S_ROUND(bsssize, 1623e64d0ff9SAli Bahrami sym->st_value) + sym->st_size; 1624e64d0ff9SAli Bahrami if (sym->st_value > bssalign) 1625e64d0ff9SAli Bahrami bssalign = sym->st_value; 16267c478bd9Sstevel@tonic-gate } else { 1627e64d0ff9SAli Bahrami need_tlsbss = TRUE; 1628e64d0ff9SAli Bahrami tlssize = (Xword)S_ROUND(tlssize, 1629e64d0ff9SAli Bahrami sym->st_value) + sym->st_size; 1630e64d0ff9SAli Bahrami if (sym->st_value > tlsalign) 1631e64d0ff9SAli Bahrami tlsalign = sym->st_value; 16327c478bd9Sstevel@tonic-gate } 16337c478bd9Sstevel@tonic-gate } 16347c478bd9Sstevel@tonic-gate } 16357c478bd9Sstevel@tonic-gate 1636ba2be530Sab #if defined(_ELF64) 163754d82594Sseizo /* 163854d82594Sseizo * Calculate the size and alignment requirement for the global 163954d82594Sseizo * .lbss. TLS or partially initialized symbols do not need to be 164054d82594Sseizo * considered yet. 164154d82594Sseizo */ 1642ba2be530Sab if ((ld_targ.t_m.m_mach == EM_AMD64) && 1643ba2be530Sab (sym->st_shndx == SHN_X86_64_LCOMMON)) { 1644e64d0ff9SAli Bahrami need_lbss = TRUE; 164554d82594Sseizo lbsssize = (Xword)S_ROUND(lbsssize, sym->st_value) + 164633eb6ee1Sab sym->st_size; 164754d82594Sseizo if (sym->st_value > lbssalign) 164854d82594Sseizo lbssalign = sym->st_value; 164954d82594Sseizo } 165054d82594Sseizo #endif 16517c478bd9Sstevel@tonic-gate /* 16527c478bd9Sstevel@tonic-gate * If a symbol was referenced via the command line 16537c478bd9Sstevel@tonic-gate * (ld -u <>, ...), then this counts as a reference against the 16547c478bd9Sstevel@tonic-gate * symbol. Mark any section that symbol is defined in. 16557c478bd9Sstevel@tonic-gate */ 16567c478bd9Sstevel@tonic-gate if (((isp = sdp->sd_isc) != 0) && 16577c478bd9Sstevel@tonic-gate (sdp->sd_flags & FLG_SY_CMDREF)) { 16587c478bd9Sstevel@tonic-gate isp->is_flags |= FLG_IS_SECTREF; 16597c478bd9Sstevel@tonic-gate isp->is_file->ifl_flags |= FLG_IF_FILEREF; 16607c478bd9Sstevel@tonic-gate } 16617c478bd9Sstevel@tonic-gate 16627c478bd9Sstevel@tonic-gate /* 16637c478bd9Sstevel@tonic-gate * Update the symbol count and the associated name string size. 166408278a5eSRod Evans * Note, a capabilities symbol must remain as visible as a 166508278a5eSRod Evans * global symbol. However, the runtime linker recognizes the 166608278a5eSRod Evans * hidden requirement and ensures the symbol isn't made globally 166708278a5eSRod Evans * available at runtime. 16687c478bd9Sstevel@tonic-gate */ 1669c524b4feSRichard Lowe if (ld_sym_reducable(ofl, sdp)) { 16707c478bd9Sstevel@tonic-gate /* 167160758829Srie * If any reductions are being processed, keep a count 167260758829Srie * of eliminated symbols, and if the symbol is being 167360758829Srie * reduced to local, count it's size for the .symtab. 16747c478bd9Sstevel@tonic-gate */ 1675635216b6SRod Evans if (sdp->sd_flags & FLG_SY_ELIM) { 16767c478bd9Sstevel@tonic-gate ofl->ofl_elimcnt++; 16777c478bd9Sstevel@tonic-gate } else { 16787c478bd9Sstevel@tonic-gate ofl->ofl_scopecnt++; 16797c478bd9Sstevel@tonic-gate if ((((sdp->sd_flags & FLG_SY_REGSYM) == 0) || 16807c478bd9Sstevel@tonic-gate sym->st_name) && (st_insert(ofl->ofl_strtab, 16817c478bd9Sstevel@tonic-gate sdp->sd_name) == -1)) 16827c478bd9Sstevel@tonic-gate return (S_ERROR); 16839039eeafSab if (allow_ldynsym && sym->st_name && 1684d579eb63Sab ldynsym_symtype[type]) { 16859039eeafSab ofl->ofl_dynscopecnt++; 16869039eeafSab if (st_insert(ofl->ofl_dynstrtab, 16879039eeafSab sdp->sd_name) == -1) 16889039eeafSab return (S_ERROR); 1689d579eb63Sab /* Include it in sort section? */ 1690d579eb63Sab DYNSORT_COUNT(sdp, sym, type, ++); 16919039eeafSab } 16927c478bd9Sstevel@tonic-gate } 16937c478bd9Sstevel@tonic-gate } else { 16947c478bd9Sstevel@tonic-gate ofl->ofl_globcnt++; 16957c478bd9Sstevel@tonic-gate 1696d579eb63Sab /* 1697635216b6SRod Evans * Check to see if this global variable should go into 1698635216b6SRod Evans * a sort section. Sort sections require a 1699635216b6SRod Evans * .SUNW_ldynsym section, so, don't check unless a 1700635216b6SRod Evans * .SUNW_ldynsym is allowed. 1701d579eb63Sab */ 1702635216b6SRod Evans if (allow_ldynsym) 1703d579eb63Sab DYNSORT_COUNT(sdp, sym, type, ++); 1704d579eb63Sab 17057c478bd9Sstevel@tonic-gate /* 17067c478bd9Sstevel@tonic-gate * If global direct bindings are in effect, or this 17077c478bd9Sstevel@tonic-gate * symbol has bound to a dependency which was specified 17087c478bd9Sstevel@tonic-gate * as requiring direct bindings, and it hasn't 17097c478bd9Sstevel@tonic-gate * explicitly been defined as a non-direct binding 17107c478bd9Sstevel@tonic-gate * symbol, mark it. 17117c478bd9Sstevel@tonic-gate */ 17127c478bd9Sstevel@tonic-gate if (((ofl->ofl_dtflags_1 & DF_1_DIRECT) || (isp && 17137c478bd9Sstevel@tonic-gate (isp->is_file->ifl_flags & FLG_IF_DIRECT))) && 1714635216b6SRod Evans ((sdp->sd_flags & FLG_SY_NDIR) == 0)) 1715635216b6SRod Evans sdp->sd_flags |= FLG_SY_DIR; 17167c478bd9Sstevel@tonic-gate 17177c478bd9Sstevel@tonic-gate /* 17187c478bd9Sstevel@tonic-gate * Insert the symbol name. 17197c478bd9Sstevel@tonic-gate */ 17207c478bd9Sstevel@tonic-gate if (((sdp->sd_flags & FLG_SY_REGSYM) == 0) || 17217c478bd9Sstevel@tonic-gate sym->st_name) { 17227c478bd9Sstevel@tonic-gate if (st_insert(ofl->ofl_strtab, 17237c478bd9Sstevel@tonic-gate sdp->sd_name) == -1) 17247c478bd9Sstevel@tonic-gate return (S_ERROR); 17257c478bd9Sstevel@tonic-gate 17267c478bd9Sstevel@tonic-gate if (!(ofl->ofl_flags & FLG_OF_RELOBJ) && 17277c478bd9Sstevel@tonic-gate (st_insert(ofl->ofl_dynstrtab, 17287c478bd9Sstevel@tonic-gate sdp->sd_name) == -1)) 17297c478bd9Sstevel@tonic-gate return (S_ERROR); 17307c478bd9Sstevel@tonic-gate } 17317c478bd9Sstevel@tonic-gate 17327c478bd9Sstevel@tonic-gate /* 17337c478bd9Sstevel@tonic-gate * If this section offers a global symbol - record that 17347c478bd9Sstevel@tonic-gate * fact. 17357c478bd9Sstevel@tonic-gate */ 17367c478bd9Sstevel@tonic-gate if (isp) { 17377c478bd9Sstevel@tonic-gate isp->is_flags |= FLG_IS_SECTREF; 17387c478bd9Sstevel@tonic-gate isp->is_file->ifl_flags |= FLG_IF_FILEREF; 17397c478bd9Sstevel@tonic-gate } 17407c478bd9Sstevel@tonic-gate } 17417c478bd9Sstevel@tonic-gate } 17427c478bd9Sstevel@tonic-gate 17431007fd6fSAli Bahrami /* 17441007fd6fSAli Bahrami * Guidance: Use -z defs|nodefs when building shared objects. 17451007fd6fSAli Bahrami * 17461007fd6fSAli Bahrami * Our caller issues this, unless we mask it out here. So we mask it 17471007fd6fSAli Bahrami * out unless we've issued at least one warnings or fatal error. 17481007fd6fSAli Bahrami */ 17491007fd6fSAli Bahrami if (!((oflags & FLG_OF_SHAROBJ) && OFL_GUIDANCE(ofl, FLG_OFG_NO_DEFS) && 17501007fd6fSAli Bahrami (undef_state & (FLG_OF_FATAL | FLG_OF_WARN)))) 17511007fd6fSAli Bahrami ofl->ofl_guideflags |= FLG_OFG_NO_DEFS; 17521007fd6fSAli Bahrami 17537c478bd9Sstevel@tonic-gate /* 17547c478bd9Sstevel@tonic-gate * If we've encountered a fatal error during symbol validation then 17557c478bd9Sstevel@tonic-gate * return now. 17567c478bd9Sstevel@tonic-gate */ 17577c478bd9Sstevel@tonic-gate if (ofl->ofl_flags & FLG_OF_FATAL) 17587c478bd9Sstevel@tonic-gate return (1); 17597c478bd9Sstevel@tonic-gate 17607c478bd9Sstevel@tonic-gate /* 17617c478bd9Sstevel@tonic-gate * Now that symbol resolution is completed, scan any register symbols. 17627c478bd9Sstevel@tonic-gate * From now on, we're only interested in those that contribute to the 17637c478bd9Sstevel@tonic-gate * output file. 17647c478bd9Sstevel@tonic-gate */ 17657c478bd9Sstevel@tonic-gate if (ofl->ofl_regsyms) { 17667c478bd9Sstevel@tonic-gate int ndx; 17677c478bd9Sstevel@tonic-gate 17687c478bd9Sstevel@tonic-gate for (ndx = 0; ndx < ofl->ofl_regsymsno; ndx++) { 17696b3ba5bdSAli Bahrami if ((sdp = ofl->ofl_regsyms[ndx]) == NULL) 17707c478bd9Sstevel@tonic-gate continue; 17717c478bd9Sstevel@tonic-gate if (sdp->sd_ref != REF_REL_NEED) { 17726b3ba5bdSAli Bahrami ofl->ofl_regsyms[ndx] = NULL; 17737c478bd9Sstevel@tonic-gate continue; 17747c478bd9Sstevel@tonic-gate } 17757c478bd9Sstevel@tonic-gate 17767c478bd9Sstevel@tonic-gate ofl->ofl_regsymcnt++; 17777c478bd9Sstevel@tonic-gate if (sdp->sd_sym->st_name == 0) 17787c478bd9Sstevel@tonic-gate sdp->sd_name = MSG_ORIG(MSG_STR_EMPTY); 17797c478bd9Sstevel@tonic-gate 178008278a5eSRod Evans if (SYM_IS_HIDDEN(sdp) || 17817c478bd9Sstevel@tonic-gate (ELF_ST_BIND(sdp->sd_sym->st_info) == STB_LOCAL)) 17827c478bd9Sstevel@tonic-gate ofl->ofl_lregsymcnt++; 17837c478bd9Sstevel@tonic-gate } 17847c478bd9Sstevel@tonic-gate } 17857c478bd9Sstevel@tonic-gate 17867c478bd9Sstevel@tonic-gate /* 17877c478bd9Sstevel@tonic-gate * Generate the .bss section now that we know its size and alignment. 17887c478bd9Sstevel@tonic-gate */ 1789e64d0ff9SAli Bahrami if (need_bss) { 179057ef7aa9SRod Evans if (ld_make_bss(ofl, bsssize, bssalign, 179157ef7aa9SRod Evans ld_targ.t_id.id_bss) == S_ERROR) 17927c478bd9Sstevel@tonic-gate return (S_ERROR); 17937c478bd9Sstevel@tonic-gate } 1794e64d0ff9SAli Bahrami if (need_tlsbss) { 179557ef7aa9SRod Evans if (ld_make_bss(ofl, tlssize, tlsalign, 179657ef7aa9SRod Evans ld_targ.t_id.id_tlsbss) == S_ERROR) 179754d82594Sseizo return (S_ERROR); 179854d82594Sseizo } 1799ba2be530Sab #if defined(_ELF64) 1800ba2be530Sab if ((ld_targ.t_m.m_mach == EM_AMD64) && 1801e64d0ff9SAli Bahrami need_lbss && !(oflags & FLG_OF_RELOBJ)) { 180257ef7aa9SRod Evans if (ld_make_bss(ofl, lbsssize, lbssalign, 180357ef7aa9SRod Evans ld_targ.t_id.id_lbss) == S_ERROR) 18047c478bd9Sstevel@tonic-gate return (S_ERROR); 18057c478bd9Sstevel@tonic-gate } 180654d82594Sseizo #endif 18077c478bd9Sstevel@tonic-gate /* 18087c478bd9Sstevel@tonic-gate * Determine what entry point symbol we need, and if found save its 18097c478bd9Sstevel@tonic-gate * symbol descriptor so that we can update the ELF header entry with the 18107c478bd9Sstevel@tonic-gate * symbols value later (see update_oehdr). Make sure the symbol is 1811c1c6f601Srie * tagged to ensure its update in case -s is in effect. Use any -e 18127c478bd9Sstevel@tonic-gate * option first, or the default entry points `_start' and `main'. 18137c478bd9Sstevel@tonic-gate */ 1814c1c6f601Srie ret = 0; 18157c478bd9Sstevel@tonic-gate if (ofl->ofl_entry) { 181628bda19cSRod Evans if ((sdp = ld_sym_find(ofl->ofl_entry, SYM_NOHASH, 181728bda19cSRod Evans NULL, ofl)) == NULL) { 18181007fd6fSAli Bahrami ld_eprintf(ofl, ERR_FATAL, MSG_INTL(MSG_ARG_NOENTRY), 18191007fd6fSAli Bahrami ofl->ofl_entry); 18201d1fba8aSrie ret++; 18211d1fba8aSrie } else if (ensure_sym_local(ofl, sdp, 18221d1fba8aSrie MSG_INTL(MSG_SYM_ENTRY)) != 0) { 1823c1c6f601Srie ret++; 18241d1fba8aSrie } else { 18251d1fba8aSrie ofl->ofl_entry = (void *)sdp; 18267c478bd9Sstevel@tonic-gate } 18275aefb655Srie } else if (((sdp = ld_sym_find(MSG_ORIG(MSG_SYM_START), 182828bda19cSRod Evans SYM_NOHASH, NULL, ofl)) != NULL) && (ensure_sym_local(ofl, 1829c1c6f601Srie sdp, 0) == 0)) { 18307c478bd9Sstevel@tonic-gate ofl->ofl_entry = (void *)sdp; 1831c1c6f601Srie 18325aefb655Srie } else if (((sdp = ld_sym_find(MSG_ORIG(MSG_SYM_MAIN), 183328bda19cSRod Evans SYM_NOHASH, NULL, ofl)) != NULL) && (ensure_sym_local(ofl, 1834c1c6f601Srie sdp, 0) == 0)) { 18357c478bd9Sstevel@tonic-gate ofl->ofl_entry = (void *)sdp; 18367c478bd9Sstevel@tonic-gate } 18377c478bd9Sstevel@tonic-gate 18387c478bd9Sstevel@tonic-gate /* 1839c1c6f601Srie * If ld -zdtrace=<sym> was given, then validate that the symbol is 1840c1c6f601Srie * defined within the current object being built. 18417c478bd9Sstevel@tonic-gate */ 18421d1fba8aSrie if ((sdp = ofl->ofl_dtracesym) != 0) 1843c1c6f601Srie ret += ensure_sym_local(ofl, sdp, MSG_ORIG(MSG_STR_DTRACE)); 18447c478bd9Sstevel@tonic-gate 1845c1c6f601Srie /* 1846c1c6f601Srie * If any initarray, finiarray or preinitarray functions have been 1847c1c6f601Srie * requested, make sure they are defined within the current object 1848c1c6f601Srie * being built. 1849c1c6f601Srie */ 185057ef7aa9SRod Evans if (ofl->ofl_initarray) { 185157ef7aa9SRod Evans ret += ensure_array_local(ofl, ofl->ofl_initarray, 1852c1c6f601Srie MSG_ORIG(MSG_SYM_INITARRAY)); 1853c1c6f601Srie } 185457ef7aa9SRod Evans if (ofl->ofl_finiarray) { 185557ef7aa9SRod Evans ret += ensure_array_local(ofl, ofl->ofl_finiarray, 1856c1c6f601Srie MSG_ORIG(MSG_SYM_FINIARRAY)); 1857c1c6f601Srie } 185857ef7aa9SRod Evans if (ofl->ofl_preiarray) { 185957ef7aa9SRod Evans ret += ensure_array_local(ofl, ofl->ofl_preiarray, 1860c1c6f601Srie MSG_ORIG(MSG_SYM_PREINITARRAY)); 1861c1c6f601Srie } 1862c1c6f601Srie 1863c1c6f601Srie if (ret) 1864c1c6f601Srie return (S_ERROR); 1865c1c6f601Srie 18667c478bd9Sstevel@tonic-gate /* 18677c478bd9Sstevel@tonic-gate * If we're required to record any needed dependencies versioning 18687c478bd9Sstevel@tonic-gate * information calculate it now that all symbols have been validated. 18697c478bd9Sstevel@tonic-gate */ 18707c478bd9Sstevel@tonic-gate if ((oflags & (FLG_OF_VERNEED | FLG_OF_NOVERSEC)) == FLG_OF_VERNEED) 18715aefb655Srie return (ld_vers_check_need(ofl)); 18727c478bd9Sstevel@tonic-gate else 18737c478bd9Sstevel@tonic-gate return (1); 18747c478bd9Sstevel@tonic-gate } 18757c478bd9Sstevel@tonic-gate 18767c478bd9Sstevel@tonic-gate /* 18777c478bd9Sstevel@tonic-gate * qsort(3c) comparison function. As an optimization for associating weak 18787c478bd9Sstevel@tonic-gate * symbols to their strong counterparts sort global symbols according to their 18796b3ba5bdSAli Bahrami * section index, address and binding. 18807c478bd9Sstevel@tonic-gate */ 18817c478bd9Sstevel@tonic-gate static int 18826b3ba5bdSAli Bahrami compare(const void *sdpp1, const void *sdpp2) 18837c478bd9Sstevel@tonic-gate { 18846b3ba5bdSAli Bahrami Sym_desc *sdp1 = *((Sym_desc **)sdpp1); 18856b3ba5bdSAli Bahrami Sym_desc *sdp2 = *((Sym_desc **)sdpp2); 18866b3ba5bdSAli Bahrami Sym *sym1, *sym2; 18877c478bd9Sstevel@tonic-gate uchar_t bind1, bind2; 18887c478bd9Sstevel@tonic-gate 18897c478bd9Sstevel@tonic-gate /* 18907c478bd9Sstevel@tonic-gate * Symbol descriptors may be zero, move these to the front of the 18917c478bd9Sstevel@tonic-gate * sorted array. 18927c478bd9Sstevel@tonic-gate */ 18936b3ba5bdSAli Bahrami if (sdp1 == NULL) 18947c478bd9Sstevel@tonic-gate return (-1); 18956b3ba5bdSAli Bahrami if (sdp2 == NULL) 18967c478bd9Sstevel@tonic-gate return (1); 18977c478bd9Sstevel@tonic-gate 18987c478bd9Sstevel@tonic-gate sym1 = sdp1->sd_sym; 18997c478bd9Sstevel@tonic-gate sym2 = sdp2->sd_sym; 19007c478bd9Sstevel@tonic-gate 19016b3ba5bdSAli Bahrami /* 19026b3ba5bdSAli Bahrami * Compare the symbols section index. This is important when sorting 19036b3ba5bdSAli Bahrami * the symbol tables of relocatable objects. In this case, a symbols 19046b3ba5bdSAli Bahrami * value is the offset within the associated section, and thus many 19056b3ba5bdSAli Bahrami * symbols can have the same value, but are effectively different 19066b3ba5bdSAli Bahrami * addresses. 19076b3ba5bdSAli Bahrami */ 19086b3ba5bdSAli Bahrami if (sym1->st_shndx > sym2->st_shndx) 19096b3ba5bdSAli Bahrami return (1); 19106b3ba5bdSAli Bahrami if (sym1->st_shndx < sym2->st_shndx) 19116b3ba5bdSAli Bahrami return (-1); 19126b3ba5bdSAli Bahrami 19137c478bd9Sstevel@tonic-gate /* 19147c478bd9Sstevel@tonic-gate * Compare the symbols value (address). 19157c478bd9Sstevel@tonic-gate */ 19167c478bd9Sstevel@tonic-gate if (sym1->st_value > sym2->st_value) 19177c478bd9Sstevel@tonic-gate return (1); 19187c478bd9Sstevel@tonic-gate if (sym1->st_value < sym2->st_value) 19197c478bd9Sstevel@tonic-gate return (-1); 19207c478bd9Sstevel@tonic-gate 19217c478bd9Sstevel@tonic-gate bind1 = ELF_ST_BIND(sym1->st_info); 19227c478bd9Sstevel@tonic-gate bind2 = ELF_ST_BIND(sym2->st_info); 19237c478bd9Sstevel@tonic-gate 19247c478bd9Sstevel@tonic-gate /* 19257c478bd9Sstevel@tonic-gate * If two symbols have the same address place the weak symbol before 19267c478bd9Sstevel@tonic-gate * any strong counterpart. 19277c478bd9Sstevel@tonic-gate */ 19287c478bd9Sstevel@tonic-gate if (bind1 > bind2) 19297c478bd9Sstevel@tonic-gate return (-1); 19307c478bd9Sstevel@tonic-gate if (bind1 < bind2) 19317c478bd9Sstevel@tonic-gate return (1); 19327c478bd9Sstevel@tonic-gate 19337c478bd9Sstevel@tonic-gate return (0); 19347c478bd9Sstevel@tonic-gate } 19357c478bd9Sstevel@tonic-gate 193669a0bf0cSab /* 193769a0bf0cSab * Issue a MSG_SYM_BADADDR error from ld_sym_process(). This error 193869a0bf0cSab * is issued when a symbol address/size is not contained by the 193969a0bf0cSab * target section. 194069a0bf0cSab * 194169a0bf0cSab * Such objects are at least partially corrupt, and the user would 194269a0bf0cSab * be well advised to be skeptical of them, and to ask their compiler 194369a0bf0cSab * supplier to fix the problem. However, a distinction needs to be 194469a0bf0cSab * made between symbols that reference readonly text, and those that 194569a0bf0cSab * access writable data. Other than throwing off profiling results, 194669a0bf0cSab * the readonly section case is less serious. We have encountered 194769a0bf0cSab * such objects in the field. In order to allow existing objects 194869a0bf0cSab * to continue working, we issue a warning rather than a fatal error 194969a0bf0cSab * if the symbol is against readonly text. Other cases are fatal. 195069a0bf0cSab */ 195169a0bf0cSab static void 195269a0bf0cSab issue_badaddr_msg(Ifl_desc *ifl, Ofl_desc *ofl, Sym_desc *sdp, 195369a0bf0cSab Sym *sym, Word shndx) 195469a0bf0cSab { 19551d9df23bSab Error err; 19561d9df23bSab const char *msg; 195769a0bf0cSab 195869a0bf0cSab if ((sdp->sd_isc->is_shdr->sh_flags & (SHF_WRITE | SHF_ALLOC)) == 195969a0bf0cSab SHF_ALLOC) { 196069a0bf0cSab msg = MSG_INTL(MSG_SYM_BADADDR_ROTXT); 196169a0bf0cSab err = ERR_WARNING; 196269a0bf0cSab } else { 196369a0bf0cSab msg = MSG_INTL(MSG_SYM_BADADDR); 196469a0bf0cSab err = ERR_FATAL; 196569a0bf0cSab } 196669a0bf0cSab 19671007fd6fSAli Bahrami ld_eprintf(ofl, err, msg, demangle(sdp->sd_name), 196869a0bf0cSab ifl->ifl_name, shndx, sdp->sd_isc->is_name, 196969a0bf0cSab EC_XWORD(sdp->sd_isc->is_shdr->sh_size), 197069a0bf0cSab EC_XWORD(sym->st_value), EC_XWORD(sym->st_size)); 197169a0bf0cSab } 197269a0bf0cSab 197308278a5eSRod Evans /* 197408278a5eSRod Evans * Global symbols that are candidates for translation to local capability 197508278a5eSRod Evans * symbols under -z symbolcap, are maintained on a local symbol list. Once 197608278a5eSRod Evans * all symbols of a file are processed, this list is traversed to cull any 197708278a5eSRod Evans * unnecessary weak symbol aliases. 197808278a5eSRod Evans */ 197908278a5eSRod Evans typedef struct { 198008278a5eSRod Evans Sym_desc *c_nsdp; /* new lead symbol */ 198108278a5eSRod Evans Sym_desc *c_osdp; /* original symbol */ 198208278a5eSRod Evans Cap_group *c_group; /* symbol capability group */ 198308278a5eSRod Evans Word c_ndx; /* symbol index */ 198408278a5eSRod Evans } Cap_pair; 198569a0bf0cSab 19867c478bd9Sstevel@tonic-gate /* 19877c478bd9Sstevel@tonic-gate * Process the symbol table for the specified input file. At this point all 19887c478bd9Sstevel@tonic-gate * input sections from this input file have been assigned an input section 19897c478bd9Sstevel@tonic-gate * descriptor which is saved in the `ifl_isdesc' array. 19907c478bd9Sstevel@tonic-gate * 1991c524b4feSRichard Lowe * - local symbols are saved (as is) if the input file is a relocatable 199208278a5eSRod Evans * object 19937c478bd9Sstevel@tonic-gate * 199408278a5eSRod Evans * - global symbols are added to the linkers internal symbol table if they 199508278a5eSRod Evans * are not already present, otherwise a symbol resolution function is 199608278a5eSRod Evans * called upon to resolve the conflict. 19977c478bd9Sstevel@tonic-gate */ 19987c478bd9Sstevel@tonic-gate uintptr_t 19995aefb655Srie ld_sym_process(Is_desc *isc, Ifl_desc *ifl, Ofl_desc *ofl) 20007c478bd9Sstevel@tonic-gate { 200175e45495Sab /* 200275e45495Sab * This macro tests the given symbol to see if it is out of 200375e45495Sab * range relative to the section it references. 200475e45495Sab * 200575e45495Sab * entry: 200675e45495Sab * - ifl is a relative object (ET_REL) 200775e45495Sab * _sdp - Symbol descriptor 200875e45495Sab * _sym - Symbol 200975e45495Sab * _type - Symbol type 201075e45495Sab * 201175e45495Sab * The following are tested: 201275e45495Sab * - Symbol length is non-zero 201375e45495Sab * - Symbol type is a type that references code or data 201475e45495Sab * - Referenced section is not 0 (indicates an UNDEF symbol) 201575e45495Sab * and is not in the range of special values above SHN_LORESERVE 201675e45495Sab * (excluding SHN_XINDEX, which is OK). 201775e45495Sab * - We have a valid section header for the target section 201875e45495Sab * 201975e45495Sab * If the above are all true, and the symbol position is not 202075e45495Sab * contained by the target section, this macro evaluates to 202175e45495Sab * True (1). Otherwise, False(0). 202275e45495Sab */ 202375e45495Sab #define SYM_LOC_BADADDR(_sdp, _sym, _type) \ 2024d579eb63Sab (_sym->st_size && dynsymsort_symtype[_type] && \ 202575e45495Sab (_sym->st_shndx != SHN_UNDEF) && \ 202675e45495Sab ((_sym->st_shndx < SHN_LORESERVE) || \ 202775e45495Sab (_sym->st_shndx == SHN_XINDEX)) && \ 202875e45495Sab _sdp->sd_isc && _sdp->sd_isc->is_shdr && \ 202975e45495Sab ((_sym->st_value + _sym->st_size) > _sdp->sd_isc->is_shdr->sh_size)) 203075e45495Sab 2031de777a60Sab Conv_inv_buf_t inv_buf; 20327c478bd9Sstevel@tonic-gate Sym *sym = (Sym *)isc->is_indata->d_buf; 20336b3ba5bdSAli Bahrami Word *symshndx = NULL; 20347c478bd9Sstevel@tonic-gate Shdr *shdr = isc->is_shdr; 20357c478bd9Sstevel@tonic-gate Sym_desc *sdp; 20367c478bd9Sstevel@tonic-gate size_t strsize; 20377c478bd9Sstevel@tonic-gate char *strs; 20387c478bd9Sstevel@tonic-gate uchar_t type, bind; 20397c478bd9Sstevel@tonic-gate Word ndx, hash, local, total; 20404f680cc6SAli Bahrami uchar_t osabi = ifl->ifl_ehdr->e_ident[EI_OSABI]; 20414f680cc6SAli Bahrami Half mach = ifl->ifl_ehdr->e_machine; 20427c478bd9Sstevel@tonic-gate Half etype = ifl->ifl_ehdr->e_type; 204375e45495Sab int etype_rel; 20447c478bd9Sstevel@tonic-gate const char *symsecname, *strsecname; 20454a8d0ea7SAli Bahrami Word symsecndx; 20467c478bd9Sstevel@tonic-gate avl_index_t where; 20476b3ba5bdSAli Bahrami int test_gnu_hidden_bit, weak; 204808278a5eSRod Evans Cap_desc *cdp = NULL; 204908278a5eSRod Evans Alist *cappairs = NULL; 20507c478bd9Sstevel@tonic-gate 20517c478bd9Sstevel@tonic-gate /* 20527c478bd9Sstevel@tonic-gate * Its possible that a file may contain more that one symbol table, 20537c478bd9Sstevel@tonic-gate * ie. .dynsym and .symtab in a shared library. Only process the first 20547c478bd9Sstevel@tonic-gate * table (here, we assume .dynsym comes before .symtab). 20557c478bd9Sstevel@tonic-gate */ 20567c478bd9Sstevel@tonic-gate if (ifl->ifl_symscnt) 20577c478bd9Sstevel@tonic-gate return (1); 20587c478bd9Sstevel@tonic-gate 20597c478bd9Sstevel@tonic-gate if (isc->is_symshndx) 20607c478bd9Sstevel@tonic-gate symshndx = isc->is_symshndx->is_indata->d_buf; 20617c478bd9Sstevel@tonic-gate 20625aefb655Srie DBG_CALL(Dbg_syms_process(ofl->ofl_lml, ifl)); 20637c478bd9Sstevel@tonic-gate 20644a8d0ea7SAli Bahrami symsecndx = isc->is_scnndx; 20657c478bd9Sstevel@tonic-gate if (isc->is_name) 20667c478bd9Sstevel@tonic-gate symsecname = isc->is_name; 20677c478bd9Sstevel@tonic-gate else 20687c478bd9Sstevel@tonic-gate symsecname = MSG_ORIG(MSG_STR_EMPTY); 20697c478bd9Sstevel@tonic-gate 20707c478bd9Sstevel@tonic-gate /* 20717c478bd9Sstevel@tonic-gate * From the symbol tables section header information determine which 20727c478bd9Sstevel@tonic-gate * strtab table is needed to locate the actual symbol names. 20737c478bd9Sstevel@tonic-gate */ 20747c478bd9Sstevel@tonic-gate if (ifl->ifl_flags & FLG_IF_HSTRTAB) { 20757c478bd9Sstevel@tonic-gate ndx = shdr->sh_link; 20767c478bd9Sstevel@tonic-gate if ((ndx == 0) || (ndx >= ifl->ifl_shnum)) { 20771007fd6fSAli Bahrami ld_eprintf(ofl, ERR_FATAL, 20784a8d0ea7SAli Bahrami MSG_INTL(MSG_FIL_INVSHLINK), ifl->ifl_name, 20794a8d0ea7SAli Bahrami EC_WORD(symsecndx), symsecname, EC_XWORD(ndx)); 20807c478bd9Sstevel@tonic-gate return (S_ERROR); 20817c478bd9Sstevel@tonic-gate } 20827c478bd9Sstevel@tonic-gate strsize = ifl->ifl_isdesc[ndx]->is_shdr->sh_size; 20837c478bd9Sstevel@tonic-gate strs = ifl->ifl_isdesc[ndx]->is_indata->d_buf; 20847c478bd9Sstevel@tonic-gate if (ifl->ifl_isdesc[ndx]->is_name) 20857c478bd9Sstevel@tonic-gate strsecname = ifl->ifl_isdesc[ndx]->is_name; 20867c478bd9Sstevel@tonic-gate else 20877c478bd9Sstevel@tonic-gate strsecname = MSG_ORIG(MSG_STR_EMPTY); 20887c478bd9Sstevel@tonic-gate } else { 20897c478bd9Sstevel@tonic-gate /* 20907c478bd9Sstevel@tonic-gate * There is no string table section in this input file 20917c478bd9Sstevel@tonic-gate * although there are symbols in this symbol table section. 20927c478bd9Sstevel@tonic-gate * This means that these symbols do not have names. 20937c478bd9Sstevel@tonic-gate * Currently, only scratch register symbols are allowed 20947c478bd9Sstevel@tonic-gate * not to have names. 20957c478bd9Sstevel@tonic-gate */ 20967c478bd9Sstevel@tonic-gate strsize = 0; 20977c478bd9Sstevel@tonic-gate strs = (char *)MSG_ORIG(MSG_STR_EMPTY); 20987c478bd9Sstevel@tonic-gate strsecname = MSG_ORIG(MSG_STR_EMPTY); 20997c478bd9Sstevel@tonic-gate } 21007c478bd9Sstevel@tonic-gate 21017c478bd9Sstevel@tonic-gate /* 21027c478bd9Sstevel@tonic-gate * Determine the number of local symbols together with the total 21037c478bd9Sstevel@tonic-gate * number we have to process. 21047c478bd9Sstevel@tonic-gate */ 21057c478bd9Sstevel@tonic-gate total = (Word)(shdr->sh_size / shdr->sh_entsize); 21067c478bd9Sstevel@tonic-gate local = shdr->sh_info; 21077c478bd9Sstevel@tonic-gate 21087c478bd9Sstevel@tonic-gate /* 21097c478bd9Sstevel@tonic-gate * Allocate a symbol table index array and a local symbol array 21107c478bd9Sstevel@tonic-gate * (global symbols are processed and added to the ofl->ofl_symbkt[] 21117c478bd9Sstevel@tonic-gate * array). If we are dealing with a relocatable object, allocate the 21127c478bd9Sstevel@tonic-gate * local symbol descriptors. If this isn't a relocatable object we 21137c478bd9Sstevel@tonic-gate * still have to process any shared object locals to determine if any 21147c478bd9Sstevel@tonic-gate * register symbols exist. Although these aren't added to the output 21157c478bd9Sstevel@tonic-gate * image, they are used as part of symbol resolution. 21167c478bd9Sstevel@tonic-gate */ 21177c478bd9Sstevel@tonic-gate if ((ifl->ifl_oldndx = libld_malloc((size_t)(total * 21186b3ba5bdSAli Bahrami sizeof (Sym_desc *)))) == NULL) 21197c478bd9Sstevel@tonic-gate return (S_ERROR); 2120d579eb63Sab etype_rel = (etype == ET_REL); 212175e45495Sab if (etype_rel && local) { 21227c478bd9Sstevel@tonic-gate if ((ifl->ifl_locs = 21236b3ba5bdSAli Bahrami libld_calloc(sizeof (Sym_desc), local)) == NULL) 21247c478bd9Sstevel@tonic-gate return (S_ERROR); 21257c478bd9Sstevel@tonic-gate /* LINTED */ 21267c478bd9Sstevel@tonic-gate ifl->ifl_locscnt = (Word)local; 21277c478bd9Sstevel@tonic-gate } 21287c478bd9Sstevel@tonic-gate ifl->ifl_symscnt = total; 21297c478bd9Sstevel@tonic-gate 21307c478bd9Sstevel@tonic-gate /* 21317c478bd9Sstevel@tonic-gate * If there are local symbols to save add them to the symbol table 21327c478bd9Sstevel@tonic-gate * index array. 21337c478bd9Sstevel@tonic-gate */ 21347c478bd9Sstevel@tonic-gate if (local) { 213524b9abbaSab int allow_ldynsym = OFL_ALLOW_LDYNSYM(ofl); 213624b9abbaSab Sym_desc *last_file_sdp = NULL; 213724b9abbaSab int last_file_ndx = 0; 213824b9abbaSab 21397c478bd9Sstevel@tonic-gate for (sym++, ndx = 1; ndx < local; sym++, ndx++) { 2140635216b6SRod Evans sd_flag_t sdflags = FLG_SY_CLEAN; 2141635216b6SRod Evans Word shndx; 21427c478bd9Sstevel@tonic-gate const char *name; 21437c478bd9Sstevel@tonic-gate Sym_desc *rsdp; 2144ba2be530Sab int shndx_bad = 0; 21451da7e599SAli Bahrami int symtab_enter = 1; 21467c478bd9Sstevel@tonic-gate 21477c478bd9Sstevel@tonic-gate /* 2148ba2be530Sab * Determine and validate the associated section index. 21497c478bd9Sstevel@tonic-gate */ 2150ba2be530Sab if (symshndx && (sym->st_shndx == SHN_XINDEX)) { 21517c478bd9Sstevel@tonic-gate shndx = symshndx[ndx]; 2152ba2be530Sab } else if ((shndx = sym->st_shndx) >= SHN_LORESERVE) { 21537c478bd9Sstevel@tonic-gate sdflags |= FLG_SY_SPECSEC; 21548878595fSRichard Lowe } else if (shndx > ifl->ifl_shnum) { 2155ba2be530Sab /* We need the name before we can issue error */ 2156ba2be530Sab shndx_bad = 1; 2157ba2be530Sab } 21587c478bd9Sstevel@tonic-gate 21597c478bd9Sstevel@tonic-gate /* 21607c478bd9Sstevel@tonic-gate * Check if st_name has a valid value or not. 21617c478bd9Sstevel@tonic-gate */ 21625aefb655Srie if ((name = string(ofl, ifl, sym, strs, strsize, ndx, 21634a8d0ea7SAli Bahrami shndx, symsecndx, symsecname, strsecname, 21641007fd6fSAli Bahrami &sdflags)) == NULL) 21657c478bd9Sstevel@tonic-gate continue; 21667c478bd9Sstevel@tonic-gate 2167ba2be530Sab /* 2168ba2be530Sab * Now that we have the name, if the section index 2169ba2be530Sab * was bad, report it. 2170ba2be530Sab */ 2171ba2be530Sab if (shndx_bad) { 21721007fd6fSAli Bahrami ld_eprintf(ofl, ERR_WARNING, 2173ba2be530Sab MSG_INTL(MSG_SYM_INVSHNDX), 21744a8d0ea7SAli Bahrami demangle_symname(name, symsecname, ndx), 2175ba2be530Sab ifl->ifl_name, 21764f680cc6SAli Bahrami conv_sym_shndx(osabi, mach, sym->st_shndx, 21774f680cc6SAli Bahrami CONV_FMT_DECIMAL, &inv_buf)); 2178ba2be530Sab continue; 2179ba2be530Sab } 2180ba2be530Sab 21817c478bd9Sstevel@tonic-gate /* 21827c478bd9Sstevel@tonic-gate * If this local symbol table originates from a shared 21837c478bd9Sstevel@tonic-gate * object, then we're only interested in recording 21847c478bd9Sstevel@tonic-gate * register symbols. As local symbol descriptors aren't 21857c478bd9Sstevel@tonic-gate * allocated for shared objects, one will be allocated 21867c478bd9Sstevel@tonic-gate * to associated with the register symbol. This symbol 21877c478bd9Sstevel@tonic-gate * won't become part of the output image, but we must 21887c478bd9Sstevel@tonic-gate * process it to test for register conflicts. 21897c478bd9Sstevel@tonic-gate */ 219028bda19cSRod Evans rsdp = sdp = NULL; 21917c478bd9Sstevel@tonic-gate if (sdflags & FLG_SY_REGSYM) { 2192ba2be530Sab /* 2193ba2be530Sab * The presence of FLG_SY_REGSYM means that 2194ba2be530Sab * the pointers in ld_targ.t_ms are non-NULL. 2195ba2be530Sab */ 2196ba2be530Sab rsdp = (*ld_targ.t_ms.ms_reg_find)(sym, ofl); 2197ba2be530Sab if (rsdp != 0) { 21987c478bd9Sstevel@tonic-gate /* 21997c478bd9Sstevel@tonic-gate * The fact that another register def- 22007c478bd9Sstevel@tonic-gate * inition has been found is fatal. 22017c478bd9Sstevel@tonic-gate * Call the verification routine to get 22027c478bd9Sstevel@tonic-gate * the error message and move on. 22037c478bd9Sstevel@tonic-gate */ 2204ba2be530Sab (void) (*ld_targ.t_ms.ms_reg_check) 2205ba2be530Sab (rsdp, sym, name, ifl, ofl); 22067c478bd9Sstevel@tonic-gate continue; 22077c478bd9Sstevel@tonic-gate } 22087c478bd9Sstevel@tonic-gate 22097c478bd9Sstevel@tonic-gate if (etype == ET_DYN) { 22107c478bd9Sstevel@tonic-gate if ((sdp = libld_calloc( 22116b3ba5bdSAli Bahrami sizeof (Sym_desc), 1)) == NULL) 22127c478bd9Sstevel@tonic-gate return (S_ERROR); 22137c478bd9Sstevel@tonic-gate sdp->sd_ref = REF_DYN_SEEN; 2214ca4eed8bSAli Bahrami 2215ca4eed8bSAli Bahrami /* Will not appear in output object */ 22161da7e599SAli Bahrami symtab_enter = 0; 22177c478bd9Sstevel@tonic-gate } 22187c478bd9Sstevel@tonic-gate } else if (etype == ET_DYN) 22197c478bd9Sstevel@tonic-gate continue; 22207c478bd9Sstevel@tonic-gate 22217c478bd9Sstevel@tonic-gate /* 22227c478bd9Sstevel@tonic-gate * Fill in the remaining symbol descriptor information. 22237c478bd9Sstevel@tonic-gate */ 22246b3ba5bdSAli Bahrami if (sdp == NULL) { 22257c478bd9Sstevel@tonic-gate sdp = &(ifl->ifl_locs[ndx]); 22267c478bd9Sstevel@tonic-gate sdp->sd_ref = REF_REL_NEED; 2227635216b6SRod Evans sdp->sd_symndx = ndx; 22287c478bd9Sstevel@tonic-gate } 22296b3ba5bdSAli Bahrami if (rsdp == NULL) { 22307c478bd9Sstevel@tonic-gate sdp->sd_name = name; 22317c478bd9Sstevel@tonic-gate sdp->sd_sym = sym; 22327c478bd9Sstevel@tonic-gate sdp->sd_shndx = shndx; 22337c478bd9Sstevel@tonic-gate sdp->sd_flags = sdflags; 22347c478bd9Sstevel@tonic-gate sdp->sd_file = ifl; 22357c478bd9Sstevel@tonic-gate ifl->ifl_oldndx[ndx] = sdp; 22367c478bd9Sstevel@tonic-gate } 22377c478bd9Sstevel@tonic-gate 22385aefb655Srie DBG_CALL(Dbg_syms_entry(ofl->ofl_lml, ndx, sdp)); 22397c478bd9Sstevel@tonic-gate 22407c478bd9Sstevel@tonic-gate /* 22417c478bd9Sstevel@tonic-gate * Reclassify any SHN_SUNW_IGNORE symbols to SHN_UNDEF 22427c478bd9Sstevel@tonic-gate * so as to simplify future processing. 22437c478bd9Sstevel@tonic-gate */ 22440bc07c75Srie if (sym->st_shndx == SHN_SUNW_IGNORE) { 22457c478bd9Sstevel@tonic-gate sdp->sd_shndx = shndx = SHN_UNDEF; 2246635216b6SRod Evans sdp->sd_flags |= (FLG_SY_IGNORE | FLG_SY_ELIM); 22477c478bd9Sstevel@tonic-gate } 22487c478bd9Sstevel@tonic-gate 22497c478bd9Sstevel@tonic-gate /* 22507c478bd9Sstevel@tonic-gate * Process any register symbols. 22517c478bd9Sstevel@tonic-gate */ 22527c478bd9Sstevel@tonic-gate if (sdp->sd_flags & FLG_SY_REGSYM) { 22537c478bd9Sstevel@tonic-gate /* 22547c478bd9Sstevel@tonic-gate * Add a diagnostic to indicate we've caught a 22557c478bd9Sstevel@tonic-gate * register symbol, as this can be useful if a 22567c478bd9Sstevel@tonic-gate * register conflict is later discovered. 22577c478bd9Sstevel@tonic-gate */ 22585aefb655Srie DBG_CALL(Dbg_syms_entered(ofl, sym, sdp)); 22597c478bd9Sstevel@tonic-gate 22607c478bd9Sstevel@tonic-gate /* 22617c478bd9Sstevel@tonic-gate * If this register symbol hasn't already been 22627c478bd9Sstevel@tonic-gate * recorded, enter it now. 2263ba2be530Sab * 2264ba2be530Sab * The presence of FLG_SY_REGSYM means that 2265ba2be530Sab * the pointers in ld_targ.t_ms are non-NULL. 22667c478bd9Sstevel@tonic-gate */ 22676b3ba5bdSAli Bahrami if ((rsdp == NULL) && 2268ba2be530Sab ((*ld_targ.t_ms.ms_reg_enter)(sdp, ofl) == 2269ba2be530Sab 0)) 22707c478bd9Sstevel@tonic-gate return (S_ERROR); 22717c478bd9Sstevel@tonic-gate } 22727c478bd9Sstevel@tonic-gate 22737c478bd9Sstevel@tonic-gate /* 22747c478bd9Sstevel@tonic-gate * Assign an input section. 22757c478bd9Sstevel@tonic-gate */ 22760bc07c75Srie if ((sym->st_shndx != SHN_UNDEF) && 22777c478bd9Sstevel@tonic-gate ((sdp->sd_flags & FLG_SY_SPECSEC) == 0)) 22787c478bd9Sstevel@tonic-gate sdp->sd_isc = ifl->ifl_isdesc[shndx]; 22797c478bd9Sstevel@tonic-gate 22807c478bd9Sstevel@tonic-gate /* 22817c478bd9Sstevel@tonic-gate * If this symbol falls within the range of a section 22827c478bd9Sstevel@tonic-gate * being discarded, then discard the symbol itself. 22837c478bd9Sstevel@tonic-gate * There is no reason to keep this local symbol. 22847c478bd9Sstevel@tonic-gate */ 22857c478bd9Sstevel@tonic-gate if (sdp->sd_isc && 22867c478bd9Sstevel@tonic-gate (sdp->sd_isc->is_flags & FLG_IS_DISCARD)) { 22877c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_ISDISC; 2288a194faf8Srie DBG_CALL(Dbg_syms_discarded(ofl->ofl_lml, sdp)); 22897c478bd9Sstevel@tonic-gate continue; 22907c478bd9Sstevel@tonic-gate } 22917c478bd9Sstevel@tonic-gate 22927c478bd9Sstevel@tonic-gate /* 22937c478bd9Sstevel@tonic-gate * Skip any section symbols as new versions of these 22947c478bd9Sstevel@tonic-gate * will be created. 22957c478bd9Sstevel@tonic-gate */ 22967c478bd9Sstevel@tonic-gate if ((type = ELF_ST_TYPE(sym->st_info)) == STT_SECTION) { 22970bc07c75Srie if (sym->st_shndx == SHN_UNDEF) { 22981007fd6fSAli Bahrami ld_eprintf(ofl, ERR_WARNING, 22997c478bd9Sstevel@tonic-gate MSG_INTL(MSG_SYM_INVSHNDX), 23004a8d0ea7SAli Bahrami demangle_symname(name, symsecname, 2301ba2be530Sab ndx), ifl->ifl_name, 23024f680cc6SAli Bahrami conv_sym_shndx(osabi, mach, 23034f680cc6SAli Bahrami sym->st_shndx, CONV_FMT_DECIMAL, 2304de777a60Sab &inv_buf)); 23057c478bd9Sstevel@tonic-gate } 23067c478bd9Sstevel@tonic-gate continue; 23077c478bd9Sstevel@tonic-gate } 23087c478bd9Sstevel@tonic-gate 230975e45495Sab /* 231075e45495Sab * For a relocatable object, if this symbol is defined 231175e45495Sab * and has non-zero length and references an address 231275e45495Sab * within an associated section, then check its extents 231375e45495Sab * to make sure the section boundaries encompass it. 231475e45495Sab * If they don't, the ELF file is corrupt. 231575e45495Sab */ 231624b9abbaSab if (etype_rel) { 231724b9abbaSab if (SYM_LOC_BADADDR(sdp, sym, type)) { 231824b9abbaSab issue_badaddr_msg(ifl, ofl, sdp, 231924b9abbaSab sym, shndx); 2320ca4eed8bSAli Bahrami if (ofl->ofl_flags & FLG_OF_FATAL) 2321ca4eed8bSAli Bahrami continue; 232224b9abbaSab } 232324b9abbaSab 232424b9abbaSab /* 232524b9abbaSab * We have observed relocatable objects 232624b9abbaSab * containing identical adjacent STT_FILE 232724b9abbaSab * symbols. Discard any other than the first, 232824b9abbaSab * as they are all equivalent and the extras 232924b9abbaSab * do not add information. 233024b9abbaSab * 233124b9abbaSab * For the purpose of this test, we assume 233224b9abbaSab * that only the symbol type and the string 233324b9abbaSab * table offset (st_name) matter. 233424b9abbaSab */ 233524b9abbaSab if (type == STT_FILE) { 233624b9abbaSab int toss = (last_file_sdp != NULL) && 233724b9abbaSab ((ndx - 1) == last_file_ndx) && 233824b9abbaSab (sym->st_name == 233924b9abbaSab last_file_sdp->sd_sym->st_name); 234024b9abbaSab 234124b9abbaSab last_file_sdp = sdp; 234224b9abbaSab last_file_ndx = ndx; 234324b9abbaSab if (toss) { 234424b9abbaSab sdp->sd_flags |= FLG_SY_INVALID; 234524b9abbaSab DBG_CALL(Dbg_syms_dup_discarded( 234624b9abbaSab ofl->ofl_lml, ndx, sdp)); 234724b9abbaSab continue; 234824b9abbaSab } 234924b9abbaSab } 235075e45495Sab } 235175e45495Sab 235224b9abbaSab 23537c478bd9Sstevel@tonic-gate /* 23547c478bd9Sstevel@tonic-gate * Sanity check for TLS 23557c478bd9Sstevel@tonic-gate */ 23560bc07c75Srie if ((sym->st_size != 0) && ((type == STT_TLS) && 23570bc07c75Srie (sym->st_shndx != SHN_COMMON))) { 23587c478bd9Sstevel@tonic-gate Is_desc *isp = sdp->sd_isc; 23597c478bd9Sstevel@tonic-gate 23606b3ba5bdSAli Bahrami if ((isp == NULL) || (isp->is_shdr == NULL) || 23617c478bd9Sstevel@tonic-gate ((isp->is_shdr->sh_flags & SHF_TLS) == 0)) { 23621007fd6fSAli Bahrami ld_eprintf(ofl, ERR_FATAL, 23637c478bd9Sstevel@tonic-gate MSG_INTL(MSG_SYM_TLS), 23647c478bd9Sstevel@tonic-gate demangle(sdp->sd_name), 23657c478bd9Sstevel@tonic-gate ifl->ifl_name); 23667c478bd9Sstevel@tonic-gate continue; 23677c478bd9Sstevel@tonic-gate } 23687c478bd9Sstevel@tonic-gate } 23697c478bd9Sstevel@tonic-gate 23707c478bd9Sstevel@tonic-gate /* 23717c478bd9Sstevel@tonic-gate * Carry our some basic sanity checks (these are just 23727c478bd9Sstevel@tonic-gate * some of the erroneous symbol entries we've come 23737c478bd9Sstevel@tonic-gate * across, there's probably a lot more). The symbol 23747c478bd9Sstevel@tonic-gate * will not be carried forward to the output file, which 23757c478bd9Sstevel@tonic-gate * won't be a problem unless a relocation is required 23767c478bd9Sstevel@tonic-gate * against it. 23777c478bd9Sstevel@tonic-gate */ 23787c478bd9Sstevel@tonic-gate if (((sdp->sd_flags & FLG_SY_SPECSEC) && 23790bc07c75Srie ((sym->st_shndx == SHN_COMMON)) || 23800bc07c75Srie ((type == STT_FILE) && 23810bc07c75Srie (sym->st_shndx != SHN_ABS))) || 23826b3ba5bdSAli Bahrami (sdp->sd_isc && (sdp->sd_isc->is_osdesc == NULL))) { 23831007fd6fSAli Bahrami ld_eprintf(ofl, ERR_WARNING, 23845aefb655Srie MSG_INTL(MSG_SYM_INVSHNDX), 23854a8d0ea7SAli Bahrami demangle_symname(name, symsecname, ndx), 2386ba2be530Sab ifl->ifl_name, 23874f680cc6SAli Bahrami conv_sym_shndx(osabi, mach, sym->st_shndx, 23884f680cc6SAli Bahrami CONV_FMT_DECIMAL, &inv_buf)); 23897c478bd9Sstevel@tonic-gate sdp->sd_isc = NULL; 23907c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_INVALID; 23917c478bd9Sstevel@tonic-gate continue; 23927c478bd9Sstevel@tonic-gate } 23937c478bd9Sstevel@tonic-gate 23947c478bd9Sstevel@tonic-gate /* 23957c478bd9Sstevel@tonic-gate * As these local symbols will become part of the output 23967c478bd9Sstevel@tonic-gate * image, record their number and name string size. 23977c478bd9Sstevel@tonic-gate * Globals are counted after all input file processing 23987c478bd9Sstevel@tonic-gate * (and hence symbol resolution) is complete during 23997c478bd9Sstevel@tonic-gate * sym_validate(). 24007c478bd9Sstevel@tonic-gate */ 24011da7e599SAli Bahrami if (!(ofl->ofl_flags & FLG_OF_REDLSYM) && 24021da7e599SAli Bahrami symtab_enter) { 24037c478bd9Sstevel@tonic-gate ofl->ofl_locscnt++; 24047c478bd9Sstevel@tonic-gate 24057c478bd9Sstevel@tonic-gate if ((((sdp->sd_flags & FLG_SY_REGSYM) == 0) || 24067c478bd9Sstevel@tonic-gate sym->st_name) && (st_insert(ofl->ofl_strtab, 24077c478bd9Sstevel@tonic-gate sdp->sd_name) == -1)) 24087c478bd9Sstevel@tonic-gate return (S_ERROR); 24099039eeafSab 24109039eeafSab if (allow_ldynsym && sym->st_name && 2411d579eb63Sab ldynsym_symtype[type]) { 24129039eeafSab ofl->ofl_dynlocscnt++; 24139039eeafSab if (st_insert(ofl->ofl_dynstrtab, 24149039eeafSab sdp->sd_name) == -1) 24159039eeafSab return (S_ERROR); 2416d579eb63Sab /* Include it in sort section? */ 2417d579eb63Sab DYNSORT_COUNT(sdp, sym, type, ++); 24189039eeafSab } 24197c478bd9Sstevel@tonic-gate } 24207c478bd9Sstevel@tonic-gate } 24217c478bd9Sstevel@tonic-gate } 24227c478bd9Sstevel@tonic-gate 2423d840867fSab /* 2424d840867fSab * The GNU ld interprets the top bit of the 16-bit Versym value 2425d840867fSab * (0x8000) as the "hidden" bit. If this bit is set, the linker 2426d840867fSab * is supposed to act as if that symbol does not exist. The Solaris 2427d840867fSab * linker does not support this mechanism, or the model of interface 2428d840867fSab * evolution that it allows, but we honor it in GNU ld produced 2429d840867fSab * objects in order to interoperate with them. 2430d840867fSab * 2431d840867fSab * Determine if we should honor the GNU hidden bit for this file. 2432d840867fSab */ 2433d840867fSab test_gnu_hidden_bit = ((ifl->ifl_flags & FLG_IF_GNUVER) != 0) && 2434d840867fSab (ifl->ifl_versym != NULL); 2435d840867fSab 243608278a5eSRod Evans /* 243708278a5eSRod Evans * Determine whether object capabilities for this file are being 243808278a5eSRod Evans * converted into symbol capabilities. If so, global function symbols, 243908278a5eSRod Evans * and initialized global data symbols, need special translation and 244008278a5eSRod Evans * processing. 244108278a5eSRod Evans */ 244208278a5eSRod Evans if ((etype == ET_REL) && (ifl->ifl_flags & FLG_IF_OTOSCAP)) 244308278a5eSRod Evans cdp = ifl->ifl_caps; 244408278a5eSRod Evans 24457c478bd9Sstevel@tonic-gate /* 24467c478bd9Sstevel@tonic-gate * Now scan the global symbols entering them in the internal symbol 24477c478bd9Sstevel@tonic-gate * table or resolving them as necessary. 24487c478bd9Sstevel@tonic-gate */ 24497c478bd9Sstevel@tonic-gate sym = (Sym *)isc->is_indata->d_buf; 24507c478bd9Sstevel@tonic-gate sym += local; 24516b3ba5bdSAli Bahrami weak = 0; 24527c478bd9Sstevel@tonic-gate /* LINTED */ 24537c478bd9Sstevel@tonic-gate for (ndx = (int)local; ndx < total; sym++, ndx++) { 24547c478bd9Sstevel@tonic-gate const char *name; 2455635216b6SRod Evans sd_flag_t sdflags = 0; 2456635216b6SRod Evans Word shndx; 2457ba2be530Sab int shndx_bad = 0; 2458635216b6SRod Evans Sym *nsym = sym; 245908278a5eSRod Evans Cap_pair *cpp = NULL; 246008278a5eSRod Evans uchar_t ntype; 24617c478bd9Sstevel@tonic-gate 24627c478bd9Sstevel@tonic-gate /* 2463ba2be530Sab * Determine and validate the associated section index. 24647c478bd9Sstevel@tonic-gate */ 2465635216b6SRod Evans if (symshndx && (nsym->st_shndx == SHN_XINDEX)) { 24667c478bd9Sstevel@tonic-gate shndx = symshndx[ndx]; 2467635216b6SRod Evans } else if ((shndx = nsym->st_shndx) >= SHN_LORESERVE) { 2468ba2be530Sab sdflags |= FLG_SY_SPECSEC; 24698878595fSRichard Lowe } else if (shndx > ifl->ifl_shnum) { 2470ba2be530Sab /* We need the name before we can issue error */ 2471ba2be530Sab shndx_bad = 1; 24727c478bd9Sstevel@tonic-gate } 24737c478bd9Sstevel@tonic-gate 24747c478bd9Sstevel@tonic-gate /* 24757c478bd9Sstevel@tonic-gate * Check if st_name has a valid value or not. 24767c478bd9Sstevel@tonic-gate */ 2477635216b6SRod Evans if ((name = string(ofl, ifl, nsym, strs, strsize, ndx, shndx, 24781007fd6fSAli Bahrami symsecndx, symsecname, strsecname, &sdflags)) == NULL) 24797c478bd9Sstevel@tonic-gate continue; 24807c478bd9Sstevel@tonic-gate 2481ba2be530Sab /* 248208278a5eSRod Evans * Now that we have the name, report an erroneous section index. 2483ba2be530Sab */ 2484ba2be530Sab if (shndx_bad) { 24851007fd6fSAli Bahrami ld_eprintf(ofl, ERR_WARNING, MSG_INTL(MSG_SYM_INVSHNDX), 24864a8d0ea7SAli Bahrami demangle_symname(name, symsecname, ndx), 2487ba2be530Sab ifl->ifl_name, 2488635216b6SRod Evans conv_sym_shndx(osabi, mach, nsym->st_shndx, 24894f680cc6SAli Bahrami CONV_FMT_DECIMAL, &inv_buf)); 2490ba2be530Sab continue; 2491ba2be530Sab } 2492ba2be530Sab 24933b41b08bSab /* 2494d840867fSab * Test for the GNU hidden bit, and ignore symbols that 2495d840867fSab * have it set. 24963b41b08bSab */ 2497d840867fSab if (test_gnu_hidden_bit && 2498d840867fSab ((ifl->ifl_versym[ndx] & 0x8000) != 0)) 24993b41b08bSab continue; 25003b41b08bSab 25017c478bd9Sstevel@tonic-gate /* 25027c478bd9Sstevel@tonic-gate * The linker itself will generate symbols for _end, _etext, 25037c478bd9Sstevel@tonic-gate * _edata, _DYNAMIC and _PROCEDURE_LINKAGE_TABLE_, so don't 25047c478bd9Sstevel@tonic-gate * bother entering these symbols from shared objects. This 25057c478bd9Sstevel@tonic-gate * results in some wasted resolution processing, which is hard 25067c478bd9Sstevel@tonic-gate * to feel, but if nothing else, pollutes diagnostic relocation 25077c478bd9Sstevel@tonic-gate * output. 25087c478bd9Sstevel@tonic-gate */ 2509635216b6SRod Evans if (name[0] && (etype == ET_DYN) && (nsym->st_size == 0) && 2510635216b6SRod Evans (ELF_ST_TYPE(nsym->st_info) == STT_OBJECT) && 25117c478bd9Sstevel@tonic-gate (name[0] == '_') && ((name[1] == 'e') || 25127c478bd9Sstevel@tonic-gate (name[1] == 'D') || (name[1] == 'P')) && 25137c478bd9Sstevel@tonic-gate ((strcmp(name, MSG_ORIG(MSG_SYM_ETEXT_U)) == 0) || 25147c478bd9Sstevel@tonic-gate (strcmp(name, MSG_ORIG(MSG_SYM_EDATA_U)) == 0) || 25157c478bd9Sstevel@tonic-gate (strcmp(name, MSG_ORIG(MSG_SYM_END_U)) == 0) || 25167c478bd9Sstevel@tonic-gate (strcmp(name, MSG_ORIG(MSG_SYM_DYNAMIC_U)) == 0) || 25177c478bd9Sstevel@tonic-gate (strcmp(name, MSG_ORIG(MSG_SYM_PLKTBL_U)) == 0))) { 25187c478bd9Sstevel@tonic-gate ifl->ifl_oldndx[ndx] = 0; 25197c478bd9Sstevel@tonic-gate continue; 25207c478bd9Sstevel@tonic-gate } 25217c478bd9Sstevel@tonic-gate 2522cdcc71c0SAli Bahrami /* 2523cdcc71c0SAli Bahrami * The '-z wrap=XXX' option emulates the GNU ld --wrap=XXX 2524cdcc71c0SAli Bahrami * option. When XXX is the symbol to be wrapped: 2525cdcc71c0SAli Bahrami * 252608278a5eSRod Evans * - An undefined reference to XXX is converted to __wrap_XXX 252708278a5eSRod Evans * - An undefined reference to __real_XXX is converted to XXX 2528cdcc71c0SAli Bahrami * 2529cdcc71c0SAli Bahrami * The idea is that the user can supply a wrapper function 2530cdcc71c0SAli Bahrami * __wrap_XXX that does some work, and then uses the name 2531cdcc71c0SAli Bahrami * __real_XXX to pass the call on to the real function. The 2532cdcc71c0SAli Bahrami * wrapper objects are linked with the original unmodified 2533cdcc71c0SAli Bahrami * objects to produce a wrapped version of the output object. 2534cdcc71c0SAli Bahrami */ 2535cdcc71c0SAli Bahrami if (ofl->ofl_wrap && name[0] && (shndx == SHN_UNDEF)) { 2536cdcc71c0SAli Bahrami WrapSymNode wsn, *wsnp; 2537cdcc71c0SAli Bahrami 2538cdcc71c0SAli Bahrami /* 2539cdcc71c0SAli Bahrami * If this is the __real_XXX form, advance the 2540cdcc71c0SAli Bahrami * pointer to reference the wrapped name. 2541cdcc71c0SAli Bahrami */ 2542cdcc71c0SAli Bahrami wsn.wsn_name = name; 2543cdcc71c0SAli Bahrami if ((*name == '_') && 2544cdcc71c0SAli Bahrami (strncmp(name, MSG_ORIG(MSG_STR_UU_REAL_U), 2545cdcc71c0SAli Bahrami MSG_STR_UU_REAL_U_SIZE) == 0)) 2546cdcc71c0SAli Bahrami wsn.wsn_name += MSG_STR_UU_REAL_U_SIZE; 2547cdcc71c0SAli Bahrami 2548cdcc71c0SAli Bahrami /* 2549cdcc71c0SAli Bahrami * Is this symbol in the wrap AVL tree? If so, map 2550cdcc71c0SAli Bahrami * XXX to __wrap_XXX, and __real_XXX to XXX. Note that 2551cdcc71c0SAli Bahrami * wsn.wsn_name will equal the current value of name 2552cdcc71c0SAli Bahrami * if the __real_ prefix is not present. 2553cdcc71c0SAli Bahrami */ 2554cdcc71c0SAli Bahrami if ((wsnp = avl_find(ofl->ofl_wrap, &wsn, 0)) != NULL) { 2555cdcc71c0SAli Bahrami const char *old_name = name; 2556cdcc71c0SAli Bahrami 2557cdcc71c0SAli Bahrami name = (wsn.wsn_name == name) ? 2558cdcc71c0SAli Bahrami wsnp->wsn_wrapname : wsn.wsn_name; 2559cdcc71c0SAli Bahrami DBG_CALL(Dbg_syms_wrap(ofl->ofl_lml, ndx, 2560cdcc71c0SAli Bahrami old_name, name)); 2561cdcc71c0SAli Bahrami } 2562cdcc71c0SAli Bahrami } 2563cdcc71c0SAli Bahrami 25647c478bd9Sstevel@tonic-gate /* 25657c478bd9Sstevel@tonic-gate * Determine and validate the symbols binding. 25667c478bd9Sstevel@tonic-gate */ 2567635216b6SRod Evans bind = ELF_ST_BIND(nsym->st_info); 25687c478bd9Sstevel@tonic-gate if ((bind != STB_GLOBAL) && (bind != STB_WEAK)) { 25691007fd6fSAli Bahrami ld_eprintf(ofl, ERR_WARNING, MSG_INTL(MSG_SYM_NONGLOB), 25704a8d0ea7SAli Bahrami demangle_symname(name, symsecname, ndx), 2571de777a60Sab ifl->ifl_name, 2572de777a60Sab conv_sym_info_bind(bind, 0, &inv_buf)); 25737c478bd9Sstevel@tonic-gate continue; 25747c478bd9Sstevel@tonic-gate } 25756b3ba5bdSAli Bahrami if (bind == STB_WEAK) 25766b3ba5bdSAli Bahrami weak++; 25777c478bd9Sstevel@tonic-gate 25787c478bd9Sstevel@tonic-gate /* 25797c478bd9Sstevel@tonic-gate * If this symbol falls within the range of a section being 25807c478bd9Sstevel@tonic-gate * discarded, then discard the symbol itself. 25817c478bd9Sstevel@tonic-gate */ 25827c478bd9Sstevel@tonic-gate if (((sdflags & FLG_SY_SPECSEC) == 0) && 2583635216b6SRod Evans (nsym->st_shndx != SHN_UNDEF)) { 25847c478bd9Sstevel@tonic-gate Is_desc *isp; 25857c478bd9Sstevel@tonic-gate 25867c478bd9Sstevel@tonic-gate if (shndx >= ifl->ifl_shnum) { 25877c478bd9Sstevel@tonic-gate /* 25887c478bd9Sstevel@tonic-gate * Carry our some basic sanity checks 25897c478bd9Sstevel@tonic-gate * The symbol will not be carried forward to 25907c478bd9Sstevel@tonic-gate * the output file, which won't be a problem 25917c478bd9Sstevel@tonic-gate * unless a relocation is required against it. 25927c478bd9Sstevel@tonic-gate */ 25931007fd6fSAli Bahrami ld_eprintf(ofl, ERR_WARNING, 2594ba2be530Sab MSG_INTL(MSG_SYM_INVSHNDX), 25954a8d0ea7SAli Bahrami demangle_symname(name, symsecname, ndx), 25960bc07c75Srie ifl->ifl_name, 2597635216b6SRod Evans conv_sym_shndx(osabi, mach, nsym->st_shndx, 25984f680cc6SAli Bahrami CONV_FMT_DECIMAL, &inv_buf)); 25997c478bd9Sstevel@tonic-gate continue; 26007c478bd9Sstevel@tonic-gate } 26017c478bd9Sstevel@tonic-gate 26027c478bd9Sstevel@tonic-gate isp = ifl->ifl_isdesc[shndx]; 26037c478bd9Sstevel@tonic-gate if (isp && (isp->is_flags & FLG_IS_DISCARD)) { 26047c478bd9Sstevel@tonic-gate if ((sdp = 26056b3ba5bdSAli Bahrami libld_calloc(sizeof (Sym_desc), 1)) == NULL) 26067c478bd9Sstevel@tonic-gate return (S_ERROR); 26077c478bd9Sstevel@tonic-gate 26087c478bd9Sstevel@tonic-gate /* 26097c478bd9Sstevel@tonic-gate * Create a dummy symbol entry so that if we 26107c478bd9Sstevel@tonic-gate * find any references to this discarded symbol 26117c478bd9Sstevel@tonic-gate * we can compensate. 26127c478bd9Sstevel@tonic-gate */ 26137c478bd9Sstevel@tonic-gate sdp->sd_name = name; 2614635216b6SRod Evans sdp->sd_sym = nsym; 26157c478bd9Sstevel@tonic-gate sdp->sd_file = ifl; 26167c478bd9Sstevel@tonic-gate sdp->sd_isc = isp; 26177c478bd9Sstevel@tonic-gate sdp->sd_flags = FLG_SY_ISDISC; 26187c478bd9Sstevel@tonic-gate ifl->ifl_oldndx[ndx] = sdp; 26197c478bd9Sstevel@tonic-gate 2620a194faf8Srie DBG_CALL(Dbg_syms_discarded(ofl->ofl_lml, sdp)); 26217c478bd9Sstevel@tonic-gate continue; 26227c478bd9Sstevel@tonic-gate } 26237c478bd9Sstevel@tonic-gate } 26247c478bd9Sstevel@tonic-gate 262508278a5eSRod Evans /* 262608278a5eSRod Evans * If object capabilities for this file are being converted 262708278a5eSRod Evans * into symbol capabilities, then: 262808278a5eSRod Evans * 262908278a5eSRod Evans * - Any global function, or initialized global data symbol 263008278a5eSRod Evans * definitions (ie., those that are not associated with 263108278a5eSRod Evans * special symbol types, ie., ABS, COMMON, etc.), and which 263208278a5eSRod Evans * have not been reduced to locals, are converted to symbol 263308278a5eSRod Evans * references (UNDEF). This ensures that any reference to 263408278a5eSRod Evans * the original symbol, for example from a relocation, get 263508278a5eSRod Evans * associated to a capabilities family lead symbol, ie., a 263608278a5eSRod Evans * generic instance. 263708278a5eSRod Evans * 263808278a5eSRod Evans * - For each global function, or object symbol definition, 263908278a5eSRod Evans * a new local symbol is created. The function or object 264008278a5eSRod Evans * is renamed using the capabilities CA_SUNW_ID definition 264108278a5eSRod Evans * (which might have been fabricated for this purpose - 264208278a5eSRod Evans * see get_cap_group()). The new symbol name is: 264308278a5eSRod Evans * 264408278a5eSRod Evans * <original name>%<capability group identifier> 264508278a5eSRod Evans * 264608278a5eSRod Evans * This symbol is associated to the same location, and 264708278a5eSRod Evans * becomes a capabilities family member. 264808278a5eSRod Evans */ 264908278a5eSRod Evans /* LINTED */ 265008278a5eSRod Evans hash = (Word)elf_hash(name); 265108278a5eSRod Evans 265208278a5eSRod Evans ntype = ELF_ST_TYPE(nsym->st_info); 265308278a5eSRod Evans if (cdp && (nsym->st_shndx != SHN_UNDEF) && 265408278a5eSRod Evans ((sdflags & FLG_SY_SPECSEC) == 0) && 265508278a5eSRod Evans ((ntype == STT_FUNC) || (ntype == STT_OBJECT))) { 265608278a5eSRod Evans /* 265708278a5eSRod Evans * Determine this symbol's visibility. If a mapfile has 265808278a5eSRod Evans * indicated this symbol should be local, then there's 265908278a5eSRod Evans * no point in transforming this global symbol to a 266008278a5eSRod Evans * capabilities symbol. Otherwise, create a symbol 266108278a5eSRod Evans * capability pair descriptor to record this symbol as 266208278a5eSRod Evans * a candidate for translation. 266308278a5eSRod Evans */ 266408278a5eSRod Evans if (sym_cap_vis(name, hash, sym, ofl) && 266508278a5eSRod Evans ((cpp = alist_append(&cappairs, NULL, 266608278a5eSRod Evans sizeof (Cap_pair), AL_CNT_CAP_PAIRS)) == NULL)) 266708278a5eSRod Evans return (S_ERROR); 266808278a5eSRod Evans } 266908278a5eSRod Evans 267008278a5eSRod Evans if (cpp) { 267108278a5eSRod Evans Sym *rsym; 267208278a5eSRod Evans 267308278a5eSRod Evans DBG_CALL(Dbg_syms_cap_convert(ofl, ndx, name, nsym)); 267408278a5eSRod Evans 267508278a5eSRod Evans /* 267608278a5eSRod Evans * Allocate a new symbol descriptor to represent the 267708278a5eSRod Evans * transformed global symbol. The descriptor points 267808278a5eSRod Evans * to the original symbol information (which might 267908278a5eSRod Evans * indicate a global or weak visibility). The symbol 268008278a5eSRod Evans * information will be transformed into a local symbol 268108278a5eSRod Evans * later, after any weak aliases are culled. 268208278a5eSRod Evans */ 268308278a5eSRod Evans if ((cpp->c_osdp = 268408278a5eSRod Evans libld_malloc(sizeof (Sym_desc))) == NULL) 268508278a5eSRod Evans return (S_ERROR); 268608278a5eSRod Evans 268708278a5eSRod Evans cpp->c_osdp->sd_name = name; 268808278a5eSRod Evans cpp->c_osdp->sd_sym = nsym; 268908278a5eSRod Evans cpp->c_osdp->sd_shndx = shndx; 269008278a5eSRod Evans cpp->c_osdp->sd_file = ifl; 269108278a5eSRod Evans cpp->c_osdp->sd_isc = ifl->ifl_isdesc[shndx]; 269208278a5eSRod Evans cpp->c_osdp->sd_ref = REF_REL_NEED; 269308278a5eSRod Evans 269408278a5eSRod Evans /* 269508278a5eSRod Evans * Save the capabilities group this symbol belongs to, 269608278a5eSRod Evans * and the original symbol index. 269708278a5eSRod Evans */ 269808278a5eSRod Evans cpp->c_group = cdp->ca_groups->apl_data[0]; 269908278a5eSRod Evans cpp->c_ndx = ndx; 270008278a5eSRod Evans 270108278a5eSRod Evans /* 270208278a5eSRod Evans * Replace the original symbol definition with a symbol 270308278a5eSRod Evans * reference. Make sure this reference isn't left as a 270408278a5eSRod Evans * weak. 270508278a5eSRod Evans */ 270608278a5eSRod Evans if ((rsym = libld_malloc(sizeof (Sym))) == NULL) 270708278a5eSRod Evans return (S_ERROR); 270808278a5eSRod Evans 270908278a5eSRod Evans *rsym = *nsym; 271008278a5eSRod Evans 271108278a5eSRod Evans rsym->st_info = ELF_ST_INFO(STB_GLOBAL, ntype); 271208278a5eSRod Evans rsym->st_shndx = shndx = SHN_UNDEF; 271308278a5eSRod Evans rsym->st_value = 0; 271408278a5eSRod Evans rsym->st_size = 0; 271508278a5eSRod Evans 271608278a5eSRod Evans sdflags |= FLG_SY_CAP; 271708278a5eSRod Evans 271808278a5eSRod Evans nsym = rsym; 271908278a5eSRod Evans } 272008278a5eSRod Evans 27217c478bd9Sstevel@tonic-gate /* 27227c478bd9Sstevel@tonic-gate * If the symbol does not already exist in the internal symbol 27237c478bd9Sstevel@tonic-gate * table add it, otherwise resolve the conflict. If the symbol 27247c478bd9Sstevel@tonic-gate * from this file is kept, retain its symbol table index for 27257c478bd9Sstevel@tonic-gate * possible use in associating a global alias. 27267c478bd9Sstevel@tonic-gate */ 27275aefb655Srie if ((sdp = ld_sym_find(name, hash, &where, ofl)) == NULL) { 27285aefb655Srie DBG_CALL(Dbg_syms_global(ofl->ofl_lml, ndx, name)); 2729635216b6SRod Evans if ((sdp = ld_sym_enter(name, nsym, hash, ifl, ofl, ndx, 2730635216b6SRod Evans shndx, sdflags, &where)) == (Sym_desc *)S_ERROR) 27317c478bd9Sstevel@tonic-gate return (S_ERROR); 27327c478bd9Sstevel@tonic-gate 2733635216b6SRod Evans } else if (ld_sym_resolve(sdp, nsym, ifl, ofl, ndx, shndx, 27347c478bd9Sstevel@tonic-gate sdflags) == S_ERROR) 27357c478bd9Sstevel@tonic-gate return (S_ERROR); 27367c478bd9Sstevel@tonic-gate 273708278a5eSRod Evans /* 273808278a5eSRod Evans * Now that we have a symbol descriptor, retain the descriptor 273908278a5eSRod Evans * for later use by symbol capabilities processing. 274008278a5eSRod Evans */ 274108278a5eSRod Evans if (cpp) 274208278a5eSRod Evans cpp->c_nsdp = sdp; 274308278a5eSRod Evans 27447c478bd9Sstevel@tonic-gate /* 27457c478bd9Sstevel@tonic-gate * After we've compared a defined symbol in one shared 27467c478bd9Sstevel@tonic-gate * object, flag the symbol so we don't compare it again. 27477c478bd9Sstevel@tonic-gate */ 2748635216b6SRod Evans if ((etype == ET_DYN) && (nsym->st_shndx != SHN_UNDEF) && 27497c478bd9Sstevel@tonic-gate ((sdp->sd_flags & FLG_SY_SOFOUND) == 0)) 27507c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_SOFOUND; 27517c478bd9Sstevel@tonic-gate 27527c478bd9Sstevel@tonic-gate /* 27537c478bd9Sstevel@tonic-gate * If the symbol is accepted from this file retain the symbol 27547c478bd9Sstevel@tonic-gate * index for possible use in aliasing. 27557c478bd9Sstevel@tonic-gate */ 27567c478bd9Sstevel@tonic-gate if (sdp->sd_file == ifl) 27577c478bd9Sstevel@tonic-gate sdp->sd_symndx = ndx; 27587c478bd9Sstevel@tonic-gate 27597c478bd9Sstevel@tonic-gate ifl->ifl_oldndx[ndx] = sdp; 27607c478bd9Sstevel@tonic-gate 27617c478bd9Sstevel@tonic-gate /* 27627c478bd9Sstevel@tonic-gate * If we've accepted a register symbol, continue to validate 27637c478bd9Sstevel@tonic-gate * it. 27647c478bd9Sstevel@tonic-gate */ 27657c478bd9Sstevel@tonic-gate if (sdp->sd_flags & FLG_SY_REGSYM) { 27667c478bd9Sstevel@tonic-gate Sym_desc *rsdp; 27677c478bd9Sstevel@tonic-gate 2768ba2be530Sab /* 2769ba2be530Sab * The presence of FLG_SY_REGSYM means that 2770ba2be530Sab * the pointers in ld_targ.t_ms are non-NULL. 2771ba2be530Sab */ 2772ba2be530Sab rsdp = (*ld_targ.t_ms.ms_reg_find)(sdp->sd_sym, ofl); 27736b3ba5bdSAli Bahrami if (rsdp == NULL) { 2774ba2be530Sab if ((*ld_targ.t_ms.ms_reg_enter)(sdp, ofl) == 0) 27757c478bd9Sstevel@tonic-gate return (S_ERROR); 27767c478bd9Sstevel@tonic-gate } else if (rsdp != sdp) { 2777ba2be530Sab (void) (*ld_targ.t_ms.ms_reg_check)(rsdp, 2778ba2be530Sab sdp->sd_sym, sdp->sd_name, ifl, ofl); 27797c478bd9Sstevel@tonic-gate } 27807c478bd9Sstevel@tonic-gate } 278175e45495Sab 278275e45495Sab /* 278375e45495Sab * For a relocatable object, if this symbol is defined 278475e45495Sab * and has non-zero length and references an address 278575e45495Sab * within an associated section, then check its extents 278675e45495Sab * to make sure the section boundaries encompass it. 278775e45495Sab * If they don't, the ELF file is corrupt. Note that this 278875e45495Sab * global symbol may have come from another file to satisfy 278975e45495Sab * an UNDEF symbol of the same name from this one. In that 279075e45495Sab * case, we don't check it, because it was already checked 279175e45495Sab * as part of its own file. 279275e45495Sab */ 279375e45495Sab if (etype_rel && (sdp->sd_file == ifl)) { 279475e45495Sab Sym *tsym = sdp->sd_sym; 279575e45495Sab 279675e45495Sab if (SYM_LOC_BADADDR(sdp, tsym, 279775e45495Sab ELF_ST_TYPE(tsym->st_info))) { 279869a0bf0cSab issue_badaddr_msg(ifl, ofl, sdp, 279969a0bf0cSab tsym, tsym->st_shndx); 280075e45495Sab continue; 280175e45495Sab } 280275e45495Sab } 28037c478bd9Sstevel@tonic-gate } 2804dc0f59e5SAli Bahrami DBG_CALL(Dbg_util_nl(ofl->ofl_lml, DBG_NL_STD)); 28057c478bd9Sstevel@tonic-gate 28067c478bd9Sstevel@tonic-gate /* 28076b3ba5bdSAli Bahrami * Associate weak (alias) symbols to their non-weak counterparts by 280808278a5eSRod Evans * scanning the global symbols one more time. 28096b3ba5bdSAli Bahrami * 28106b3ba5bdSAli Bahrami * This association is needed when processing the symbols from a shared 28116b3ba5bdSAli Bahrami * object dependency when a a weak definition satisfies a reference: 28127c478bd9Sstevel@tonic-gate * 28136b3ba5bdSAli Bahrami * - When building a dynamic executable, if a referenced symbol is a 28146b3ba5bdSAli Bahrami * data item, the symbol data is copied to the executables address 28156b3ba5bdSAli Bahrami * space. In this copy-relocation case, we must also reassociate 28166b3ba5bdSAli Bahrami * the alias symbol with its new location in the executable. 28177c478bd9Sstevel@tonic-gate * 28186b3ba5bdSAli Bahrami * - If the referenced symbol is a function then we may need to 28196b3ba5bdSAli Bahrami * promote the symbols binding from undefined weak to undefined, 28206b3ba5bdSAli Bahrami * otherwise the run-time linker will not generate the correct 28216b3ba5bdSAli Bahrami * relocation error should the symbol not be found. 28226b3ba5bdSAli Bahrami * 28236b3ba5bdSAli Bahrami * Weak alias association is also required when a local dynsym table 28246b3ba5bdSAli Bahrami * is being created. This table should only contain one instance of a 28256b3ba5bdSAli Bahrami * symbol that is associated to a given address. 28267c478bd9Sstevel@tonic-gate * 28277c478bd9Sstevel@tonic-gate * The true association between a weak/strong symbol pair is that both 28286b3ba5bdSAli Bahrami * symbol entries are identical, thus first we create a sorted symbol 28296b3ba5bdSAli Bahrami * list keyed off of the symbols section index and value. If the symbol 28306b3ba5bdSAli Bahrami * belongs to the same section and has the same value, then the chances 28316b3ba5bdSAli Bahrami * are that the rest of the symbols data is the same. This list is then 28326b3ba5bdSAli Bahrami * scanned for weak symbols, and if one is found then any strong 28336b3ba5bdSAli Bahrami * association will exist in the entries that follow. Thus we just have 28346b3ba5bdSAli Bahrami * to scan one (typically a single alias) or more (in the uncommon 28356b3ba5bdSAli Bahrami * instance of multiple weak to strong associations) entries to 28366b3ba5bdSAli Bahrami * determine if a match exists. 28377c478bd9Sstevel@tonic-gate */ 28386b3ba5bdSAli Bahrami if (weak && (OFL_ALLOW_LDYNSYM(ofl) || (etype == ET_DYN)) && 2839d579eb63Sab (total > local)) { 28406b3ba5bdSAli Bahrami static Sym_desc **sort; 28416b3ba5bdSAli Bahrami static size_t osize = 0; 28426b3ba5bdSAli Bahrami size_t nsize = (total - local) * sizeof (Sym_desc *); 28437c478bd9Sstevel@tonic-gate 28446b3ba5bdSAli Bahrami /* 28456b3ba5bdSAli Bahrami * As we might be processing many input files, and many symbols, 28466b3ba5bdSAli Bahrami * try and reuse a static sort buffer. Note, presently we're 28476b3ba5bdSAli Bahrami * playing the game of never freeing any buffers as there's a 28486b3ba5bdSAli Bahrami * belief this wastes time. 28496b3ba5bdSAli Bahrami */ 28506b3ba5bdSAli Bahrami if ((osize == 0) || (nsize > osize)) { 28516b3ba5bdSAli Bahrami if ((sort = libld_malloc(nsize)) == NULL) 28526b3ba5bdSAli Bahrami return (S_ERROR); 28536b3ba5bdSAli Bahrami osize = nsize; 28546b3ba5bdSAli Bahrami } 28556b3ba5bdSAli Bahrami (void) memcpy((void *)sort, &ifl->ifl_oldndx[local], nsize); 28567c478bd9Sstevel@tonic-gate 28577c478bd9Sstevel@tonic-gate qsort(sort, (total - local), sizeof (Sym_desc *), compare); 28587c478bd9Sstevel@tonic-gate 28597c478bd9Sstevel@tonic-gate for (ndx = 0; ndx < (total - local); ndx++) { 28606b3ba5bdSAli Bahrami Sym_desc *wsdp = sort[ndx]; 28616b3ba5bdSAli Bahrami Sym *wsym; 28627c478bd9Sstevel@tonic-gate int sndx; 28637c478bd9Sstevel@tonic-gate 28646b3ba5bdSAli Bahrami /* 28656b3ba5bdSAli Bahrami * Ignore any empty symbol descriptor, or the case where 28666b3ba5bdSAli Bahrami * the symbol has been resolved to a different file. 28676b3ba5bdSAli Bahrami */ 28686b3ba5bdSAli Bahrami if ((wsdp == NULL) || (wsdp->sd_file != ifl)) 28697c478bd9Sstevel@tonic-gate continue; 28707c478bd9Sstevel@tonic-gate 28717c478bd9Sstevel@tonic-gate wsym = wsdp->sd_sym; 28727c478bd9Sstevel@tonic-gate 28736b3ba5bdSAli Bahrami if ((wsym->st_shndx == SHN_UNDEF) || 28746b3ba5bdSAli Bahrami (wsdp->sd_flags & FLG_SY_SPECSEC) || 28756b3ba5bdSAli Bahrami (ELF_ST_BIND(wsym->st_info) != STB_WEAK)) 28767c478bd9Sstevel@tonic-gate continue; 28777c478bd9Sstevel@tonic-gate 28787c478bd9Sstevel@tonic-gate /* 28797c478bd9Sstevel@tonic-gate * We have a weak symbol, if it has a strong alias it 28807c478bd9Sstevel@tonic-gate * will have been sorted to one of the following sort 28817c478bd9Sstevel@tonic-gate * table entries. Note that we could have multiple weak 28827c478bd9Sstevel@tonic-gate * symbols aliased to one strong (if this occurs then 28837c478bd9Sstevel@tonic-gate * the strong symbol only maintains one alias back to 28847c478bd9Sstevel@tonic-gate * the last weak). 28857c478bd9Sstevel@tonic-gate */ 28867c478bd9Sstevel@tonic-gate for (sndx = ndx + 1; sndx < (total - local); sndx++) { 28876b3ba5bdSAli Bahrami Sym_desc *ssdp = sort[sndx]; 28886b3ba5bdSAli Bahrami Sym *ssym; 2889635216b6SRod Evans sd_flag_t w_dynbits, s_dynbits; 28907c478bd9Sstevel@tonic-gate 28916b3ba5bdSAli Bahrami /* 28926b3ba5bdSAli Bahrami * Ignore any empty symbol descriptor, or the 28936b3ba5bdSAli Bahrami * case where the symbol has been resolved to a 28946b3ba5bdSAli Bahrami * different file. 28956b3ba5bdSAli Bahrami */ 28966b3ba5bdSAli Bahrami if ((ssdp == NULL) || (ssdp->sd_file != ifl)) 28976b3ba5bdSAli Bahrami continue; 28987c478bd9Sstevel@tonic-gate 28997c478bd9Sstevel@tonic-gate ssym = ssdp->sd_sym; 29007c478bd9Sstevel@tonic-gate 29016b3ba5bdSAli Bahrami if (ssym->st_shndx == SHN_UNDEF) 29026b3ba5bdSAli Bahrami continue; 29036b3ba5bdSAli Bahrami 29046b3ba5bdSAli Bahrami if ((ssym->st_shndx != wsym->st_shndx) || 29056b3ba5bdSAli Bahrami (ssym->st_value != wsym->st_value)) 29067c478bd9Sstevel@tonic-gate break; 29077c478bd9Sstevel@tonic-gate 29086b3ba5bdSAli Bahrami if ((ssym->st_size != wsym->st_size) || 29096b3ba5bdSAli Bahrami (ssdp->sd_flags & FLG_SY_SPECSEC) || 29106b3ba5bdSAli Bahrami (ELF_ST_BIND(ssym->st_info) == STB_WEAK)) 29116b3ba5bdSAli Bahrami continue; 2912d579eb63Sab 29136b3ba5bdSAli Bahrami /* 29146b3ba5bdSAli Bahrami * If a sharable object, set link fields so 29156b3ba5bdSAli Bahrami * that they reference each other.` 29166b3ba5bdSAli Bahrami */ 29176b3ba5bdSAli Bahrami if (etype == ET_DYN) { 29186b3ba5bdSAli Bahrami ssdp->sd_aux->sa_linkndx = 29196b3ba5bdSAli Bahrami (Word)wsdp->sd_symndx; 29206b3ba5bdSAli Bahrami wsdp->sd_aux->sa_linkndx = 29216b3ba5bdSAli Bahrami (Word)ssdp->sd_symndx; 29226b3ba5bdSAli Bahrami } 29236b3ba5bdSAli Bahrami 29246b3ba5bdSAli Bahrami /* 29256b3ba5bdSAli Bahrami * Determine which of these two symbols go into 29266b3ba5bdSAli Bahrami * the sort section. If a mapfile has made 29276b3ba5bdSAli Bahrami * explicit settings of the FLG_SY_*DYNSORT 29286b3ba5bdSAli Bahrami * flags for both symbols, then we do what they 29296b3ba5bdSAli Bahrami * say. If one has the DYNSORT flags set, we 29306b3ba5bdSAli Bahrami * set the NODYNSORT bit in the other. And if 29316b3ba5bdSAli Bahrami * neither has an explicit setting, then we 29326b3ba5bdSAli Bahrami * favor the weak symbol because they usually 29336b3ba5bdSAli Bahrami * lack the leading underscore. 29346b3ba5bdSAli Bahrami */ 29356b3ba5bdSAli Bahrami w_dynbits = wsdp->sd_flags & 29366b3ba5bdSAli Bahrami (FLG_SY_DYNSORT | FLG_SY_NODYNSORT); 29376b3ba5bdSAli Bahrami s_dynbits = ssdp->sd_flags & 29386b3ba5bdSAli Bahrami (FLG_SY_DYNSORT | FLG_SY_NODYNSORT); 29396b3ba5bdSAli Bahrami if (!(w_dynbits && s_dynbits)) { 29406b3ba5bdSAli Bahrami if (s_dynbits) { 29416b3ba5bdSAli Bahrami if (s_dynbits == FLG_SY_DYNSORT) 294233eb6ee1Sab wsdp->sd_flags |= 294333eb6ee1Sab FLG_SY_NODYNSORT; 29446b3ba5bdSAli Bahrami } else if (w_dynbits != 29456b3ba5bdSAli Bahrami FLG_SY_NODYNSORT) { 29466b3ba5bdSAli Bahrami ssdp->sd_flags |= 29476b3ba5bdSAli Bahrami FLG_SY_NODYNSORT; 2948d579eb63Sab } 29497c478bd9Sstevel@tonic-gate } 29506b3ba5bdSAli Bahrami break; 29517c478bd9Sstevel@tonic-gate } 29527c478bd9Sstevel@tonic-gate } 29537c478bd9Sstevel@tonic-gate } 295408278a5eSRod Evans 295508278a5eSRod Evans /* 295608278a5eSRod Evans * Having processed all symbols, under -z symbolcap, reprocess any 295708278a5eSRod Evans * symbols that are being translated from global to locals. The symbol 295808278a5eSRod Evans * pair that has been collected defines the original symbol (c_osdp), 295908278a5eSRod Evans * which will become a local, and the new symbol (c_nsdp), which will 296008278a5eSRod Evans * become a reference (UNDEF) for the original. 296108278a5eSRod Evans * 296208278a5eSRod Evans * Scan these symbol pairs looking for weak symbols, which have non-weak 296308278a5eSRod Evans * aliases. There is no need to translate both of these symbols to 296408278a5eSRod Evans * locals, only the global is necessary. 296508278a5eSRod Evans */ 296608278a5eSRod Evans if (cappairs) { 296708278a5eSRod Evans Aliste idx1; 296808278a5eSRod Evans Cap_pair *cpp1; 296908278a5eSRod Evans 297008278a5eSRod Evans for (ALIST_TRAVERSE(cappairs, idx1, cpp1)) { 297108278a5eSRod Evans Sym_desc *sdp1 = cpp1->c_osdp; 297208278a5eSRod Evans Sym *sym1 = sdp1->sd_sym; 297308278a5eSRod Evans uchar_t bind1 = ELF_ST_BIND(sym1->st_info); 297408278a5eSRod Evans Aliste idx2; 297508278a5eSRod Evans Cap_pair *cpp2; 297608278a5eSRod Evans 297708278a5eSRod Evans /* 297808278a5eSRod Evans * If this symbol isn't weak, it's capability member is 297908278a5eSRod Evans * retained for the creation of a local symbol. 298008278a5eSRod Evans */ 298108278a5eSRod Evans if (bind1 != STB_WEAK) 298208278a5eSRod Evans continue; 298308278a5eSRod Evans 298408278a5eSRod Evans /* 298508278a5eSRod Evans * If this is a weak symbol, traverse the capabilities 298608278a5eSRod Evans * list again to determine if a corresponding non-weak 298708278a5eSRod Evans * symbol exists. 298808278a5eSRod Evans */ 298908278a5eSRod Evans for (ALIST_TRAVERSE(cappairs, idx2, cpp2)) { 299008278a5eSRod Evans Sym_desc *sdp2 = cpp2->c_osdp; 299108278a5eSRod Evans Sym *sym2 = sdp2->sd_sym; 299208278a5eSRod Evans uchar_t bind2 = 299308278a5eSRod Evans ELF_ST_BIND(sym2->st_info); 299408278a5eSRod Evans 299508278a5eSRod Evans if ((cpp1 == cpp2) || 299608278a5eSRod Evans (cpp1->c_group != cpp2->c_group) || 299708278a5eSRod Evans (sym1->st_value != sym2->st_value) || 299808278a5eSRod Evans (bind2 == STB_WEAK)) 299908278a5eSRod Evans continue; 300008278a5eSRod Evans 300108278a5eSRod Evans /* 300208278a5eSRod Evans * The weak symbol (sym1) has a non-weak (sym2) 300308278a5eSRod Evans * counterpart. There's no point in translating 300408278a5eSRod Evans * both of these equivalent symbols to locals. 300508278a5eSRod Evans * Add this symbol capability alias to the 300608278a5eSRod Evans * capabilities family information, and remove 300708278a5eSRod Evans * the weak symbol. 300808278a5eSRod Evans */ 300908278a5eSRod Evans if (ld_cap_add_family(ofl, cpp2->c_nsdp, 301008278a5eSRod Evans cpp1->c_nsdp, NULL, NULL) == S_ERROR) 301108278a5eSRod Evans return (S_ERROR); 301208278a5eSRod Evans 301308278a5eSRod Evans free((void *)cpp1->c_osdp); 301408278a5eSRod Evans (void) alist_delete(cappairs, &idx1); 301508278a5eSRod Evans } 301608278a5eSRod Evans } 301708278a5eSRod Evans 301808278a5eSRod Evans DBG_CALL(Dbg_util_nl(ofl->ofl_lml, DBG_NL_STD)); 301908278a5eSRod Evans 302008278a5eSRod Evans /* 302108278a5eSRod Evans * The capability pairs information now represents all the 302208278a5eSRod Evans * global symbols that need transforming to locals. These 302308278a5eSRod Evans * local symbols are renamed using their group identifiers. 302408278a5eSRod Evans */ 302508278a5eSRod Evans for (ALIST_TRAVERSE(cappairs, idx1, cpp1)) { 302608278a5eSRod Evans Sym_desc *osdp = cpp1->c_osdp; 302708278a5eSRod Evans Objcapset *capset; 302808278a5eSRod Evans size_t nsize, tsize; 302908278a5eSRod Evans const char *oname; 303008278a5eSRod Evans char *cname, *idstr; 303108278a5eSRod Evans Sym *csym; 303208278a5eSRod Evans 303308278a5eSRod Evans /* 303408278a5eSRod Evans * If the local symbol has not yet been translated 303508278a5eSRod Evans * convert it to a local symbol with a name. 303608278a5eSRod Evans */ 303708278a5eSRod Evans if ((osdp->sd_flags & FLG_SY_CAP) != 0) 303808278a5eSRod Evans continue; 303908278a5eSRod Evans 304008278a5eSRod Evans /* 304108278a5eSRod Evans * As we're converting object capabilities to symbol 304208278a5eSRod Evans * capabilities, obtain the capabilities set for this 304308278a5eSRod Evans * object, so as to retrieve the CA_SUNW_ID value. 304408278a5eSRod Evans */ 304508278a5eSRod Evans capset = &cpp1->c_group->cg_set; 304608278a5eSRod Evans 304708278a5eSRod Evans /* 304808278a5eSRod Evans * Create a new name from the existing symbol and the 304908278a5eSRod Evans * capabilities group identifier. Note, the delimiter 305008278a5eSRod Evans * between the symbol name and identifier name is hard- 305108278a5eSRod Evans * coded here (%), so that we establish a convention 305208278a5eSRod Evans * for transformed symbol names. 305308278a5eSRod Evans */ 305408278a5eSRod Evans oname = osdp->sd_name; 305508278a5eSRod Evans 305608278a5eSRod Evans idstr = capset->oc_id.cs_str; 305708278a5eSRod Evans nsize = strlen(oname); 305808278a5eSRod Evans tsize = nsize + 1 + strlen(idstr) + 1; 305908278a5eSRod Evans if ((cname = libld_malloc(tsize)) == 0) 306008278a5eSRod Evans return (S_ERROR); 306108278a5eSRod Evans 306208278a5eSRod Evans (void) strcpy(cname, oname); 306308278a5eSRod Evans cname[nsize++] = '%'; 306408278a5eSRod Evans (void) strcpy(&cname[nsize], idstr); 306508278a5eSRod Evans 306608278a5eSRod Evans /* 306708278a5eSRod Evans * Allocate a new symbol table entry, transform this 306808278a5eSRod Evans * symbol to a local, and assign the new name. 306908278a5eSRod Evans */ 307008278a5eSRod Evans if ((csym = libld_malloc(sizeof (Sym))) == NULL) 307108278a5eSRod Evans return (S_ERROR); 307208278a5eSRod Evans 307308278a5eSRod Evans *csym = *osdp->sd_sym; 307408278a5eSRod Evans csym->st_info = ELF_ST_INFO(STB_LOCAL, 307508278a5eSRod Evans ELF_ST_TYPE(osdp->sd_sym->st_info)); 307608278a5eSRod Evans 307708278a5eSRod Evans osdp->sd_name = cname; 307808278a5eSRod Evans osdp->sd_sym = csym; 307908278a5eSRod Evans osdp->sd_flags = FLG_SY_CAP; 308008278a5eSRod Evans 308108278a5eSRod Evans /* 308208278a5eSRod Evans * Keep track of this new local symbol. As -z symbolcap 308308278a5eSRod Evans * can only be used to create a relocatable object, a 308408278a5eSRod Evans * dynamic symbol table can't exist. Ensure there is 308508278a5eSRod Evans * space reserved in the string table. 308608278a5eSRod Evans */ 308708278a5eSRod Evans ofl->ofl_caploclcnt++; 308808278a5eSRod Evans if (st_insert(ofl->ofl_strtab, cname) == -1) 308908278a5eSRod Evans return (S_ERROR); 309008278a5eSRod Evans 309108278a5eSRod Evans DBG_CALL(Dbg_syms_cap_local(ofl, cpp1->c_ndx, 309208278a5eSRod Evans cname, csym, osdp)); 309308278a5eSRod Evans 309408278a5eSRod Evans /* 309508278a5eSRod Evans * Establish this capability pair as a family. 309608278a5eSRod Evans */ 309708278a5eSRod Evans if (ld_cap_add_family(ofl, cpp1->c_nsdp, osdp, 309808278a5eSRod Evans cpp1->c_group, &ifl->ifl_caps->ca_syms) == S_ERROR) 309908278a5eSRod Evans return (S_ERROR); 310008278a5eSRod Evans } 310108278a5eSRod Evans } 310208278a5eSRod Evans 31037c478bd9Sstevel@tonic-gate return (1); 310475e45495Sab 310575e45495Sab #undef SYM_LOC_BADADDR 31067c478bd9Sstevel@tonic-gate } 31077c478bd9Sstevel@tonic-gate 31087c478bd9Sstevel@tonic-gate /* 3109f5a18a30Srie * Add an undefined symbol to the symbol table. The reference originates from 311008278a5eSRod Evans * the location identified by the message id (mid). These references can 3111f5a18a30Srie * originate from command line options such as -e, -u, -initarray, etc. 3112f5a18a30Srie * (identified with MSG_INTL(MSG_STR_COMMAND)), or from internally generated 3113f5a18a30Srie * TLS relocation references (identified with MSG_INTL(MSG_STR_TLSREL)). 31147c478bd9Sstevel@tonic-gate */ 31157c478bd9Sstevel@tonic-gate Sym_desc * 3116f5a18a30Srie ld_sym_add_u(const char *name, Ofl_desc *ofl, Msg mid) 31177c478bd9Sstevel@tonic-gate { 31187c478bd9Sstevel@tonic-gate Sym *sym; 31196b3ba5bdSAli Bahrami Ifl_desc *ifl = NULL, *_ifl; 31207c478bd9Sstevel@tonic-gate Sym_desc *sdp; 31217c478bd9Sstevel@tonic-gate Word hash; 312257ef7aa9SRod Evans Aliste idx; 31237c478bd9Sstevel@tonic-gate avl_index_t where; 3124f5a18a30Srie const char *reference = MSG_INTL(mid); 31257c478bd9Sstevel@tonic-gate 31267c478bd9Sstevel@tonic-gate /* 3127b02637afSrie * As an optimization, determine whether we've already generated this 3128b02637afSrie * reference. If the symbol doesn't already exist we'll create it. 3129b02637afSrie * Or if the symbol does exist from a different source, we'll resolve 3130b02637afSrie * the conflict. 31317c478bd9Sstevel@tonic-gate */ 31327c478bd9Sstevel@tonic-gate /* LINTED */ 31337c478bd9Sstevel@tonic-gate hash = (Word)elf_hash(name); 3134b02637afSrie if ((sdp = ld_sym_find(name, hash, &where, ofl)) != NULL) { 3135b02637afSrie if ((sdp->sd_sym->st_shndx == SHN_UNDEF) && 3136b02637afSrie (sdp->sd_file->ifl_name == reference)) 3137b02637afSrie return (sdp); 31387c478bd9Sstevel@tonic-gate } 31397c478bd9Sstevel@tonic-gate 31407c478bd9Sstevel@tonic-gate /* 31417c478bd9Sstevel@tonic-gate * Determine whether a pseudo input file descriptor exists to represent 31427c478bd9Sstevel@tonic-gate * the command line, as any global symbol needs an input file descriptor 31437c478bd9Sstevel@tonic-gate * during any symbol resolution (refer to map_ifl() which provides a 31447c478bd9Sstevel@tonic-gate * similar method for adding symbols from mapfiles). 31457c478bd9Sstevel@tonic-gate */ 314657ef7aa9SRod Evans for (APLIST_TRAVERSE(ofl->ofl_objs, idx, _ifl)) 3147f5a18a30Srie if (strcmp(_ifl->ifl_name, reference) == 0) { 31487c478bd9Sstevel@tonic-gate ifl = _ifl; 31497c478bd9Sstevel@tonic-gate break; 31507c478bd9Sstevel@tonic-gate } 31517c478bd9Sstevel@tonic-gate 31527c478bd9Sstevel@tonic-gate /* 31537c478bd9Sstevel@tonic-gate * If no descriptor exists create one. 31547c478bd9Sstevel@tonic-gate */ 31556b3ba5bdSAli Bahrami if (ifl == NULL) { 315657ef7aa9SRod Evans if ((ifl = libld_calloc(sizeof (Ifl_desc), 1)) == NULL) 31577c478bd9Sstevel@tonic-gate return ((Sym_desc *)S_ERROR); 3158f5a18a30Srie ifl->ifl_name = reference; 31597c478bd9Sstevel@tonic-gate ifl->ifl_flags = FLG_IF_NEEDED | FLG_IF_FILEREF; 316057ef7aa9SRod Evans if ((ifl->ifl_ehdr = libld_calloc(sizeof (Ehdr), 1)) == NULL) 31617c478bd9Sstevel@tonic-gate return ((Sym_desc *)S_ERROR); 31627c478bd9Sstevel@tonic-gate ifl->ifl_ehdr->e_type = ET_REL; 31637c478bd9Sstevel@tonic-gate 316457ef7aa9SRod Evans if (aplist_append(&ofl->ofl_objs, ifl, AL_CNT_OFL_OBJS) == NULL) 31657c478bd9Sstevel@tonic-gate return ((Sym_desc *)S_ERROR); 31667c478bd9Sstevel@tonic-gate } 31677c478bd9Sstevel@tonic-gate 31687c478bd9Sstevel@tonic-gate /* 31697c478bd9Sstevel@tonic-gate * Allocate a symbol structure and add it to the global symbol table. 31707c478bd9Sstevel@tonic-gate */ 31716b3ba5bdSAli Bahrami if ((sym = libld_calloc(sizeof (Sym), 1)) == NULL) 31727c478bd9Sstevel@tonic-gate return ((Sym_desc *)S_ERROR); 31737c478bd9Sstevel@tonic-gate sym->st_info = ELF_ST_INFO(STB_GLOBAL, STT_NOTYPE); 31747c478bd9Sstevel@tonic-gate sym->st_shndx = SHN_UNDEF; 31757c478bd9Sstevel@tonic-gate 31765aefb655Srie DBG_CALL(Dbg_syms_process(ofl->ofl_lml, ifl)); 3177b02637afSrie if (sdp == NULL) { 3178b02637afSrie DBG_CALL(Dbg_syms_global(ofl->ofl_lml, 0, name)); 3179b02637afSrie if ((sdp = ld_sym_enter(name, sym, hash, ifl, ofl, 0, SHN_UNDEF, 3180635216b6SRod Evans 0, &where)) == (Sym_desc *)S_ERROR) 3181b02637afSrie return ((Sym_desc *)S_ERROR); 3182b02637afSrie } else if (ld_sym_resolve(sdp, sym, ifl, ofl, 0, 3183b02637afSrie SHN_UNDEF, 0) == S_ERROR) 3184b02637afSrie return ((Sym_desc *)S_ERROR); 3185b02637afSrie 31867c478bd9Sstevel@tonic-gate sdp->sd_flags &= ~FLG_SY_CLEAN; 31877c478bd9Sstevel@tonic-gate sdp->sd_flags |= FLG_SY_CMDREF; 31887c478bd9Sstevel@tonic-gate 31897c478bd9Sstevel@tonic-gate return (sdp); 31907c478bd9Sstevel@tonic-gate } 31914a8d0ea7SAli Bahrami 31924a8d0ea7SAli Bahrami /* 31934a8d0ea7SAli Bahrami * STT_SECTION symbols have their st_name field set to NULL, and consequently 3194bf994817SAli Bahrami * have no name. Generate a name suitable for diagnostic use for such a symbol 3195bf994817SAli Bahrami * and store it in the input section descriptor. The resulting name will be 3196bf994817SAli Bahrami * of the form: 31974a8d0ea7SAli Bahrami * 31984a8d0ea7SAli Bahrami * "XXX (section)" 31994a8d0ea7SAli Bahrami * 32004a8d0ea7SAli Bahrami * where XXX is the name of the section. 32014a8d0ea7SAli Bahrami * 32024a8d0ea7SAli Bahrami * entry: 320308278a5eSRod Evans * isc - Input section associated with the symbol. 32044a8d0ea7SAli Bahrami * fmt - NULL, or format string to use. 32054a8d0ea7SAli Bahrami * 32064a8d0ea7SAli Bahrami * exit: 3207bf994817SAli Bahrami * Sets isp->is_sym_name to the allocated string. Returns the 3208bf994817SAli Bahrami * string pointer, or NULL on allocation failure. 32094a8d0ea7SAli Bahrami */ 321084f79254SToomas Soome const char * 32114a8d0ea7SAli Bahrami ld_stt_section_sym_name(Is_desc *isp) 32124a8d0ea7SAli Bahrami { 3213bf994817SAli Bahrami const char *fmt; 3214bf994817SAli Bahrami char *str; 3215bf994817SAli Bahrami size_t len; 32164a8d0ea7SAli Bahrami 3217bf994817SAli Bahrami if ((isp == NULL) || (isp->is_name == NULL)) 3218bf994817SAli Bahrami return (NULL); 32194a8d0ea7SAli Bahrami 3220bf994817SAli Bahrami if (isp->is_sym_name == NULL) { 32214a8d0ea7SAli Bahrami fmt = (isp->is_flags & FLG_IS_GNSTRMRG) ? 32224a8d0ea7SAli Bahrami MSG_INTL(MSG_STR_SECTION_MSTR) : MSG_INTL(MSG_STR_SECTION); 32234a8d0ea7SAli Bahrami 32244a8d0ea7SAli Bahrami len = strlen(fmt) + strlen(isp->is_name) + 1; 32254a8d0ea7SAli Bahrami 3226bf994817SAli Bahrami if ((str = libld_malloc(len)) == NULL) 32274a8d0ea7SAli Bahrami return (NULL); 3228bf994817SAli Bahrami (void) snprintf(str, len, fmt, isp->is_name); 3229bf994817SAli Bahrami isp->is_sym_name = str; 32304a8d0ea7SAli Bahrami } 32314a8d0ea7SAli Bahrami 3232bf994817SAli Bahrami return (isp->is_sym_name); 32334a8d0ea7SAli Bahrami } 3234c524b4feSRichard Lowe 3235c524b4feSRichard Lowe /* 3236c524b4feSRichard Lowe * If we're producing a relocatable object and the symbol is eligible for 3237c524b4feSRichard Lowe * COMDAT section, it shouldn't be reduced in scope as that will break the 3238c524b4feSRichard Lowe * COMDAT matching when the output object is later consumed. Leave it alone, 3239c524b4feSRichard Lowe * and any reduction (and COMDAT) processing will occur then. 3240c524b4feSRichard Lowe * 3241c524b4feSRichard Lowe * Otherwise, any hidden symbol is reduced when reductions are being processed. 3242c524b4feSRichard Lowe */ 3243c524b4feSRichard Lowe Boolean 3244c524b4feSRichard Lowe ld_sym_reducable(Ofl_desc *ofl, Sym_desc *sdp) 3245c524b4feSRichard Lowe { 3246c524b4feSRichard Lowe Is_desc *isc = sdp->sd_isc; 3247c524b4feSRichard Lowe 3248c524b4feSRichard Lowe if (((ofl->ofl_flags & FLG_OF_RELOBJ) != 0) && 3249c524b4feSRichard Lowe (isc != NULL) && 3250c524b4feSRichard Lowe ((isc->is_flags & FLG_IS_COMDAT) != 0)) { 3251c524b4feSRichard Lowe return (FALSE); 3252c524b4feSRichard Lowe } else { 3253c524b4feSRichard Lowe return (SYM_IS_HIDDEN(sdp) && 3254c524b4feSRichard Lowe (ofl->ofl_flags & FLG_OF_PROCRED)); 3255c524b4feSRichard Lowe } 3256c524b4feSRichard Lowe } 3257