Home | History | Annotate | Line # | Download | only in bfd
format.c revision 1.9
      1  1.1  christos /* Generic BFD support for file formats.
      2  1.9  christos    Copyright (C) 1990-2020 Free Software Foundation, Inc.
      3  1.1  christos    Written by Cygnus Support.
      4  1.1  christos 
      5  1.1  christos    This file is part of BFD, the Binary File Descriptor library.
      6  1.1  christos 
      7  1.1  christos    This program is free software; you can redistribute it and/or modify
      8  1.1  christos    it under the terms of the GNU General Public License as published by
      9  1.1  christos    the Free Software Foundation; either version 3 of the License, or
     10  1.1  christos    (at your option) any later version.
     11  1.1  christos 
     12  1.1  christos    This program is distributed in the hope that it will be useful,
     13  1.1  christos    but WITHOUT ANY WARRANTY; without even the implied warranty of
     14  1.1  christos    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     15  1.1  christos    GNU General Public License for more details.
     16  1.1  christos 
     17  1.1  christos    You should have received a copy of the GNU General Public License
     18  1.1  christos    along with this program; if not, write to the Free Software
     19  1.1  christos    Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
     20  1.1  christos    MA 02110-1301, USA.  */
     21  1.1  christos 
     22  1.1  christos 
     23  1.1  christos /*
     24  1.1  christos SECTION
     25  1.1  christos 	File formats
     26  1.1  christos 
     27  1.1  christos 	A format is a BFD concept of high level file contents type. The
     28  1.1  christos 	formats supported by BFD are:
     29  1.1  christos 
     30  1.1  christos 	o <<bfd_object>>
     31  1.1  christos 
     32  1.1  christos 	The BFD may contain data, symbols, relocations and debug info.
     33  1.1  christos 
     34  1.1  christos 	o <<bfd_archive>>
     35  1.1  christos 
     36  1.1  christos 	The BFD contains other BFDs and an optional index.
     37  1.1  christos 
     38  1.1  christos 	o <<bfd_core>>
     39  1.1  christos 
     40  1.1  christos 	The BFD contains the result of an executable core dump.
     41  1.1  christos 
     42  1.1  christos SUBSECTION
     43  1.1  christos 	File format functions
     44  1.1  christos */
     45  1.1  christos 
     46  1.1  christos #include "sysdep.h"
     47  1.1  christos #include "bfd.h"
     48  1.1  christos #include "libbfd.h"
     49  1.1  christos 
     50  1.1  christos /* IMPORT from targets.c.  */
     51  1.1  christos extern const size_t _bfd_target_vector_entries;
     52  1.1  christos 
     53  1.1  christos /*
     54  1.1  christos FUNCTION
     55  1.1  christos 	bfd_check_format
     56  1.1  christos 
     57  1.1  christos SYNOPSIS
     58  1.1  christos 	bfd_boolean bfd_check_format (bfd *abfd, bfd_format format);
     59  1.1  christos 
     60  1.1  christos DESCRIPTION
     61  1.1  christos 	Verify if the file attached to the BFD @var{abfd} is compatible
     62  1.1  christos 	with the format @var{format} (i.e., one of <<bfd_object>>,
     63  1.1  christos 	<<bfd_archive>> or <<bfd_core>>).
     64  1.1  christos 
     65  1.1  christos 	If the BFD has been set to a specific target before the
     66  1.1  christos 	call, only the named target and format combination is
     67  1.1  christos 	checked. If the target has not been set, or has been set to
     68  1.1  christos 	<<default>>, then all the known target backends is
     69  1.1  christos 	interrogated to determine a match.  If the default target
     70  1.1  christos 	matches, it is used.  If not, exactly one target must recognize
     71  1.1  christos 	the file, or an error results.
     72  1.1  christos 
     73  1.1  christos 	The function returns <<TRUE>> on success, otherwise <<FALSE>>
     74  1.1  christos 	with one of the following error codes:
     75  1.1  christos 
     76  1.1  christos 	o <<bfd_error_invalid_operation>> -
     77  1.1  christos 	if <<format>> is not one of <<bfd_object>>, <<bfd_archive>> or
     78  1.1  christos 	<<bfd_core>>.
     79  1.1  christos 
     80  1.1  christos 	o <<bfd_error_system_call>> -
     81  1.1  christos 	if an error occured during a read - even some file mismatches
     82  1.1  christos 	can cause bfd_error_system_calls.
     83  1.1  christos 
     84  1.1  christos 	o <<file_not_recognised>> -
     85  1.1  christos 	none of the backends recognised the file format.
     86  1.1  christos 
     87  1.1  christos 	o <<bfd_error_file_ambiguously_recognized>> -
     88  1.1  christos 	more than one backend recognised the file format.
     89  1.1  christos */
     90  1.1  christos 
     91  1.1  christos bfd_boolean
     92  1.1  christos bfd_check_format (bfd *abfd, bfd_format format)
     93  1.1  christos {
     94  1.1  christos   return bfd_check_format_matches (abfd, format, NULL);
     95  1.1  christos }
     96  1.1  christos 
     97  1.1  christos struct bfd_preserve
     98  1.1  christos {
     99  1.1  christos   void *marker;
    100  1.1  christos   void *tdata;
    101  1.1  christos   flagword flags;
    102  1.1  christos   const struct bfd_arch_info *arch_info;
    103  1.1  christos   struct bfd_section *sections;
    104  1.1  christos   struct bfd_section *section_last;
    105  1.1  christos   unsigned int section_count;
    106  1.8  christos   unsigned int section_id;
    107  1.1  christos   struct bfd_hash_table section_htab;
    108  1.7  christos   const struct bfd_build_id *build_id;
    109  1.9  christos   bfd_cleanup cleanup;
    110  1.1  christos };
    111  1.1  christos 
    112  1.1  christos /* When testing an object for compatibility with a particular target
    113  1.1  christos    back-end, the back-end object_p function needs to set up certain
    114  1.1  christos    fields in the bfd on successfully recognizing the object.  This
    115  1.1  christos    typically happens in a piecemeal fashion, with failures possible at
    116  1.1  christos    many points.  On failure, the bfd is supposed to be restored to its
    117  1.1  christos    initial state, which is virtually impossible.  However, restoring a
    118  1.1  christos    subset of the bfd state works in practice.  This function stores
    119  1.1  christos    the subset.  */
    120  1.1  christos 
    121  1.1  christos static bfd_boolean
    122  1.9  christos bfd_preserve_save (bfd *abfd, struct bfd_preserve *preserve,
    123  1.9  christos 		   bfd_cleanup cleanup)
    124  1.1  christos {
    125  1.1  christos   preserve->tdata = abfd->tdata.any;
    126  1.1  christos   preserve->arch_info = abfd->arch_info;
    127  1.1  christos   preserve->flags = abfd->flags;
    128  1.1  christos   preserve->sections = abfd->sections;
    129  1.1  christos   preserve->section_last = abfd->section_last;
    130  1.1  christos   preserve->section_count = abfd->section_count;
    131  1.8  christos   preserve->section_id = _bfd_section_id;
    132  1.1  christos   preserve->section_htab = abfd->section_htab;
    133  1.1  christos   preserve->marker = bfd_alloc (abfd, 1);
    134  1.7  christos   preserve->build_id = abfd->build_id;
    135  1.9  christos   preserve->cleanup = cleanup;
    136  1.1  christos   if (preserve->marker == NULL)
    137  1.1  christos     return FALSE;
    138  1.1  christos 
    139  1.1  christos   return bfd_hash_table_init (&abfd->section_htab, bfd_section_hash_newfunc,
    140  1.1  christos 			      sizeof (struct section_hash_entry));
    141  1.1  christos }
    142  1.1  christos 
    143  1.1  christos /* Clear out a subset of BFD state.  */
    144  1.1  christos 
    145  1.1  christos static void
    146  1.9  christos bfd_reinit (bfd *abfd, unsigned int section_id, bfd_cleanup cleanup)
    147  1.1  christos {
    148  1.9  christos   _bfd_section_id = section_id;
    149  1.9  christos   if (cleanup)
    150  1.9  christos     cleanup (abfd);
    151  1.1  christos   abfd->tdata.any = NULL;
    152  1.1  christos   abfd->arch_info = &bfd_default_arch_struct;
    153  1.1  christos   abfd->flags &= BFD_FLAGS_SAVED;
    154  1.1  christos   bfd_section_list_clear (abfd);
    155  1.1  christos }
    156  1.1  christos 
    157  1.1  christos /* Restores bfd state saved by bfd_preserve_save.  */
    158  1.1  christos 
    159  1.9  christos static bfd_cleanup
    160  1.1  christos bfd_preserve_restore (bfd *abfd, struct bfd_preserve *preserve)
    161  1.1  christos {
    162  1.1  christos   bfd_hash_table_free (&abfd->section_htab);
    163  1.1  christos 
    164  1.1  christos   abfd->tdata.any = preserve->tdata;
    165  1.1  christos   abfd->arch_info = preserve->arch_info;
    166  1.1  christos   abfd->flags = preserve->flags;
    167  1.1  christos   abfd->section_htab = preserve->section_htab;
    168  1.1  christos   abfd->sections = preserve->sections;
    169  1.1  christos   abfd->section_last = preserve->section_last;
    170  1.1  christos   abfd->section_count = preserve->section_count;
    171  1.8  christos   _bfd_section_id = preserve->section_id;
    172  1.7  christos   abfd->build_id = preserve->build_id;
    173  1.1  christos 
    174  1.1  christos   /* bfd_release frees all memory more recently bfd_alloc'd than
    175  1.1  christos      its arg, as well as its arg.  */
    176  1.1  christos   bfd_release (abfd, preserve->marker);
    177  1.1  christos   preserve->marker = NULL;
    178  1.9  christos   return preserve->cleanup;
    179  1.1  christos }
    180  1.1  christos 
    181  1.1  christos /* Called when the bfd state saved by bfd_preserve_save is no longer
    182  1.1  christos    needed.  */
    183  1.1  christos 
    184  1.1  christos static void
    185  1.1  christos bfd_preserve_finish (bfd *abfd ATTRIBUTE_UNUSED, struct bfd_preserve *preserve)
    186  1.1  christos {
    187  1.9  christos   if (preserve->cleanup)
    188  1.9  christos     {
    189  1.9  christos       /* Run the cleanup, assuming that all it will need is the
    190  1.9  christos 	 tdata at the time the cleanup was returned.  */
    191  1.9  christos       void *tdata = abfd->tdata.any;
    192  1.9  christos       abfd->tdata.any = preserve->tdata;
    193  1.9  christos       preserve->cleanup (abfd);
    194  1.9  christos       abfd->tdata.any = tdata;
    195  1.9  christos     }
    196  1.1  christos   /* It would be nice to be able to free more memory here, eg. old
    197  1.1  christos      tdata, but that's not possible since these blocks are sitting
    198  1.1  christos      inside bfd_alloc'd memory.  The section hash is on a separate
    199  1.1  christos      objalloc.  */
    200  1.1  christos   bfd_hash_table_free (&preserve->section_htab);
    201  1.1  christos   preserve->marker = NULL;
    202  1.1  christos }
    203  1.1  christos 
    204  1.1  christos /*
    205  1.1  christos FUNCTION
    206  1.1  christos 	bfd_check_format_matches
    207  1.1  christos 
    208  1.1  christos SYNOPSIS
    209  1.1  christos 	bfd_boolean bfd_check_format_matches
    210  1.1  christos 	  (bfd *abfd, bfd_format format, char ***matching);
    211  1.1  christos 
    212  1.1  christos DESCRIPTION
    213  1.1  christos 	Like <<bfd_check_format>>, except when it returns FALSE with
    214  1.1  christos 	<<bfd_errno>> set to <<bfd_error_file_ambiguously_recognized>>.  In that
    215  1.1  christos 	case, if @var{matching} is not NULL, it will be filled in with
    216  1.1  christos 	a NULL-terminated list of the names of the formats that matched,
    217  1.1  christos 	allocated with <<malloc>>.
    218  1.1  christos 	Then the user may choose a format and try again.
    219  1.1  christos 
    220  1.1  christos 	When done with the list that @var{matching} points to, the caller
    221  1.1  christos 	should free it.
    222  1.1  christos */
    223  1.1  christos 
    224  1.1  christos bfd_boolean
    225  1.1  christos bfd_check_format_matches (bfd *abfd, bfd_format format, char ***matching)
    226  1.1  christos {
    227  1.1  christos   extern const bfd_target binary_vec;
    228  1.6  christos #if BFD_SUPPORTS_PLUGINS
    229  1.6  christos   extern const bfd_target plugin_vec;
    230  1.6  christos #endif
    231  1.1  christos   const bfd_target * const *target;
    232  1.1  christos   const bfd_target **matching_vector = NULL;
    233  1.1  christos   const bfd_target *save_targ, *right_targ, *ar_right_targ, *match_targ;
    234  1.1  christos   int match_count, best_count, best_match;
    235  1.1  christos   int ar_match_index;
    236  1.8  christos   unsigned int initial_section_id = _bfd_section_id;
    237  1.9  christos   struct bfd_preserve preserve, preserve_match;
    238  1.9  christos   bfd_cleanup cleanup = NULL;
    239  1.1  christos 
    240  1.1  christos   if (matching != NULL)
    241  1.1  christos     *matching = NULL;
    242  1.1  christos 
    243  1.1  christos   if (!bfd_read_p (abfd)
    244  1.1  christos       || (unsigned int) abfd->format >= (unsigned int) bfd_type_end)
    245  1.1  christos     {
    246  1.1  christos       bfd_set_error (bfd_error_invalid_operation);
    247  1.1  christos       return FALSE;
    248  1.1  christos     }
    249  1.1  christos 
    250  1.1  christos   if (abfd->format != bfd_unknown)
    251  1.1  christos     return abfd->format == format;
    252  1.1  christos 
    253  1.1  christos   if (matching != NULL || *bfd_associated_vector != NULL)
    254  1.1  christos     {
    255  1.9  christos       size_t amt;
    256  1.1  christos 
    257  1.1  christos       amt = sizeof (*matching_vector) * 2 * _bfd_target_vector_entries;
    258  1.1  christos       matching_vector = (const bfd_target **) bfd_malloc (amt);
    259  1.1  christos       if (!matching_vector)
    260  1.1  christos 	return FALSE;
    261  1.1  christos     }
    262  1.1  christos 
    263  1.1  christos   /* Presume the answer is yes.  */
    264  1.1  christos   abfd->format = format;
    265  1.1  christos   save_targ = abfd->xvec;
    266  1.9  christos 
    267  1.9  christos   preserve_match.marker = NULL;
    268  1.9  christos   if (!bfd_preserve_save (abfd, &preserve, NULL))
    269  1.9  christos     goto err_ret;
    270  1.1  christos 
    271  1.1  christos   /* If the target type was explicitly specified, just check that target.  */
    272  1.1  christos   if (!abfd->target_defaulted)
    273  1.1  christos     {
    274  1.1  christos       if (bfd_seek (abfd, (file_ptr) 0, SEEK_SET) != 0)	/* rewind! */
    275  1.1  christos 	goto err_ret;
    276  1.1  christos 
    277  1.9  christos       cleanup = BFD_SEND_FMT (abfd, _bfd_check_format, (abfd));
    278  1.1  christos 
    279  1.9  christos       if (cleanup)
    280  1.1  christos 	goto ok_ret;
    281  1.1  christos 
    282  1.1  christos       /* For a long time the code has dropped through to check all
    283  1.1  christos 	 targets if the specified target was wrong.  I don't know why,
    284  1.1  christos 	 and I'm reluctant to change it.  However, in the case of an
    285  1.1  christos 	 archive, it can cause problems.  If the specified target does
    286  1.1  christos 	 not permit archives (e.g., the binary target), then we should
    287  1.1  christos 	 not allow some other target to recognize it as an archive, but
    288  1.1  christos 	 should instead allow the specified target to recognize it as an
    289  1.1  christos 	 object.  When I first made this change, it broke the PE target,
    290  1.1  christos 	 because the specified pei-i386 target did not recognize the
    291  1.1  christos 	 actual pe-i386 archive.  Since there may be other problems of
    292  1.1  christos 	 this sort, I changed this test to check only for the binary
    293  1.1  christos 	 target.  */
    294  1.1  christos       if (format == bfd_archive && save_targ == &binary_vec)
    295  1.1  christos 	goto err_unrecog;
    296  1.1  christos     }
    297  1.1  christos 
    298  1.1  christos   /* Since the target type was defaulted, check them all in the hope
    299  1.1  christos      that one will be uniquely recognized.  */
    300  1.1  christos   right_targ = NULL;
    301  1.1  christos   ar_right_targ = NULL;
    302  1.1  christos   match_targ = NULL;
    303  1.1  christos   best_match = 256;
    304  1.1  christos   best_count = 0;
    305  1.1  christos   match_count = 0;
    306  1.1  christos   ar_match_index = _bfd_target_vector_entries;
    307  1.1  christos 
    308  1.1  christos   for (target = bfd_target_vector; *target != NULL; target++)
    309  1.1  christos     {
    310  1.9  christos       void **high_water;
    311  1.1  christos 
    312  1.9  christos       /* The binary target matches anything, so don't return it when
    313  1.9  christos 	 searching.  Don't match the plugin target if we have another
    314  1.9  christos 	 alternative since we want to properly set the input format
    315  1.9  christos 	 before allowing a plugin to claim the file.  Also, don't
    316  1.9  christos 	 check the default target twice.  */
    317  1.1  christos       if (*target == &binary_vec
    318  1.9  christos #if BFD_SUPPORTS_PLUGINS
    319  1.9  christos 	  || (match_count != 0 && *target == &plugin_vec)
    320  1.9  christos #endif
    321  1.8  christos 	  || (!abfd->target_defaulted && *target == save_targ))
    322  1.1  christos 	continue;
    323  1.1  christos 
    324  1.1  christos       /* If we already tried a match, the bfd is modified and may
    325  1.1  christos 	 have sections attached, which will confuse the next
    326  1.1  christos 	 _bfd_check_format call.  */
    327  1.9  christos       bfd_reinit (abfd, initial_section_id, cleanup);
    328  1.9  christos       /* Free bfd_alloc memory too.  If we have matched and preserved
    329  1.9  christos 	 a target then the high water mark is that much higher.  */
    330  1.9  christos       if (preserve_match.marker)
    331  1.9  christos 	high_water = &preserve_match.marker;
    332  1.9  christos       else
    333  1.9  christos 	high_water = &preserve.marker;
    334  1.9  christos       bfd_release (abfd, *high_water);
    335  1.9  christos       *high_water = bfd_alloc (abfd, 1);
    336  1.1  christos 
    337  1.1  christos       /* Change BFD's target temporarily.  */
    338  1.1  christos       abfd->xvec = *target;
    339  1.1  christos 
    340  1.1  christos       if (bfd_seek (abfd, (file_ptr) 0, SEEK_SET) != 0)
    341  1.1  christos 	goto err_ret;
    342  1.1  christos 
    343  1.9  christos       cleanup = BFD_SEND_FMT (abfd, _bfd_check_format, (abfd));
    344  1.9  christos       if (cleanup)
    345  1.1  christos 	{
    346  1.9  christos 	  int match_priority = abfd->xvec->match_priority;
    347  1.6  christos #if BFD_SUPPORTS_PLUGINS
    348  1.6  christos 	  /* If this object can be handled by a plugin, give that the
    349  1.6  christos 	     lowest priority; objects both handled by a plugin and
    350  1.6  christos 	     with an underlying object format will be claimed
    351  1.6  christos 	     separately by the plugin.  */
    352  1.6  christos 	  if (*target == &plugin_vec)
    353  1.6  christos 	    match_priority = (*target)->match_priority;
    354  1.6  christos #endif
    355  1.6  christos 
    356  1.1  christos 	  if (abfd->format != bfd_archive
    357  1.1  christos 	      || (bfd_has_map (abfd)
    358  1.1  christos 		  && bfd_get_error () != bfd_error_wrong_object_format))
    359  1.1  christos 	    {
    360  1.1  christos 	      /* If this is the default target, accept it, even if
    361  1.1  christos 		 other targets might match.  People who want those
    362  1.1  christos 		 other targets have to set the GNUTARGET variable.  */
    363  1.9  christos 	      if (abfd->xvec == bfd_default_vector[0])
    364  1.1  christos 		goto ok_ret;
    365  1.1  christos 
    366  1.1  christos 	      if (matching_vector)
    367  1.9  christos 		matching_vector[match_count] = abfd->xvec;
    368  1.1  christos 	      match_count++;
    369  1.1  christos 
    370  1.6  christos 	      if (match_priority < best_match)
    371  1.1  christos 		{
    372  1.6  christos 		  best_match = match_priority;
    373  1.1  christos 		  best_count = 0;
    374  1.1  christos 		}
    375  1.8  christos 	      if (match_priority <= best_match)
    376  1.8  christos 		{
    377  1.8  christos 		  /* This format checks out as ok!  */
    378  1.9  christos 		  right_targ = abfd->xvec;
    379  1.8  christos 		  best_count++;
    380  1.8  christos 		}
    381  1.1  christos 	    }
    382  1.1  christos 	  else
    383  1.1  christos 	    {
    384  1.1  christos 	      /* An archive with no armap or objects of the wrong
    385  1.1  christos 		 type.  We want this target to match if we get no
    386  1.1  christos 		 better matches.  */
    387  1.1  christos 	      if (ar_right_targ != bfd_default_vector[0])
    388  1.1  christos 		ar_right_targ = *target;
    389  1.1  christos 	      if (matching_vector)
    390  1.1  christos 		matching_vector[ar_match_index] = *target;
    391  1.1  christos 	      ar_match_index++;
    392  1.1  christos 	    }
    393  1.1  christos 
    394  1.9  christos 	  if (preserve_match.marker == NULL)
    395  1.9  christos 	    {
    396  1.9  christos 	      match_targ = abfd->xvec;
    397  1.9  christos 	      if (!bfd_preserve_save (abfd, &preserve_match, cleanup))
    398  1.9  christos 		goto err_ret;
    399  1.9  christos 	      cleanup = NULL;
    400  1.9  christos 	    }
    401  1.1  christos 	}
    402  1.1  christos     }
    403  1.1  christos 
    404  1.1  christos   if (best_count == 1)
    405  1.1  christos     match_count = 1;
    406  1.1  christos 
    407  1.1  christos   if (match_count == 0)
    408  1.1  christos     {
    409  1.1  christos       /* Try partial matches.  */
    410  1.1  christos       right_targ = ar_right_targ;
    411  1.1  christos 
    412  1.1  christos       if (right_targ == bfd_default_vector[0])
    413  1.1  christos 	{
    414  1.1  christos 	  match_count = 1;
    415  1.1  christos 	}
    416  1.1  christos       else
    417  1.1  christos 	{
    418  1.1  christos 	  match_count = ar_match_index - _bfd_target_vector_entries;
    419  1.1  christos 
    420  1.1  christos 	  if (matching_vector && match_count > 1)
    421  1.1  christos 	    memcpy (matching_vector,
    422  1.1  christos 		    matching_vector + _bfd_target_vector_entries,
    423  1.1  christos 		    sizeof (*matching_vector) * match_count);
    424  1.1  christos 	}
    425  1.1  christos     }
    426  1.1  christos 
    427  1.1  christos   /* We have more than one equally good match.  If any of the best
    428  1.1  christos      matches is a target in config.bfd targ_defvec or targ_selvecs,
    429  1.1  christos      choose it.  */
    430  1.1  christos   if (match_count > 1)
    431  1.1  christos     {
    432  1.1  christos       const bfd_target * const *assoc = bfd_associated_vector;
    433  1.1  christos 
    434  1.1  christos       while ((right_targ = *assoc++) != NULL)
    435  1.1  christos 	{
    436  1.1  christos 	  int i = match_count;
    437  1.1  christos 
    438  1.1  christos 	  while (--i >= 0)
    439  1.1  christos 	    if (matching_vector[i] == right_targ
    440  1.1  christos 		&& right_targ->match_priority <= best_match)
    441  1.1  christos 	      break;
    442  1.1  christos 
    443  1.1  christos 	  if (i >= 0)
    444  1.1  christos 	    {
    445  1.1  christos 	      match_count = 1;
    446  1.1  christos 	      break;
    447  1.1  christos 	    }
    448  1.1  christos 	}
    449  1.1  christos     }
    450  1.1  christos 
    451  1.1  christos   /* We still have more than one equally good match, and at least some
    452  1.1  christos      of the targets support match priority.  Choose the first of the
    453  1.1  christos      best matches.  */
    454  1.3  christos   if (matching_vector && match_count > 1 && best_count != match_count)
    455  1.1  christos     {
    456  1.1  christos       int i;
    457  1.1  christos 
    458  1.1  christos       for (i = 0; i < match_count; i++)
    459  1.1  christos 	{
    460  1.1  christos 	  right_targ = matching_vector[i];
    461  1.1  christos 	  if (right_targ->match_priority <= best_match)
    462  1.1  christos 	    break;
    463  1.1  christos 	}
    464  1.1  christos       match_count = 1;
    465  1.1  christos     }
    466  1.1  christos 
    467  1.1  christos   /* There is way too much undoing of half-known state here.  We
    468  1.1  christos      really shouldn't iterate on live bfd's.  Note that saving the
    469  1.1  christos      whole bfd and restoring it would be even worse; the first thing
    470  1.1  christos      you notice is that the cached bfd file position gets out of sync.  */
    471  1.9  christos   if (preserve_match.marker != NULL)
    472  1.9  christos     cleanup = bfd_preserve_restore (abfd, &preserve_match);
    473  1.1  christos 
    474  1.1  christos   if (match_count == 1)
    475  1.1  christos     {
    476  1.1  christos       abfd->xvec = right_targ;
    477  1.1  christos       /* If we come out of the loop knowing that the last target that
    478  1.1  christos 	 matched is the one we want, then ABFD should still be in a usable
    479  1.9  christos 	 state (except possibly for XVEC).  This is not just an
    480  1.9  christos 	 optimisation.  In the case of plugins a match against the
    481  1.9  christos 	 plugin target can result in the bfd being changed such that
    482  1.9  christos 	 it no longer matches the plugin target, nor will it match
    483  1.9  christos 	 RIGHT_TARG again.  */
    484  1.1  christos       if (match_targ != right_targ)
    485  1.1  christos 	{
    486  1.9  christos 	  bfd_reinit (abfd, initial_section_id, cleanup);
    487  1.9  christos 	  bfd_release (abfd, preserve.marker);
    488  1.1  christos 	  if (bfd_seek (abfd, (file_ptr) 0, SEEK_SET) != 0)
    489  1.1  christos 	    goto err_ret;
    490  1.9  christos 	  cleanup = BFD_SEND_FMT (abfd, _bfd_check_format, (abfd));
    491  1.9  christos 	  BFD_ASSERT (cleanup != NULL);
    492  1.1  christos 	}
    493  1.1  christos 
    494  1.1  christos     ok_ret:
    495  1.1  christos       /* If the file was opened for update, then `output_has_begun'
    496  1.1  christos 	 some time ago when the file was created.  Do not recompute
    497  1.1  christos 	 sections sizes or alignments in _bfd_set_section_contents.
    498  1.1  christos 	 We can not set this flag until after checking the format,
    499  1.1  christos 	 because it will interfere with creation of BFD sections.  */
    500  1.1  christos       if (abfd->direction == both_direction)
    501  1.1  christos 	abfd->output_has_begun = TRUE;
    502  1.1  christos 
    503  1.9  christos       free (matching_vector);
    504  1.9  christos       if (preserve_match.marker != NULL)
    505  1.9  christos 	bfd_preserve_finish (abfd, &preserve_match);
    506  1.9  christos       bfd_preserve_finish (abfd, &preserve);
    507  1.1  christos 
    508  1.1  christos       /* File position has moved, BTW.  */
    509  1.1  christos       return TRUE;
    510  1.1  christos     }
    511  1.1  christos 
    512  1.1  christos   if (match_count == 0)
    513  1.1  christos     {
    514  1.1  christos     err_unrecog:
    515  1.1  christos       bfd_set_error (bfd_error_file_not_recognized);
    516  1.1  christos     err_ret:
    517  1.9  christos       if (cleanup)
    518  1.9  christos 	cleanup (abfd);
    519  1.1  christos       abfd->xvec = save_targ;
    520  1.1  christos       abfd->format = bfd_unknown;
    521  1.9  christos       free (matching_vector);
    522  1.9  christos       if (preserve_match.marker != NULL)
    523  1.9  christos 	bfd_preserve_finish (abfd, &preserve_match);
    524  1.9  christos       bfd_preserve_restore (abfd, &preserve);
    525  1.1  christos       return FALSE;
    526  1.1  christos     }
    527  1.1  christos 
    528  1.1  christos   /* Restore original target type and format.  */
    529  1.1  christos   abfd->xvec = save_targ;
    530  1.1  christos   abfd->format = bfd_unknown;
    531  1.1  christos   bfd_set_error (bfd_error_file_ambiguously_recognized);
    532  1.1  christos 
    533  1.1  christos   if (matching)
    534  1.1  christos     {
    535  1.1  christos       *matching = (char **) matching_vector;
    536  1.1  christos       matching_vector[match_count] = NULL;
    537  1.1  christos       /* Return target names.  This is a little nasty.  Maybe we
    538  1.1  christos 	 should do another bfd_malloc?  */
    539  1.1  christos       while (--match_count >= 0)
    540  1.1  christos 	{
    541  1.1  christos 	  const char *name = matching_vector[match_count]->name;
    542  1.1  christos 	  *(const char **) &matching_vector[match_count] = name;
    543  1.1  christos 	}
    544  1.1  christos     }
    545  1.9  christos   else
    546  1.9  christos     free (matching_vector);
    547  1.9  christos   if (cleanup)
    548  1.9  christos     cleanup (abfd);
    549  1.9  christos   if (preserve_match.marker != NULL)
    550  1.9  christos     bfd_preserve_finish (abfd, &preserve_match);
    551  1.9  christos   bfd_preserve_restore (abfd, &preserve);
    552  1.1  christos   return FALSE;
    553  1.1  christos }
    554  1.1  christos 
    555  1.1  christos /*
    556  1.1  christos FUNCTION
    557  1.1  christos 	bfd_set_format
    558  1.1  christos 
    559  1.1  christos SYNOPSIS
    560  1.1  christos 	bfd_boolean bfd_set_format (bfd *abfd, bfd_format format);
    561  1.1  christos 
    562  1.1  christos DESCRIPTION
    563  1.1  christos 	This function sets the file format of the BFD @var{abfd} to the
    564  1.1  christos 	format @var{format}. If the target set in the BFD does not
    565  1.1  christos 	support the format requested, the format is invalid, or the BFD
    566  1.1  christos 	is not open for writing, then an error occurs.
    567  1.1  christos */
    568  1.1  christos 
    569  1.1  christos bfd_boolean
    570  1.1  christos bfd_set_format (bfd *abfd, bfd_format format)
    571  1.1  christos {
    572  1.1  christos   if (bfd_read_p (abfd)
    573  1.1  christos       || (unsigned int) abfd->format >= (unsigned int) bfd_type_end)
    574  1.1  christos     {
    575  1.1  christos       bfd_set_error (bfd_error_invalid_operation);
    576  1.1  christos       return FALSE;
    577  1.1  christos     }
    578  1.1  christos 
    579  1.1  christos   if (abfd->format != bfd_unknown)
    580  1.1  christos     return abfd->format == format;
    581  1.1  christos 
    582  1.1  christos   /* Presume the answer is yes.  */
    583  1.1  christos   abfd->format = format;
    584  1.1  christos 
    585  1.1  christos   if (!BFD_SEND_FMT (abfd, _bfd_set_format, (abfd)))
    586  1.1  christos     {
    587  1.1  christos       abfd->format = bfd_unknown;
    588  1.1  christos       return FALSE;
    589  1.1  christos     }
    590  1.1  christos 
    591  1.1  christos   return TRUE;
    592  1.1  christos }
    593  1.1  christos 
    594  1.1  christos /*
    595  1.1  christos FUNCTION
    596  1.1  christos 	bfd_format_string
    597  1.1  christos 
    598  1.1  christos SYNOPSIS
    599  1.1  christos 	const char *bfd_format_string (bfd_format format);
    600  1.1  christos 
    601  1.1  christos DESCRIPTION
    602  1.1  christos 	Return a pointer to a const string
    603  1.1  christos 	<<invalid>>, <<object>>, <<archive>>, <<core>>, or <<unknown>>,
    604  1.1  christos 	depending upon the value of @var{format}.
    605  1.1  christos */
    606  1.1  christos 
    607  1.1  christos const char *
    608  1.1  christos bfd_format_string (bfd_format format)
    609  1.1  christos {
    610  1.1  christos   if (((int) format < (int) bfd_unknown)
    611  1.1  christos       || ((int) format >= (int) bfd_type_end))
    612  1.1  christos     return "invalid";
    613  1.1  christos 
    614  1.1  christos   switch (format)
    615  1.1  christos     {
    616  1.1  christos     case bfd_object:
    617  1.1  christos       return "object";		/* Linker/assembler/compiler output.  */
    618  1.1  christos     case bfd_archive:
    619  1.1  christos       return "archive";		/* Object archive file.  */
    620  1.1  christos     case bfd_core:
    621  1.1  christos       return "core";		/* Core dump.  */
    622  1.1  christos     default:
    623  1.1  christos       return "unknown";
    624  1.1  christos     }
    625  1.1  christos }
    626