1 /*
   2  * CDDL HEADER START
   3  *
   4  * The contents of this file are subject to the terms of the
   5  * Common Development and Distribution License (the "License").
   6  * You may not use this file except in compliance with the License.
   7  *
   8  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
   9  * or http://www.opensolaris.org/os/licensing.
  10  * See the License for the specific language governing permissions
  11  * and limitations under the License.
  12  *
  13  * When distributing Covered Code, include this CDDL HEADER in each
  14  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
  15  * If applicable, add the following below this CDDL HEADER, with the
  16  * fields enclosed by brackets "[]" replaced with your own identifying
  17  * information: Portions Copyright [yyyy] [name of copyright owner]
  18  *
  19  * CDDL HEADER END
  20  */
  21 
  22 /*
  23  * Copyright (c) 2000, 2010, Oracle and/or its affiliates. All rights reserved.
  24  */
  25 
  26 #include        <stdio.h>
  27 #include        <string.h>
  28 #include        <link.h>
  29 #include        <debug.h>
  30 #include        "msg.h"
  31 #include        "_libld.h"
  32 
  33 /*
  34  * Determine whether a (COMDAT) group has already been encountered.  If so,
  35  * indicate that the group descriptor has an overriding group (gd_oisc).  This
  36  * indication triggers the ld_place_section() to discard this group, while the
  37  * gd_oisc information provides for complete diagnostics of the override.
  38  * Otherwise, this is the first occurrence of this group, therefore the group
  39  * descriptor is saved for future comparisons.
  40  */
  41 static uintptr_t
  42 gpavl_loaded(Ofl_desc *ofl, Group_desc *gdp)
  43 {
  44         Isd_node        isd, *isdp;
  45         avl_tree_t      *avlt;
  46         avl_index_t     where;
  47 
  48         /*
  49          * Create a groups avl tree if required.
  50          */
  51         if ((avlt = ofl->ofl_groups) == NULL) {
  52                 if ((avlt = libld_calloc(sizeof (avl_tree_t), 1)) == NULL)
  53                         return (S_ERROR);
  54                 avl_create(avlt, isdavl_compare, sizeof (Isd_node),
  55                     SGSOFFSETOF(Isd_node, isd_avl));
  56                 ofl->ofl_groups = avlt;
  57         }
  58 
  59         /*
  60          * An SHT_GROUP section is identified by the name of its signature
  61          * symbol rather than section name. Although the section names are
  62          * often unique, this is not required, and some compilers set it to
  63          * a generic name like ".group".
  64          */
  65         isd.isd_name = gdp->gd_name;
  66         isd.isd_hash = sgs_str_hash(isd.isd_name);
  67 
  68         if ((isdp = avl_find(avlt, &isd, &where)) != NULL) {
  69                 gdp->gd_oisc = isdp->isd_isp;
  70                 return (1);
  71         }
  72 
  73         /*
  74          * This is a new group - so keep it.
  75          */
  76         if ((isdp = libld_calloc(sizeof (Isd_node), 1)) == NULL)
  77                 return (S_ERROR);
  78 
  79         isdp->isd_name = isd.isd_name;
  80         isdp->isd_hash = isd.isd_hash;
  81         isdp->isd_isp = gdp->gd_isc;
  82 
  83         avl_insert(avlt, isdp, where);
  84         return (0);
  85 }
  86 
  87 Group_desc *
  88 ld_get_group(Ofl_desc *ofl, Is_desc *isp)
  89 {
  90         Ifl_desc        *ifl = isp->is_file;
  91         uint_t          scnndx = isp->is_scnndx;
  92         Group_desc      *gdp;
  93         Aliste          idx;
  94 
  95         /*
  96          * Scan the GROUP sections associated with this file to find the
  97          * matching group section.
  98          */
  99         for (ALIST_TRAVERSE(ifl->ifl_groups, idx, gdp)) {
 100                 size_t  ndx;
 101                 Word    *data;
 102 
 103                 if (isp->is_shdr->sh_type == SHT_GROUP) {
 104                         if (isp->is_scnndx == gdp->gd_isc->is_scnndx)
 105                                 return (gdp);
 106                         continue;
 107                 }
 108 
 109                 data = gdp->gd_data;
 110                 for (ndx = 1; ndx < gdp->gd_cnt; ndx++) {
 111                         if (data[ndx] == scnndx)
 112                                 return (gdp);
 113                 }
 114         }
 115 
 116         ld_eprintf(ofl, ERR_FATAL, MSG_INTL(MSG_ELF_NOGROUPSECT),
 117             ifl->ifl_name, EC_WORD(isp->is_scnndx), isp->is_name);
 118         return (NULL);
 119 }
 120 
 121 /*
 122  * When creating a .debug_macro section, in an attempt to make certain DWARF
 123  * macro information shareable, the GNU compiler must construct group sections
 124  * with a repeatable signature symbol while nevertheless having no actual
 125  * symbol to refer to (because it relates to macros).
 126  *
 127  * We use this as yet another way to clue ourselves in that sloppy relocation
 128  * will likely be required.
 129  *
 130  * The format of these gensym'd names is:
 131  *    wm<offset size>.<encoded path name>.<lineno>.<32byte hash>
 132  * Where the encoded file name may be absent.
 133  */
 134 static boolean_t
 135 is_header_gensym(const char *name)
 136 {
 137         const char      *c = NULL;
 138         size_t          len = strlen(name);
 139 
 140         /* No room for leader, hash, and periods */
 141         if (len < 37)
 142                 return (B_FALSE);
 143 
 144         if ((strncmp(name, "wm4.", 4) != 0) &&
 145             strncmp(name, "wm8.", 4) != 0)
 146                 return (B_FALSE);
 147 
 148         c = &name[len - 33];
 149         if (*c++ != '.')
 150                 return (B_FALSE);
 151 
 152         for (; *c != '\0'; c++) {
 153                 if (!(((*c >= 'a') && (*c <= 'f')) ||
 154                     ((*c >= '0') && (*c <= '9')))) {
 155                         return (B_FALSE);
 156                 }
 157         }
 158 
 159         return (B_TRUE);
 160 }
 161 
 162 uintptr_t
 163 ld_group_process(Is_desc *gisc, Ofl_desc *ofl)
 164 {
 165         Ifl_desc        *gifl = gisc->is_file;
 166         Shdr            *sshdr, *gshdr = gisc->is_shdr;
 167         Is_desc         *isc;
 168         Sym             *sym;
 169         const char      *str;
 170         Group_desc      gd;
 171         size_t          ndx;
 172         int             gnu_stt_section;
 173 
 174         /*
 175          * Confirm that the sh_link points to a valid section.
 176          */
 177         if ((gshdr->sh_link == SHN_UNDEF) ||
 178             (gshdr->sh_link >= gifl->ifl_shnum) ||
 179             ((isc = gifl->ifl_isdesc[gshdr->sh_link]) == NULL)) {
 180                 ld_eprintf(ofl, ERR_FATAL, MSG_INTL(MSG_FIL_INVSHLINK),
 181                     gifl->ifl_name, EC_WORD(gisc->is_scnndx),
 182                     gisc->is_name, EC_XWORD(gshdr->sh_link));
 183                 return (0);
 184         }
 185         if (gshdr->sh_entsize == 0) {
 186                 ld_eprintf(ofl, ERR_FATAL, MSG_INTL(MSG_FIL_INVSHENTSIZE),
 187                     gifl->ifl_name, EC_WORD(gisc->is_scnndx), gisc->is_name,
 188                     EC_XWORD(gshdr->sh_entsize));
 189                 return (0);
 190         }
 191 
 192         /*
 193          * Get the associated symbol table.  Sanity check the sh_info field
 194          * (which points to the signature symbol table entry) against the size
 195          * of the symbol table.
 196          */
 197         sshdr = isc->is_shdr;
 198         sym = (Sym *)isc->is_indata->d_buf;
 199 
 200         if ((sshdr->sh_info == SHN_UNDEF) ||
 201             (gshdr->sh_info >= (Word)(sshdr->sh_size / sshdr->sh_entsize)) ||
 202             ((isc = gifl->ifl_isdesc[sshdr->sh_link]) == NULL)) {
 203                 ld_eprintf(ofl, ERR_FATAL, MSG_INTL(MSG_FIL_INVSHINFO),
 204                     gifl->ifl_name, EC_WORD(gisc->is_scnndx), gisc->is_name,
 205                     EC_XWORD(gshdr->sh_info));
 206                 return (0);
 207         }
 208 
 209         sym += gshdr->sh_info;
 210 
 211         /*
 212          * Get the symbol name from the associated string table.
 213          */
 214         str = (char *)isc->is_indata->d_buf;
 215         str += sym->st_name;
 216 
 217         /*
 218          * The GNU assembler can use section symbols as the signature symbol
 219          * as described by this comment in the gold linker (found via google):
 220          *
 221          *      It seems that some versions of gas will create a section group
 222          *      associated with a section symbol, and then fail to give a name
 223          *      to the section symbol.  In such a case, use the name of the
 224          *      section.
 225          *
 226          * In order to support such objects, we do the same.
 227          */
 228         gnu_stt_section = ((sym->st_name == 0) || (*str == '\0')) &&
 229             (ELF_ST_TYPE(sym->st_info) == STT_SECTION);
 230         if (gnu_stt_section)
 231                 str = gisc->is_name;
 232 
 233 
 234         /*
 235          * Generate a group descriptor.
 236          */
 237         gd.gd_isc = gisc;
 238         gd.gd_oisc = NULL;
 239         gd.gd_name = str;
 240         gd.gd_data = gisc->is_indata->d_buf;
 241         gd.gd_cnt = gisc->is_indata->d_size / sizeof (Word);
 242 
 243         /*
 244          * If this group is a COMDAT group, validate the signature symbol.
 245          */
 246         if ((gd.gd_data[0] & GRP_COMDAT) && !gnu_stt_section &&
 247             ((ELF_ST_BIND(sym->st_info) == STB_LOCAL) ||
 248             (sym->st_shndx == SHN_UNDEF))) {
 249                 /* If section symbol, construct a printable name for it */
 250                 if (ELF_ST_TYPE(sym->st_info) == STT_SECTION) {
 251                         if (gisc->is_sym_name == NULL)
 252                                 (void) ld_stt_section_sym_name(gisc);
 253 
 254                         if (gisc->is_sym_name != NULL)
 255                                 str = gisc->is_sym_name;
 256                 }
 257 
 258                 ld_eprintf(ofl, ERR_FATAL, MSG_INTL(MSG_GRP_INVALSYM),
 259                     gifl->ifl_name, EC_WORD(gisc->is_scnndx),
 260                     gisc->is_name, str);
 261                 return (0);
 262         }
 263 
 264         /*
 265          * If the signature symbol is a name generated by the GNU compiler to
 266          * refer to a header, we need sloppy relocation.
 267          */
 268         if (is_header_gensym(str)) {
 269                 if ((ofl->ofl_flags1 & FLG_OF1_NRLXREL) == 0)
 270                         ofl->ofl_flags1 |= FLG_OF1_RLXREL;
 271                 DBG_CALL(Dbg_sec_gnu_comdat(ofl->ofl_lml, gisc, TRUE,
 272                     (ofl->ofl_flags1 & FLG_OF1_RLXREL) != 0));
 273         }
 274 
 275         /*
 276          * Validate the section indices within the group.  If this is a COMDAT
 277          * group, mark each section as COMDAT.
 278          */
 279         for (ndx = 1; ndx < gd.gd_cnt; ndx++) {
 280                 Word    gndx;
 281 
 282                 if ((gndx = gd.gd_data[ndx]) >= gifl->ifl_shnum) {
 283                         ld_eprintf(ofl, ERR_FATAL,
 284                             MSG_INTL(MSG_GRP_INVALNDX), gifl->ifl_name,
 285                             EC_WORD(gisc->is_scnndx), gisc->is_name, ndx, gndx);
 286                         return (0);
 287                 }
 288 
 289                 if (gd.gd_data[0] & GRP_COMDAT)
 290                         gifl->ifl_isdesc[gndx]->is_flags |= FLG_IS_COMDAT;
 291         }
 292 
 293         /*
 294          * If this is a COMDAT group, determine whether this group has already
 295          * been encountered, or whether this is the first instance of the group.
 296          */
 297         if ((gd.gd_data[0] & GRP_COMDAT) &&
 298             (gpavl_loaded(ofl, &gd) == S_ERROR))
 299                 return (S_ERROR);
 300 
 301         /*
 302          * Associate the group descriptor with this input file.
 303          */
 304         if (alist_append(&(gifl->ifl_groups), &gd, sizeof (Group_desc),
 305             AL_CNT_IFL_GROUPS) == NULL)
 306                 return (S_ERROR);
 307 
 308         return (1);
 309 }