1 /* Generic BFD support for file formats.
2    Copyright (C) 1990-2024 Free Software Foundation, Inc.
3    Written by Cygnus Support.
4 
5    This file is part of BFD, the Binary File Descriptor library.
6 
7    This program is free software; you can redistribute it and/or modify
8    it under the terms of the GNU General Public License as published by
9    the Free Software Foundation; either version 3 of the License, or
10    (at your option) any later version.
11 
12    This program is distributed in the hope that it will be useful,
13    but WITHOUT ANY WARRANTY; without even the implied warranty of
14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15    GNU General Public License for more details.
16 
17    You should have received a copy of the GNU General Public License
18    along with this program; if not, write to the Free Software
19    Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
20    MA 02110-1301, USA.  */
21 
22 
23 /*
24 SECTION
25           File formats
26 
27           A format is a BFD concept of high level file contents type. The
28           formats supported by BFD are:
29 
30           o <<bfd_object>>
31 
32           The BFD may contain data, symbols, relocations and debug info.
33 
34           o <<bfd_archive>>
35 
36           The BFD contains other BFDs and an optional index.
37 
38           o <<bfd_core>>
39 
40           The BFD contains the result of an executable core dump.
41 
42 SUBSECTION
43           File format functions
44 */
45 
46 #include "sysdep.h"
47 #include "bfd.h"
48 #include "libbfd.h"
49 
50 /* IMPORT from targets.c.  */
51 extern const size_t _bfd_target_vector_entries;
52 
53 /*
54 FUNCTION
55           bfd_check_format
56 
57 SYNOPSIS
58           bool bfd_check_format (bfd *abfd, bfd_format format);
59 
60 DESCRIPTION
61           Verify if the file attached to the BFD @var{abfd} is compatible
62           with the format @var{format} (i.e., one of <<bfd_object>>,
63           <<bfd_archive>> or <<bfd_core>>).
64 
65           If the BFD has been set to a specific target before the
66           call, only the named target and format combination is
67           checked. If the target has not been set, or has been set to
68           <<default>>, then all the known target backends is
69           interrogated to determine a match.  If the default target
70           matches, it is used.  If not, exactly one target must recognize
71           the file, or an error results.
72 
73           The function returns <<TRUE>> on success, otherwise <<FALSE>>
74           with one of the following error codes:
75 
76           o <<bfd_error_invalid_operation>> -
77           if <<format>> is not one of <<bfd_object>>, <<bfd_archive>> or
78           <<bfd_core>>.
79 
80           o <<bfd_error_system_call>> -
81           if an error occured during a read - even some file mismatches
82           can cause bfd_error_system_calls.
83 
84           o <<file_not_recognised>> -
85           none of the backends recognised the file format.
86 
87           o <<bfd_error_file_ambiguously_recognized>> -
88           more than one backend recognised the file format.
89 
90           When calling bfd_check_format (or bfd_check_format_matches),
91           any underlying file descriptor will be kept open for the
92           duration of the call.  This is done to avoid races when
93           another thread calls bfd_cache_close_all.  In this scenario,
94           the thread calling bfd_check_format must call bfd_cache_close
95           itself.
96 */
97 
98 bool
bfd_check_format(bfd * abfd,bfd_format format)99 bfd_check_format (bfd *abfd, bfd_format format)
100 {
101   return bfd_check_format_matches (abfd, format, NULL);
102 }
103 
104 struct bfd_preserve
105 {
106   void *marker;
107   void *tdata;
108   flagword flags;
109   const struct bfd_iovec *iovec;
110   void *iostream;
111   const struct bfd_arch_info *arch_info;
112   const struct bfd_build_id *build_id;
113   bfd_cleanup cleanup;
114   struct bfd_section *sections;
115   struct bfd_section *section_last;
116   unsigned int section_count;
117   unsigned int section_id;
118   unsigned int symcount;
119   bool read_only;
120   bfd_vma start_address;
121   struct bfd_hash_table section_htab;
122 };
123 
124 /* When testing an object for compatibility with a particular target
125    back-end, the back-end object_p function needs to set up certain
126    fields in the bfd on successfully recognizing the object.  This
127    typically happens in a piecemeal fashion, with failures possible at
128    many points.  On failure, the bfd is supposed to be restored to its
129    initial state, which is virtually impossible.  However, restoring a
130    subset of the bfd state works in practice.  This function stores
131    the subset.  */
132 
133 static bool
bfd_preserve_save(bfd * abfd,struct bfd_preserve * preserve,bfd_cleanup cleanup)134 bfd_preserve_save (bfd *abfd, struct bfd_preserve *preserve,
135                        bfd_cleanup cleanup)
136 {
137   preserve->tdata = abfd->tdata.any;
138   preserve->arch_info = abfd->arch_info;
139   preserve->flags = abfd->flags;
140   preserve->iovec = abfd->iovec;
141   preserve->iostream = abfd->iostream;
142   preserve->sections = abfd->sections;
143   preserve->section_last = abfd->section_last;
144   preserve->section_count = abfd->section_count;
145   preserve->section_id = _bfd_section_id;
146   preserve->symcount = abfd->symcount;
147   preserve->read_only = abfd->read_only;
148   preserve->start_address = abfd->start_address;
149   preserve->section_htab = abfd->section_htab;
150   preserve->marker = bfd_alloc (abfd, 1);
151   preserve->build_id = abfd->build_id;
152   preserve->cleanup = cleanup;
153   if (preserve->marker == NULL)
154     return false;
155 
156   return bfd_hash_table_init (&abfd->section_htab, bfd_section_hash_newfunc,
157                                     sizeof (struct section_hash_entry));
158 }
159 
160 /* A back-end object_p function may flip a bfd from file backed to
161    in-memory, eg. pe_ILF_object_p.  In that case to restore the
162    original IO state we need to reopen the file.  Conversely, if we
163    are restoring a previously matched pe ILF format and have been
164    checking further target matches using file IO then we need to close
165    the file and detach the bfd from the cache lru list.  */
166 
167 static void
io_reinit(bfd * abfd,struct bfd_preserve * preserve)168 io_reinit (bfd *abfd, struct bfd_preserve *preserve)
169 {
170   if (abfd->iovec != preserve->iovec)
171     {
172       /* Handle file backed to in-memory transition.  bfd_cache_close
173            won't do anything unless abfd->iovec is the cache_iovec.
174            Don't be tempted to call iovec->bclose here.  We don't want
175            to call memory_bclose, which would free the bim.  The bim
176            must be kept if bfd_check_format_matches is going to decide
177            later that the PE format needing it is in fact the correct
178            target match.  */
179       bfd_cache_close (abfd);
180       abfd->iovec = preserve->iovec;
181       abfd->iostream = preserve->iostream;
182 
183       /* Handle in-memory to file backed transition.  */
184       if ((abfd->flags & BFD_CLOSED_BY_CACHE) != 0
185             && (abfd->flags & BFD_IN_MEMORY) != 0
186             && (preserve->flags & BFD_CLOSED_BY_CACHE) == 0
187             && (preserve->flags & BFD_IN_MEMORY) == 0)
188           bfd_open_file (abfd);
189     }
190   abfd->flags = preserve->flags;
191 }
192 
193 /* Clear out a subset of BFD state.  */
194 
195 static void
bfd_reinit(bfd * abfd,unsigned int section_id,struct bfd_preserve * preserve,bfd_cleanup cleanup)196 bfd_reinit (bfd *abfd, unsigned int section_id,
197               struct bfd_preserve *preserve, bfd_cleanup cleanup)
198 {
199   _bfd_section_id = section_id;
200   if (cleanup)
201     cleanup (abfd);
202   abfd->tdata.any = NULL;
203   abfd->arch_info = &bfd_default_arch_struct;
204   io_reinit (abfd, preserve);
205   abfd->symcount = 0;
206   abfd->read_only = 0;
207   abfd->start_address = 0;
208   abfd->build_id = NULL;
209   bfd_section_list_clear (abfd);
210 }
211 
212 /* Restores bfd state saved by bfd_preserve_save.  */
213 
214 static bfd_cleanup
bfd_preserve_restore(bfd * abfd,struct bfd_preserve * preserve)215 bfd_preserve_restore (bfd *abfd, struct bfd_preserve *preserve)
216 {
217   bfd_hash_table_free (&abfd->section_htab);
218 
219   abfd->tdata.any = preserve->tdata;
220   abfd->arch_info = preserve->arch_info;
221   io_reinit (abfd, preserve);
222   abfd->section_htab = preserve->section_htab;
223   abfd->sections = preserve->sections;
224   abfd->section_last = preserve->section_last;
225   abfd->section_count = preserve->section_count;
226   _bfd_section_id = preserve->section_id;
227   abfd->symcount = preserve->symcount;
228   abfd->read_only = preserve->read_only;
229   abfd->start_address = preserve->start_address;
230   abfd->build_id = preserve->build_id;
231 
232   /* bfd_release frees all memory more recently bfd_alloc'd than
233      its arg, as well as its arg.  */
234   bfd_release (abfd, preserve->marker);
235   preserve->marker = NULL;
236   return preserve->cleanup;
237 }
238 
239 /* Called when the bfd state saved by bfd_preserve_save is no longer
240    needed.  */
241 
242 static void
bfd_preserve_finish(bfd * abfd ATTRIBUTE_UNUSED,struct bfd_preserve * preserve)243 bfd_preserve_finish (bfd *abfd ATTRIBUTE_UNUSED, struct bfd_preserve *preserve)
244 {
245   if (preserve->cleanup)
246     {
247       /* Run the cleanup, assuming that all it will need is the
248            tdata at the time the cleanup was returned.  */
249       void *tdata = abfd->tdata.any;
250       abfd->tdata.any = preserve->tdata;
251       preserve->cleanup (abfd);
252       abfd->tdata.any = tdata;
253     }
254   /* It would be nice to be able to free more memory here, eg. old
255      tdata, but that's not possible since these blocks are sitting
256      inside bfd_alloc'd memory.  The section hash is on a separate
257      objalloc.  */
258   bfd_hash_table_free (&preserve->section_htab);
259   preserve->marker = NULL;
260 }
261 
262 static void
print_warnmsg(struct per_xvec_message ** list)263 print_warnmsg (struct per_xvec_message **list)
264 {
265   for (struct per_xvec_message *warn = *list; warn; warn = warn->next)
266     _bfd_error_handler ("%s", warn->message);
267 }
268 
269 static void
clear_warnmsg(struct per_xvec_message ** list)270 clear_warnmsg (struct per_xvec_message **list)
271 {
272   struct per_xvec_message *warn = *list;
273   while (warn)
274     {
275       struct per_xvec_message *next = warn->next;
276       free (warn);
277       warn = next;
278     }
279   *list = NULL;
280 }
281 
282 /* Free all the storage in LIST.  Note that the first element of LIST
283    is special and is assumed to be stack-allocated.  TARG is used for
284    re-issuing warning messages.  If TARG is PER_XVEC_NO_TARGET, then
285    it acts like a sort of wildcard -- messages are only reissued if
286    they are all associated with a single BFD target, regardless of
287    which one it is.  If TARG is anything else, then only messages
288    associated with TARG are emitted.  */
289 
290 static void
print_and_clear_messages(struct per_xvec_messages * list,const bfd_target * targ)291 print_and_clear_messages (struct per_xvec_messages *list,
292                                 const bfd_target *targ)
293 {
294   struct per_xvec_messages *iter = list;
295 
296   if (targ == PER_XVEC_NO_TARGET && list->next == NULL)
297     print_warnmsg (&list->messages);
298 
299   while (iter != NULL)
300     {
301       struct per_xvec_messages *next = iter->next;
302 
303       if (iter->targ == targ)
304           print_warnmsg (&iter->messages);
305       clear_warnmsg (&iter->messages);
306       if (iter != list)
307           free (iter);
308       iter = next;
309     }
310 }
311 
312 /* This a copy of lto_section defined in GCC (lto-streamer.h).  */
313 
314 struct lto_section
315 {
316   int16_t major_version;
317   int16_t minor_version;
318   unsigned char slim_object;
319 
320   /* Flags is a private field that is not defined publicly.  */
321   uint16_t flags;
322 };
323 
324 /* Set lto_type in ABFD.  */
325 
326 static void
bfd_set_lto_type(bfd * abfd ATTRIBUTE_UNUSED)327 bfd_set_lto_type (bfd *abfd ATTRIBUTE_UNUSED)
328 {
329 #if BFD_SUPPORTS_PLUGINS
330   if (abfd->format == bfd_object
331       && abfd->lto_type == lto_non_object
332       && (abfd->flags & (DYNAMIC | EXEC_P)) == 0)
333     {
334       asection *sec;
335       enum bfd_lto_object_type type = lto_non_ir_object;
336       struct lto_section lsection;
337       /* GCC uses .gnu.lto_.lto.<some_hash> as a LTO bytecode information
338            section.  */
339       for (sec = abfd->sections; sec != NULL; sec = sec->next)
340           if (startswith (sec->name, ".gnu.lto_.lto.")
341               && bfd_get_section_contents (abfd, sec, &lsection, 0,
342                                                    sizeof (struct lto_section)))
343             {
344               if (lsection.slim_object)
345                 type = lto_slim_ir_object;
346               else
347                 type = lto_fat_ir_object;
348               break;
349             }
350 
351       abfd->lto_type = type;
352     }
353 #endif
354 }
355 
356 /*
357 FUNCTION
358           bfd_check_format_matches
359 
360 SYNOPSIS
361           bool bfd_check_format_matches
362             (bfd *abfd, bfd_format format, char ***matching);
363 
364 DESCRIPTION
365           Like <<bfd_check_format>>, except when it returns FALSE with
366           <<bfd_errno>> set to <<bfd_error_file_ambiguously_recognized>>.  In that
367           case, if @var{matching} is not NULL, it will be filled in with
368           a NULL-terminated list of the names of the formats that matched,
369           allocated with <<malloc>>.
370           Then the user may choose a format and try again.
371 
372           When done with the list that @var{matching} points to, the caller
373           should free it.
374 */
375 
376 bool
bfd_check_format_matches(bfd * abfd,bfd_format format,char *** matching)377 bfd_check_format_matches (bfd *abfd, bfd_format format, char ***matching)
378 {
379   extern const bfd_target binary_vec;
380 #if BFD_SUPPORTS_PLUGINS
381   extern const bfd_target plugin_vec;
382 #endif
383   const bfd_target * const *target;
384   const bfd_target **matching_vector = NULL;
385   const bfd_target *save_targ, *right_targ, *ar_right_targ, *match_targ;
386   int match_count, best_count, best_match;
387   int ar_match_index;
388   unsigned int initial_section_id = _bfd_section_id;
389   struct bfd_preserve preserve, preserve_match;
390   bfd_cleanup cleanup = NULL;
391   struct per_xvec_messages messages = { abfd, PER_XVEC_NO_TARGET, NULL, NULL };
392   struct per_xvec_messages *orig_messages;
393   bool old_in_format_matches;
394 
395   if (matching != NULL)
396     *matching = NULL;
397 
398   if (!bfd_read_p (abfd)
399       || (unsigned int) abfd->format >= (unsigned int) bfd_type_end)
400     {
401       bfd_set_error (bfd_error_invalid_operation);
402       return false;
403     }
404 
405   if (abfd->format != bfd_unknown)
406     {
407       bfd_set_lto_type (abfd);
408       return abfd->format == format;
409     }
410 
411   if (matching != NULL || *bfd_associated_vector != NULL)
412     {
413       size_t amt;
414 
415       amt = sizeof (*matching_vector) * 2 * _bfd_target_vector_entries;
416       matching_vector = (const bfd_target **) bfd_malloc (amt);
417       if (!matching_vector)
418           return false;
419     }
420 
421   /* Avoid clashes with bfd_cache_close_all running in another
422      thread.  */
423   if (!bfd_cache_set_uncloseable (abfd, true, &old_in_format_matches))
424     return false;
425 
426   /* Presume the answer is yes.  */
427   abfd->format = format;
428   save_targ = abfd->xvec;
429 
430   /* Don't report errors on recursive calls checking the first element
431      of an archive.  */
432   orig_messages = _bfd_set_error_handler_caching (&messages);
433 
434   preserve_match.marker = NULL;
435   if (!bfd_preserve_save (abfd, &preserve, NULL))
436     goto err_ret;
437 
438   /* If the target type was explicitly specified, just check that target.  */
439   if (!abfd->target_defaulted)
440     {
441       if (bfd_seek (abfd, 0, SEEK_SET) != 0)      /* rewind! */
442           goto err_ret;
443 
444       cleanup = BFD_SEND_FMT (abfd, _bfd_check_format, (abfd));
445 
446       if (cleanup)
447           goto ok_ret;
448 
449       /* For a long time the code has dropped through to check all
450            targets if the specified target was wrong.  I don't know why,
451            and I'm reluctant to change it.  However, in the case of an
452            archive, it can cause problems.  If the specified target does
453            not permit archives (e.g., the binary target), then we should
454            not allow some other target to recognize it as an archive, but
455            should instead allow the specified target to recognize it as an
456            object.  When I first made this change, it broke the PE target,
457            because the specified pei-i386 target did not recognize the
458            actual pe-i386 archive.  Since there may be other problems of
459            this sort, I changed this test to check only for the binary
460            target.  */
461       if (format == bfd_archive && save_targ == &binary_vec)
462           goto err_unrecog;
463     }
464 
465   /* Since the target type was defaulted, check them all in the hope
466      that one will be uniquely recognized.  */
467   right_targ = NULL;
468   ar_right_targ = NULL;
469   match_targ = NULL;
470   best_match = 256;
471   best_count = 0;
472   match_count = 0;
473   ar_match_index = _bfd_target_vector_entries;
474 
475   for (target = bfd_target_vector; *target != NULL; target++)
476     {
477       void **high_water;
478 
479       /* The binary target matches anything, so don't return it when
480            searching.  Don't match the plugin target if we have another
481            alternative since we want to properly set the input format
482            before allowing a plugin to claim the file.  Also, don't
483            check the default target twice.  */
484       if (*target == &binary_vec
485 #if BFD_SUPPORTS_PLUGINS
486             || (match_count != 0 && *target == &plugin_vec)
487 #endif
488             || (!abfd->target_defaulted && *target == save_targ))
489           continue;
490 
491       /* If we already tried a match, the bfd is modified and may
492            have sections attached, which will confuse the next
493            _bfd_check_format call.  */
494       bfd_reinit (abfd, initial_section_id, &preserve, cleanup);
495       /* Free bfd_alloc memory too.  If we have matched and preserved
496            a target then the high water mark is that much higher.  */
497       if (preserve_match.marker)
498           high_water = &preserve_match.marker;
499       else
500           high_water = &preserve.marker;
501       bfd_release (abfd, *high_water);
502       *high_water = bfd_alloc (abfd, 1);
503 
504       /* Change BFD's target temporarily.  */
505       abfd->xvec = *target;
506 
507       if (bfd_seek (abfd, 0, SEEK_SET) != 0)
508           goto err_ret;
509 
510       cleanup = BFD_SEND_FMT (abfd, _bfd_check_format, (abfd));
511       if (cleanup)
512           {
513             int match_priority = abfd->xvec->match_priority;
514 #if BFD_SUPPORTS_PLUGINS
515             /* If this object can be handled by a plugin, give that the
516                lowest priority; objects both handled by a plugin and
517                with an underlying object format will be claimed
518                separately by the plugin.  */
519             if (*target == &plugin_vec)
520               match_priority = (*target)->match_priority;
521 #endif
522 
523             if (abfd->format != bfd_archive
524                 || (bfd_has_map (abfd)
525                       && bfd_get_error () != bfd_error_wrong_object_format))
526               {
527                 /* If this is the default target, accept it, even if
528                      other targets might match.  People who want those
529                      other targets have to set the GNUTARGET variable.  */
530                 if (abfd->xvec == bfd_default_vector[0])
531                     goto ok_ret;
532 
533                 if (matching_vector)
534                     matching_vector[match_count] = abfd->xvec;
535                 match_count++;
536 
537                 if (match_priority < best_match)
538                     {
539                       best_match = match_priority;
540                       best_count = 0;
541                     }
542                 if (match_priority <= best_match)
543                     {
544                       /* This format checks out as ok!  */
545                       right_targ = abfd->xvec;
546                       best_count++;
547                     }
548               }
549             else
550               {
551                 /* An archive with no armap or objects of the wrong
552                      type.  We want this target to match if we get no
553                      better matches.  */
554                 if (ar_right_targ != bfd_default_vector[0])
555                     ar_right_targ = *target;
556                 if (matching_vector)
557                     matching_vector[ar_match_index] = *target;
558                 ar_match_index++;
559               }
560 
561             if (preserve_match.marker == NULL)
562               {
563                 match_targ = abfd->xvec;
564                 if (!bfd_preserve_save (abfd, &preserve_match, cleanup))
565                     goto err_ret;
566                 cleanup = NULL;
567               }
568           }
569     }
570 
571   if (best_count == 1)
572     match_count = 1;
573 
574   if (match_count == 0)
575     {
576       /* Try partial matches.  */
577       right_targ = ar_right_targ;
578 
579       if (right_targ == bfd_default_vector[0])
580           {
581             match_count = 1;
582           }
583       else
584           {
585             match_count = ar_match_index - _bfd_target_vector_entries;
586 
587             if (matching_vector && match_count > 1)
588               memcpy (matching_vector,
589                         matching_vector + _bfd_target_vector_entries,
590                         sizeof (*matching_vector) * match_count);
591           }
592     }
593 
594   /* We have more than one equally good match.  If any of the best
595      matches is a target in config.bfd targ_defvec or targ_selvecs,
596      choose it.  */
597   if (match_count > 1)
598     {
599       const bfd_target * const *assoc = bfd_associated_vector;
600 
601       while ((right_targ = *assoc++) != NULL)
602           {
603             int i = match_count;
604 
605             while (--i >= 0)
606               if (matching_vector[i] == right_targ
607                     && right_targ->match_priority <= best_match)
608                 break;
609 
610             if (i >= 0)
611               {
612                 match_count = 1;
613                 break;
614               }
615           }
616     }
617 
618   /* We still have more than one equally good match, and at least some
619      of the targets support match priority.  Choose the first of the
620      best matches.  */
621   if (matching_vector && match_count > 1 && best_count != match_count)
622     {
623       int i;
624 
625       for (i = 0; i < match_count; i++)
626           {
627             right_targ = matching_vector[i];
628             if (right_targ->match_priority <= best_match)
629               break;
630           }
631       match_count = 1;
632     }
633 
634   /* There is way too much undoing of half-known state here.  We
635      really shouldn't iterate on live bfd's.  Note that saving the
636      whole bfd and restoring it would be even worse; the first thing
637      you notice is that the cached bfd file position gets out of sync.  */
638   if (preserve_match.marker != NULL)
639     cleanup = bfd_preserve_restore (abfd, &preserve_match);
640 
641   if (match_count == 1)
642     {
643       abfd->xvec = right_targ;
644       /* If we come out of the loop knowing that the last target that
645            matched is the one we want, then ABFD should still be in a usable
646            state (except possibly for XVEC).  This is not just an
647            optimisation.  In the case of plugins a match against the
648            plugin target can result in the bfd being changed such that
649            it no longer matches the plugin target, nor will it match
650            RIGHT_TARG again.  */
651       if (match_targ != right_targ)
652           {
653             bfd_reinit (abfd, initial_section_id, &preserve, cleanup);
654             bfd_release (abfd, preserve.marker);
655             if (bfd_seek (abfd, 0, SEEK_SET) != 0)
656               goto err_ret;
657             cleanup = BFD_SEND_FMT (abfd, _bfd_check_format, (abfd));
658             BFD_ASSERT (cleanup != NULL);
659           }
660 
661     ok_ret:
662       /* If the file was opened for update, then `output_has_begun'
663            some time ago when the file was created.  Do not recompute
664            sections sizes or alignments in _bfd_set_section_contents.
665            We can not set this flag until after checking the format,
666            because it will interfere with creation of BFD sections.  */
667       if (abfd->direction == both_direction)
668           abfd->output_has_begun = true;
669 
670       free (matching_vector);
671       if (preserve_match.marker != NULL)
672           bfd_preserve_finish (abfd, &preserve_match);
673       bfd_preserve_finish (abfd, &preserve);
674       _bfd_restore_error_handler_caching (orig_messages);
675 
676       print_and_clear_messages (&messages, abfd->xvec);
677 
678       bfd_set_lto_type (abfd);
679 
680       /* File position has moved, BTW.  */
681       return bfd_cache_set_uncloseable (abfd, old_in_format_matches, NULL);
682     }
683 
684   if (match_count == 0)
685     {
686     err_unrecog:
687       bfd_set_error (bfd_error_file_not_recognized);
688     err_ret:
689       if (cleanup)
690           cleanup (abfd);
691       abfd->xvec = save_targ;
692       abfd->format = bfd_unknown;
693       free (matching_vector);
694       goto out;
695     }
696 
697   /* Restore original target type and format.  */
698   abfd->xvec = save_targ;
699   abfd->format = bfd_unknown;
700   bfd_set_error (bfd_error_file_ambiguously_recognized);
701 
702   if (matching)
703     {
704       *matching = (char **) matching_vector;
705       matching_vector[match_count] = NULL;
706       /* Return target names.  This is a little nasty.  Maybe we
707            should do another bfd_malloc?  */
708       while (--match_count >= 0)
709           {
710             const char *name = matching_vector[match_count]->name;
711             *(const char **) &matching_vector[match_count] = name;
712           }
713     }
714   else
715     free (matching_vector);
716   if (cleanup)
717     cleanup (abfd);
718  out:
719   if (preserve_match.marker != NULL)
720     bfd_preserve_finish (abfd, &preserve_match);
721   bfd_preserve_restore (abfd, &preserve);
722   _bfd_restore_error_handler_caching (orig_messages);
723   print_and_clear_messages (&messages, PER_XVEC_NO_TARGET);
724   bfd_cache_set_uncloseable (abfd, old_in_format_matches, NULL);
725   return false;
726 }
727 
728 /*
729 FUNCTION
730           bfd_set_format
731 
732 SYNOPSIS
733           bool bfd_set_format (bfd *abfd, bfd_format format);
734 
735 DESCRIPTION
736           This function sets the file format of the BFD @var{abfd} to the
737           format @var{format}. If the target set in the BFD does not
738           support the format requested, the format is invalid, or the BFD
739           is not open for writing, then an error occurs.
740 */
741 
742 bool
bfd_set_format(bfd * abfd,bfd_format format)743 bfd_set_format (bfd *abfd, bfd_format format)
744 {
745   if (bfd_read_p (abfd)
746       || (unsigned int) abfd->format >= (unsigned int) bfd_type_end)
747     {
748       bfd_set_error (bfd_error_invalid_operation);
749       return false;
750     }
751 
752   if (abfd->format != bfd_unknown)
753     return abfd->format == format;
754 
755   /* Presume the answer is yes.  */
756   abfd->format = format;
757 
758   if (!BFD_SEND_FMT (abfd, _bfd_set_format, (abfd)))
759     {
760       abfd->format = bfd_unknown;
761       return false;
762     }
763 
764   return true;
765 }
766 
767 /*
768 FUNCTION
769           bfd_format_string
770 
771 SYNOPSIS
772           const char *bfd_format_string (bfd_format format);
773 
774 DESCRIPTION
775           Return a pointer to a const string
776           <<invalid>>, <<object>>, <<archive>>, <<core>>, or <<unknown>>,
777           depending upon the value of @var{format}.
778 */
779 
780 const char *
bfd_format_string(bfd_format format)781 bfd_format_string (bfd_format format)
782 {
783   if (((int) format < (int) bfd_unknown)
784       || ((int) format >= (int) bfd_type_end))
785     return "invalid";
786 
787   switch (format)
788     {
789     case bfd_object:
790       return "object";                  /* Linker/assembler/compiler output.  */
791     case bfd_archive:
792       return "archive";                 /* Object archive file.  */
793     case bfd_core:
794       return "core";                    /* Core dump.  */
795     default:
796       return "unknown";
797     }
798 }
799