Automatic date update in version.in
[binutils-gdb.git] / bfd / mach-o.c
blob5279343768c80dc881ed17892e2a5d8e0e7dc232
1 /* Mach-O support for BFD.
2 Copyright (C) 1999-2022 Free Software Foundation, Inc.
4 This file is part of BFD, the Binary File Descriptor library.
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
19 MA 02110-1301, USA. */
21 #include "sysdep.h"
22 #include <limits.h>
23 #include "bfd.h"
24 #include "libbfd.h"
25 #include "libiberty.h"
26 #include "mach-o.h"
27 #include "aout/stab_gnu.h"
28 #include "mach-o/reloc.h"
29 #include "mach-o/external.h"
30 #include <ctype.h>
31 #include <stdlib.h>
32 #include <string.h>
34 #define bfd_mach_o_object_p bfd_mach_o_gen_object_p
35 #define bfd_mach_o_core_p bfd_mach_o_gen_core_p
36 #define bfd_mach_o_mkobject bfd_mach_o_gen_mkobject
38 #define FILE_ALIGN(off, algn) \
39 (((off) + ((ufile_ptr) 1 << (algn)) - 1) & ((ufile_ptr) -1 << (algn)))
41 static bool
42 bfd_mach_o_read_dyld_content (bfd *abfd, bfd_mach_o_dyld_info_command *cmd);
44 unsigned int
45 bfd_mach_o_version (bfd *abfd)
47 bfd_mach_o_data_struct *mdata = NULL;
49 BFD_ASSERT (bfd_mach_o_valid (abfd));
50 mdata = bfd_mach_o_get_data (abfd);
52 return mdata->header.version;
55 bool
56 bfd_mach_o_valid (bfd *abfd)
58 if (abfd == NULL || abfd->xvec == NULL)
59 return false;
61 if (abfd->xvec->flavour != bfd_target_mach_o_flavour)
62 return false;
64 if (bfd_mach_o_get_data (abfd) == NULL)
65 return false;
66 return true;
69 static inline bool
70 mach_o_wide_p (bfd_mach_o_header *header)
72 switch (header->version)
74 case 1:
75 return false;
76 case 2:
77 return true;
78 default:
79 BFD_FAIL ();
80 return false;
84 static inline bool
85 bfd_mach_o_wide_p (bfd *abfd)
87 return mach_o_wide_p (&bfd_mach_o_get_data (abfd)->header);
90 /* Tables to translate well known Mach-O segment/section names to bfd
91 names. Use of canonical names (such as .text or .debug_frame) is required
92 by gdb. */
94 /* __TEXT Segment. */
95 static const mach_o_section_name_xlat text_section_names_xlat[] =
97 { ".text", "__text",
98 SEC_CODE | SEC_LOAD, BFD_MACH_O_S_REGULAR,
99 BFD_MACH_O_S_ATTR_PURE_INSTRUCTIONS, 0},
100 { ".const", "__const",
101 SEC_READONLY | SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
102 BFD_MACH_O_S_ATTR_NONE, 0},
103 { ".static_const", "__static_const",
104 SEC_READONLY | SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
105 BFD_MACH_O_S_ATTR_NONE, 0},
106 { ".cstring", "__cstring",
107 SEC_READONLY | SEC_DATA | SEC_LOAD | SEC_MERGE | SEC_STRINGS,
108 BFD_MACH_O_S_CSTRING_LITERALS,
109 BFD_MACH_O_S_ATTR_NONE, 0},
110 { ".literal4", "__literal4",
111 SEC_READONLY | SEC_DATA | SEC_LOAD, BFD_MACH_O_S_4BYTE_LITERALS,
112 BFD_MACH_O_S_ATTR_NONE, 2},
113 { ".literal8", "__literal8",
114 SEC_READONLY | SEC_DATA | SEC_LOAD, BFD_MACH_O_S_8BYTE_LITERALS,
115 BFD_MACH_O_S_ATTR_NONE, 3},
116 { ".literal16", "__literal16",
117 SEC_READONLY | SEC_DATA | SEC_LOAD, BFD_MACH_O_S_16BYTE_LITERALS,
118 BFD_MACH_O_S_ATTR_NONE, 4},
119 { ".constructor", "__constructor",
120 SEC_CODE | SEC_LOAD, BFD_MACH_O_S_REGULAR,
121 BFD_MACH_O_S_ATTR_NONE, 0},
122 { ".destructor", "__destructor",
123 SEC_CODE | SEC_LOAD, BFD_MACH_O_S_REGULAR,
124 BFD_MACH_O_S_ATTR_NONE, 0},
125 { ".eh_frame", "__eh_frame",
126 SEC_READONLY | SEC_DATA | SEC_LOAD, BFD_MACH_O_S_COALESCED,
127 BFD_MACH_O_S_ATTR_LIVE_SUPPORT
128 | BFD_MACH_O_S_ATTR_STRIP_STATIC_SYMS
129 | BFD_MACH_O_S_ATTR_NO_TOC, 2},
130 { NULL, NULL, 0, 0, 0, 0}
133 /* __DATA Segment. */
134 static const mach_o_section_name_xlat data_section_names_xlat[] =
136 { ".data", "__data",
137 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
138 BFD_MACH_O_S_ATTR_NONE, 0},
139 { ".bss", "__bss",
140 SEC_NO_FLAGS, BFD_MACH_O_S_ZEROFILL,
141 BFD_MACH_O_S_ATTR_NONE, 0},
142 { ".const_data", "__const",
143 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
144 BFD_MACH_O_S_ATTR_NONE, 0},
145 { ".static_data", "__static_data",
146 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
147 BFD_MACH_O_S_ATTR_NONE, 0},
148 { ".mod_init_func", "__mod_init_func",
149 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_MOD_INIT_FUNC_POINTERS,
150 BFD_MACH_O_S_ATTR_NONE, 2},
151 { ".mod_term_func", "__mod_term_func",
152 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_MOD_FINI_FUNC_POINTERS,
153 BFD_MACH_O_S_ATTR_NONE, 2},
154 { ".dyld", "__dyld",
155 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
156 BFD_MACH_O_S_ATTR_NONE, 0},
157 { ".cfstring", "__cfstring",
158 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
159 BFD_MACH_O_S_ATTR_NONE, 2},
160 { NULL, NULL, 0, 0, 0, 0}
163 /* __DWARF Segment. */
164 static const mach_o_section_name_xlat dwarf_section_names_xlat[] =
166 { ".debug_frame", "__debug_frame",
167 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
168 BFD_MACH_O_S_ATTR_DEBUG, 0},
169 { ".debug_info", "__debug_info",
170 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
171 BFD_MACH_O_S_ATTR_DEBUG, 0},
172 { ".debug_abbrev", "__debug_abbrev",
173 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
174 BFD_MACH_O_S_ATTR_DEBUG, 0},
175 { ".debug_aranges", "__debug_aranges",
176 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
177 BFD_MACH_O_S_ATTR_DEBUG, 0},
178 { ".debug_macinfo", "__debug_macinfo",
179 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
180 BFD_MACH_O_S_ATTR_DEBUG, 0},
181 { ".debug_line", "__debug_line",
182 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
183 BFD_MACH_O_S_ATTR_DEBUG, 0},
184 { ".debug_loc", "__debug_loc",
185 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
186 BFD_MACH_O_S_ATTR_DEBUG, 0},
187 { ".debug_pubnames", "__debug_pubnames",
188 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
189 BFD_MACH_O_S_ATTR_DEBUG, 0},
190 { ".debug_pubtypes", "__debug_pubtypes",
191 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
192 BFD_MACH_O_S_ATTR_DEBUG, 0},
193 { ".debug_str", "__debug_str",
194 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
195 BFD_MACH_O_S_ATTR_DEBUG, 0},
196 { ".debug_ranges", "__debug_ranges",
197 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
198 BFD_MACH_O_S_ATTR_DEBUG, 0},
199 { ".debug_macro", "__debug_macro",
200 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
201 BFD_MACH_O_S_ATTR_DEBUG, 0},
202 { ".debug_gdb_scripts", "__debug_gdb_scri",
203 SEC_DEBUGGING, BFD_MACH_O_S_REGULAR,
204 BFD_MACH_O_S_ATTR_DEBUG, 0},
205 { NULL, NULL, 0, 0, 0, 0}
208 /* __OBJC Segment. */
209 static const mach_o_section_name_xlat objc_section_names_xlat[] =
211 { ".objc_class", "__class",
212 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
213 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
214 { ".objc_meta_class", "__meta_class",
215 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
216 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
217 { ".objc_cat_cls_meth", "__cat_cls_meth",
218 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
219 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
220 { ".objc_cat_inst_meth", "__cat_inst_meth",
221 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
222 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
223 { ".objc_protocol", "__protocol",
224 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
225 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
226 { ".objc_string_object", "__string_object",
227 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
228 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
229 { ".objc_cls_meth", "__cls_meth",
230 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
231 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
232 { ".objc_inst_meth", "__inst_meth",
233 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
234 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
235 { ".objc_cls_refs", "__cls_refs",
236 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_LITERAL_POINTERS,
237 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
238 { ".objc_message_refs", "__message_refs",
239 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_LITERAL_POINTERS,
240 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
241 { ".objc_symbols", "__symbols",
242 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
243 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
244 { ".objc_category", "__category",
245 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
246 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
247 { ".objc_class_vars", "__class_vars",
248 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
249 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
250 { ".objc_instance_vars", "__instance_vars",
251 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
252 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
253 { ".objc_module_info", "__module_info",
254 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
255 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
256 { ".objc_selector_strs", "__selector_strs",
257 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_CSTRING_LITERALS,
258 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
259 { ".objc_image_info", "__image_info",
260 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
261 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
262 { ".objc_selector_fixup", "__sel_fixup",
263 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
264 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
265 /* Objc V1 */
266 { ".objc1_class_ext", "__class_ext",
267 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
268 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
269 { ".objc1_property_list", "__property",
270 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
271 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
272 { ".objc1_protocol_ext", "__protocol_ext",
273 SEC_DATA | SEC_LOAD, BFD_MACH_O_S_REGULAR,
274 BFD_MACH_O_S_ATTR_NO_DEAD_STRIP, 0},
275 { NULL, NULL, 0, 0, 0, 0}
278 static const mach_o_segment_name_xlat segsec_names_xlat[] =
280 { "__TEXT", text_section_names_xlat },
281 { "__DATA", data_section_names_xlat },
282 { "__DWARF", dwarf_section_names_xlat },
283 { "__OBJC", objc_section_names_xlat },
284 { NULL, NULL }
287 static const char dsym_subdir[] = ".dSYM/Contents/Resources/DWARF";
289 /* For both cases bfd-name => mach-o name and vice versa, the specific target
290 is checked before the generic. This allows a target (e.g. ppc for cstring)
291 to override the generic definition with a more specific one. */
293 /* Fetch the translation from a Mach-O section designation (segment, section)
294 as a bfd short name, if one exists. Otherwise return NULL.
296 Allow the segment and section names to be unterminated 16 byte arrays. */
298 const mach_o_section_name_xlat *
299 bfd_mach_o_section_data_for_mach_sect (bfd *abfd, const char *segname,
300 const char *sectname)
302 const struct mach_o_segment_name_xlat *seg;
303 const mach_o_section_name_xlat *sec;
304 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
306 /* First try any target-specific translations defined... */
307 if (bed->segsec_names_xlat)
308 for (seg = bed->segsec_names_xlat; seg->segname; seg++)
309 if (strncmp (seg->segname, segname, BFD_MACH_O_SEGNAME_SIZE) == 0)
310 for (sec = seg->sections; sec->mach_o_name; sec++)
311 if (strncmp (sec->mach_o_name, sectname,
312 BFD_MACH_O_SECTNAME_SIZE) == 0)
313 return sec;
315 /* ... and then the Mach-O generic ones. */
316 for (seg = segsec_names_xlat; seg->segname; seg++)
317 if (strncmp (seg->segname, segname, BFD_MACH_O_SEGNAME_SIZE) == 0)
318 for (sec = seg->sections; sec->mach_o_name; sec++)
319 if (strncmp (sec->mach_o_name, sectname,
320 BFD_MACH_O_SECTNAME_SIZE) == 0)
321 return sec;
323 return NULL;
326 /* If the bfd_name for this section is a 'canonical' form for which we
327 know the Mach-O data, return the segment name and the data for the
328 Mach-O equivalent. Otherwise return NULL. */
330 const mach_o_section_name_xlat *
331 bfd_mach_o_section_data_for_bfd_name (bfd *abfd, const char *bfd_name,
332 const char **segname)
334 const struct mach_o_segment_name_xlat *seg;
335 const mach_o_section_name_xlat *sec;
336 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
337 *segname = NULL;
339 if (bfd_name[0] != '.')
340 return NULL;
342 /* First try any target-specific translations defined... */
343 if (bed->segsec_names_xlat)
344 for (seg = bed->segsec_names_xlat; seg->segname; seg++)
345 for (sec = seg->sections; sec->bfd_name; sec++)
346 if (strcmp (bfd_name, sec->bfd_name) == 0)
348 *segname = seg->segname;
349 return sec;
352 /* ... and then the Mach-O generic ones. */
353 for (seg = segsec_names_xlat; seg->segname; seg++)
354 for (sec = seg->sections; sec->bfd_name; sec++)
355 if (strcmp (bfd_name, sec->bfd_name) == 0)
357 *segname = seg->segname;
358 return sec;
361 return NULL;
364 /* Convert Mach-O section name to BFD.
366 Try to use standard/canonical names, for which we have tables including
367 default flag settings - which are returned. Otherwise forge a new name
368 in the form "<segmentname>.<sectionname>" this will be prefixed with
369 LC_SEGMENT. if the segment name does not begin with an underscore.
371 SEGNAME and SECTNAME are 16 byte arrays (they do not need to be NUL-
372 terminated if the name length is exactly 16 bytes - but must be if the name
373 length is less than 16 characters). */
375 void
376 bfd_mach_o_convert_section_name_to_bfd (bfd *abfd, const char *segname,
377 const char *secname, const char **name,
378 flagword *flags)
380 const mach_o_section_name_xlat *xlat;
381 char *res;
382 size_t len;
383 const char *pfx = "";
385 *name = NULL;
386 *flags = SEC_NO_FLAGS;
388 /* First search for a canonical name...
389 xlat will be non-null if there is an entry for segname, secname. */
390 xlat = bfd_mach_o_section_data_for_mach_sect (abfd, segname, secname);
391 if (xlat)
393 len = strlen (xlat->bfd_name);
394 res = bfd_alloc (abfd, len + 1);
395 if (res == NULL)
396 return;
397 memcpy (res, xlat->bfd_name, len + 1);
398 *name = res;
399 *flags = xlat->bfd_flags;
400 return;
403 /* ... else we make up a bfd name from the segment concatenated with the
404 section. */
406 len = 16 + 1 + 16 + 1;
408 /* Put "LC_SEGMENT." prefix if the segment name is weird (ie doesn't start
409 with an underscore. */
410 if (segname[0] != '_')
412 static const char seg_pfx[] = "LC_SEGMENT.";
414 pfx = seg_pfx;
415 len += sizeof (seg_pfx) - 1;
418 res = bfd_alloc (abfd, len);
419 if (res == NULL)
420 return;
421 snprintf (res, len, "%s%.16s.%.16s", pfx, segname, secname);
422 *name = res;
425 /* Convert a bfd section name to a Mach-O segment + section name.
427 If the name is a canonical one for which we have a Darwin match
428 return the translation table - which contains defaults for flags,
429 type, attribute and default alignment data.
431 Otherwise, expand the bfd_name (assumed to be in the form
432 "[LC_SEGMENT.]<segmentname>.<sectionname>") and return NULL. */
434 static const mach_o_section_name_xlat *
435 bfd_mach_o_convert_section_name_to_mach_o (bfd *abfd ATTRIBUTE_UNUSED,
436 asection *sect,
437 bfd_mach_o_section *section)
439 const mach_o_section_name_xlat *xlat;
440 const char *name = bfd_section_name (sect);
441 const char *segname;
442 const char *dot;
443 size_t len;
444 size_t seglen;
445 size_t seclen;
447 memset (section->segname, 0, BFD_MACH_O_SEGNAME_SIZE + 1);
448 memset (section->sectname, 0, BFD_MACH_O_SECTNAME_SIZE + 1);
450 /* See if is a canonical name ... */
451 xlat = bfd_mach_o_section_data_for_bfd_name (abfd, name, &segname);
452 if (xlat)
454 strcpy (section->segname, segname);
455 strcpy (section->sectname, xlat->mach_o_name);
456 return xlat;
459 /* .. else we convert our constructed one back to Mach-O.
460 Strip LC_SEGMENT. prefix, if present. */
461 if (strncmp (name, "LC_SEGMENT.", 11) == 0)
462 name += 11;
464 /* Find a dot. */
465 dot = strchr (name, '.');
466 len = strlen (name);
468 /* Try to split name into segment and section names. */
469 if (dot && dot != name)
471 seglen = dot - name;
472 seclen = len - (dot + 1 - name);
474 if (seglen <= BFD_MACH_O_SEGNAME_SIZE
475 && seclen <= BFD_MACH_O_SECTNAME_SIZE)
477 memcpy (section->segname, name, seglen);
478 section->segname[seglen] = 0;
479 memcpy (section->sectname, dot + 1, seclen);
480 section->sectname[seclen] = 0;
481 return NULL;
485 /* The segment and section names are both missing - don't make them
486 into dots. */
487 if (dot && dot == name)
488 return NULL;
490 /* Just duplicate the name into both segment and section. */
491 if (len > 16)
492 len = 16;
493 memcpy (section->segname, name, len);
494 section->segname[len] = 0;
495 memcpy (section->sectname, name, len);
496 section->sectname[len] = 0;
497 return NULL;
500 /* Return the size of an entry for section SEC.
501 Must be called only for symbol pointer section and symbol stubs
502 sections. */
504 unsigned int
505 bfd_mach_o_section_get_entry_size (bfd *abfd, bfd_mach_o_section *sec)
507 switch (sec->flags & BFD_MACH_O_SECTION_TYPE_MASK)
509 case BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS:
510 case BFD_MACH_O_S_LAZY_SYMBOL_POINTERS:
511 return bfd_mach_o_wide_p (abfd) ? 8 : 4;
512 case BFD_MACH_O_S_SYMBOL_STUBS:
513 return sec->reserved2;
514 default:
515 BFD_FAIL ();
516 return 0;
520 /* Return the number of indirect symbols for a section.
521 Must be called only for symbol pointer section and symbol stubs
522 sections. */
524 unsigned int
525 bfd_mach_o_section_get_nbr_indirect (bfd *abfd, bfd_mach_o_section *sec)
527 unsigned int elsz;
529 elsz = bfd_mach_o_section_get_entry_size (abfd, sec);
530 if (elsz == 0)
531 return 0;
532 else
533 return sec->size / elsz;
536 /* Append command CMD to ABFD. Note that header.ncmds is not updated. */
538 static void
539 bfd_mach_o_append_command (bfd *abfd, bfd_mach_o_load_command *cmd)
541 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
543 if (mdata->last_command != NULL)
544 mdata->last_command->next = cmd;
545 else
546 mdata->first_command = cmd;
547 mdata->last_command = cmd;
548 cmd->next = NULL;
551 /* Copy any private info we understand from the input symbol
552 to the output symbol. */
554 bool
555 bfd_mach_o_bfd_copy_private_symbol_data (bfd *ibfd ATTRIBUTE_UNUSED,
556 asymbol *isymbol,
557 bfd *obfd ATTRIBUTE_UNUSED,
558 asymbol *osymbol)
560 bfd_mach_o_asymbol *os, *is;
562 os = (bfd_mach_o_asymbol *)osymbol;
563 is = (bfd_mach_o_asymbol *)isymbol;
564 os->n_type = is->n_type;
565 os->n_sect = is->n_sect;
566 os->n_desc = is->n_desc;
567 os->symbol.udata.i = is->symbol.udata.i;
569 return true;
572 /* Copy any private info we understand from the input section
573 to the output section. */
575 bool
576 bfd_mach_o_bfd_copy_private_section_data (bfd *ibfd, asection *isection,
577 bfd *obfd, asection *osection)
579 bfd_mach_o_section *os = bfd_mach_o_get_mach_o_section (osection);
580 bfd_mach_o_section *is = bfd_mach_o_get_mach_o_section (isection);
582 if (ibfd->xvec->flavour != bfd_target_mach_o_flavour
583 || obfd->xvec->flavour != bfd_target_mach_o_flavour)
584 return true;
586 BFD_ASSERT (is != NULL && os != NULL);
588 os->flags = is->flags;
589 os->reserved1 = is->reserved1;
590 os->reserved2 = is->reserved2;
591 os->reserved3 = is->reserved3;
593 return true;
596 static const char *
597 cputype (unsigned long value)
599 switch (value)
601 case BFD_MACH_O_CPU_TYPE_VAX: return "VAX";
602 case BFD_MACH_O_CPU_TYPE_MC680x0: return "MC68k";
603 case BFD_MACH_O_CPU_TYPE_I386: return "I386";
604 case BFD_MACH_O_CPU_TYPE_MIPS: return "MIPS";
605 case BFD_MACH_O_CPU_TYPE_MC98000: return "MC98k";
606 case BFD_MACH_O_CPU_TYPE_HPPA: return "HPPA";
607 case BFD_MACH_O_CPU_TYPE_ARM: return "ARM";
608 case BFD_MACH_O_CPU_TYPE_MC88000: return "MC88K";
609 case BFD_MACH_O_CPU_TYPE_SPARC: return "SPARC";
610 case BFD_MACH_O_CPU_TYPE_I860: return "I860";
611 case BFD_MACH_O_CPU_TYPE_ALPHA: return "ALPHA";
612 case BFD_MACH_O_CPU_TYPE_POWERPC: return "PPC";
613 case BFD_MACH_O_CPU_TYPE_POWERPC_64: return "PPC64";
614 case BFD_MACH_O_CPU_TYPE_X86_64: return "X86_64";
615 case BFD_MACH_O_CPU_TYPE_ARM64: return "ARM64";
616 default: return _("<unknown>");
620 static const char *
621 cpusubtype (unsigned long cpu_type, unsigned long cpu_subtype, char *buffer)
623 buffer[0] = 0;
624 switch (cpu_subtype & BFD_MACH_O_CPU_SUBTYPE_MASK)
626 case 0:
627 break;
628 case BFD_MACH_O_CPU_SUBTYPE_LIB64:
629 sprintf (buffer, " (LIB64)"); break;
630 default:
631 sprintf (buffer, _("<unknown mask flags>")); break;
634 cpu_subtype &= ~ BFD_MACH_O_CPU_SUBTYPE_MASK;
636 switch (cpu_type)
638 case BFD_MACH_O_CPU_TYPE_X86_64:
639 case BFD_MACH_O_CPU_TYPE_I386:
640 switch (cpu_subtype)
642 case BFD_MACH_O_CPU_SUBTYPE_X86_ALL:
643 return strcat (buffer, " (X86_ALL)");
644 default:
645 break;
647 break;
649 case BFD_MACH_O_CPU_TYPE_ARM:
650 switch (cpu_subtype)
652 case BFD_MACH_O_CPU_SUBTYPE_ARM_ALL:
653 return strcat (buffer, " (ARM_ALL)");
654 case BFD_MACH_O_CPU_SUBTYPE_ARM_V4T:
655 return strcat (buffer, " (ARM_V4T)");
656 case BFD_MACH_O_CPU_SUBTYPE_ARM_V6:
657 return strcat (buffer, " (ARM_V6)");
658 case BFD_MACH_O_CPU_SUBTYPE_ARM_V5TEJ:
659 return strcat (buffer, " (ARM_V5TEJ)");
660 case BFD_MACH_O_CPU_SUBTYPE_ARM_XSCALE:
661 return strcat (buffer, " (ARM_XSCALE)");
662 case BFD_MACH_O_CPU_SUBTYPE_ARM_V7:
663 return strcat (buffer, " (ARM_V7)");
664 default:
665 break;
667 break;
669 case BFD_MACH_O_CPU_TYPE_ARM64:
670 switch (cpu_subtype)
672 case BFD_MACH_O_CPU_SUBTYPE_ARM64_ALL:
673 return strcat (buffer, " (ARM64_ALL)");
674 case BFD_MACH_O_CPU_SUBTYPE_ARM64_V8:
675 return strcat (buffer, " (ARM64_V8)");
676 default:
677 break;
679 break;
681 default:
682 break;
685 if (cpu_subtype != 0)
686 return strcat (buffer, _(" (<unknown>)"));
688 return buffer;
691 bool
692 bfd_mach_o_bfd_print_private_bfd_data (bfd *abfd, void *ptr)
694 FILE * file = (FILE *) ptr;
695 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
696 char buff[128];
698 fprintf (file, _(" MACH-O header:\n"));
699 fprintf (file, _(" magic: %#lx\n"), (long) mdata->header.magic);
700 fprintf (file, _(" cputype: %#lx (%s)\n"), (long) mdata->header.cputype,
701 cputype (mdata->header.cputype));
702 fprintf (file, _(" cpusubtype: %#lx%s\n"), (long) mdata->header.cpusubtype,
703 cpusubtype (mdata->header.cputype, mdata->header.cpusubtype, buff));
704 fprintf (file, _(" filetype: %#lx\n"), (long) mdata->header.filetype);
705 fprintf (file, _(" ncmds: %#lx\n"), (long) mdata->header.ncmds);
706 fprintf (file, _(" sizeocmds: %#lx\n"), (long) mdata->header.sizeofcmds);
707 fprintf (file, _(" flags: %#lx\n"), (long) mdata->header.flags);
708 fprintf (file, _(" version: %x\n"), mdata->header.version);
710 return true;
713 /* Copy any private info we understand from the input bfd
714 to the output bfd. */
716 bool
717 bfd_mach_o_bfd_copy_private_header_data (bfd *ibfd, bfd *obfd)
719 bfd_mach_o_data_struct *imdata;
720 bfd_mach_o_data_struct *omdata;
721 bfd_mach_o_load_command *icmd;
723 if (bfd_get_flavour (ibfd) != bfd_target_mach_o_flavour
724 || bfd_get_flavour (obfd) != bfd_target_mach_o_flavour)
725 return true;
727 BFD_ASSERT (bfd_mach_o_valid (ibfd));
728 BFD_ASSERT (bfd_mach_o_valid (obfd));
730 imdata = bfd_mach_o_get_data (ibfd);
731 omdata = bfd_mach_o_get_data (obfd);
733 /* Copy header flags. */
734 omdata->header.flags = imdata->header.flags;
736 /* PR 23299. Copy the cputype. */
737 if (imdata->header.cputype != omdata->header.cputype)
739 if (omdata->header.cputype == 0)
740 omdata->header.cputype = imdata->header.cputype;
741 else if (imdata->header.cputype != 0)
742 /* Urg - what has happened ? */
743 _bfd_error_handler (_("incompatible cputypes in mach-o files: %ld vs %ld"),
744 (long) imdata->header.cputype,
745 (long) omdata->header.cputype);
748 /* Copy the cpusubtype. */
749 omdata->header.cpusubtype = imdata->header.cpusubtype;
751 /* Copy commands. */
752 for (icmd = imdata->first_command; icmd != NULL; icmd = icmd->next)
754 bfd_mach_o_load_command *ocmd;
756 switch (icmd->type)
758 case BFD_MACH_O_LC_LOAD_DYLIB:
759 case BFD_MACH_O_LC_LOAD_DYLINKER:
760 case BFD_MACH_O_LC_DYLD_INFO:
761 /* Command is copied. */
762 ocmd = bfd_alloc (obfd, sizeof (bfd_mach_o_load_command));
763 if (ocmd == NULL)
764 return false;
766 /* Copy common fields. */
767 ocmd->type = icmd->type;
768 ocmd->type_required = icmd->type_required;
769 ocmd->offset = 0;
770 ocmd->len = icmd->len;
771 break;
773 default:
774 /* Command is not copied. */
775 continue;
776 break;
779 switch (icmd->type)
781 case BFD_MACH_O_LC_LOAD_DYLIB:
783 bfd_mach_o_dylib_command *idy = &icmd->command.dylib;
784 bfd_mach_o_dylib_command *ody = &ocmd->command.dylib;
786 ody->name_offset = idy->name_offset;
787 ody->timestamp = idy->timestamp;
788 ody->current_version = idy->current_version;
789 ody->compatibility_version = idy->compatibility_version;
790 ody->name_str = idy->name_str;
792 break;
794 case BFD_MACH_O_LC_LOAD_DYLINKER:
796 bfd_mach_o_dylinker_command *idy = &icmd->command.dylinker;
797 bfd_mach_o_dylinker_command *ody = &ocmd->command.dylinker;
799 ody->name_offset = idy->name_offset;
800 ody->name_str = idy->name_str;
802 break;
804 case BFD_MACH_O_LC_DYLD_INFO:
806 bfd_mach_o_dyld_info_command *idy = &icmd->command.dyld_info;
807 bfd_mach_o_dyld_info_command *ody = &ocmd->command.dyld_info;
809 if (bfd_mach_o_read_dyld_content (ibfd, idy))
811 ody->rebase_size = idy->rebase_size;
812 ody->rebase_content = idy->rebase_content;
814 ody->bind_size = idy->bind_size;
815 ody->bind_content = idy->bind_content;
817 ody->weak_bind_size = idy->weak_bind_size;
818 ody->weak_bind_content = idy->weak_bind_content;
820 ody->lazy_bind_size = idy->lazy_bind_size;
821 ody->lazy_bind_content = idy->lazy_bind_content;
823 ody->export_size = idy->export_size;
824 ody->export_content = idy->export_content;
826 /* PR 17512L: file: 730e492d. */
827 else
829 ody->rebase_size =
830 ody->bind_size =
831 ody->weak_bind_size =
832 ody->lazy_bind_size =
833 ody->export_size = 0;
834 ody->rebase_content =
835 ody->bind_content =
836 ody->weak_bind_content =
837 ody->lazy_bind_content =
838 ody->export_content = NULL;
841 break;
843 default:
844 /* That command should be handled. */
845 abort ();
848 /* Insert command. */
849 bfd_mach_o_append_command (obfd, ocmd);
852 return true;
855 /* This allows us to set up to 32 bits of flags (unless we invent some
856 fiendish scheme to subdivide). For now, we'll just set the file flags
857 without error checking - just overwrite. */
859 bool
860 bfd_mach_o_bfd_set_private_flags (bfd *abfd, flagword flags)
862 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
864 if (!mdata)
865 return false;
867 mdata->header.flags = flags;
868 return true;
871 /* Count the total number of symbols. */
873 static long
874 bfd_mach_o_count_symbols (bfd *abfd)
876 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
878 if (mdata->symtab == NULL)
879 return 0;
880 return mdata->symtab->nsyms;
883 long
884 bfd_mach_o_get_symtab_upper_bound (bfd *abfd)
886 long nsyms = bfd_mach_o_count_symbols (abfd);
888 return ((nsyms + 1) * sizeof (asymbol *));
891 long
892 bfd_mach_o_canonicalize_symtab (bfd *abfd, asymbol **alocation)
894 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
895 long nsyms = bfd_mach_o_count_symbols (abfd);
896 bfd_mach_o_symtab_command *sym = mdata->symtab;
897 unsigned long j;
899 if (nsyms < 0)
900 return nsyms;
902 if (nsyms == 0)
904 /* Do not try to read symbols if there are none. */
905 alocation[0] = NULL;
906 return 0;
909 if (!bfd_mach_o_read_symtab_symbols (abfd))
911 _bfd_error_handler
912 (_("bfd_mach_o_canonicalize_symtab: unable to load symbols"));
913 return 0;
916 BFD_ASSERT (sym->symbols != NULL);
918 for (j = 0; j < sym->nsyms; j++)
919 alocation[j] = &sym->symbols[j].symbol;
921 alocation[j] = NULL;
923 return nsyms;
926 /* Create synthetic symbols for indirect symbols. */
928 long
929 bfd_mach_o_get_synthetic_symtab (bfd *abfd,
930 long symcount ATTRIBUTE_UNUSED,
931 asymbol **syms ATTRIBUTE_UNUSED,
932 long dynsymcount ATTRIBUTE_UNUSED,
933 asymbol **dynsyms ATTRIBUTE_UNUSED,
934 asymbol **ret)
936 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
937 bfd_mach_o_dysymtab_command *dysymtab = mdata->dysymtab;
938 bfd_mach_o_symtab_command *symtab = mdata->symtab;
939 asymbol *s;
940 char * s_start;
941 unsigned long count, i, j, n;
942 size_t size;
943 char *names;
944 const char stub [] = "$stub";
946 *ret = NULL;
948 /* Stop now if no symbols or no indirect symbols. */
949 if (dysymtab == NULL || dysymtab->nindirectsyms == 0
950 || symtab == NULL || symtab->symbols == NULL)
951 return 0;
953 /* We need to allocate a bfd symbol for every indirect symbol and to
954 allocate the memory for its name. */
955 count = dysymtab->nindirectsyms;
956 size = 0;
957 for (j = 0; j < count; j++)
959 unsigned int isym = dysymtab->indirect_syms[j];
960 const char *str;
962 /* Some indirect symbols are anonymous. */
963 if (isym < symtab->nsyms
964 && (str = symtab->symbols[isym].symbol.name) != NULL)
966 /* PR 17512: file: f5b8eeba. */
967 size += strnlen (str, symtab->strsize - (str - symtab->strtab));
968 size += sizeof (stub);
972 s_start = bfd_malloc (size + count * sizeof (asymbol));
973 s = *ret = (asymbol *) s_start;
974 if (s == NULL)
975 return -1;
976 names = (char *) (s + count);
978 n = 0;
979 for (i = 0; i < mdata->nsects; i++)
981 bfd_mach_o_section *sec = mdata->sections[i];
982 unsigned int first, last;
983 bfd_vma addr;
984 unsigned int entry_size;
986 switch (sec->flags & BFD_MACH_O_SECTION_TYPE_MASK)
988 case BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS:
989 case BFD_MACH_O_S_LAZY_SYMBOL_POINTERS:
990 case BFD_MACH_O_S_SYMBOL_STUBS:
991 /* Only these sections have indirect symbols. */
992 first = sec->reserved1;
993 last = first + bfd_mach_o_section_get_nbr_indirect (abfd, sec);
994 addr = sec->addr;
995 entry_size = bfd_mach_o_section_get_entry_size (abfd, sec);
997 /* PR 17512: file: 08e15eec. */
998 if (first >= count || last > count || first > last)
999 goto fail;
1001 for (j = first; j < last; j++)
1003 unsigned int isym = dysymtab->indirect_syms[j];
1004 const char *str;
1005 size_t len;
1007 if (isym < symtab->nsyms
1008 && (str = symtab->symbols[isym].symbol.name) != NULL)
1010 /* PR 17512: file: 04d64d9b. */
1011 if (n >= count)
1012 goto fail;
1013 len = strnlen (str, symtab->strsize - (str - symtab->strtab));
1014 /* PR 17512: file: 47dfd4d2, 18f340a4. */
1015 if (size < len + sizeof (stub))
1016 goto fail;
1017 memcpy (names, str, len);
1018 memcpy (names + len, stub, sizeof (stub));
1019 s->name = names;
1020 names += len + sizeof (stub);
1021 size -= len + sizeof (stub);
1022 s->the_bfd = symtab->symbols[isym].symbol.the_bfd;
1023 s->flags = BSF_GLOBAL | BSF_SYNTHETIC;
1024 s->section = sec->bfdsection;
1025 s->value = addr - sec->addr;
1026 s->udata.p = NULL;
1027 s++;
1028 n++;
1030 addr += entry_size;
1032 break;
1033 default:
1034 break;
1038 return n;
1040 fail:
1041 free (s_start);
1042 * ret = NULL;
1043 return -1;
1046 void
1047 bfd_mach_o_get_symbol_info (bfd *abfd ATTRIBUTE_UNUSED,
1048 asymbol *symbol,
1049 symbol_info *ret)
1051 bfd_symbol_info (symbol, ret);
1054 void
1055 bfd_mach_o_print_symbol (bfd *abfd,
1056 void * afile,
1057 asymbol *symbol,
1058 bfd_print_symbol_type how)
1060 FILE *file = (FILE *) afile;
1061 const char *name;
1062 bfd_mach_o_asymbol *asym = (bfd_mach_o_asymbol *)symbol;
1064 switch (how)
1066 case bfd_print_symbol_name:
1067 fprintf (file, "%s", symbol->name);
1068 break;
1069 default:
1070 bfd_print_symbol_vandf (abfd, (void *) file, symbol);
1071 if (asym->n_type & BFD_MACH_O_N_STAB)
1072 name = bfd_get_stab_name (asym->n_type);
1073 else
1074 switch (asym->n_type & BFD_MACH_O_N_TYPE)
1076 case BFD_MACH_O_N_UNDF:
1077 if (symbol->value == 0)
1078 name = "UND";
1079 else
1080 name = "COM";
1081 break;
1082 case BFD_MACH_O_N_ABS:
1083 name = "ABS";
1084 break;
1085 case BFD_MACH_O_N_INDR:
1086 name = "INDR";
1087 break;
1088 case BFD_MACH_O_N_PBUD:
1089 name = "PBUD";
1090 break;
1091 case BFD_MACH_O_N_SECT:
1092 name = "SECT";
1093 break;
1094 default:
1095 name = "???";
1096 break;
1098 if (name == NULL)
1099 name = "";
1100 fprintf (file, " %02x %-6s %02x %04x",
1101 asym->n_type, name, asym->n_sect, asym->n_desc);
1102 if ((asym->n_type & BFD_MACH_O_N_STAB) == 0
1103 && (asym->n_type & BFD_MACH_O_N_TYPE) == BFD_MACH_O_N_SECT)
1104 fprintf (file, " [%s]", symbol->section->name);
1105 fprintf (file, " %s", symbol->name);
1109 static void
1110 bfd_mach_o_convert_architecture (bfd_mach_o_cpu_type mtype,
1111 bfd_mach_o_cpu_subtype msubtype,
1112 enum bfd_architecture *type,
1113 unsigned long *subtype)
1115 *subtype = bfd_arch_unknown;
1117 switch (mtype)
1119 case BFD_MACH_O_CPU_TYPE_VAX:
1120 *type = bfd_arch_vax;
1121 break;
1122 case BFD_MACH_O_CPU_TYPE_MC680x0:
1123 *type = bfd_arch_m68k;
1124 break;
1125 case BFD_MACH_O_CPU_TYPE_I386:
1126 *type = bfd_arch_i386;
1127 *subtype = bfd_mach_i386_i386;
1128 break;
1129 case BFD_MACH_O_CPU_TYPE_X86_64:
1130 *type = bfd_arch_i386;
1131 *subtype = bfd_mach_x86_64;
1132 break;
1133 case BFD_MACH_O_CPU_TYPE_MIPS:
1134 *type = bfd_arch_mips;
1135 break;
1136 case BFD_MACH_O_CPU_TYPE_MC98000:
1137 *type = bfd_arch_m98k;
1138 break;
1139 case BFD_MACH_O_CPU_TYPE_HPPA:
1140 *type = bfd_arch_hppa;
1141 break;
1142 case BFD_MACH_O_CPU_TYPE_ARM:
1143 *type = bfd_arch_arm;
1144 switch (msubtype)
1146 case BFD_MACH_O_CPU_SUBTYPE_ARM_V4T:
1147 *subtype = bfd_mach_arm_4T;
1148 break;
1149 case BFD_MACH_O_CPU_SUBTYPE_ARM_V6:
1150 *subtype = bfd_mach_arm_4T; /* Best fit ? */
1151 break;
1152 case BFD_MACH_O_CPU_SUBTYPE_ARM_V5TEJ:
1153 *subtype = bfd_mach_arm_5TE;
1154 break;
1155 case BFD_MACH_O_CPU_SUBTYPE_ARM_XSCALE:
1156 *subtype = bfd_mach_arm_XScale;
1157 break;
1158 case BFD_MACH_O_CPU_SUBTYPE_ARM_V7:
1159 *subtype = bfd_mach_arm_5TE; /* Best fit ? */
1160 break;
1161 case BFD_MACH_O_CPU_SUBTYPE_ARM_ALL:
1162 default:
1163 break;
1165 break;
1166 case BFD_MACH_O_CPU_TYPE_SPARC:
1167 *type = bfd_arch_sparc;
1168 *subtype = bfd_mach_sparc;
1169 break;
1170 case BFD_MACH_O_CPU_TYPE_ALPHA:
1171 *type = bfd_arch_alpha;
1172 break;
1173 case BFD_MACH_O_CPU_TYPE_POWERPC:
1174 *type = bfd_arch_powerpc;
1175 *subtype = bfd_mach_ppc;
1176 break;
1177 case BFD_MACH_O_CPU_TYPE_POWERPC_64:
1178 *type = bfd_arch_powerpc;
1179 *subtype = bfd_mach_ppc64;
1180 break;
1181 case BFD_MACH_O_CPU_TYPE_ARM64:
1182 *type = bfd_arch_aarch64;
1183 *subtype = bfd_mach_aarch64;
1184 break;
1185 default:
1186 *type = bfd_arch_unknown;
1187 break;
1191 /* Write n NUL bytes to ABFD so that LEN + n is a multiple of 4. Return the
1192 number of bytes written or -1 in case of error. */
1194 static int
1195 bfd_mach_o_pad4 (bfd *abfd, size_t len)
1197 if (len % 4 != 0)
1199 char pad[4] = {0,0,0,0};
1200 unsigned int padlen = 4 - (len % 4);
1202 if (bfd_bwrite (pad, padlen, abfd) != padlen)
1203 return -1;
1205 return padlen;
1207 else
1208 return 0;
1211 /* Likewise, but for a command. */
1213 static int
1214 bfd_mach_o_pad_command (bfd *abfd, size_t len)
1216 size_t align = bfd_mach_o_wide_p (abfd) ? 8 : 4;
1218 if (len % align != 0)
1220 char pad[8] = {0};
1221 size_t padlen = align - (len % align);
1223 if (bfd_bwrite (pad, padlen, abfd) != padlen)
1224 return -1;
1226 return padlen;
1228 else
1229 return 0;
1232 static bool
1233 bfd_mach_o_write_header (bfd *abfd, bfd_mach_o_header *header)
1235 struct mach_o_header_external raw;
1236 size_t size;
1238 size = mach_o_wide_p (header) ?
1239 BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
1241 bfd_h_put_32 (abfd, header->magic, raw.magic);
1242 bfd_h_put_32 (abfd, header->cputype, raw.cputype);
1243 bfd_h_put_32 (abfd, header->cpusubtype, raw.cpusubtype);
1244 bfd_h_put_32 (abfd, header->filetype, raw.filetype);
1245 bfd_h_put_32 (abfd, header->ncmds, raw.ncmds);
1246 bfd_h_put_32 (abfd, header->sizeofcmds, raw.sizeofcmds);
1247 bfd_h_put_32 (abfd, header->flags, raw.flags);
1249 if (mach_o_wide_p (header))
1250 bfd_h_put_32 (abfd, header->reserved, raw.reserved);
1252 if (bfd_seek (abfd, 0, SEEK_SET) != 0
1253 || bfd_bwrite (&raw, size, abfd) != size)
1254 return false;
1256 return true;
1259 static bool
1260 bfd_mach_o_write_thread (bfd *abfd, bfd_mach_o_load_command *command)
1262 bfd_mach_o_thread_command *cmd = &command->command.thread;
1263 unsigned int i;
1264 struct mach_o_thread_command_external raw;
1265 size_t offset;
1267 BFD_ASSERT ((command->type == BFD_MACH_O_LC_THREAD)
1268 || (command->type == BFD_MACH_O_LC_UNIXTHREAD));
1270 offset = BFD_MACH_O_LC_SIZE;
1271 for (i = 0; i < cmd->nflavours; i++)
1273 BFD_ASSERT ((cmd->flavours[i].size % 4) == 0);
1274 BFD_ASSERT (cmd->flavours[i].offset
1275 == command->offset + offset + BFD_MACH_O_LC_SIZE);
1277 bfd_h_put_32 (abfd, cmd->flavours[i].flavour, raw.flavour);
1278 bfd_h_put_32 (abfd, (cmd->flavours[i].size / 4), raw.count);
1280 if (bfd_seek (abfd, command->offset + offset, SEEK_SET) != 0
1281 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1282 return false;
1284 offset += cmd->flavours[i].size + sizeof (raw);
1287 return true;
1290 static bool
1291 bfd_mach_o_write_dylinker (bfd *abfd, bfd_mach_o_load_command *command)
1293 bfd_mach_o_dylinker_command *cmd = &command->command.dylinker;
1294 struct mach_o_str_command_external raw;
1295 size_t namelen;
1297 bfd_h_put_32 (abfd, cmd->name_offset, raw.str);
1299 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1300 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1301 return false;
1303 namelen = strlen (cmd->name_str) + 1;
1304 if (bfd_bwrite (cmd->name_str, namelen, abfd) != namelen)
1305 return false;
1307 if (bfd_mach_o_pad_command (abfd, namelen) < 0)
1308 return false;
1310 return true;
1313 static bool
1314 bfd_mach_o_write_dylib (bfd *abfd, bfd_mach_o_load_command *command)
1316 bfd_mach_o_dylib_command *cmd = &command->command.dylib;
1317 struct mach_o_dylib_command_external raw;
1318 size_t namelen;
1320 bfd_h_put_32 (abfd, cmd->name_offset, raw.name);
1321 bfd_h_put_32 (abfd, cmd->timestamp, raw.timestamp);
1322 bfd_h_put_32 (abfd, cmd->current_version, raw.current_version);
1323 bfd_h_put_32 (abfd, cmd->compatibility_version, raw.compatibility_version);
1325 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1326 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1327 return false;
1329 namelen = strlen (cmd->name_str) + 1;
1330 if (bfd_bwrite (cmd->name_str, namelen, abfd) != namelen)
1331 return false;
1333 if (bfd_mach_o_pad_command (abfd, namelen) < 0)
1334 return false;
1336 return true;
1339 static bool
1340 bfd_mach_o_write_main (bfd *abfd, bfd_mach_o_load_command *command)
1342 bfd_mach_o_main_command *cmd = &command->command.main;
1343 struct mach_o_entry_point_command_external raw;
1345 bfd_h_put_64 (abfd, cmd->entryoff, raw.entryoff);
1346 bfd_h_put_64 (abfd, cmd->stacksize, raw.stacksize);
1348 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1349 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1350 return false;
1352 return true;
1355 static bool
1356 bfd_mach_o_write_dyld_info (bfd *abfd, bfd_mach_o_load_command *command)
1358 bfd_mach_o_dyld_info_command *cmd = &command->command.dyld_info;
1359 struct mach_o_dyld_info_command_external raw;
1361 bfd_h_put_32 (abfd, cmd->rebase_off, raw.rebase_off);
1362 bfd_h_put_32 (abfd, cmd->rebase_size, raw.rebase_size);
1363 bfd_h_put_32 (abfd, cmd->bind_off, raw.bind_off);
1364 bfd_h_put_32 (abfd, cmd->bind_size, raw.bind_size);
1365 bfd_h_put_32 (abfd, cmd->weak_bind_off, raw.weak_bind_off);
1366 bfd_h_put_32 (abfd, cmd->weak_bind_size, raw.weak_bind_size);
1367 bfd_h_put_32 (abfd, cmd->lazy_bind_off, raw.lazy_bind_off);
1368 bfd_h_put_32 (abfd, cmd->lazy_bind_size, raw.lazy_bind_size);
1369 bfd_h_put_32 (abfd, cmd->export_off, raw.export_off);
1370 bfd_h_put_32 (abfd, cmd->export_size, raw.export_size);
1372 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1373 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1374 return false;
1376 if (cmd->rebase_size != 0)
1377 if (bfd_seek (abfd, cmd->rebase_off, SEEK_SET) != 0
1378 || (bfd_bwrite (cmd->rebase_content, cmd->rebase_size, abfd) !=
1379 cmd->rebase_size))
1380 return false;
1382 if (cmd->bind_size != 0)
1383 if (bfd_seek (abfd, cmd->bind_off, SEEK_SET) != 0
1384 || (bfd_bwrite (cmd->bind_content, cmd->bind_size, abfd) !=
1385 cmd->bind_size))
1386 return false;
1388 if (cmd->weak_bind_size != 0)
1389 if (bfd_seek (abfd, cmd->weak_bind_off, SEEK_SET) != 0
1390 || (bfd_bwrite (cmd->weak_bind_content, cmd->weak_bind_size, abfd) !=
1391 cmd->weak_bind_size))
1392 return false;
1394 if (cmd->lazy_bind_size != 0)
1395 if (bfd_seek (abfd, cmd->lazy_bind_off, SEEK_SET) != 0
1396 || (bfd_bwrite (cmd->lazy_bind_content, cmd->lazy_bind_size, abfd) !=
1397 cmd->lazy_bind_size))
1398 return false;
1400 if (cmd->export_size != 0)
1401 if (bfd_seek (abfd, cmd->export_off, SEEK_SET) != 0
1402 || (bfd_bwrite (cmd->export_content, cmd->export_size, abfd) !=
1403 cmd->export_size))
1404 return false;
1406 return true;
1409 long
1410 bfd_mach_o_get_reloc_upper_bound (bfd *abfd ATTRIBUTE_UNUSED,
1411 asection *asect)
1413 #if SIZEOF_LONG == SIZEOF_INT
1414 if (asect->reloc_count >= LONG_MAX / sizeof (arelent *))
1416 bfd_set_error (bfd_error_file_too_big);
1417 return -1;
1419 #endif
1420 return (asect->reloc_count + 1L) * sizeof (arelent *);
1423 /* In addition to the need to byte-swap the symbol number, the bit positions
1424 of the fields in the relocation information vary per target endian-ness. */
1426 void
1427 bfd_mach_o_swap_in_non_scattered_reloc (bfd *abfd, bfd_mach_o_reloc_info *rel,
1428 unsigned char *fields)
1430 unsigned char info = fields[3];
1432 if (bfd_big_endian (abfd))
1434 rel->r_value = (fields[0] << 16) | (fields[1] << 8) | fields[2];
1435 rel->r_type = (info >> BFD_MACH_O_BE_TYPE_SHIFT) & BFD_MACH_O_TYPE_MASK;
1436 rel->r_pcrel = (info & BFD_MACH_O_BE_PCREL) ? 1 : 0;
1437 rel->r_length = (info >> BFD_MACH_O_BE_LENGTH_SHIFT)
1438 & BFD_MACH_O_LENGTH_MASK;
1439 rel->r_extern = (info & BFD_MACH_O_BE_EXTERN) ? 1 : 0;
1441 else
1443 rel->r_value = (fields[2] << 16) | (fields[1] << 8) | fields[0];
1444 rel->r_type = (info >> BFD_MACH_O_LE_TYPE_SHIFT) & BFD_MACH_O_TYPE_MASK;
1445 rel->r_pcrel = (info & BFD_MACH_O_LE_PCREL) ? 1 : 0;
1446 rel->r_length = (info >> BFD_MACH_O_LE_LENGTH_SHIFT)
1447 & BFD_MACH_O_LENGTH_MASK;
1448 rel->r_extern = (info & BFD_MACH_O_LE_EXTERN) ? 1 : 0;
1452 /* Set syms_ptr_ptr and addend of RES. */
1454 bool
1455 bfd_mach_o_canonicalize_non_scattered_reloc (bfd *abfd,
1456 bfd_mach_o_reloc_info *reloc,
1457 arelent *res, asymbol **syms)
1459 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1460 unsigned int num;
1461 asymbol **sym;
1463 /* Non-scattered relocation. */
1464 reloc->r_scattered = 0;
1465 res->addend = 0;
1467 num = reloc->r_value;
1469 if (reloc->r_extern)
1471 /* PR 17512: file: 8396-1185-0.004. */
1472 if (num >= (unsigned) bfd_mach_o_count_symbols (abfd))
1473 sym = bfd_und_section_ptr->symbol_ptr_ptr;
1474 else if (syms == NULL)
1475 sym = bfd_und_section_ptr->symbol_ptr_ptr;
1476 else
1477 /* An external symbol number. */
1478 sym = syms + num;
1480 else if (num == 0x00ffffff || num == 0)
1482 /* The 'symnum' in a non-scattered PAIR is 0x00ffffff. But as this
1483 is generic code, we don't know wether this is really a PAIR.
1484 This value is almost certainly not a valid section number, hence
1485 this specific case to avoid an assertion failure.
1486 Target specific swap_reloc_in routine should adjust that. */
1487 sym = bfd_abs_section_ptr->symbol_ptr_ptr;
1489 else
1491 /* PR 17512: file: 006-2964-0.004. */
1492 if (num > mdata->nsects)
1494 _bfd_error_handler (_("\
1495 malformed mach-o reloc: section index is greater than the number of sections"));
1496 return false;
1499 /* A section number. */
1500 sym = mdata->sections[num - 1]->bfdsection->symbol_ptr_ptr;
1501 /* For a symbol defined in section S, the addend (stored in the
1502 binary) contains the address of the section. To comply with
1503 bfd convention, subtract the section address.
1504 Use the address from the header, so that the user can modify
1505 the vma of the section. */
1506 res->addend = -mdata->sections[num - 1]->addr;
1509 /* Note: Pairs for PPC LO/HI/HA are not scattered, but contain the offset
1510 in the lower 16bits of the address value. So we have to find the
1511 'symbol' from the preceding reloc. We do this even though the
1512 section symbol is probably not needed here, because NULL symbol
1513 values cause an assert in generic BFD code. This must be done in
1514 the PPC swap_reloc_in routine. */
1515 res->sym_ptr_ptr = sym;
1517 return true;
1520 /* Do most of the work for canonicalize_relocs on RAW: create internal
1521 representation RELOC and set most fields of RES using symbol table SYMS.
1522 Each target still has to set the howto of RES and possibly adjust other
1523 fields.
1524 Previously the Mach-O hook point was simply swap_in, but some targets
1525 (like arm64) don't follow the generic rules (symnum is a value for the
1526 non-scattered relocation ADDEND). */
1528 bool
1529 bfd_mach_o_pre_canonicalize_one_reloc (bfd *abfd,
1530 struct mach_o_reloc_info_external *raw,
1531 bfd_mach_o_reloc_info *reloc,
1532 arelent *res, asymbol **syms)
1534 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1535 bfd_vma addr;
1537 addr = bfd_get_32 (abfd, raw->r_address);
1538 res->sym_ptr_ptr = NULL;
1539 res->addend = 0;
1541 if (addr & BFD_MACH_O_SR_SCATTERED)
1543 unsigned int j;
1544 bfd_vma symnum = bfd_get_32 (abfd, raw->r_symbolnum);
1546 /* Scattered relocation, can't be extern. */
1547 reloc->r_scattered = 1;
1548 reloc->r_extern = 0;
1550 /* Extract section and offset from r_value (symnum). */
1551 reloc->r_value = symnum;
1552 /* FIXME: This breaks when a symbol in a reloc exactly follows the
1553 end of the data for the section (e.g. in a calculation of section
1554 data length). At present, the symbol will end up associated with
1555 the following section or, if it falls within alignment padding, as
1556 null - which will assert later. */
1557 for (j = 0; j < mdata->nsects; j++)
1559 bfd_mach_o_section *sect = mdata->sections[j];
1560 if (symnum >= sect->addr && symnum < sect->addr + sect->size)
1562 res->sym_ptr_ptr = sect->bfdsection->symbol_ptr_ptr;
1563 res->addend = symnum - sect->addr;
1564 break;
1568 /* Extract the info and address fields from r_address. */
1569 reloc->r_type = BFD_MACH_O_GET_SR_TYPE (addr);
1570 reloc->r_length = BFD_MACH_O_GET_SR_LENGTH (addr);
1571 reloc->r_pcrel = addr & BFD_MACH_O_SR_PCREL;
1572 reloc->r_address = BFD_MACH_O_GET_SR_TYPE (addr);
1573 res->address = BFD_MACH_O_GET_SR_ADDRESS (addr);
1575 else
1577 /* Non-scattered relocation. */
1578 reloc->r_scattered = 0;
1579 reloc->r_address = addr;
1580 res->address = addr;
1582 /* The value and info fields have to be extracted dependent on target
1583 endian-ness. */
1584 bfd_mach_o_swap_in_non_scattered_reloc (abfd, reloc, raw->r_symbolnum);
1586 if (!bfd_mach_o_canonicalize_non_scattered_reloc (abfd, reloc,
1587 res, syms))
1588 return false;
1591 /* We have set up a reloc with all the information present, so the swapper
1592 can modify address, value and addend fields, if necessary, to convey
1593 information in the generic BFD reloc that is mach-o specific. */
1595 return true;
1598 static int
1599 bfd_mach_o_canonicalize_relocs (bfd *abfd, unsigned long filepos,
1600 unsigned long count,
1601 arelent *res, asymbol **syms)
1603 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
1604 unsigned long i;
1605 struct mach_o_reloc_info_external *native_relocs = NULL;
1606 size_t native_size;
1608 /* Allocate and read relocs. */
1609 if (_bfd_mul_overflow (count, BFD_MACH_O_RELENT_SIZE, &native_size))
1610 /* PR 17512: file: 09477b57. */
1611 goto err;
1613 if (bfd_seek (abfd, filepos, SEEK_SET) != 0)
1614 return -1;
1615 native_relocs = (struct mach_o_reloc_info_external *)
1616 _bfd_malloc_and_read (abfd, native_size, native_size);
1617 if (native_relocs == NULL)
1618 return -1;
1620 for (i = 0; i < count; i++)
1622 if (!(*bed->_bfd_mach_o_canonicalize_one_reloc)(abfd, &native_relocs[i],
1623 &res[i], syms, res))
1624 goto err;
1626 free (native_relocs);
1627 return i;
1629 err:
1630 free (native_relocs);
1631 if (bfd_get_error () == bfd_error_no_error)
1632 bfd_set_error (bfd_error_invalid_operation);
1633 return -1;
1636 long
1637 bfd_mach_o_canonicalize_reloc (bfd *abfd, asection *asect,
1638 arelent **rels, asymbol **syms)
1640 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
1641 unsigned long i;
1642 arelent *res;
1644 if (asect->reloc_count == 0)
1645 return 0;
1647 /* No need to go further if we don't know how to read relocs. */
1648 if (bed->_bfd_mach_o_canonicalize_one_reloc == NULL)
1649 return 0;
1651 if (asect->relocation == NULL)
1653 size_t amt;
1655 if (_bfd_mul_overflow (asect->reloc_count, sizeof (arelent), &amt))
1656 return -1;
1657 res = bfd_malloc (amt);
1658 if (res == NULL)
1659 return -1;
1661 if (bfd_mach_o_canonicalize_relocs (abfd, asect->rel_filepos,
1662 asect->reloc_count, res, syms) < 0)
1664 free (res);
1665 return -1;
1667 asect->relocation = res;
1670 res = asect->relocation;
1671 for (i = 0; i < asect->reloc_count; i++)
1672 rels[i] = &res[i];
1673 rels[i] = NULL;
1675 return i;
1678 long
1679 bfd_mach_o_get_dynamic_reloc_upper_bound (bfd *abfd)
1681 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1683 if (mdata->dysymtab == NULL)
1684 return 1;
1685 return (mdata->dysymtab->nextrel + mdata->dysymtab->nlocrel + 1)
1686 * sizeof (arelent *);
1689 long
1690 bfd_mach_o_canonicalize_dynamic_reloc (bfd *abfd, arelent **rels,
1691 struct bfd_symbol **syms)
1693 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1694 bfd_mach_o_dysymtab_command *dysymtab = mdata->dysymtab;
1695 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
1696 unsigned long i;
1697 arelent *res;
1699 if (dysymtab == NULL)
1700 return 0;
1701 if (dysymtab->nextrel == 0 && dysymtab->nlocrel == 0)
1702 return 0;
1704 /* No need to go further if we don't know how to read relocs. */
1705 if (bed->_bfd_mach_o_canonicalize_one_reloc == NULL)
1706 return 0;
1708 if (mdata->dyn_reloc_cache == NULL)
1710 ufile_ptr filesize = bfd_get_file_size (abfd);
1711 size_t amt;
1713 if (filesize != 0)
1715 if (dysymtab->extreloff > filesize
1716 || dysymtab->nextrel > ((filesize - dysymtab->extreloff)
1717 / BFD_MACH_O_RELENT_SIZE)
1718 || dysymtab->locreloff > filesize
1719 || dysymtab->nlocrel > ((filesize - dysymtab->locreloff)
1720 / BFD_MACH_O_RELENT_SIZE))
1722 bfd_set_error (bfd_error_file_truncated);
1723 return -1;
1726 if (_bfd_mul_overflow (dysymtab->nextrel + dysymtab->nlocrel,
1727 sizeof (arelent), &amt))
1729 bfd_set_error (bfd_error_file_too_big);
1730 return -1;
1733 res = bfd_malloc (amt);
1734 if (res == NULL)
1735 return -1;
1737 if (bfd_mach_o_canonicalize_relocs (abfd, dysymtab->extreloff,
1738 dysymtab->nextrel, res, syms) < 0)
1740 free (res);
1741 return -1;
1744 if (bfd_mach_o_canonicalize_relocs (abfd, dysymtab->locreloff,
1745 dysymtab->nlocrel,
1746 res + dysymtab->nextrel, syms) < 0)
1748 free (res);
1749 return -1;
1752 mdata->dyn_reloc_cache = res;
1755 res = mdata->dyn_reloc_cache;
1756 for (i = 0; i < dysymtab->nextrel + dysymtab->nlocrel; i++)
1757 rels[i] = &res[i];
1758 rels[i] = NULL;
1759 return i;
1762 /* In addition to the need to byte-swap the symbol number, the bit positions
1763 of the fields in the relocation information vary per target endian-ness. */
1765 static void
1766 bfd_mach_o_swap_out_non_scattered_reloc (bfd *abfd, unsigned char *fields,
1767 bfd_mach_o_reloc_info *rel)
1769 unsigned char info = 0;
1771 BFD_ASSERT (rel->r_type <= 15);
1772 BFD_ASSERT (rel->r_length <= 3);
1774 if (bfd_big_endian (abfd))
1776 fields[0] = (rel->r_value >> 16) & 0xff;
1777 fields[1] = (rel->r_value >> 8) & 0xff;
1778 fields[2] = rel->r_value & 0xff;
1779 info |= rel->r_type << BFD_MACH_O_BE_TYPE_SHIFT;
1780 info |= rel->r_pcrel ? BFD_MACH_O_BE_PCREL : 0;
1781 info |= rel->r_length << BFD_MACH_O_BE_LENGTH_SHIFT;
1782 info |= rel->r_extern ? BFD_MACH_O_BE_EXTERN : 0;
1784 else
1786 fields[2] = (rel->r_value >> 16) & 0xff;
1787 fields[1] = (rel->r_value >> 8) & 0xff;
1788 fields[0] = rel->r_value & 0xff;
1789 info |= rel->r_type << BFD_MACH_O_LE_TYPE_SHIFT;
1790 info |= rel->r_pcrel ? BFD_MACH_O_LE_PCREL : 0;
1791 info |= rel->r_length << BFD_MACH_O_LE_LENGTH_SHIFT;
1792 info |= rel->r_extern ? BFD_MACH_O_LE_EXTERN : 0;
1794 fields[3] = info;
1797 static bool
1798 bfd_mach_o_write_relocs (bfd *abfd, bfd_mach_o_section *section)
1800 unsigned int i;
1801 arelent **entries;
1802 asection *sec;
1803 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
1805 sec = section->bfdsection;
1806 if (sec->reloc_count == 0)
1807 return true;
1809 if (bed->_bfd_mach_o_swap_reloc_out == NULL)
1810 return true;
1812 if (bfd_seek (abfd, section->reloff, SEEK_SET) != 0)
1813 return false;
1815 /* Convert and write. */
1816 entries = section->bfdsection->orelocation;
1817 for (i = 0; i < section->nreloc; i++)
1819 arelent *rel = entries[i];
1820 struct mach_o_reloc_info_external raw;
1821 bfd_mach_o_reloc_info info, *pinfo = &info;
1823 /* Convert relocation to an intermediate representation. */
1824 if (!(*bed->_bfd_mach_o_swap_reloc_out) (rel, pinfo))
1825 return false;
1827 /* Lower the relocation info. */
1828 if (pinfo->r_scattered)
1830 unsigned long v;
1832 v = BFD_MACH_O_SR_SCATTERED
1833 | (pinfo->r_pcrel ? BFD_MACH_O_SR_PCREL : 0)
1834 | BFD_MACH_O_SET_SR_LENGTH (pinfo->r_length)
1835 | BFD_MACH_O_SET_SR_TYPE (pinfo->r_type)
1836 | BFD_MACH_O_SET_SR_ADDRESS (pinfo->r_address);
1837 /* Note: scattered relocs have field in reverse order... */
1838 bfd_put_32 (abfd, v, raw.r_address);
1839 bfd_put_32 (abfd, pinfo->r_value, raw.r_symbolnum);
1841 else
1843 bfd_put_32 (abfd, pinfo->r_address, raw.r_address);
1844 bfd_mach_o_swap_out_non_scattered_reloc (abfd, raw.r_symbolnum,
1845 pinfo);
1848 if (bfd_bwrite (&raw, BFD_MACH_O_RELENT_SIZE, abfd)
1849 != BFD_MACH_O_RELENT_SIZE)
1850 return false;
1852 return true;
1855 static bool
1856 bfd_mach_o_write_section_32 (bfd *abfd, bfd_mach_o_section *section)
1858 struct mach_o_section_32_external raw;
1860 memcpy (raw.sectname, section->sectname, 16);
1861 memcpy (raw.segname, section->segname, 16);
1862 bfd_h_put_32 (abfd, section->addr, raw.addr);
1863 bfd_h_put_32 (abfd, section->size, raw.size);
1864 bfd_h_put_32 (abfd, section->offset, raw.offset);
1865 bfd_h_put_32 (abfd, section->align, raw.align);
1866 bfd_h_put_32 (abfd, section->reloff, raw.reloff);
1867 bfd_h_put_32 (abfd, section->nreloc, raw.nreloc);
1868 bfd_h_put_32 (abfd, section->flags, raw.flags);
1869 bfd_h_put_32 (abfd, section->reserved1, raw.reserved1);
1870 bfd_h_put_32 (abfd, section->reserved2, raw.reserved2);
1872 if (bfd_bwrite (&raw, BFD_MACH_O_SECTION_SIZE, abfd)
1873 != BFD_MACH_O_SECTION_SIZE)
1874 return false;
1876 return true;
1879 static bool
1880 bfd_mach_o_write_section_64 (bfd *abfd, bfd_mach_o_section *section)
1882 struct mach_o_section_64_external raw;
1884 memcpy (raw.sectname, section->sectname, 16);
1885 memcpy (raw.segname, section->segname, 16);
1886 bfd_h_put_64 (abfd, section->addr, raw.addr);
1887 bfd_h_put_64 (abfd, section->size, raw.size);
1888 bfd_h_put_32 (abfd, section->offset, raw.offset);
1889 bfd_h_put_32 (abfd, section->align, raw.align);
1890 bfd_h_put_32 (abfd, section->reloff, raw.reloff);
1891 bfd_h_put_32 (abfd, section->nreloc, raw.nreloc);
1892 bfd_h_put_32 (abfd, section->flags, raw.flags);
1893 bfd_h_put_32 (abfd, section->reserved1, raw.reserved1);
1894 bfd_h_put_32 (abfd, section->reserved2, raw.reserved2);
1895 bfd_h_put_32 (abfd, section->reserved3, raw.reserved3);
1897 if (bfd_bwrite (&raw, BFD_MACH_O_SECTION_64_SIZE, abfd)
1898 != BFD_MACH_O_SECTION_64_SIZE)
1899 return false;
1901 return true;
1904 static bool
1905 bfd_mach_o_write_segment_32 (bfd *abfd, bfd_mach_o_load_command *command)
1907 struct mach_o_segment_command_32_external raw;
1908 bfd_mach_o_segment_command *seg = &command->command.segment;
1909 bfd_mach_o_section *sec;
1911 BFD_ASSERT (command->type == BFD_MACH_O_LC_SEGMENT);
1913 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
1914 if (!bfd_mach_o_write_relocs (abfd, sec))
1915 return false;
1917 memcpy (raw.segname, seg->segname, 16);
1918 bfd_h_put_32 (abfd, seg->vmaddr, raw.vmaddr);
1919 bfd_h_put_32 (abfd, seg->vmsize, raw.vmsize);
1920 bfd_h_put_32 (abfd, seg->fileoff, raw.fileoff);
1921 bfd_h_put_32 (abfd, seg->filesize, raw.filesize);
1922 bfd_h_put_32 (abfd, seg->maxprot, raw.maxprot);
1923 bfd_h_put_32 (abfd, seg->initprot, raw.initprot);
1924 bfd_h_put_32 (abfd, seg->nsects, raw.nsects);
1925 bfd_h_put_32 (abfd, seg->flags, raw.flags);
1927 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1928 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1929 return false;
1931 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
1932 if (!bfd_mach_o_write_section_32 (abfd, sec))
1933 return false;
1935 return true;
1938 static bool
1939 bfd_mach_o_write_segment_64 (bfd *abfd, bfd_mach_o_load_command *command)
1941 struct mach_o_segment_command_64_external raw;
1942 bfd_mach_o_segment_command *seg = &command->command.segment;
1943 bfd_mach_o_section *sec;
1945 BFD_ASSERT (command->type == BFD_MACH_O_LC_SEGMENT_64);
1947 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
1948 if (!bfd_mach_o_write_relocs (abfd, sec))
1949 return false;
1951 memcpy (raw.segname, seg->segname, 16);
1952 bfd_h_put_64 (abfd, seg->vmaddr, raw.vmaddr);
1953 bfd_h_put_64 (abfd, seg->vmsize, raw.vmsize);
1954 bfd_h_put_64 (abfd, seg->fileoff, raw.fileoff);
1955 bfd_h_put_64 (abfd, seg->filesize, raw.filesize);
1956 bfd_h_put_32 (abfd, seg->maxprot, raw.maxprot);
1957 bfd_h_put_32 (abfd, seg->initprot, raw.initprot);
1958 bfd_h_put_32 (abfd, seg->nsects, raw.nsects);
1959 bfd_h_put_32 (abfd, seg->flags, raw.flags);
1961 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1962 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1963 return false;
1965 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
1966 if (!bfd_mach_o_write_section_64 (abfd, sec))
1967 return false;
1969 return true;
1972 static bool
1973 bfd_mach_o_write_symtab_content (bfd *abfd, bfd_mach_o_symtab_command *sym)
1975 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1976 unsigned long i;
1977 unsigned int wide = bfd_mach_o_wide_p (abfd);
1978 struct bfd_strtab_hash *strtab;
1979 asymbol **symbols = bfd_get_outsymbols (abfd);
1980 int padlen;
1982 /* Write the symbols first. */
1983 if (bfd_seek (abfd, sym->symoff, SEEK_SET) != 0)
1984 return false;
1986 strtab = _bfd_stringtab_init ();
1987 if (strtab == NULL)
1988 return false;
1990 if (sym->nsyms > 0)
1991 /* Although we don't strictly need to do this, for compatibility with
1992 Darwin system tools, actually output an empty string for the index
1993 0 entry. */
1994 _bfd_stringtab_add (strtab, "", true, false);
1996 for (i = 0; i < sym->nsyms; i++)
1998 bfd_size_type str_index;
1999 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2001 if (s->symbol.name == 0 || s->symbol.name[0] == '\0')
2002 /* An index of 0 always means the empty string. */
2003 str_index = 0;
2004 else
2006 str_index = _bfd_stringtab_add (strtab, s->symbol.name, true, false);
2008 if (str_index == (bfd_size_type) -1)
2009 goto err;
2012 if (wide)
2014 struct mach_o_nlist_64_external raw;
2016 bfd_h_put_32 (abfd, str_index, raw.n_strx);
2017 bfd_h_put_8 (abfd, s->n_type, raw.n_type);
2018 bfd_h_put_8 (abfd, s->n_sect, raw.n_sect);
2019 bfd_h_put_16 (abfd, s->n_desc, raw.n_desc);
2020 bfd_h_put_64 (abfd, s->symbol.section->vma + s->symbol.value,
2021 raw.n_value);
2023 if (bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
2024 goto err;
2026 else
2028 struct mach_o_nlist_external raw;
2030 bfd_h_put_32 (abfd, str_index, raw.n_strx);
2031 bfd_h_put_8 (abfd, s->n_type, raw.n_type);
2032 bfd_h_put_8 (abfd, s->n_sect, raw.n_sect);
2033 bfd_h_put_16 (abfd, s->n_desc, raw.n_desc);
2034 bfd_h_put_32 (abfd, s->symbol.section->vma + s->symbol.value,
2035 raw.n_value);
2037 if (bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
2038 goto err;
2041 sym->strsize = _bfd_stringtab_size (strtab);
2042 sym->stroff = mdata->filelen;
2043 mdata->filelen += sym->strsize;
2045 if (bfd_seek (abfd, sym->stroff, SEEK_SET) != 0)
2046 goto err;
2048 if (!_bfd_stringtab_emit (abfd, strtab))
2049 goto err;
2051 /* Pad string table. */
2052 padlen = bfd_mach_o_pad4 (abfd, sym->strsize);
2053 if (padlen < 0)
2054 return false;
2055 mdata->filelen += padlen;
2056 sym->strsize += padlen;
2058 return true;
2060 err:
2061 _bfd_stringtab_free (strtab);
2062 sym->strsize = 0;
2063 return false;
2066 static bool
2067 bfd_mach_o_write_symtab (bfd *abfd, bfd_mach_o_load_command *command)
2069 bfd_mach_o_symtab_command *sym = &command->command.symtab;
2070 struct mach_o_symtab_command_external raw;
2072 BFD_ASSERT (command->type == BFD_MACH_O_LC_SYMTAB);
2074 /* The command. */
2075 bfd_h_put_32 (abfd, sym->symoff, raw.symoff);
2076 bfd_h_put_32 (abfd, sym->nsyms, raw.nsyms);
2077 bfd_h_put_32 (abfd, sym->stroff, raw.stroff);
2078 bfd_h_put_32 (abfd, sym->strsize, raw.strsize);
2080 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
2081 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
2082 return false;
2084 return true;
2087 /* Count the number of indirect symbols in the image.
2088 Requires that the sections are in their final order. */
2090 static unsigned int
2091 bfd_mach_o_count_indirect_symbols (bfd *abfd, bfd_mach_o_data_struct *mdata)
2093 unsigned int i;
2094 unsigned int nisyms = 0;
2096 for (i = 0; i < mdata->nsects; ++i)
2098 bfd_mach_o_section *sec = mdata->sections[i];
2100 switch (sec->flags & BFD_MACH_O_SECTION_TYPE_MASK)
2102 case BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS:
2103 case BFD_MACH_O_S_LAZY_SYMBOL_POINTERS:
2104 case BFD_MACH_O_S_SYMBOL_STUBS:
2105 nisyms += bfd_mach_o_section_get_nbr_indirect (abfd, sec);
2106 break;
2107 default:
2108 break;
2111 return nisyms;
2114 /* Create the dysymtab. */
2116 static bool
2117 bfd_mach_o_build_dysymtab (bfd *abfd, bfd_mach_o_dysymtab_command *cmd)
2119 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2121 /* TODO:
2122 We are not going to try and fill these in yet and, moreover, we are
2123 going to bail if they are already set. */
2124 if (cmd->nmodtab != 0
2125 || cmd->ntoc != 0
2126 || cmd->nextrefsyms != 0)
2128 _bfd_error_handler (_("sorry: modtab, toc and extrefsyms are not yet"
2129 " implemented for dysymtab commands."));
2130 return false;
2133 cmd->ilocalsym = 0;
2135 if (bfd_get_symcount (abfd) > 0)
2137 asymbol **symbols = bfd_get_outsymbols (abfd);
2138 unsigned long i;
2140 /* Count the number of each kind of symbol. */
2141 for (i = 0; i < bfd_get_symcount (abfd); ++i)
2143 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2144 if (s->n_type & (BFD_MACH_O_N_EXT | BFD_MACH_O_N_PEXT))
2145 break;
2147 cmd->nlocalsym = i;
2148 cmd->iextdefsym = i;
2149 for (; i < bfd_get_symcount (abfd); ++i)
2151 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2152 if ((s->n_type & BFD_MACH_O_N_TYPE) == BFD_MACH_O_N_UNDF)
2153 break;
2155 cmd->nextdefsym = i - cmd->nlocalsym;
2156 cmd->iundefsym = cmd->nextdefsym + cmd->iextdefsym;
2157 cmd->nundefsym = bfd_get_symcount (abfd)
2158 - cmd->nlocalsym
2159 - cmd->nextdefsym;
2161 else
2163 cmd->nlocalsym = 0;
2164 cmd->iextdefsym = 0;
2165 cmd->nextdefsym = 0;
2166 cmd->iundefsym = 0;
2167 cmd->nundefsym = 0;
2170 cmd->nindirectsyms = bfd_mach_o_count_indirect_symbols (abfd, mdata);
2171 if (cmd->nindirectsyms > 0)
2173 unsigned i;
2174 unsigned n;
2175 size_t amt;
2177 mdata->filelen = FILE_ALIGN (mdata->filelen, 2);
2178 cmd->indirectsymoff = mdata->filelen;
2179 if (_bfd_mul_overflow (cmd->nindirectsyms, 4, &amt))
2180 return false;
2181 mdata->filelen += amt;
2183 cmd->indirect_syms = bfd_zalloc (abfd, amt);
2184 if (cmd->indirect_syms == NULL)
2185 return false;
2187 n = 0;
2188 for (i = 0; i < mdata->nsects; ++i)
2190 bfd_mach_o_section *sec = mdata->sections[i];
2192 switch (sec->flags & BFD_MACH_O_SECTION_TYPE_MASK)
2194 case BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS:
2195 case BFD_MACH_O_S_LAZY_SYMBOL_POINTERS:
2196 case BFD_MACH_O_S_SYMBOL_STUBS:
2198 unsigned j, num;
2199 bfd_mach_o_asymbol **isyms = sec->indirect_syms;
2201 num = bfd_mach_o_section_get_nbr_indirect (abfd, sec);
2202 if (isyms == NULL || num == 0)
2203 break;
2204 /* Record the starting index in the reserved1 field. */
2205 sec->reserved1 = n;
2206 for (j = 0; j < num; j++, n++)
2208 if (isyms[j] == NULL)
2209 cmd->indirect_syms[n] = BFD_MACH_O_INDIRECT_SYM_LOCAL;
2210 else if (isyms[j]->symbol.section == bfd_abs_section_ptr
2211 && ! (isyms[j]->n_type & BFD_MACH_O_N_EXT))
2212 cmd->indirect_syms[n] = BFD_MACH_O_INDIRECT_SYM_LOCAL
2213 | BFD_MACH_O_INDIRECT_SYM_ABS;
2214 else
2215 cmd->indirect_syms[n] = isyms[j]->symbol.udata.i;
2218 break;
2219 default:
2220 break;
2225 return true;
2228 /* Write a dysymtab command.
2229 TODO: Possibly coalesce writes of smaller objects. */
2231 static bool
2232 bfd_mach_o_write_dysymtab (bfd *abfd, bfd_mach_o_load_command *command)
2234 bfd_mach_o_dysymtab_command *cmd = &command->command.dysymtab;
2236 BFD_ASSERT (command->type == BFD_MACH_O_LC_DYSYMTAB);
2238 if (cmd->nmodtab != 0)
2240 unsigned int i;
2242 if (bfd_seek (abfd, cmd->modtaboff, SEEK_SET) != 0)
2243 return false;
2245 for (i = 0; i < cmd->nmodtab; i++)
2247 bfd_mach_o_dylib_module *module = &cmd->dylib_module[i];
2248 unsigned int iinit;
2249 unsigned int ninit;
2251 iinit = module->iinit & 0xffff;
2252 iinit |= ((module->iterm & 0xffff) << 16);
2254 ninit = module->ninit & 0xffff;
2255 ninit |= ((module->nterm & 0xffff) << 16);
2257 if (bfd_mach_o_wide_p (abfd))
2259 struct mach_o_dylib_module_64_external w;
2261 bfd_h_put_32 (abfd, module->module_name_idx, &w.module_name);
2262 bfd_h_put_32 (abfd, module->iextdefsym, &w.iextdefsym);
2263 bfd_h_put_32 (abfd, module->nextdefsym, &w.nextdefsym);
2264 bfd_h_put_32 (abfd, module->irefsym, &w.irefsym);
2265 bfd_h_put_32 (abfd, module->nrefsym, &w.nrefsym);
2266 bfd_h_put_32 (abfd, module->ilocalsym, &w.ilocalsym);
2267 bfd_h_put_32 (abfd, module->nlocalsym, &w.nlocalsym);
2268 bfd_h_put_32 (abfd, module->iextrel, &w.iextrel);
2269 bfd_h_put_32 (abfd, module->nextrel, &w.nextrel);
2270 bfd_h_put_32 (abfd, iinit, &w.iinit_iterm);
2271 bfd_h_put_32 (abfd, ninit, &w.ninit_nterm);
2272 bfd_h_put_64 (abfd, module->objc_module_info_addr,
2273 &w.objc_module_info_addr);
2274 bfd_h_put_32 (abfd, module->objc_module_info_size,
2275 &w.objc_module_info_size);
2277 if (bfd_bwrite ((void *) &w, sizeof (w), abfd) != sizeof (w))
2278 return false;
2280 else
2282 struct mach_o_dylib_module_external n;
2284 bfd_h_put_32 (abfd, module->module_name_idx, &n.module_name);
2285 bfd_h_put_32 (abfd, module->iextdefsym, &n.iextdefsym);
2286 bfd_h_put_32 (abfd, module->nextdefsym, &n.nextdefsym);
2287 bfd_h_put_32 (abfd, module->irefsym, &n.irefsym);
2288 bfd_h_put_32 (abfd, module->nrefsym, &n.nrefsym);
2289 bfd_h_put_32 (abfd, module->ilocalsym, &n.ilocalsym);
2290 bfd_h_put_32 (abfd, module->nlocalsym, &n.nlocalsym);
2291 bfd_h_put_32 (abfd, module->iextrel, &n.iextrel);
2292 bfd_h_put_32 (abfd, module->nextrel, &n.nextrel);
2293 bfd_h_put_32 (abfd, iinit, &n.iinit_iterm);
2294 bfd_h_put_32 (abfd, ninit, &n.ninit_nterm);
2295 bfd_h_put_32 (abfd, module->objc_module_info_addr,
2296 &n.objc_module_info_addr);
2297 bfd_h_put_32 (abfd, module->objc_module_info_size,
2298 &n.objc_module_info_size);
2300 if (bfd_bwrite ((void *) &n, sizeof (n), abfd) != sizeof (n))
2301 return false;
2306 if (cmd->ntoc != 0)
2308 unsigned int i;
2310 if (bfd_seek (abfd, cmd->tocoff, SEEK_SET) != 0)
2311 return false;
2313 for (i = 0; i < cmd->ntoc; i++)
2315 struct mach_o_dylib_table_of_contents_external raw;
2316 bfd_mach_o_dylib_table_of_content *toc = &cmd->dylib_toc[i];
2318 bfd_h_put_32 (abfd, toc->symbol_index, &raw.symbol_index);
2319 bfd_h_put_32 (abfd, toc->module_index, &raw.module_index);
2321 if (bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
2322 return false;
2326 if (cmd->nindirectsyms > 0)
2328 unsigned int i;
2330 if (bfd_seek (abfd, cmd->indirectsymoff, SEEK_SET) != 0)
2331 return false;
2333 for (i = 0; i < cmd->nindirectsyms; ++i)
2335 unsigned char raw[4];
2337 bfd_h_put_32 (abfd, cmd->indirect_syms[i], &raw);
2338 if (bfd_bwrite (raw, sizeof (raw), abfd) != sizeof (raw))
2339 return false;
2343 if (cmd->nextrefsyms != 0)
2345 unsigned int i;
2347 if (bfd_seek (abfd, cmd->extrefsymoff, SEEK_SET) != 0)
2348 return false;
2350 for (i = 0; i < cmd->nextrefsyms; i++)
2352 unsigned long v;
2353 unsigned char raw[4];
2354 bfd_mach_o_dylib_reference *ref = &cmd->ext_refs[i];
2356 /* Fields isym and flags are written as bit-fields, thus we need
2357 a specific processing for endianness. */
2359 if (bfd_big_endian (abfd))
2361 v = ((ref->isym & 0xffffff) << 8);
2362 v |= ref->flags & 0xff;
2364 else
2366 v = ref->isym & 0xffffff;
2367 v |= ((ref->flags & 0xff) << 24);
2370 bfd_h_put_32 (abfd, v, raw);
2371 if (bfd_bwrite (raw, sizeof (raw), abfd) != sizeof (raw))
2372 return false;
2376 /* The command. */
2377 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0)
2378 return false;
2379 else
2381 struct mach_o_dysymtab_command_external raw;
2383 bfd_h_put_32 (abfd, cmd->ilocalsym, &raw.ilocalsym);
2384 bfd_h_put_32 (abfd, cmd->nlocalsym, &raw.nlocalsym);
2385 bfd_h_put_32 (abfd, cmd->iextdefsym, &raw.iextdefsym);
2386 bfd_h_put_32 (abfd, cmd->nextdefsym, &raw.nextdefsym);
2387 bfd_h_put_32 (abfd, cmd->iundefsym, &raw.iundefsym);
2388 bfd_h_put_32 (abfd, cmd->nundefsym, &raw.nundefsym);
2389 bfd_h_put_32 (abfd, cmd->tocoff, &raw.tocoff);
2390 bfd_h_put_32 (abfd, cmd->ntoc, &raw.ntoc);
2391 bfd_h_put_32 (abfd, cmd->modtaboff, &raw.modtaboff);
2392 bfd_h_put_32 (abfd, cmd->nmodtab, &raw.nmodtab);
2393 bfd_h_put_32 (abfd, cmd->extrefsymoff, &raw.extrefsymoff);
2394 bfd_h_put_32 (abfd, cmd->nextrefsyms, &raw.nextrefsyms);
2395 bfd_h_put_32 (abfd, cmd->indirectsymoff, &raw.indirectsymoff);
2396 bfd_h_put_32 (abfd, cmd->nindirectsyms, &raw.nindirectsyms);
2397 bfd_h_put_32 (abfd, cmd->extreloff, &raw.extreloff);
2398 bfd_h_put_32 (abfd, cmd->nextrel, &raw.nextrel);
2399 bfd_h_put_32 (abfd, cmd->locreloff, &raw.locreloff);
2400 bfd_h_put_32 (abfd, cmd->nlocrel, &raw.nlocrel);
2402 if (bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
2403 return false;
2406 return true;
2409 static unsigned
2410 bfd_mach_o_primary_symbol_sort_key (bfd_mach_o_asymbol *s)
2412 unsigned mtyp = s->n_type & BFD_MACH_O_N_TYPE;
2414 /* Just leave debug symbols where they are (pretend they are local, and
2415 then they will just be sorted on position). */
2416 if (s->n_type & BFD_MACH_O_N_STAB)
2417 return 0;
2419 /* Local (we should never see an undefined local AFAICT). */
2420 if (! (s->n_type & (BFD_MACH_O_N_EXT | BFD_MACH_O_N_PEXT)))
2421 return 0;
2423 /* Common symbols look like undefined externs. */
2424 if (mtyp == BFD_MACH_O_N_UNDF)
2425 return 2;
2427 /* A defined non-local, non-debug symbol. */
2428 return 1;
2431 static int
2432 bfd_mach_o_cf_symbols (const void *a, const void *b)
2434 bfd_mach_o_asymbol *sa = *(bfd_mach_o_asymbol **) a;
2435 bfd_mach_o_asymbol *sb = *(bfd_mach_o_asymbol **) b;
2436 unsigned int soa, sob;
2438 soa = bfd_mach_o_primary_symbol_sort_key (sa);
2439 sob = bfd_mach_o_primary_symbol_sort_key (sb);
2440 if (soa < sob)
2441 return -1;
2443 if (soa > sob)
2444 return 1;
2446 /* If it's local or stab, just preserve the input order. */
2447 if (soa == 0)
2449 if (sa->symbol.udata.i < sb->symbol.udata.i)
2450 return -1;
2451 if (sa->symbol.udata.i > sb->symbol.udata.i)
2452 return 1;
2454 /* This is probably an error. */
2455 return 0;
2458 /* The second sort key is name. */
2459 return strcmp (sa->symbol.name, sb->symbol.name);
2462 /* Process the symbols.
2464 This should be OK for single-module files - but it is not likely to work
2465 for multi-module shared libraries.
2467 (a) If the application has not filled in the relevant mach-o fields, make
2468 an estimate.
2470 (b) Order them, like this:
2471 ( i) local.
2472 (unsorted)
2473 ( ii) external defined
2474 (by name)
2475 (iii) external undefined/common
2476 (by name)
2477 ( iv) common
2478 (by name)
2481 static bool
2482 bfd_mach_o_mangle_symbols (bfd *abfd)
2484 unsigned long i;
2485 asymbol **symbols = bfd_get_outsymbols (abfd);
2487 if (symbols == NULL || bfd_get_symcount (abfd) == 0)
2488 return true;
2490 for (i = 0; i < bfd_get_symcount (abfd); i++)
2492 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2494 /* We use this value, which is out-of-range as a symbol index, to signal
2495 that the mach-o-specific data are not filled in and need to be created
2496 from the bfd values. It is much preferable for the application to do
2497 this, since more meaningful diagnostics can be made that way. */
2499 if (s->symbol.udata.i == SYM_MACHO_FIELDS_UNSET)
2501 /* No symbol information has been set - therefore determine
2502 it from the bfd symbol flags/info. */
2503 if (s->symbol.section == bfd_abs_section_ptr)
2504 s->n_type = BFD_MACH_O_N_ABS;
2505 else if (s->symbol.section == bfd_und_section_ptr)
2507 s->n_type = BFD_MACH_O_N_UNDF;
2508 if (s->symbol.flags & BSF_WEAK)
2509 s->n_desc |= BFD_MACH_O_N_WEAK_REF;
2510 /* mach-o automatically makes undefined symbols extern. */
2511 s->n_type |= BFD_MACH_O_N_EXT;
2512 s->symbol.flags |= BSF_GLOBAL;
2514 else if (s->symbol.section == bfd_com_section_ptr)
2516 s->n_type = BFD_MACH_O_N_UNDF | BFD_MACH_O_N_EXT;
2517 s->symbol.flags |= BSF_GLOBAL;
2519 else
2520 s->n_type = BFD_MACH_O_N_SECT;
2523 /* Update external symbol bit in case objcopy changed it. */
2524 if (s->symbol.flags & BSF_GLOBAL)
2525 s->n_type |= BFD_MACH_O_N_EXT;
2526 else
2527 s->n_type &= ~BFD_MACH_O_N_EXT;
2529 /* Put the section index in, where required. */
2530 if ((s->symbol.section != bfd_abs_section_ptr
2531 && s->symbol.section != bfd_und_section_ptr
2532 && s->symbol.section != bfd_com_section_ptr)
2533 || ((s->n_type & BFD_MACH_O_N_STAB) != 0
2534 && s->symbol.name == NULL))
2535 s->n_sect = s->symbol.section->output_section->target_index;
2537 /* Number to preserve order for local and debug syms. */
2538 s->symbol.udata.i = i;
2541 /* Sort the symbols. */
2542 qsort ((void *) symbols, (size_t) bfd_get_symcount (abfd),
2543 sizeof (asymbol *), bfd_mach_o_cf_symbols);
2545 for (i = 0; i < bfd_get_symcount (abfd); ++i)
2547 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2548 s->symbol.udata.i = i; /* renumber. */
2551 return true;
2554 /* We build a flat table of sections, which can be re-ordered if necessary.
2555 Fill in the section number and other mach-o-specific data. */
2557 static bool
2558 bfd_mach_o_mangle_sections (bfd *abfd, bfd_mach_o_data_struct *mdata)
2560 asection *sec;
2561 unsigned target_index;
2562 unsigned nsect;
2563 size_t amt;
2565 nsect = bfd_count_sections (abfd);
2567 /* Don't do it if it's already set - assume the application knows what it's
2568 doing. */
2569 if (mdata->nsects == nsect
2570 && (mdata->nsects == 0 || mdata->sections != NULL))
2571 return true;
2573 /* We need to check that this can be done... */
2574 if (nsect > 255)
2576 _bfd_error_handler (_("mach-o: there are too many sections (%u)"
2577 " maximum is 255,\n"), nsect);
2578 return false;
2581 mdata->nsects = nsect;
2582 amt = mdata->nsects * sizeof (bfd_mach_o_section *);
2583 mdata->sections = bfd_alloc (abfd, amt);
2584 if (mdata->sections == NULL)
2585 return false;
2587 /* Create Mach-O sections.
2588 Section type, attribute and align should have been set when the
2589 section was created - either read in or specified. */
2590 target_index = 0;
2591 for (sec = abfd->sections; sec; sec = sec->next)
2593 unsigned bfd_align = bfd_section_alignment (sec);
2594 bfd_mach_o_section *msect = bfd_mach_o_get_mach_o_section (sec);
2596 mdata->sections[target_index] = msect;
2598 msect->addr = bfd_section_vma (sec);
2599 msect->size = bfd_section_size (sec);
2601 /* Use the largest alignment set, in case it was bumped after the
2602 section was created. */
2603 msect->align = msect->align > bfd_align ? msect->align : bfd_align;
2605 msect->offset = 0;
2606 sec->target_index = ++target_index;
2609 return true;
2612 bool
2613 bfd_mach_o_write_contents (bfd *abfd)
2615 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2616 bfd_mach_o_load_command *cmd;
2617 bfd_mach_o_symtab_command *symtab = NULL;
2618 bfd_mach_o_dysymtab_command *dysymtab = NULL;
2619 bfd_mach_o_segment_command *linkedit = NULL;
2621 /* Make the commands, if not already present. */
2622 if (!abfd->output_has_begun && !bfd_mach_o_build_commands (abfd))
2623 return false;
2624 abfd->output_has_begun = true;
2626 /* Write the header. */
2627 if (!bfd_mach_o_write_header (abfd, &mdata->header))
2628 return false;
2630 /* First pass: allocate the linkedit segment. */
2631 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
2632 switch (cmd->type)
2634 case BFD_MACH_O_LC_SEGMENT_64:
2635 case BFD_MACH_O_LC_SEGMENT:
2636 if (strcmp (cmd->command.segment.segname, "__LINKEDIT") == 0)
2637 linkedit = &cmd->command.segment;
2638 break;
2639 case BFD_MACH_O_LC_SYMTAB:
2640 symtab = &cmd->command.symtab;
2641 break;
2642 case BFD_MACH_O_LC_DYSYMTAB:
2643 dysymtab = &cmd->command.dysymtab;
2644 break;
2645 case BFD_MACH_O_LC_DYLD_INFO:
2647 bfd_mach_o_dyld_info_command *di = &cmd->command.dyld_info;
2649 di->rebase_off = di->rebase_size != 0 ? mdata->filelen : 0;
2650 mdata->filelen += di->rebase_size;
2651 di->bind_off = di->bind_size != 0 ? mdata->filelen : 0;
2652 mdata->filelen += di->bind_size;
2653 di->weak_bind_off = di->weak_bind_size != 0 ? mdata->filelen : 0;
2654 mdata->filelen += di->weak_bind_size;
2655 di->lazy_bind_off = di->lazy_bind_size != 0 ? mdata->filelen : 0;
2656 mdata->filelen += di->lazy_bind_size;
2657 di->export_off = di->export_size != 0 ? mdata->filelen : 0;
2658 mdata->filelen += di->export_size;
2660 break;
2661 case BFD_MACH_O_LC_LOAD_DYLIB:
2662 case BFD_MACH_O_LC_LOAD_DYLINKER:
2663 case BFD_MACH_O_LC_MAIN:
2664 /* Nothing to do. */
2665 break;
2666 default:
2667 _bfd_error_handler
2668 (_("unable to allocate data for load command %#x"),
2669 cmd->type);
2670 break;
2673 /* Specially handle symtab and dysymtab. */
2675 /* Pre-allocate the symbol table (but not the string table). The reason
2676 is that the dysymtab is after the symbol table but before the string
2677 table (required by the native strip tool). */
2678 if (symtab != NULL)
2680 unsigned int symlen;
2681 unsigned int wide = bfd_mach_o_wide_p (abfd);
2683 symlen = wide ? BFD_MACH_O_NLIST_64_SIZE : BFD_MACH_O_NLIST_SIZE;
2685 /* Align for symbols. */
2686 mdata->filelen = FILE_ALIGN (mdata->filelen, wide ? 3 : 2);
2687 symtab->symoff = mdata->filelen;
2689 symtab->nsyms = bfd_get_symcount (abfd);
2690 mdata->filelen += symtab->nsyms * symlen;
2693 /* Build the dysymtab. */
2694 if (dysymtab != NULL)
2695 if (!bfd_mach_o_build_dysymtab (abfd, dysymtab))
2696 return false;
2698 /* Write symtab and strtab. */
2699 if (symtab != NULL)
2700 if (!bfd_mach_o_write_symtab_content (abfd, symtab))
2701 return false;
2703 /* Adjust linkedit size. */
2704 if (linkedit != NULL)
2706 /* bfd_vma pagemask = bfd_mach_o_get_backend_data (abfd)->page_size - 1; */
2708 linkedit->vmsize = mdata->filelen - linkedit->fileoff;
2709 /* linkedit->vmsize = (linkedit->vmsize + pagemask) & ~pagemask; */
2710 linkedit->filesize = mdata->filelen - linkedit->fileoff;
2712 linkedit->initprot = BFD_MACH_O_PROT_READ;
2713 linkedit->maxprot = BFD_MACH_O_PROT_READ | BFD_MACH_O_PROT_WRITE
2714 | BFD_MACH_O_PROT_EXECUTE;
2717 /* Second pass: write commands. */
2718 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
2720 struct mach_o_load_command_external raw;
2721 unsigned long typeflag;
2723 typeflag = cmd->type | (cmd->type_required ? BFD_MACH_O_LC_REQ_DYLD : 0);
2725 bfd_h_put_32 (abfd, typeflag, raw.cmd);
2726 bfd_h_put_32 (abfd, cmd->len, raw.cmdsize);
2728 if (bfd_seek (abfd, cmd->offset, SEEK_SET) != 0
2729 || bfd_bwrite (&raw, BFD_MACH_O_LC_SIZE, abfd) != 8)
2730 return false;
2732 switch (cmd->type)
2734 case BFD_MACH_O_LC_SEGMENT:
2735 if (!bfd_mach_o_write_segment_32 (abfd, cmd))
2736 return false;
2737 break;
2738 case BFD_MACH_O_LC_SEGMENT_64:
2739 if (!bfd_mach_o_write_segment_64 (abfd, cmd))
2740 return false;
2741 break;
2742 case BFD_MACH_O_LC_SYMTAB:
2743 if (!bfd_mach_o_write_symtab (abfd, cmd))
2744 return false;
2745 break;
2746 case BFD_MACH_O_LC_DYSYMTAB:
2747 if (!bfd_mach_o_write_dysymtab (abfd, cmd))
2748 return false;
2749 break;
2750 case BFD_MACH_O_LC_THREAD:
2751 case BFD_MACH_O_LC_UNIXTHREAD:
2752 if (!bfd_mach_o_write_thread (abfd, cmd))
2753 return false;
2754 break;
2755 case BFD_MACH_O_LC_LOAD_DYLIB:
2756 if (!bfd_mach_o_write_dylib (abfd, cmd))
2757 return false;
2758 break;
2759 case BFD_MACH_O_LC_LOAD_DYLINKER:
2760 if (!bfd_mach_o_write_dylinker (abfd, cmd))
2761 return false;
2762 break;
2763 case BFD_MACH_O_LC_MAIN:
2764 if (!bfd_mach_o_write_main (abfd, cmd))
2765 return false;
2766 break;
2767 case BFD_MACH_O_LC_DYLD_INFO:
2768 if (!bfd_mach_o_write_dyld_info (abfd, cmd))
2769 return false;
2770 break;
2771 default:
2772 _bfd_error_handler
2773 (_("unable to write unknown load command %#x"),
2774 cmd->type);
2775 return false;
2779 return true;
2782 static void
2783 bfd_mach_o_append_section_to_segment (bfd_mach_o_segment_command *seg,
2784 bfd_mach_o_section *s)
2786 if (seg->sect_head == NULL)
2787 seg->sect_head = s;
2788 else
2789 seg->sect_tail->next = s;
2790 seg->sect_tail = s;
2793 /* Create section Mach-O flags from BFD flags. */
2795 static void
2796 bfd_mach_o_set_section_flags_from_bfd (bfd *abfd ATTRIBUTE_UNUSED,
2797 asection *sec)
2799 flagword bfd_flags;
2800 bfd_mach_o_section *s = bfd_mach_o_get_mach_o_section (sec);
2802 /* Create default flags. */
2803 bfd_flags = bfd_section_flags (sec);
2804 if ((bfd_flags & SEC_CODE) == SEC_CODE)
2805 s->flags = BFD_MACH_O_S_ATTR_PURE_INSTRUCTIONS
2806 | BFD_MACH_O_S_ATTR_SOME_INSTRUCTIONS
2807 | BFD_MACH_O_S_REGULAR;
2808 else if ((bfd_flags & (SEC_ALLOC | SEC_LOAD)) == SEC_ALLOC)
2809 s->flags = BFD_MACH_O_S_ZEROFILL;
2810 else if (bfd_flags & SEC_DEBUGGING)
2811 s->flags = BFD_MACH_O_S_REGULAR | BFD_MACH_O_S_ATTR_DEBUG;
2812 else
2813 s->flags = BFD_MACH_O_S_REGULAR;
2816 static bool
2817 bfd_mach_o_build_obj_seg_command (bfd *abfd, bfd_mach_o_segment_command *seg)
2819 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2820 unsigned int i, j;
2822 seg->vmaddr = 0;
2823 seg->fileoff = mdata->filelen;
2824 seg->initprot = BFD_MACH_O_PROT_READ | BFD_MACH_O_PROT_WRITE
2825 | BFD_MACH_O_PROT_EXECUTE;
2826 seg->maxprot = seg->initprot;
2828 /* Append sections to the segment.
2830 This is a little tedious, we have to honor the need to account zerofill
2831 sections after all the rest. This forces us to do the calculation of
2832 total vmsize in three passes so that any alignment increments are
2833 properly accounted. */
2834 for (i = 0; i < mdata->nsects; ++i)
2836 bfd_mach_o_section *s = mdata->sections[i];
2837 asection *sec = s->bfdsection;
2839 /* Although we account for zerofill section sizes in vm order, they are
2840 placed in the file in source sequence. */
2841 bfd_mach_o_append_section_to_segment (seg, s);
2842 s->offset = 0;
2844 /* Zerofill sections have zero file size & offset, the only content
2845 written to the file is the symbols. */
2846 if ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK) == BFD_MACH_O_S_ZEROFILL
2847 || ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK)
2848 == BFD_MACH_O_S_GB_ZEROFILL))
2849 continue;
2851 /* The Darwin system tools (in MH_OBJECT files, at least) always account
2852 sections, even those with zero size. */
2853 if (s->size > 0)
2855 seg->vmsize = FILE_ALIGN (seg->vmsize, s->align);
2856 seg->vmsize += s->size;
2858 /* MH_OBJECT files have unaligned content. */
2859 if (1)
2861 seg->filesize = FILE_ALIGN (seg->filesize, s->align);
2862 mdata->filelen = FILE_ALIGN (mdata->filelen, s->align);
2864 seg->filesize += s->size;
2866 /* The system tools write even zero-sized sections with an offset
2867 field set to the current file position. */
2868 s->offset = mdata->filelen;
2871 sec->filepos = s->offset;
2872 mdata->filelen += s->size;
2875 /* Now pass through again, for zerofill, only now we just update the
2876 vmsize, and then for zerofill_GB. */
2877 for (j = 0; j < 2; j++)
2879 unsigned int stype;
2881 if (j == 0)
2882 stype = BFD_MACH_O_S_ZEROFILL;
2883 else
2884 stype = BFD_MACH_O_S_GB_ZEROFILL;
2886 for (i = 0; i < mdata->nsects; ++i)
2888 bfd_mach_o_section *s = mdata->sections[i];
2890 if ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK) != stype)
2891 continue;
2893 if (s->size > 0)
2895 seg->vmsize = FILE_ALIGN (seg->vmsize, s->align);
2896 seg->vmsize += s->size;
2901 /* Allocate space for the relocations. */
2902 mdata->filelen = FILE_ALIGN (mdata->filelen, 2);
2904 for (i = 0; i < mdata->nsects; ++i)
2906 bfd_mach_o_section *ms = mdata->sections[i];
2907 asection *sec = ms->bfdsection;
2909 ms->nreloc = sec->reloc_count;
2910 if (ms->nreloc == 0)
2912 /* Clear nreloc and reloff if there is no relocs. */
2913 ms->reloff = 0;
2914 continue;
2916 sec->rel_filepos = mdata->filelen;
2917 ms->reloff = sec->rel_filepos;
2918 mdata->filelen += sec->reloc_count * BFD_MACH_O_RELENT_SIZE;
2921 return true;
2924 static bool
2925 bfd_mach_o_build_exec_seg_command (bfd *abfd, bfd_mach_o_segment_command *seg)
2927 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2928 unsigned int i;
2929 bfd_vma pagemask = bfd_mach_o_get_backend_data (abfd)->page_size - 1;
2930 bfd_vma vma;
2931 bfd_mach_o_section *s;
2933 seg->vmsize = 0;
2935 seg->fileoff = mdata->filelen;
2936 seg->maxprot = 0;
2937 seg->initprot = 0;
2938 seg->flags = 0;
2940 /* Append sections to the segment. We assume they are properly ordered
2941 by vma (but we check that). */
2942 vma = 0;
2943 for (i = 0; i < mdata->nsects; ++i)
2945 s = mdata->sections[i];
2947 /* Consider only sections for this segment. */
2948 if (strcmp (seg->segname, s->segname) != 0)
2949 continue;
2951 bfd_mach_o_append_section_to_segment (seg, s);
2953 if (s->addr < vma)
2955 _bfd_error_handler
2956 /* xgettext:c-format */
2957 (_("section address (%#" PRIx64 ") "
2958 "below start of segment (%#" PRIx64 ")"),
2959 (uint64_t) s->addr, (uint64_t) vma);
2960 return false;
2963 vma = s->addr + s->size;
2966 /* Set segment file offset: make it page aligned. */
2967 vma = seg->sect_head->addr;
2968 seg->vmaddr = vma & ~pagemask;
2969 if ((mdata->filelen & pagemask) > (vma & pagemask))
2970 mdata->filelen += pagemask + 1;
2971 seg->fileoff = mdata->filelen & ~pagemask;
2972 mdata->filelen = seg->fileoff + (vma & pagemask);
2974 /* Set section file offset. */
2975 for (s = seg->sect_head; s != NULL; s = s->next)
2977 asection *sec = s->bfdsection;
2978 flagword flags = bfd_section_flags (sec);
2980 /* Adjust segment size. */
2981 seg->vmsize = FILE_ALIGN (seg->vmsize, s->align);
2982 seg->vmsize += s->size;
2984 /* File offset and length. */
2985 seg->filesize = FILE_ALIGN (seg->filesize, s->align);
2987 if ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK) != BFD_MACH_O_S_ZEROFILL
2988 && ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK)
2989 != BFD_MACH_O_S_GB_ZEROFILL))
2991 mdata->filelen = FILE_ALIGN (mdata->filelen, s->align);
2993 s->offset = mdata->filelen;
2994 s->bfdsection->filepos = s->offset;
2996 seg->filesize += s->size;
2997 mdata->filelen += s->size;
2999 else
3001 s->offset = 0;
3002 s->bfdsection->filepos = 0;
3005 /* Set protection. */
3006 if (flags & SEC_LOAD)
3008 if (flags & SEC_CODE)
3009 seg->initprot |= BFD_MACH_O_PROT_READ | BFD_MACH_O_PROT_EXECUTE;
3010 if ((flags & (SEC_DATA | SEC_READONLY)) == SEC_DATA)
3011 seg->initprot |= BFD_MACH_O_PROT_WRITE | BFD_MACH_O_PROT_READ;
3014 /* Relocs shouldn't appear in non-object files. */
3015 if (s->bfdsection->reloc_count != 0)
3016 return false;
3019 /* Set maxprot. */
3020 if (seg->initprot != 0)
3021 seg->maxprot = BFD_MACH_O_PROT_READ | BFD_MACH_O_PROT_WRITE
3022 | BFD_MACH_O_PROT_EXECUTE;
3023 else
3024 seg->maxprot = 0;
3026 /* Round segment size (and file size). */
3027 seg->vmsize = (seg->vmsize + pagemask) & ~pagemask;
3028 seg->filesize = (seg->filesize + pagemask) & ~pagemask;
3029 mdata->filelen = (mdata->filelen + pagemask) & ~pagemask;
3031 return true;
3034 /* Layout the commands: set commands size and offset, set ncmds and sizeofcmds
3035 fields in header. */
3037 static bool
3038 bfd_mach_o_layout_commands (bfd_mach_o_data_struct *mdata)
3040 unsigned wide = mach_o_wide_p (&mdata->header);
3041 unsigned int hdrlen;
3042 ufile_ptr offset;
3043 bfd_mach_o_load_command *cmd;
3044 unsigned int align;
3045 bool ret = true;
3047 hdrlen = wide ? BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
3048 align = wide ? 8 - 1 : 4 - 1;
3049 offset = hdrlen;
3050 mdata->header.ncmds = 0;
3052 for (cmd = mdata->first_command; cmd; cmd = cmd->next)
3054 mdata->header.ncmds++;
3055 cmd->offset = offset;
3057 switch (cmd->type)
3059 case BFD_MACH_O_LC_SEGMENT_64:
3060 cmd->len = BFD_MACH_O_LC_SEGMENT_64_SIZE
3061 + BFD_MACH_O_SECTION_64_SIZE * cmd->command.segment.nsects;
3062 break;
3063 case BFD_MACH_O_LC_SEGMENT:
3064 cmd->len = BFD_MACH_O_LC_SEGMENT_SIZE
3065 + BFD_MACH_O_SECTION_SIZE * cmd->command.segment.nsects;
3066 break;
3067 case BFD_MACH_O_LC_SYMTAB:
3068 cmd->len = sizeof (struct mach_o_symtab_command_external)
3069 + BFD_MACH_O_LC_SIZE;
3070 break;
3071 case BFD_MACH_O_LC_DYSYMTAB:
3072 cmd->len = sizeof (struct mach_o_dysymtab_command_external)
3073 + BFD_MACH_O_LC_SIZE;
3074 break;
3075 case BFD_MACH_O_LC_LOAD_DYLIB:
3076 cmd->len = sizeof (struct mach_o_dylib_command_external)
3077 + BFD_MACH_O_LC_SIZE;
3078 cmd->command.dylib.name_offset = cmd->len;
3079 cmd->len += strlen (cmd->command.dylib.name_str);
3080 cmd->len = (cmd->len + align) & ~align;
3081 break;
3082 case BFD_MACH_O_LC_LOAD_DYLINKER:
3083 cmd->len = sizeof (struct mach_o_str_command_external)
3084 + BFD_MACH_O_LC_SIZE;
3085 cmd->command.dylinker.name_offset = cmd->len;
3086 cmd->len += strlen (cmd->command.dylinker.name_str);
3087 cmd->len = (cmd->len + align) & ~align;
3088 break;
3089 case BFD_MACH_O_LC_MAIN:
3090 cmd->len = sizeof (struct mach_o_entry_point_command_external)
3091 + BFD_MACH_O_LC_SIZE;
3092 break;
3093 case BFD_MACH_O_LC_DYLD_INFO:
3094 cmd->len = sizeof (struct mach_o_dyld_info_command_external)
3095 + BFD_MACH_O_LC_SIZE;
3096 break;
3097 default:
3098 _bfd_error_handler
3099 (_("unable to layout unknown load command %#x"),
3100 cmd->type);
3101 ret = false;
3102 break;
3105 BFD_ASSERT (cmd->len % (align + 1) == 0);
3106 offset += cmd->len;
3108 mdata->header.sizeofcmds = offset - hdrlen;
3109 mdata->filelen = offset;
3111 return ret;
3114 /* Subroutine of bfd_mach_o_build_commands: set type, name and nsects of a
3115 segment. */
3117 static void
3118 bfd_mach_o_init_segment (bfd_mach_o_data_struct *mdata,
3119 bfd_mach_o_load_command *cmd,
3120 const char *segname, unsigned int nbr_sect)
3122 bfd_mach_o_segment_command *seg = &cmd->command.segment;
3123 unsigned wide = mach_o_wide_p (&mdata->header);
3125 /* Init segment command. */
3126 cmd->type = wide ? BFD_MACH_O_LC_SEGMENT_64 : BFD_MACH_O_LC_SEGMENT;
3127 cmd->type_required = false;
3129 strcpy (seg->segname, segname);
3130 seg->nsects = nbr_sect;
3132 seg->vmaddr = 0;
3133 seg->vmsize = 0;
3135 seg->fileoff = 0;
3136 seg->filesize = 0;
3137 seg->maxprot = 0;
3138 seg->initprot = 0;
3139 seg->flags = 0;
3140 seg->sect_head = NULL;
3141 seg->sect_tail = NULL;
3144 /* Build Mach-O load commands (currently assuming an MH_OBJECT file).
3145 TODO: Other file formats, rebuilding symtab/dysymtab commands for strip
3146 and copy functionality. */
3148 bool
3149 bfd_mach_o_build_commands (bfd *abfd)
3151 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
3152 unsigned wide = mach_o_wide_p (&mdata->header);
3153 unsigned int nbr_segcmd = 0;
3154 bfd_mach_o_load_command *commands;
3155 unsigned int nbr_commands;
3156 int symtab_idx = -1;
3157 int dysymtab_idx = -1;
3158 int main_idx = -1;
3159 unsigned int i;
3161 /* Return now if already built. */
3162 if (mdata->header.ncmds != 0)
3163 return true;
3165 /* Fill in the file type, if not already set. */
3166 if (mdata->header.filetype == 0)
3168 if (abfd->flags & EXEC_P)
3169 mdata->header.filetype = BFD_MACH_O_MH_EXECUTE;
3170 else if (abfd->flags & DYNAMIC)
3171 mdata->header.filetype = BFD_MACH_O_MH_DYLIB;
3172 else
3173 mdata->header.filetype = BFD_MACH_O_MH_OBJECT;
3176 /* If hasn't already been done, flatten sections list, and sort
3177 if/when required. Must be done before the symbol table is adjusted,
3178 since that depends on properly numbered sections. */
3179 if (mdata->nsects == 0 || mdata->sections == NULL)
3180 if (! bfd_mach_o_mangle_sections (abfd, mdata))
3181 return false;
3183 /* Order the symbol table, fill-in/check mach-o specific fields and
3184 partition out any indirect symbols. */
3185 if (!bfd_mach_o_mangle_symbols (abfd))
3186 return false;
3188 /* Segment commands. */
3189 if (mdata->header.filetype == BFD_MACH_O_MH_OBJECT)
3191 /* Only one segment for all the sections. But the segment is
3192 optional if there is no sections. */
3193 nbr_segcmd = (mdata->nsects > 0) ? 1 : 0;
3195 else
3197 bfd_mach_o_section *prev_sect = NULL;
3199 /* One pagezero segment and one linkedit segment. */
3200 nbr_segcmd = 2;
3202 /* Create one segment for associated segment name in sections.
3203 Assume that sections with the same segment name are consecutive. */
3204 for (i = 0; i < mdata->nsects; i++)
3206 bfd_mach_o_section *this_sect = mdata->sections[i];
3208 if (prev_sect == NULL
3209 || strcmp (prev_sect->segname, this_sect->segname) != 0)
3211 nbr_segcmd++;
3212 prev_sect = this_sect;
3217 nbr_commands = nbr_segcmd;
3219 /* One command for the symbol table (only if there are symbols. */
3220 if (bfd_get_symcount (abfd) > 0)
3221 symtab_idx = nbr_commands++;
3223 /* FIXME:
3224 This is a rather crude test for whether we should build a dysymtab. */
3225 if (bfd_mach_o_should_emit_dysymtab ()
3226 && bfd_get_symcount (abfd))
3228 /* If there should be a case where a dysymtab could be emitted without
3229 a symtab (seems improbable), this would need amending. */
3230 dysymtab_idx = nbr_commands++;
3233 /* Add an entry point command. */
3234 if (mdata->header.filetype == BFD_MACH_O_MH_EXECUTE
3235 && bfd_get_start_address (abfd) != 0)
3236 main_idx = nbr_commands++;
3238 /* Well, we must have a header, at least. */
3239 mdata->filelen = wide ? BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
3241 /* A bit unusual, but no content is valid;
3242 as -n empty.s -o empty.o */
3243 if (nbr_commands == 0)
3245 /* Layout commands (well none...) and set headers command fields. */
3246 return bfd_mach_o_layout_commands (mdata);
3249 /* Create commands for segments (and symtabs), prepend them. */
3250 commands = bfd_zalloc (abfd, nbr_commands * sizeof (bfd_mach_o_load_command));
3251 if (commands == NULL)
3252 return false;
3253 for (i = 0; i < nbr_commands - 1; i++)
3254 commands[i].next = &commands[i + 1];
3255 commands[nbr_commands - 1].next = mdata->first_command;
3256 if (mdata->first_command == NULL)
3257 mdata->last_command = &commands[nbr_commands - 1];
3258 mdata->first_command = &commands[0];
3260 if (mdata->header.filetype == BFD_MACH_O_MH_OBJECT && nbr_segcmd != 0)
3262 /* For object file, there is only one segment. */
3263 bfd_mach_o_init_segment (mdata, &commands[0], "", mdata->nsects);
3265 else if (nbr_segcmd != 0)
3267 bfd_mach_o_load_command *cmd;
3269 BFD_ASSERT (nbr_segcmd >= 2);
3271 /* The pagezero. */
3272 cmd = &commands[0];
3273 bfd_mach_o_init_segment (mdata, cmd, "__PAGEZERO", 0);
3275 /* Segments from sections. */
3276 cmd++;
3277 for (i = 0; i < mdata->nsects;)
3279 const char *segname = mdata->sections[i]->segname;
3280 unsigned int nbr_sect = 1;
3282 /* Count number of sections for this segment. */
3283 for (i++; i < mdata->nsects; i++)
3284 if (strcmp (mdata->sections[i]->segname, segname) == 0)
3285 nbr_sect++;
3286 else
3287 break;
3289 bfd_mach_o_init_segment (mdata, cmd, segname, nbr_sect);
3290 cmd++;
3293 /* The linkedit. */
3294 bfd_mach_o_init_segment (mdata, cmd, "__LINKEDIT", 0);
3297 if (symtab_idx >= 0)
3299 /* Init symtab command. */
3300 bfd_mach_o_load_command *cmd = &commands[symtab_idx];
3302 cmd->type = BFD_MACH_O_LC_SYMTAB;
3303 cmd->type_required = false;
3306 /* If required, setup symtab command, see comment above about the quality
3307 of this test. */
3308 if (dysymtab_idx >= 0)
3310 bfd_mach_o_load_command *cmd = &commands[dysymtab_idx];
3312 cmd->type = BFD_MACH_O_LC_DYSYMTAB;
3313 cmd->type_required = false;
3316 /* Create the main command. */
3317 if (main_idx >= 0)
3319 bfd_mach_o_load_command *cmd = &commands[main_idx];
3321 cmd->type = BFD_MACH_O_LC_MAIN;
3322 cmd->type_required = true;
3324 cmd->command.main.entryoff = 0;
3325 cmd->command.main.stacksize = 0;
3328 /* Layout commands. */
3329 if (! bfd_mach_o_layout_commands (mdata))
3330 return false;
3332 /* So, now we have sized the commands and the filelen set to that.
3333 Now we can build the segment command and set the section file offsets. */
3334 if (mdata->header.filetype == BFD_MACH_O_MH_OBJECT)
3336 for (i = 0; i < nbr_segcmd; i++)
3337 if (!bfd_mach_o_build_obj_seg_command
3338 (abfd, &commands[i].command.segment))
3339 return false;
3341 else
3343 bfd_vma maxvma = 0;
3345 /* Skip pagezero and linkedit segments. */
3346 for (i = 1; i < nbr_segcmd - 1; i++)
3348 bfd_mach_o_segment_command *seg = &commands[i].command.segment;
3350 if (!bfd_mach_o_build_exec_seg_command (abfd, seg))
3351 return false;
3353 if (seg->vmaddr + seg->vmsize > maxvma)
3354 maxvma = seg->vmaddr + seg->vmsize;
3357 /* Set the size of __PAGEZERO. */
3358 commands[0].command.segment.vmsize =
3359 commands[1].command.segment.vmaddr;
3361 /* Set the vma and fileoff of __LINKEDIT. */
3362 commands[nbr_segcmd - 1].command.segment.vmaddr = maxvma;
3363 commands[nbr_segcmd - 1].command.segment.fileoff = mdata->filelen;
3365 /* Set entry point (once segments have been laid out). */
3366 if (main_idx >= 0)
3367 commands[main_idx].command.main.entryoff =
3368 bfd_get_start_address (abfd) - commands[1].command.segment.vmaddr;
3371 return true;
3374 /* Set the contents of a section. */
3376 bool
3377 bfd_mach_o_set_section_contents (bfd *abfd,
3378 asection *section,
3379 const void * location,
3380 file_ptr offset,
3381 bfd_size_type count)
3383 file_ptr pos;
3385 /* Trying to write the first section contents will trigger the creation of
3386 the load commands if they are not already present. */
3387 if (!abfd->output_has_begun && !bfd_mach_o_build_commands (abfd))
3388 return false;
3390 if (count == 0)
3391 return true;
3393 pos = section->filepos + offset;
3394 if (bfd_seek (abfd, pos, SEEK_SET) != 0
3395 || bfd_bwrite (location, count, abfd) != count)
3396 return false;
3398 return true;
3402 bfd_mach_o_sizeof_headers (bfd *a ATTRIBUTE_UNUSED,
3403 struct bfd_link_info *info ATTRIBUTE_UNUSED)
3405 return 0;
3408 /* Make an empty symbol. This is required only because
3409 bfd_make_section_anyway wants to create a symbol for the section. */
3411 asymbol *
3412 bfd_mach_o_make_empty_symbol (bfd *abfd)
3414 asymbol *new_symbol;
3416 new_symbol = bfd_zalloc (abfd, sizeof (bfd_mach_o_asymbol));
3417 if (new_symbol == NULL)
3418 return new_symbol;
3419 new_symbol->the_bfd = abfd;
3420 new_symbol->udata.i = SYM_MACHO_FIELDS_UNSET;
3421 return new_symbol;
3424 static bool
3425 bfd_mach_o_read_header (bfd *abfd, file_ptr hdr_off, bfd_mach_o_header *header)
3427 struct mach_o_header_external raw;
3428 unsigned int size;
3429 bfd_vma (*get32) (const void *) = NULL;
3431 /* Just read the magic number. */
3432 if (bfd_seek (abfd, hdr_off, SEEK_SET) != 0
3433 || bfd_bread (raw.magic, sizeof (raw.magic), abfd) != 4)
3434 return false;
3436 if (bfd_getb32 (raw.magic) == BFD_MACH_O_MH_MAGIC)
3438 header->byteorder = BFD_ENDIAN_BIG;
3439 header->magic = BFD_MACH_O_MH_MAGIC;
3440 header->version = 1;
3441 get32 = bfd_getb32;
3443 else if (bfd_getl32 (raw.magic) == BFD_MACH_O_MH_MAGIC)
3445 header->byteorder = BFD_ENDIAN_LITTLE;
3446 header->magic = BFD_MACH_O_MH_MAGIC;
3447 header->version = 1;
3448 get32 = bfd_getl32;
3450 else if (bfd_getb32 (raw.magic) == BFD_MACH_O_MH_MAGIC_64)
3452 header->byteorder = BFD_ENDIAN_BIG;
3453 header->magic = BFD_MACH_O_MH_MAGIC_64;
3454 header->version = 2;
3455 get32 = bfd_getb32;
3457 else if (bfd_getl32 (raw.magic) == BFD_MACH_O_MH_MAGIC_64)
3459 header->byteorder = BFD_ENDIAN_LITTLE;
3460 header->magic = BFD_MACH_O_MH_MAGIC_64;
3461 header->version = 2;
3462 get32 = bfd_getl32;
3464 else
3466 header->byteorder = BFD_ENDIAN_UNKNOWN;
3467 return false;
3470 /* Once the size of the header is known, read the full header. */
3471 size = mach_o_wide_p (header) ?
3472 BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
3474 if (bfd_seek (abfd, hdr_off, SEEK_SET) != 0
3475 || bfd_bread (&raw, size, abfd) != size)
3476 return false;
3478 header->cputype = (*get32) (raw.cputype);
3479 header->cpusubtype = (*get32) (raw.cpusubtype);
3480 header->filetype = (*get32) (raw.filetype);
3481 header->ncmds = (*get32) (raw.ncmds);
3482 header->sizeofcmds = (*get32) (raw.sizeofcmds);
3483 header->flags = (*get32) (raw.flags);
3485 if (mach_o_wide_p (header))
3486 header->reserved = (*get32) (raw.reserved);
3487 else
3488 header->reserved = 0;
3490 return true;
3493 bool
3494 bfd_mach_o_new_section_hook (bfd *abfd, asection *sec)
3496 bfd_mach_o_section *s;
3497 unsigned bfdalign = bfd_section_alignment (sec);
3499 s = bfd_mach_o_get_mach_o_section (sec);
3500 if (s == NULL)
3502 flagword bfd_flags;
3503 static const mach_o_section_name_xlat * xlat;
3505 s = (bfd_mach_o_section *) bfd_zalloc (abfd, sizeof (*s));
3506 if (s == NULL)
3507 return false;
3508 sec->used_by_bfd = s;
3509 s->bfdsection = sec;
3511 /* Create the Darwin seg/sect name pair from the bfd name.
3512 If this is a canonical name for which a specific paiting exists
3513 there will also be defined flags, type, attribute and alignment
3514 values. */
3515 xlat = bfd_mach_o_convert_section_name_to_mach_o (abfd, sec, s);
3516 if (xlat != NULL)
3518 s->flags = xlat->macho_sectype | xlat->macho_secattr;
3519 s->align = xlat->sectalign > bfdalign ? xlat->sectalign
3520 : bfdalign;
3521 bfd_set_section_alignment (sec, s->align);
3522 bfd_flags = bfd_section_flags (sec);
3523 if (bfd_flags == SEC_NO_FLAGS)
3524 bfd_set_section_flags (sec, xlat->bfd_flags);
3526 else
3527 /* Create default flags. */
3528 bfd_mach_o_set_section_flags_from_bfd (abfd, sec);
3531 return _bfd_generic_new_section_hook (abfd, sec);
3534 static void
3535 bfd_mach_o_init_section_from_mach_o (asection *sec, unsigned long prot)
3537 flagword flags;
3538 bfd_mach_o_section *section;
3540 flags = bfd_section_flags (sec);
3541 section = bfd_mach_o_get_mach_o_section (sec);
3543 /* TODO: see if we should use the xlat system for doing this by
3544 preference and fall back to this for unknown sections. */
3546 if (flags == SEC_NO_FLAGS)
3548 /* Try to guess flags. */
3549 if (section->flags & BFD_MACH_O_S_ATTR_DEBUG)
3550 flags = SEC_DEBUGGING;
3551 else
3553 flags = SEC_ALLOC;
3554 if ((section->flags & BFD_MACH_O_SECTION_TYPE_MASK)
3555 != BFD_MACH_O_S_ZEROFILL)
3557 flags |= SEC_LOAD;
3558 if (prot & BFD_MACH_O_PROT_EXECUTE)
3559 flags |= SEC_CODE;
3560 if (prot & BFD_MACH_O_PROT_WRITE)
3561 flags |= SEC_DATA;
3562 else if (prot & BFD_MACH_O_PROT_READ)
3563 flags |= SEC_READONLY;
3567 else
3569 if ((flags & SEC_DEBUGGING) == 0)
3570 flags |= SEC_ALLOC;
3573 if (section->offset != 0)
3574 flags |= SEC_HAS_CONTENTS;
3575 if (section->nreloc != 0)
3576 flags |= SEC_RELOC;
3578 bfd_set_section_flags (sec, flags);
3580 sec->vma = section->addr;
3581 sec->lma = section->addr;
3582 sec->size = section->size;
3583 sec->filepos = section->offset;
3584 sec->alignment_power = section->align;
3585 sec->segment_mark = 0;
3586 sec->reloc_count = section->nreloc;
3587 sec->rel_filepos = section->reloff;
3590 static asection *
3591 bfd_mach_o_make_bfd_section (bfd *abfd,
3592 const unsigned char *segname,
3593 const unsigned char *sectname)
3595 const char *sname;
3596 flagword flags;
3598 bfd_mach_o_convert_section_name_to_bfd
3599 (abfd, (const char *)segname, (const char *)sectname, &sname, &flags);
3600 if (sname == NULL)
3601 return NULL;
3603 return bfd_make_section_anyway_with_flags (abfd, sname, flags);
3606 static asection *
3607 bfd_mach_o_read_section_32 (bfd *abfd, unsigned long prot)
3609 struct mach_o_section_32_external raw;
3610 asection *sec;
3611 bfd_mach_o_section *section;
3613 if (bfd_bread (&raw, BFD_MACH_O_SECTION_SIZE, abfd)
3614 != BFD_MACH_O_SECTION_SIZE)
3615 return NULL;
3617 sec = bfd_mach_o_make_bfd_section (abfd, raw.segname, raw.sectname);
3618 if (sec == NULL)
3619 return NULL;
3621 section = bfd_mach_o_get_mach_o_section (sec);
3622 memcpy (section->segname, raw.segname, sizeof (raw.segname));
3623 section->segname[BFD_MACH_O_SEGNAME_SIZE] = 0;
3624 memcpy (section->sectname, raw.sectname, sizeof (raw.sectname));
3625 section->sectname[BFD_MACH_O_SECTNAME_SIZE] = 0;
3626 section->addr = bfd_h_get_32 (abfd, raw.addr);
3627 section->size = bfd_h_get_32 (abfd, raw.size);
3628 section->offset = bfd_h_get_32 (abfd, raw.offset);
3629 section->align = bfd_h_get_32 (abfd, raw.align);
3630 /* PR 17512: file: 0017eb76. */
3631 if (section->align >= 31)
3633 _bfd_error_handler
3634 (_("bfd_mach_o_read_section_32: overlarge alignment value: %#lx"),
3635 section->align);
3636 section->align = 30;
3638 section->reloff = bfd_h_get_32 (abfd, raw.reloff);
3639 section->nreloc = bfd_h_get_32 (abfd, raw.nreloc);
3640 section->flags = bfd_h_get_32 (abfd, raw.flags);
3641 section->reserved1 = bfd_h_get_32 (abfd, raw.reserved1);
3642 section->reserved2 = bfd_h_get_32 (abfd, raw.reserved2);
3643 section->reserved3 = 0;
3645 bfd_mach_o_init_section_from_mach_o (sec, prot);
3647 return sec;
3650 static asection *
3651 bfd_mach_o_read_section_64 (bfd *abfd, unsigned long prot)
3653 struct mach_o_section_64_external raw;
3654 asection *sec;
3655 bfd_mach_o_section *section;
3657 if (bfd_bread (&raw, BFD_MACH_O_SECTION_64_SIZE, abfd)
3658 != BFD_MACH_O_SECTION_64_SIZE)
3659 return NULL;
3661 sec = bfd_mach_o_make_bfd_section (abfd, raw.segname, raw.sectname);
3662 if (sec == NULL)
3663 return NULL;
3665 section = bfd_mach_o_get_mach_o_section (sec);
3666 memcpy (section->segname, raw.segname, sizeof (raw.segname));
3667 section->segname[BFD_MACH_O_SEGNAME_SIZE] = 0;
3668 memcpy (section->sectname, raw.sectname, sizeof (raw.sectname));
3669 section->sectname[BFD_MACH_O_SECTNAME_SIZE] = 0;
3670 section->addr = bfd_h_get_64 (abfd, raw.addr);
3671 section->size = bfd_h_get_64 (abfd, raw.size);
3672 section->offset = bfd_h_get_32 (abfd, raw.offset);
3673 section->align = bfd_h_get_32 (abfd, raw.align);
3674 if (section->align >= 63)
3676 _bfd_error_handler
3677 (_("bfd_mach_o_read_section_64: overlarge alignment value: %#lx"),
3678 section->align);
3679 section->align = 62;
3681 section->reloff = bfd_h_get_32 (abfd, raw.reloff);
3682 section->nreloc = bfd_h_get_32 (abfd, raw.nreloc);
3683 section->flags = bfd_h_get_32 (abfd, raw.flags);
3684 section->reserved1 = bfd_h_get_32 (abfd, raw.reserved1);
3685 section->reserved2 = bfd_h_get_32 (abfd, raw.reserved2);
3686 section->reserved3 = bfd_h_get_32 (abfd, raw.reserved3);
3688 bfd_mach_o_init_section_from_mach_o (sec, prot);
3690 return sec;
3693 static asection *
3694 bfd_mach_o_read_section (bfd *abfd, unsigned long prot, unsigned int wide)
3696 if (wide)
3697 return bfd_mach_o_read_section_64 (abfd, prot);
3698 else
3699 return bfd_mach_o_read_section_32 (abfd, prot);
3702 static bool
3703 bfd_mach_o_read_symtab_symbol (bfd *abfd,
3704 bfd_mach_o_symtab_command *sym,
3705 bfd_mach_o_asymbol *s,
3706 unsigned long i)
3708 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
3709 unsigned int wide = mach_o_wide_p (&mdata->header);
3710 unsigned int symwidth =
3711 wide ? BFD_MACH_O_NLIST_64_SIZE : BFD_MACH_O_NLIST_SIZE;
3712 unsigned int symoff = sym->symoff + (i * symwidth);
3713 struct mach_o_nlist_64_external raw;
3714 unsigned char type = -1;
3715 unsigned char section = -1;
3716 short desc = -1;
3717 symvalue value = -1;
3718 unsigned long stroff = -1;
3719 unsigned int symtype = -1;
3721 BFD_ASSERT (sym->strtab != NULL);
3723 if (bfd_seek (abfd, symoff, SEEK_SET) != 0
3724 || bfd_bread (&raw, symwidth, abfd) != symwidth)
3726 _bfd_error_handler
3727 /* xgettext:c-format */
3728 (_("bfd_mach_o_read_symtab_symbol: unable to read %d bytes at %u"),
3729 symwidth, symoff);
3730 return false;
3733 stroff = bfd_h_get_32 (abfd, raw.n_strx);
3734 type = bfd_h_get_8 (abfd, raw.n_type);
3735 symtype = type & BFD_MACH_O_N_TYPE;
3736 section = bfd_h_get_8 (abfd, raw.n_sect);
3737 desc = bfd_h_get_16 (abfd, raw.n_desc);
3738 if (wide)
3739 value = bfd_h_get_64 (abfd, raw.n_value);
3740 else
3741 value = bfd_h_get_32 (abfd, raw.n_value);
3743 if (stroff >= sym->strsize)
3745 _bfd_error_handler
3746 /* xgettext:c-format */
3747 (_("bfd_mach_o_read_symtab_symbol: name out of range (%lu >= %u)"),
3748 stroff,
3749 sym->strsize);
3750 return false;
3753 s->symbol.the_bfd = abfd;
3754 s->symbol.name = sym->strtab + stroff;
3755 s->symbol.value = value;
3756 s->symbol.flags = 0x0;
3757 s->symbol.udata.i = i;
3758 s->n_type = type;
3759 s->n_sect = section;
3760 s->n_desc = desc;
3762 if (type & BFD_MACH_O_N_STAB)
3764 s->symbol.flags |= BSF_DEBUGGING;
3765 s->symbol.section = bfd_und_section_ptr;
3766 switch (type)
3768 case N_FUN:
3769 case N_STSYM:
3770 case N_LCSYM:
3771 case N_BNSYM:
3772 case N_SLINE:
3773 case N_ENSYM:
3774 case N_ECOMM:
3775 case N_ECOML:
3776 case N_GSYM:
3777 if ((section > 0) && (section <= mdata->nsects))
3779 s->symbol.section = mdata->sections[section - 1]->bfdsection;
3780 s->symbol.value =
3781 s->symbol.value - mdata->sections[section - 1]->addr;
3783 break;
3786 else
3788 if (type & (BFD_MACH_O_N_PEXT | BFD_MACH_O_N_EXT))
3789 s->symbol.flags |= BSF_GLOBAL;
3790 else
3791 s->symbol.flags |= BSF_LOCAL;
3793 switch (symtype)
3795 case BFD_MACH_O_N_UNDF:
3796 if (type == (BFD_MACH_O_N_UNDF | BFD_MACH_O_N_EXT)
3797 && s->symbol.value != 0)
3799 /* A common symbol. */
3800 s->symbol.section = bfd_com_section_ptr;
3801 s->symbol.flags = BSF_NO_FLAGS;
3803 else
3805 s->symbol.section = bfd_und_section_ptr;
3806 if (s->n_desc & BFD_MACH_O_N_WEAK_REF)
3807 s->symbol.flags |= BSF_WEAK;
3809 break;
3810 case BFD_MACH_O_N_PBUD:
3811 s->symbol.section = bfd_und_section_ptr;
3812 break;
3813 case BFD_MACH_O_N_ABS:
3814 s->symbol.section = bfd_abs_section_ptr;
3815 break;
3816 case BFD_MACH_O_N_SECT:
3817 if ((section > 0) && (section <= mdata->nsects))
3819 s->symbol.section = mdata->sections[section - 1]->bfdsection;
3820 s->symbol.value =
3821 s->symbol.value - mdata->sections[section - 1]->addr;
3823 else
3825 /* Mach-O uses 0 to mean "no section"; not an error. */
3826 if (section != 0)
3828 _bfd_error_handler
3829 /* xgettext:c-format */
3830 (_("bfd_mach_o_read_symtab_symbol: "
3831 "symbol \"%s\" specified invalid section %d (max %lu): "
3832 "setting to undefined"),
3833 s->symbol.name, section, mdata->nsects);
3835 s->symbol.section = bfd_und_section_ptr;
3837 break;
3838 case BFD_MACH_O_N_INDR:
3839 /* FIXME: we don't follow the BFD convention as this indirect symbol
3840 won't be followed by the referenced one. This looks harmless
3841 unless we start using the linker. */
3842 s->symbol.flags |= BSF_INDIRECT;
3843 s->symbol.section = bfd_ind_section_ptr;
3844 s->symbol.value = 0;
3845 break;
3846 default:
3847 _bfd_error_handler
3848 /* xgettext:c-format */
3849 (_("bfd_mach_o_read_symtab_symbol: "
3850 "symbol \"%s\" specified invalid type field 0x%x: "
3851 "setting to undefined"), s->symbol.name, symtype);
3852 s->symbol.section = bfd_und_section_ptr;
3853 break;
3857 return true;
3860 bool
3861 bfd_mach_o_read_symtab_strtab (bfd *abfd)
3863 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
3864 bfd_mach_o_symtab_command *sym = mdata->symtab;
3866 /* Fail if there is no symtab. */
3867 if (sym == NULL)
3868 return false;
3870 /* Success if already loaded. */
3871 if (sym->strtab)
3872 return true;
3874 if (abfd->flags & BFD_IN_MEMORY)
3876 struct bfd_in_memory *b;
3878 b = (struct bfd_in_memory *) abfd->iostream;
3880 if ((sym->stroff + sym->strsize) > b->size)
3882 bfd_set_error (bfd_error_file_truncated);
3883 return false;
3885 sym->strtab = (char *) b->buffer + sym->stroff;
3887 else
3889 /* See PR 21840 for a reproducer. */
3890 if ((sym->strsize + 1) == 0)
3891 return false;
3892 if (bfd_seek (abfd, sym->stroff, SEEK_SET) != 0)
3893 return false;
3894 sym->strtab = (char *) _bfd_alloc_and_read (abfd, sym->strsize + 1,
3895 sym->strsize);
3896 if (sym->strtab == NULL)
3897 return false;
3899 /* Zero terminate the string table. */
3900 sym->strtab[sym->strsize] = 0;
3903 return true;
3906 bool
3907 bfd_mach_o_read_symtab_symbols (bfd *abfd)
3909 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
3910 bfd_mach_o_symtab_command *sym = mdata->symtab;
3911 unsigned long i;
3912 size_t amt;
3913 ufile_ptr filesize;
3915 if (sym == NULL || sym->nsyms == 0 || sym->symbols)
3916 /* Return now if there are no symbols or if already loaded. */
3917 return true;
3919 filesize = bfd_get_file_size (abfd);
3920 if (filesize != 0)
3922 unsigned int wide = mach_o_wide_p (&mdata->header);
3923 unsigned int symwidth
3924 = wide ? BFD_MACH_O_NLIST_64_SIZE : BFD_MACH_O_NLIST_SIZE;
3926 if (sym->symoff > filesize
3927 || sym->nsyms > (filesize - sym->symoff) / symwidth)
3929 bfd_set_error (bfd_error_file_truncated);
3930 sym->nsyms = 0;
3931 return false;
3934 if (_bfd_mul_overflow (sym->nsyms, sizeof (bfd_mach_o_asymbol), &amt)
3935 || (sym->symbols = bfd_alloc (abfd, amt)) == NULL)
3937 bfd_set_error (bfd_error_no_memory);
3938 sym->nsyms = 0;
3939 return false;
3942 if (!bfd_mach_o_read_symtab_strtab (abfd))
3943 goto fail;
3945 for (i = 0; i < sym->nsyms; i++)
3946 if (!bfd_mach_o_read_symtab_symbol (abfd, sym, &sym->symbols[i], i))
3947 goto fail;
3949 return true;
3951 fail:
3952 bfd_release (abfd, sym->symbols);
3953 sym->symbols = NULL;
3954 sym->nsyms = 0;
3955 return false;
3958 static const char *
3959 bfd_mach_o_i386_flavour_string (unsigned int flavour)
3961 switch ((int) flavour)
3963 case BFD_MACH_O_x86_THREAD_STATE32: return "x86_THREAD_STATE32";
3964 case BFD_MACH_O_x86_FLOAT_STATE32: return "x86_FLOAT_STATE32";
3965 case BFD_MACH_O_x86_EXCEPTION_STATE32: return "x86_EXCEPTION_STATE32";
3966 case BFD_MACH_O_x86_THREAD_STATE64: return "x86_THREAD_STATE64";
3967 case BFD_MACH_O_x86_FLOAT_STATE64: return "x86_FLOAT_STATE64";
3968 case BFD_MACH_O_x86_EXCEPTION_STATE64: return "x86_EXCEPTION_STATE64";
3969 case BFD_MACH_O_x86_THREAD_STATE: return "x86_THREAD_STATE";
3970 case BFD_MACH_O_x86_FLOAT_STATE: return "x86_FLOAT_STATE";
3971 case BFD_MACH_O_x86_EXCEPTION_STATE: return "x86_EXCEPTION_STATE";
3972 case BFD_MACH_O_x86_DEBUG_STATE32: return "x86_DEBUG_STATE32";
3973 case BFD_MACH_O_x86_DEBUG_STATE64: return "x86_DEBUG_STATE64";
3974 case BFD_MACH_O_x86_DEBUG_STATE: return "x86_DEBUG_STATE";
3975 case BFD_MACH_O_x86_THREAD_STATE_NONE: return "x86_THREAD_STATE_NONE";
3976 default: return "UNKNOWN";
3980 static const char *
3981 bfd_mach_o_ppc_flavour_string (unsigned int flavour)
3983 switch ((int) flavour)
3985 case BFD_MACH_O_PPC_THREAD_STATE: return "PPC_THREAD_STATE";
3986 case BFD_MACH_O_PPC_FLOAT_STATE: return "PPC_FLOAT_STATE";
3987 case BFD_MACH_O_PPC_EXCEPTION_STATE: return "PPC_EXCEPTION_STATE";
3988 case BFD_MACH_O_PPC_VECTOR_STATE: return "PPC_VECTOR_STATE";
3989 case BFD_MACH_O_PPC_THREAD_STATE64: return "PPC_THREAD_STATE64";
3990 case BFD_MACH_O_PPC_EXCEPTION_STATE64: return "PPC_EXCEPTION_STATE64";
3991 default: return "UNKNOWN";
3995 static unsigned char *
3996 bfd_mach_o_alloc_and_read (bfd *abfd, file_ptr filepos,
3997 size_t size, size_t extra)
3999 if (bfd_seek (abfd, filepos, SEEK_SET) != 0)
4000 return NULL;
4001 unsigned char *ret = _bfd_alloc_and_read (abfd, size + extra, size);
4002 if (ret && extra != 0)
4003 memset (ret + size, 0, extra);
4004 return ret;
4007 static bool
4008 bfd_mach_o_read_dylinker (bfd *abfd, bfd_mach_o_load_command *command)
4010 bfd_mach_o_dylinker_command *cmd = &command->command.dylinker;
4011 struct mach_o_str_command_external raw;
4012 unsigned int nameoff;
4013 size_t namelen;
4015 if (command->len < sizeof (raw) + 8)
4016 return false;
4017 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4018 return false;
4020 nameoff = bfd_h_get_32 (abfd, raw.str);
4021 if (nameoff > command->len)
4022 return false;
4024 cmd->name_offset = nameoff;
4025 namelen = command->len - nameoff;
4026 nameoff += command->offset;
4027 cmd->name_str = (char *) bfd_mach_o_alloc_and_read (abfd, nameoff,
4028 namelen, 1);
4029 return cmd->name_str != NULL;
4032 static bool
4033 bfd_mach_o_read_dylib (bfd *abfd, bfd_mach_o_load_command *command)
4035 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4036 bfd_mach_o_dylib_command *cmd = &command->command.dylib;
4037 struct mach_o_dylib_command_external raw;
4038 unsigned int nameoff;
4039 size_t namelen;
4040 file_ptr pos;
4042 if (command->len < sizeof (raw) + 8)
4043 return false;
4044 switch (command->type)
4046 case BFD_MACH_O_LC_LOAD_DYLIB:
4047 case BFD_MACH_O_LC_LAZY_LOAD_DYLIB:
4048 case BFD_MACH_O_LC_LOAD_WEAK_DYLIB:
4049 case BFD_MACH_O_LC_ID_DYLIB:
4050 case BFD_MACH_O_LC_REEXPORT_DYLIB:
4051 case BFD_MACH_O_LC_LOAD_UPWARD_DYLIB:
4052 break;
4053 default:
4054 BFD_FAIL ();
4055 return false;
4058 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4059 return false;
4061 nameoff = bfd_h_get_32 (abfd, raw.name);
4062 if (nameoff > command->len)
4063 return false;
4064 cmd->timestamp = bfd_h_get_32 (abfd, raw.timestamp);
4065 cmd->current_version = bfd_h_get_32 (abfd, raw.current_version);
4066 cmd->compatibility_version = bfd_h_get_32 (abfd, raw.compatibility_version);
4068 cmd->name_offset = command->offset + nameoff;
4069 namelen = command->len - nameoff;
4070 pos = mdata->hdr_offset + cmd->name_offset;
4071 cmd->name_str = (char *) bfd_mach_o_alloc_and_read (abfd, pos, namelen, 1);
4072 return cmd->name_str != NULL;
4075 static bool
4076 bfd_mach_o_read_prebound_dylib (bfd *abfd,
4077 bfd_mach_o_load_command *command)
4079 bfd_mach_o_prebound_dylib_command *cmd = &command->command.prebound_dylib;
4080 struct mach_o_prebound_dylib_command_external raw;
4081 unsigned int nameoff;
4082 unsigned int modoff;
4083 unsigned int str_len;
4084 unsigned char *str;
4086 if (command->len < sizeof (raw) + 8)
4087 return false;
4088 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4089 return false;
4091 nameoff = bfd_h_get_32 (abfd, raw.name);
4092 modoff = bfd_h_get_32 (abfd, raw.linked_modules);
4093 if (nameoff > command->len || modoff > command->len)
4094 return false;
4096 str_len = command->len - sizeof (raw);
4097 str = _bfd_alloc_and_read (abfd, str_len, str_len);
4098 if (str == NULL)
4099 return false;
4101 cmd->name_offset = command->offset + nameoff;
4102 cmd->nmodules = bfd_h_get_32 (abfd, raw.nmodules);
4103 cmd->linked_modules_offset = command->offset + modoff;
4105 cmd->name_str = (char *)str + nameoff - (sizeof (raw) + BFD_MACH_O_LC_SIZE);
4106 cmd->linked_modules = str + modoff - (sizeof (raw) + BFD_MACH_O_LC_SIZE);
4107 return true;
4110 static bool
4111 bfd_mach_o_read_prebind_cksum (bfd *abfd,
4112 bfd_mach_o_load_command *command)
4114 bfd_mach_o_prebind_cksum_command *cmd = &command->command.prebind_cksum;
4115 struct mach_o_prebind_cksum_command_external raw;
4117 if (command->len < sizeof (raw) + 8)
4118 return false;
4119 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4120 return false;
4122 cmd->cksum = bfd_get_32 (abfd, raw.cksum);
4123 return true;
4126 static bool
4127 bfd_mach_o_read_twolevel_hints (bfd *abfd,
4128 bfd_mach_o_load_command *command)
4130 bfd_mach_o_twolevel_hints_command *cmd = &command->command.twolevel_hints;
4131 struct mach_o_twolevel_hints_command_external raw;
4133 if (command->len < sizeof (raw) + 8)
4134 return false;
4135 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4136 return false;
4138 cmd->offset = bfd_get_32 (abfd, raw.offset);
4139 cmd->nhints = bfd_get_32 (abfd, raw.nhints);
4140 return true;
4143 static bool
4144 bfd_mach_o_read_fvmlib (bfd *abfd, bfd_mach_o_load_command *command)
4146 bfd_mach_o_fvmlib_command *fvm = &command->command.fvmlib;
4147 struct mach_o_fvmlib_command_external raw;
4148 unsigned int nameoff;
4149 size_t namelen;
4151 if (command->len < sizeof (raw) + 8)
4152 return false;
4153 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4154 return false;
4156 nameoff = bfd_h_get_32 (abfd, raw.name);
4157 if (nameoff > command->len)
4158 return false;
4159 fvm->minor_version = bfd_h_get_32 (abfd, raw.minor_version);
4160 fvm->header_addr = bfd_h_get_32 (abfd, raw.header_addr);
4162 fvm->name_offset = command->offset + nameoff;
4163 namelen = command->len - nameoff;
4164 fvm->name_str = (char *) bfd_mach_o_alloc_and_read (abfd, fvm->name_offset,
4165 namelen, 1);
4166 return fvm->name_str != NULL;
4169 static bool
4170 bfd_mach_o_read_thread (bfd *abfd, bfd_mach_o_load_command *command)
4172 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4173 bfd_mach_o_thread_command *cmd = &command->command.thread;
4174 unsigned int offset;
4175 unsigned int nflavours;
4176 unsigned int i;
4177 struct mach_o_thread_command_external raw;
4178 size_t amt;
4180 BFD_ASSERT ((command->type == BFD_MACH_O_LC_THREAD)
4181 || (command->type == BFD_MACH_O_LC_UNIXTHREAD));
4183 /* Count the number of threads. */
4184 offset = 8;
4185 nflavours = 0;
4186 while (offset + sizeof (raw) <= command->len)
4188 unsigned int count;
4190 if (bfd_seek (abfd, command->offset + offset, SEEK_SET) != 0
4191 || bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4192 return false;
4194 count = bfd_h_get_32 (abfd, raw.count);
4195 if (count > (unsigned) -1 / 4
4196 || command->len - (offset + sizeof (raw)) < count * 4)
4197 return false;
4198 offset += sizeof (raw) + count * 4;
4199 nflavours++;
4201 if (nflavours == 0 || offset != command->len)
4202 return false;
4204 /* Allocate threads. */
4205 if (_bfd_mul_overflow (nflavours, sizeof (bfd_mach_o_thread_flavour), &amt))
4207 bfd_set_error (bfd_error_file_too_big);
4208 return false;
4210 cmd->flavours = bfd_alloc (abfd, amt);
4211 if (cmd->flavours == NULL)
4212 return false;
4213 cmd->nflavours = nflavours;
4215 offset = 8;
4216 nflavours = 0;
4217 while (offset != command->len)
4219 if (bfd_seek (abfd, command->offset + offset, SEEK_SET) != 0
4220 || bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4221 return false;
4223 cmd->flavours[nflavours].flavour = bfd_h_get_32 (abfd, raw.flavour);
4224 cmd->flavours[nflavours].offset = command->offset + offset + sizeof (raw);
4225 cmd->flavours[nflavours].size = bfd_h_get_32 (abfd, raw.count) * 4;
4226 offset += cmd->flavours[nflavours].size + sizeof (raw);
4227 nflavours++;
4230 for (i = 0; i < nflavours; i++)
4232 asection *bfdsec;
4233 size_t snamelen;
4234 char *sname;
4235 const char *flavourstr;
4236 const char *prefix = "LC_THREAD";
4237 unsigned int j = 0;
4239 switch (mdata->header.cputype)
4241 case BFD_MACH_O_CPU_TYPE_POWERPC:
4242 case BFD_MACH_O_CPU_TYPE_POWERPC_64:
4243 flavourstr =
4244 bfd_mach_o_ppc_flavour_string (cmd->flavours[i].flavour);
4245 break;
4246 case BFD_MACH_O_CPU_TYPE_I386:
4247 case BFD_MACH_O_CPU_TYPE_X86_64:
4248 flavourstr =
4249 bfd_mach_o_i386_flavour_string (cmd->flavours[i].flavour);
4250 break;
4251 default:
4252 flavourstr = "UNKNOWN_ARCHITECTURE";
4253 break;
4256 snamelen = strlen (prefix) + 1 + 20 + 1 + strlen (flavourstr) + 1;
4257 sname = bfd_alloc (abfd, snamelen);
4258 if (sname == NULL)
4259 return false;
4261 for (;;)
4263 sprintf (sname, "%s.%s.%u", prefix, flavourstr, j);
4264 if (bfd_get_section_by_name (abfd, sname) == NULL)
4265 break;
4266 j++;
4269 bfdsec = bfd_make_section_with_flags (abfd, sname, SEC_HAS_CONTENTS);
4271 bfdsec->vma = 0;
4272 bfdsec->lma = 0;
4273 bfdsec->size = cmd->flavours[i].size;
4274 bfdsec->filepos = cmd->flavours[i].offset;
4275 bfdsec->alignment_power = 0x0;
4277 cmd->section = bfdsec;
4280 return true;
4283 static bool
4284 bfd_mach_o_read_dysymtab (bfd *abfd, bfd_mach_o_load_command *command,
4285 ufile_ptr filesize)
4287 bfd_mach_o_dysymtab_command *cmd = &command->command.dysymtab;
4288 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4290 BFD_ASSERT (command->type == BFD_MACH_O_LC_DYSYMTAB);
4293 struct mach_o_dysymtab_command_external raw;
4295 if (command->len < sizeof (raw) + 8)
4296 return false;
4297 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4298 return false;
4300 cmd->ilocalsym = bfd_h_get_32 (abfd, raw.ilocalsym);
4301 cmd->nlocalsym = bfd_h_get_32 (abfd, raw.nlocalsym);
4302 cmd->iextdefsym = bfd_h_get_32 (abfd, raw.iextdefsym);
4303 cmd->nextdefsym = bfd_h_get_32 (abfd, raw.nextdefsym);
4304 cmd->iundefsym = bfd_h_get_32 (abfd, raw.iundefsym);
4305 cmd->nundefsym = bfd_h_get_32 (abfd, raw.nundefsym);
4306 cmd->tocoff = bfd_h_get_32 (abfd, raw.tocoff);
4307 cmd->ntoc = bfd_h_get_32 (abfd, raw.ntoc);
4308 cmd->modtaboff = bfd_h_get_32 (abfd, raw.modtaboff);
4309 cmd->nmodtab = bfd_h_get_32 (abfd, raw.nmodtab);
4310 cmd->extrefsymoff = bfd_h_get_32 (abfd, raw.extrefsymoff);
4311 cmd->nextrefsyms = bfd_h_get_32 (abfd, raw.nextrefsyms);
4312 cmd->indirectsymoff = bfd_h_get_32 (abfd, raw.indirectsymoff);
4313 cmd->nindirectsyms = bfd_h_get_32 (abfd, raw.nindirectsyms);
4314 cmd->extreloff = bfd_h_get_32 (abfd, raw.extreloff);
4315 cmd->nextrel = bfd_h_get_32 (abfd, raw.nextrel);
4316 cmd->locreloff = bfd_h_get_32 (abfd, raw.locreloff);
4317 cmd->nlocrel = bfd_h_get_32 (abfd, raw.nlocrel);
4320 if (cmd->nmodtab != 0)
4322 unsigned int i;
4323 int wide = bfd_mach_o_wide_p (abfd);
4324 unsigned int module_len = wide ? 56 : 52;
4325 size_t amt;
4327 if (cmd->modtaboff > filesize
4328 || cmd->nmodtab > (filesize - cmd->modtaboff) / module_len)
4330 bfd_set_error (bfd_error_file_truncated);
4331 return false;
4333 if (_bfd_mul_overflow (cmd->nmodtab,
4334 sizeof (bfd_mach_o_dylib_module), &amt))
4336 bfd_set_error (bfd_error_file_too_big);
4337 return false;
4339 cmd->dylib_module = bfd_alloc (abfd, amt);
4340 if (cmd->dylib_module == NULL)
4341 return false;
4343 if (bfd_seek (abfd, cmd->modtaboff, SEEK_SET) != 0)
4344 return false;
4346 for (i = 0; i < cmd->nmodtab; i++)
4348 bfd_mach_o_dylib_module *module = &cmd->dylib_module[i];
4349 unsigned long v;
4350 unsigned char buf[56];
4352 if (bfd_bread ((void *) buf, module_len, abfd) != module_len)
4353 return false;
4355 module->module_name_idx = bfd_h_get_32 (abfd, buf + 0);
4356 module->iextdefsym = bfd_h_get_32 (abfd, buf + 4);
4357 module->nextdefsym = bfd_h_get_32 (abfd, buf + 8);
4358 module->irefsym = bfd_h_get_32 (abfd, buf + 12);
4359 module->nrefsym = bfd_h_get_32 (abfd, buf + 16);
4360 module->ilocalsym = bfd_h_get_32 (abfd, buf + 20);
4361 module->nlocalsym = bfd_h_get_32 (abfd, buf + 24);
4362 module->iextrel = bfd_h_get_32 (abfd, buf + 28);
4363 module->nextrel = bfd_h_get_32 (abfd, buf + 32);
4364 v = bfd_h_get_32 (abfd, buf +36);
4365 module->iinit = v & 0xffff;
4366 module->iterm = (v >> 16) & 0xffff;
4367 v = bfd_h_get_32 (abfd, buf + 40);
4368 module->ninit = v & 0xffff;
4369 module->nterm = (v >> 16) & 0xffff;
4370 if (wide)
4372 module->objc_module_info_size = bfd_h_get_32 (abfd, buf + 44);
4373 module->objc_module_info_addr = bfd_h_get_64 (abfd, buf + 48);
4375 else
4377 module->objc_module_info_addr = bfd_h_get_32 (abfd, buf + 44);
4378 module->objc_module_info_size = bfd_h_get_32 (abfd, buf + 48);
4383 if (cmd->ntoc != 0)
4385 unsigned long i;
4386 size_t amt;
4387 struct mach_o_dylib_table_of_contents_external raw;
4389 if (cmd->tocoff > filesize
4390 || cmd->ntoc > (filesize - cmd->tocoff) / sizeof (raw))
4392 bfd_set_error (bfd_error_file_truncated);
4393 return false;
4395 if (_bfd_mul_overflow (cmd->ntoc,
4396 sizeof (bfd_mach_o_dylib_table_of_content), &amt))
4398 bfd_set_error (bfd_error_file_too_big);
4399 return false;
4401 cmd->dylib_toc = bfd_alloc (abfd, amt);
4402 if (cmd->dylib_toc == NULL)
4403 return false;
4405 if (bfd_seek (abfd, cmd->tocoff, SEEK_SET) != 0)
4406 return false;
4408 for (i = 0; i < cmd->ntoc; i++)
4410 bfd_mach_o_dylib_table_of_content *toc = &cmd->dylib_toc[i];
4412 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4413 return false;
4415 toc->symbol_index = bfd_h_get_32 (abfd, raw.symbol_index);
4416 toc->module_index = bfd_h_get_32 (abfd, raw.module_index);
4420 if (cmd->nindirectsyms != 0)
4422 unsigned int i;
4423 size_t amt;
4425 if (cmd->indirectsymoff > filesize
4426 || cmd->nindirectsyms > (filesize - cmd->indirectsymoff) / 4)
4428 bfd_set_error (bfd_error_file_truncated);
4429 return false;
4431 if (_bfd_mul_overflow (cmd->nindirectsyms, sizeof (unsigned int), &amt))
4433 bfd_set_error (bfd_error_file_too_big);
4434 return false;
4436 cmd->indirect_syms = bfd_alloc (abfd, amt);
4437 if (cmd->indirect_syms == NULL)
4438 return false;
4440 if (bfd_seek (abfd, cmd->indirectsymoff, SEEK_SET) != 0)
4441 return false;
4443 for (i = 0; i < cmd->nindirectsyms; i++)
4445 unsigned char raw[4];
4446 unsigned int *is = &cmd->indirect_syms[i];
4448 if (bfd_bread (raw, sizeof (raw), abfd) != sizeof (raw))
4449 return false;
4451 *is = bfd_h_get_32 (abfd, raw);
4455 if (cmd->nextrefsyms != 0)
4457 unsigned long v;
4458 unsigned int i;
4459 size_t amt;
4461 if (cmd->extrefsymoff > filesize
4462 || cmd->nextrefsyms > (filesize - cmd->extrefsymoff) / 4)
4464 bfd_set_error (bfd_error_file_truncated);
4465 return false;
4467 if (_bfd_mul_overflow (cmd->nextrefsyms,
4468 sizeof (bfd_mach_o_dylib_reference), &amt))
4470 bfd_set_error (bfd_error_file_too_big);
4471 return false;
4473 cmd->ext_refs = bfd_alloc (abfd, amt);
4474 if (cmd->ext_refs == NULL)
4475 return false;
4477 if (bfd_seek (abfd, cmd->extrefsymoff, SEEK_SET) != 0)
4478 return false;
4480 for (i = 0; i < cmd->nextrefsyms; i++)
4482 unsigned char raw[4];
4483 bfd_mach_o_dylib_reference *ref = &cmd->ext_refs[i];
4485 if (bfd_bread (raw, sizeof (raw), abfd) != sizeof (raw))
4486 return false;
4488 /* Fields isym and flags are written as bit-fields, thus we need
4489 a specific processing for endianness. */
4490 v = bfd_h_get_32 (abfd, raw);
4491 if (bfd_big_endian (abfd))
4493 ref->isym = (v >> 8) & 0xffffff;
4494 ref->flags = v & 0xff;
4496 else
4498 ref->isym = v & 0xffffff;
4499 ref->flags = (v >> 24) & 0xff;
4504 if (mdata->dysymtab)
4505 return false;
4506 mdata->dysymtab = cmd;
4508 return true;
4511 static bool
4512 bfd_mach_o_read_symtab (bfd *abfd, bfd_mach_o_load_command *command,
4513 ufile_ptr filesize)
4515 bfd_mach_o_symtab_command *symtab = &command->command.symtab;
4516 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4517 struct mach_o_symtab_command_external raw;
4519 BFD_ASSERT (command->type == BFD_MACH_O_LC_SYMTAB);
4521 if (command->len < sizeof (raw) + 8)
4522 return false;
4523 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4524 return false;
4526 symtab->symoff = bfd_h_get_32 (abfd, raw.symoff);
4527 symtab->nsyms = bfd_h_get_32 (abfd, raw.nsyms);
4528 symtab->stroff = bfd_h_get_32 (abfd, raw.stroff);
4529 symtab->strsize = bfd_h_get_32 (abfd, raw.strsize);
4530 symtab->symbols = NULL;
4531 symtab->strtab = NULL;
4533 if (symtab->symoff > filesize
4534 || symtab->nsyms > (filesize - symtab->symoff) / BFD_MACH_O_NLIST_SIZE
4535 || symtab->stroff > filesize
4536 || symtab->strsize > filesize - symtab->stroff)
4538 bfd_set_error (bfd_error_file_truncated);
4539 return false;
4542 if (symtab->nsyms != 0)
4543 abfd->flags |= HAS_SYMS;
4545 if (mdata->symtab)
4546 return false;
4547 mdata->symtab = symtab;
4548 return true;
4551 static bool
4552 bfd_mach_o_read_uuid (bfd *abfd, bfd_mach_o_load_command *command)
4554 bfd_mach_o_uuid_command *cmd = &command->command.uuid;
4556 BFD_ASSERT (command->type == BFD_MACH_O_LC_UUID);
4558 if (command->len < 16 + 8)
4559 return false;
4560 if (bfd_bread (cmd->uuid, 16, abfd) != 16)
4561 return false;
4563 return true;
4566 static bool
4567 bfd_mach_o_read_linkedit (bfd *abfd, bfd_mach_o_load_command *command)
4569 bfd_mach_o_linkedit_command *cmd = &command->command.linkedit;
4570 struct mach_o_linkedit_data_command_external raw;
4572 if (command->len < sizeof (raw) + 8)
4573 return false;
4574 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4575 return false;
4577 cmd->dataoff = bfd_get_32 (abfd, raw.dataoff);
4578 cmd->datasize = bfd_get_32 (abfd, raw.datasize);
4579 return true;
4582 static bool
4583 bfd_mach_o_read_str (bfd *abfd, bfd_mach_o_load_command *command)
4585 bfd_mach_o_str_command *cmd = &command->command.str;
4586 struct mach_o_str_command_external raw;
4587 unsigned long off;
4589 if (command->len < sizeof (raw) + 8)
4590 return false;
4591 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4592 return false;
4594 off = bfd_get_32 (abfd, raw.str);
4595 if (off > command->len)
4596 return false;
4598 cmd->stroff = command->offset + off;
4599 cmd->str_len = command->len - off;
4600 cmd->str = (char *) bfd_mach_o_alloc_and_read (abfd, cmd->stroff,
4601 cmd->str_len, 1);
4602 return cmd->str != NULL;
4605 static bool
4606 bfd_mach_o_read_dyld_content (bfd *abfd, bfd_mach_o_dyld_info_command *cmd)
4608 /* Read rebase content. */
4609 if (cmd->rebase_content == NULL && cmd->rebase_size != 0)
4611 cmd->rebase_content
4612 = bfd_mach_o_alloc_and_read (abfd, cmd->rebase_off,
4613 cmd->rebase_size, 0);
4614 if (cmd->rebase_content == NULL)
4615 return false;
4618 /* Read bind content. */
4619 if (cmd->bind_content == NULL && cmd->bind_size != 0)
4621 cmd->bind_content
4622 = bfd_mach_o_alloc_and_read (abfd, cmd->bind_off,
4623 cmd->bind_size, 0);
4624 if (cmd->bind_content == NULL)
4625 return false;
4628 /* Read weak bind content. */
4629 if (cmd->weak_bind_content == NULL && cmd->weak_bind_size != 0)
4631 cmd->weak_bind_content
4632 = bfd_mach_o_alloc_and_read (abfd, cmd->weak_bind_off,
4633 cmd->weak_bind_size, 0);
4634 if (cmd->weak_bind_content == NULL)
4635 return false;
4638 /* Read lazy bind content. */
4639 if (cmd->lazy_bind_content == NULL && cmd->lazy_bind_size != 0)
4641 cmd->lazy_bind_content
4642 = bfd_mach_o_alloc_and_read (abfd, cmd->lazy_bind_off,
4643 cmd->lazy_bind_size, 0);
4644 if (cmd->lazy_bind_content == NULL)
4645 return false;
4648 /* Read export content. */
4649 if (cmd->export_content == NULL && cmd->export_size != 0)
4651 cmd->export_content
4652 = bfd_mach_o_alloc_and_read (abfd, cmd->export_off,
4653 cmd->export_size, 0);
4654 if (cmd->export_content == NULL)
4655 return false;
4658 return true;
4661 static bool
4662 bfd_mach_o_read_dyld_info (bfd *abfd, bfd_mach_o_load_command *command)
4664 bfd_mach_o_dyld_info_command *cmd = &command->command.dyld_info;
4665 struct mach_o_dyld_info_command_external raw;
4667 if (command->len < sizeof (raw) + 8)
4668 return false;
4669 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4670 return false;
4672 cmd->rebase_off = bfd_get_32 (abfd, raw.rebase_off);
4673 cmd->rebase_size = bfd_get_32 (abfd, raw.rebase_size);
4674 cmd->rebase_content = NULL;
4675 cmd->bind_off = bfd_get_32 (abfd, raw.bind_off);
4676 cmd->bind_size = bfd_get_32 (abfd, raw.bind_size);
4677 cmd->bind_content = NULL;
4678 cmd->weak_bind_off = bfd_get_32 (abfd, raw.weak_bind_off);
4679 cmd->weak_bind_size = bfd_get_32 (abfd, raw.weak_bind_size);
4680 cmd->weak_bind_content = NULL;
4681 cmd->lazy_bind_off = bfd_get_32 (abfd, raw.lazy_bind_off);
4682 cmd->lazy_bind_size = bfd_get_32 (abfd, raw.lazy_bind_size);
4683 cmd->lazy_bind_content = NULL;
4684 cmd->export_off = bfd_get_32 (abfd, raw.export_off);
4685 cmd->export_size = bfd_get_32 (abfd, raw.export_size);
4686 cmd->export_content = NULL;
4687 return true;
4690 static bool
4691 bfd_mach_o_read_version_min (bfd *abfd, bfd_mach_o_load_command *command)
4693 bfd_mach_o_version_min_command *cmd = &command->command.version_min;
4694 struct mach_o_version_min_command_external raw;
4696 if (command->len < sizeof (raw) + 8)
4697 return false;
4698 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4699 return false;
4701 cmd->version = bfd_get_32 (abfd, raw.version);
4702 cmd->sdk = bfd_get_32 (abfd, raw.sdk);
4703 return true;
4706 static bool
4707 bfd_mach_o_read_encryption_info (bfd *abfd, bfd_mach_o_load_command *command)
4709 bfd_mach_o_encryption_info_command *cmd = &command->command.encryption_info;
4710 struct mach_o_encryption_info_command_external raw;
4712 if (command->len < sizeof (raw) + 8)
4713 return false;
4714 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4715 return false;
4717 cmd->cryptoff = bfd_get_32 (abfd, raw.cryptoff);
4718 cmd->cryptsize = bfd_get_32 (abfd, raw.cryptsize);
4719 cmd->cryptid = bfd_get_32 (abfd, raw.cryptid);
4720 return true;
4723 static bool
4724 bfd_mach_o_read_encryption_info_64 (bfd *abfd, bfd_mach_o_load_command *command)
4726 bfd_mach_o_encryption_info_command *cmd = &command->command.encryption_info;
4727 struct mach_o_encryption_info_64_command_external raw;
4729 if (command->len < sizeof (raw) + 8)
4730 return false;
4731 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4732 return false;
4734 cmd->cryptoff = bfd_get_32 (abfd, raw.cryptoff);
4735 cmd->cryptsize = bfd_get_32 (abfd, raw.cryptsize);
4736 cmd->cryptid = bfd_get_32 (abfd, raw.cryptid);
4737 return true;
4740 static bool
4741 bfd_mach_o_read_main (bfd *abfd, bfd_mach_o_load_command *command)
4743 bfd_mach_o_main_command *cmd = &command->command.main;
4744 struct mach_o_entry_point_command_external raw;
4746 if (command->len < sizeof (raw) + 8)
4747 return false;
4748 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4749 return false;
4751 cmd->entryoff = bfd_get_64 (abfd, raw.entryoff);
4752 cmd->stacksize = bfd_get_64 (abfd, raw.stacksize);
4753 return true;
4756 static bool
4757 bfd_mach_o_read_source_version (bfd *abfd, bfd_mach_o_load_command *command)
4759 bfd_mach_o_source_version_command *cmd = &command->command.source_version;
4760 struct mach_o_source_version_command_external raw;
4761 uint64_t ver;
4763 if (command->len < sizeof (raw) + 8)
4764 return false;
4765 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4766 return false;
4768 ver = bfd_get_64 (abfd, raw.version);
4769 /* Note: we use a serie of shift to avoid shift > 32 (for which gcc
4770 generates warnings) in case of the host doesn't support 64 bit
4771 integers. */
4772 cmd->e = ver & 0x3ff;
4773 ver >>= 10;
4774 cmd->d = ver & 0x3ff;
4775 ver >>= 10;
4776 cmd->c = ver & 0x3ff;
4777 ver >>= 10;
4778 cmd->b = ver & 0x3ff;
4779 ver >>= 10;
4780 cmd->a = ver & 0xffffff;
4781 return true;
4784 static bool
4785 bfd_mach_o_read_note (bfd *abfd, bfd_mach_o_load_command *command)
4787 bfd_mach_o_note_command *cmd = &command->command.note;
4788 struct mach_o_note_command_external raw;
4790 if (command->len < sizeof (raw) + 8)
4791 return false;
4792 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4793 return false;
4795 memcpy (cmd->data_owner, raw.data_owner, 16);
4796 cmd->offset = bfd_get_64 (abfd, raw.offset);
4797 cmd->size = bfd_get_64 (abfd, raw.size);
4798 return true;
4801 static bool
4802 bfd_mach_o_read_build_version (bfd *abfd, bfd_mach_o_load_command *command)
4804 bfd_mach_o_build_version_command *cmd = &command->command.build_version;
4805 struct mach_o_build_version_command_external raw;
4807 if (command->len < sizeof (raw) + 8)
4808 return false;
4809 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4810 return false;
4812 cmd->platform = bfd_get_32 (abfd, raw.platform);
4813 cmd->minos = bfd_get_32 (abfd, raw.minos);
4814 cmd->sdk = bfd_get_32 (abfd, raw.sdk);
4815 cmd->ntools = bfd_get_32 (abfd, raw.ntools);
4816 return true;
4819 static bool
4820 bfd_mach_o_read_segment (bfd *abfd,
4821 bfd_mach_o_load_command *command,
4822 unsigned int wide)
4824 bfd_mach_o_segment_command *seg = &command->command.segment;
4825 unsigned long i;
4827 if (wide)
4829 struct mach_o_segment_command_64_external raw;
4831 BFD_ASSERT (command->type == BFD_MACH_O_LC_SEGMENT_64);
4833 if (command->len < sizeof (raw) + 8)
4834 return false;
4835 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4836 return false;
4838 memcpy (seg->segname, raw.segname, 16);
4839 seg->segname[16] = '\0';
4841 seg->vmaddr = bfd_h_get_64 (abfd, raw.vmaddr);
4842 seg->vmsize = bfd_h_get_64 (abfd, raw.vmsize);
4843 seg->fileoff = bfd_h_get_64 (abfd, raw.fileoff);
4844 seg->filesize = bfd_h_get_64 (abfd, raw.filesize);
4845 seg->maxprot = bfd_h_get_32 (abfd, raw.maxprot);
4846 seg->initprot = bfd_h_get_32 (abfd, raw.initprot);
4847 seg->nsects = bfd_h_get_32 (abfd, raw.nsects);
4848 seg->flags = bfd_h_get_32 (abfd, raw.flags);
4850 else
4852 struct mach_o_segment_command_32_external raw;
4854 BFD_ASSERT (command->type == BFD_MACH_O_LC_SEGMENT);
4856 if (command->len < sizeof (raw) + 8)
4857 return false;
4858 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4859 return false;
4861 memcpy (seg->segname, raw.segname, 16);
4862 seg->segname[16] = '\0';
4864 seg->vmaddr = bfd_h_get_32 (abfd, raw.vmaddr);
4865 seg->vmsize = bfd_h_get_32 (abfd, raw.vmsize);
4866 seg->fileoff = bfd_h_get_32 (abfd, raw.fileoff);
4867 seg->filesize = bfd_h_get_32 (abfd, raw.filesize);
4868 seg->maxprot = bfd_h_get_32 (abfd, raw.maxprot);
4869 seg->initprot = bfd_h_get_32 (abfd, raw.initprot);
4870 seg->nsects = bfd_h_get_32 (abfd, raw.nsects);
4871 seg->flags = bfd_h_get_32 (abfd, raw.flags);
4873 seg->sect_head = NULL;
4874 seg->sect_tail = NULL;
4876 for (i = 0; i < seg->nsects; i++)
4878 asection *sec;
4880 sec = bfd_mach_o_read_section (abfd, seg->initprot, wide);
4881 if (sec == NULL)
4882 return false;
4884 bfd_mach_o_append_section_to_segment
4885 (seg, bfd_mach_o_get_mach_o_section (sec));
4888 return true;
4891 static bool
4892 bfd_mach_o_read_segment_32 (bfd *abfd, bfd_mach_o_load_command *command)
4894 return bfd_mach_o_read_segment (abfd, command, 0);
4897 static bool
4898 bfd_mach_o_read_segment_64 (bfd *abfd, bfd_mach_o_load_command *command)
4900 return bfd_mach_o_read_segment (abfd, command, 1);
4903 static bool
4904 bfd_mach_o_read_command (bfd *abfd, bfd_mach_o_load_command *command,
4905 ufile_ptr filesize)
4907 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4908 struct mach_o_load_command_external raw;
4909 unsigned int cmd;
4911 /* Read command type and length. */
4912 if (bfd_seek (abfd, mdata->hdr_offset + command->offset, SEEK_SET) != 0
4913 || bfd_bread (&raw, BFD_MACH_O_LC_SIZE, abfd) != BFD_MACH_O_LC_SIZE)
4914 return false;
4916 cmd = bfd_h_get_32 (abfd, raw.cmd);
4917 command->type = cmd & ~BFD_MACH_O_LC_REQ_DYLD;
4918 command->type_required = (cmd & BFD_MACH_O_LC_REQ_DYLD) != 0;
4919 command->len = bfd_h_get_32 (abfd, raw.cmdsize);
4920 if (command->len < 8 || command->len % 4 != 0)
4921 return false;
4923 switch (command->type)
4925 case BFD_MACH_O_LC_SEGMENT:
4926 if (!bfd_mach_o_read_segment_32 (abfd, command))
4927 return false;
4928 break;
4929 case BFD_MACH_O_LC_SEGMENT_64:
4930 if (!bfd_mach_o_read_segment_64 (abfd, command))
4931 return false;
4932 break;
4933 case BFD_MACH_O_LC_SYMTAB:
4934 if (!bfd_mach_o_read_symtab (abfd, command, filesize))
4935 return false;
4936 break;
4937 case BFD_MACH_O_LC_SYMSEG:
4938 break;
4939 case BFD_MACH_O_LC_THREAD:
4940 case BFD_MACH_O_LC_UNIXTHREAD:
4941 if (!bfd_mach_o_read_thread (abfd, command))
4942 return false;
4943 break;
4944 case BFD_MACH_O_LC_LOAD_DYLINKER:
4945 case BFD_MACH_O_LC_ID_DYLINKER:
4946 case BFD_MACH_O_LC_DYLD_ENVIRONMENT:
4947 if (!bfd_mach_o_read_dylinker (abfd, command))
4948 return false;
4949 break;
4950 case BFD_MACH_O_LC_LOAD_DYLIB:
4951 case BFD_MACH_O_LC_LAZY_LOAD_DYLIB:
4952 case BFD_MACH_O_LC_ID_DYLIB:
4953 case BFD_MACH_O_LC_LOAD_WEAK_DYLIB:
4954 case BFD_MACH_O_LC_REEXPORT_DYLIB:
4955 case BFD_MACH_O_LC_LOAD_UPWARD_DYLIB:
4956 if (!bfd_mach_o_read_dylib (abfd, command))
4957 return false;
4958 break;
4959 case BFD_MACH_O_LC_PREBOUND_DYLIB:
4960 if (!bfd_mach_o_read_prebound_dylib (abfd, command))
4961 return false;
4962 break;
4963 case BFD_MACH_O_LC_LOADFVMLIB:
4964 case BFD_MACH_O_LC_IDFVMLIB:
4965 if (!bfd_mach_o_read_fvmlib (abfd, command))
4966 return false;
4967 break;
4968 case BFD_MACH_O_LC_IDENT:
4969 case BFD_MACH_O_LC_FVMFILE:
4970 case BFD_MACH_O_LC_PREPAGE:
4971 case BFD_MACH_O_LC_ROUTINES:
4972 case BFD_MACH_O_LC_ROUTINES_64:
4973 break;
4974 case BFD_MACH_O_LC_SUB_FRAMEWORK:
4975 case BFD_MACH_O_LC_SUB_UMBRELLA:
4976 case BFD_MACH_O_LC_SUB_LIBRARY:
4977 case BFD_MACH_O_LC_SUB_CLIENT:
4978 case BFD_MACH_O_LC_RPATH:
4979 if (!bfd_mach_o_read_str (abfd, command))
4980 return false;
4981 break;
4982 case BFD_MACH_O_LC_DYSYMTAB:
4983 if (!bfd_mach_o_read_dysymtab (abfd, command, filesize))
4984 return false;
4985 break;
4986 case BFD_MACH_O_LC_PREBIND_CKSUM:
4987 if (!bfd_mach_o_read_prebind_cksum (abfd, command))
4988 return false;
4989 break;
4990 case BFD_MACH_O_LC_TWOLEVEL_HINTS:
4991 if (!bfd_mach_o_read_twolevel_hints (abfd, command))
4992 return false;
4993 break;
4994 case BFD_MACH_O_LC_UUID:
4995 if (!bfd_mach_o_read_uuid (abfd, command))
4996 return false;
4997 break;
4998 case BFD_MACH_O_LC_CODE_SIGNATURE:
4999 case BFD_MACH_O_LC_SEGMENT_SPLIT_INFO:
5000 case BFD_MACH_O_LC_FUNCTION_STARTS:
5001 case BFD_MACH_O_LC_DATA_IN_CODE:
5002 case BFD_MACH_O_LC_DYLIB_CODE_SIGN_DRS:
5003 case BFD_MACH_O_LC_LINKER_OPTIMIZATION_HINT:
5004 case BFD_MACH_O_LC_DYLD_EXPORTS_TRIE:
5005 case BFD_MACH_O_LC_DYLD_CHAINED_FIXUPS:
5006 if (!bfd_mach_o_read_linkedit (abfd, command))
5007 return false;
5008 break;
5009 case BFD_MACH_O_LC_ENCRYPTION_INFO:
5010 if (!bfd_mach_o_read_encryption_info (abfd, command))
5011 return false;
5012 break;
5013 case BFD_MACH_O_LC_ENCRYPTION_INFO_64:
5014 if (!bfd_mach_o_read_encryption_info_64 (abfd, command))
5015 return false;
5016 break;
5017 case BFD_MACH_O_LC_DYLD_INFO:
5018 if (!bfd_mach_o_read_dyld_info (abfd, command))
5019 return false;
5020 break;
5021 case BFD_MACH_O_LC_VERSION_MIN_MACOSX:
5022 case BFD_MACH_O_LC_VERSION_MIN_IPHONEOS:
5023 case BFD_MACH_O_LC_VERSION_MIN_WATCHOS:
5024 case BFD_MACH_O_LC_VERSION_MIN_TVOS:
5025 if (!bfd_mach_o_read_version_min (abfd, command))
5026 return false;
5027 break;
5028 case BFD_MACH_O_LC_MAIN:
5029 if (!bfd_mach_o_read_main (abfd, command))
5030 return false;
5031 break;
5032 case BFD_MACH_O_LC_SOURCE_VERSION:
5033 if (!bfd_mach_o_read_source_version (abfd, command))
5034 return false;
5035 break;
5036 case BFD_MACH_O_LC_LINKER_OPTIONS:
5037 break;
5038 case BFD_MACH_O_LC_NOTE:
5039 if (!bfd_mach_o_read_note (abfd, command))
5040 return false;
5041 break;
5042 case BFD_MACH_O_LC_BUILD_VERSION:
5043 if (!bfd_mach_o_read_build_version (abfd, command))
5044 return false;
5045 break;
5046 default:
5047 command->len = 0;
5048 _bfd_error_handler (_("%pB: unknown load command %#x"),
5049 abfd, command->type);
5050 return false;
5053 return true;
5056 static bool
5057 bfd_mach_o_flatten_sections (bfd *abfd)
5059 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
5060 bfd_mach_o_load_command *cmd;
5061 long csect = 0;
5062 size_t amt;
5064 /* Count total number of sections. */
5065 mdata->nsects = 0;
5067 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5069 if (cmd->type == BFD_MACH_O_LC_SEGMENT
5070 || cmd->type == BFD_MACH_O_LC_SEGMENT_64)
5072 bfd_mach_o_segment_command *seg = &cmd->command.segment;
5074 mdata->nsects += seg->nsects;
5078 /* Allocate sections array. */
5079 if (_bfd_mul_overflow (mdata->nsects, sizeof (bfd_mach_o_section *), &amt))
5081 bfd_set_error (bfd_error_file_too_big);
5082 return false;
5084 mdata->sections = bfd_alloc (abfd, amt);
5085 if (mdata->sections == NULL && mdata->nsects != 0)
5086 return false;
5088 /* Fill the array. */
5089 csect = 0;
5091 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5093 if (cmd->type == BFD_MACH_O_LC_SEGMENT
5094 || cmd->type == BFD_MACH_O_LC_SEGMENT_64)
5096 bfd_mach_o_segment_command *seg = &cmd->command.segment;
5097 bfd_mach_o_section *sec;
5099 BFD_ASSERT (csect + seg->nsects <= mdata->nsects);
5101 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
5102 mdata->sections[csect++] = sec;
5105 return true;
5108 static bool
5109 bfd_mach_o_scan_start_address (bfd *abfd)
5111 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
5112 bfd_mach_o_thread_command *thr = NULL;
5113 bfd_mach_o_load_command *cmd;
5114 unsigned long i;
5116 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5117 if (cmd->type == BFD_MACH_O_LC_THREAD
5118 || cmd->type == BFD_MACH_O_LC_UNIXTHREAD)
5120 thr = &cmd->command.thread;
5121 break;
5123 else if (cmd->type == BFD_MACH_O_LC_MAIN && mdata->nsects > 1)
5125 bfd_mach_o_main_command *main_cmd = &cmd->command.main;
5126 bfd_mach_o_section *text_sect = mdata->sections[0];
5128 if (text_sect)
5130 abfd->start_address = main_cmd->entryoff
5131 + (text_sect->addr - text_sect->offset);
5132 return true;
5136 /* An object file has no start address, so do not fail if not found. */
5137 if (thr == NULL)
5138 return true;
5140 /* FIXME: create a subtarget hook ? */
5141 for (i = 0; i < thr->nflavours; i++)
5143 if ((mdata->header.cputype == BFD_MACH_O_CPU_TYPE_I386)
5144 && (thr->flavours[i].flavour == BFD_MACH_O_x86_THREAD_STATE32))
5146 unsigned char buf[4];
5148 if (bfd_seek (abfd, thr->flavours[i].offset + 40, SEEK_SET) != 0
5149 || bfd_bread (buf, 4, abfd) != 4)
5150 return false;
5152 abfd->start_address = bfd_h_get_32 (abfd, buf);
5154 else if ((mdata->header.cputype == BFD_MACH_O_CPU_TYPE_POWERPC)
5155 && (thr->flavours[i].flavour == BFD_MACH_O_PPC_THREAD_STATE))
5157 unsigned char buf[4];
5159 if (bfd_seek (abfd, thr->flavours[i].offset + 0, SEEK_SET) != 0
5160 || bfd_bread (buf, 4, abfd) != 4)
5161 return false;
5163 abfd->start_address = bfd_h_get_32 (abfd, buf);
5165 else if ((mdata->header.cputype == BFD_MACH_O_CPU_TYPE_POWERPC_64)
5166 && (thr->flavours[i].flavour == BFD_MACH_O_PPC_THREAD_STATE64))
5168 unsigned char buf[8];
5170 if (bfd_seek (abfd, thr->flavours[i].offset + 0, SEEK_SET) != 0
5171 || bfd_bread (buf, 8, abfd) != 8)
5172 return false;
5174 abfd->start_address = bfd_h_get_64 (abfd, buf);
5176 else if ((mdata->header.cputype == BFD_MACH_O_CPU_TYPE_X86_64)
5177 && (thr->flavours[i].flavour == BFD_MACH_O_x86_THREAD_STATE64))
5179 unsigned char buf[8];
5181 if (bfd_seek (abfd, thr->flavours[i].offset + (16 * 8), SEEK_SET) != 0
5182 || bfd_bread (buf, 8, abfd) != 8)
5183 return false;
5185 abfd->start_address = bfd_h_get_64 (abfd, buf);
5189 return true;
5192 bool
5193 bfd_mach_o_set_arch_mach (bfd *abfd,
5194 enum bfd_architecture arch,
5195 unsigned long machine)
5197 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
5199 /* If this isn't the right architecture for this backend, and this
5200 isn't the generic backend, fail. */
5201 if (arch != bed->arch
5202 && arch != bfd_arch_unknown
5203 && bed->arch != bfd_arch_unknown)
5204 return false;
5206 return bfd_default_set_arch_mach (abfd, arch, machine);
5209 static bool
5210 bfd_mach_o_scan (bfd *abfd,
5211 bfd_mach_o_header *header,
5212 bfd_mach_o_data_struct *mdata)
5214 unsigned int i;
5215 enum bfd_architecture cpu_type;
5216 unsigned long cpu_subtype;
5217 unsigned int hdrsize;
5219 hdrsize = mach_o_wide_p (header) ?
5220 BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
5222 mdata->header = *header;
5224 abfd->flags = abfd->flags & BFD_IN_MEMORY;
5225 switch (header->filetype)
5227 case BFD_MACH_O_MH_OBJECT:
5228 abfd->flags |= HAS_RELOC;
5229 break;
5230 case BFD_MACH_O_MH_EXECUTE:
5231 abfd->flags |= EXEC_P;
5232 break;
5233 case BFD_MACH_O_MH_DYLIB:
5234 case BFD_MACH_O_MH_BUNDLE:
5235 abfd->flags |= DYNAMIC;
5236 break;
5239 abfd->tdata.mach_o_data = mdata;
5241 bfd_mach_o_convert_architecture (header->cputype, header->cpusubtype,
5242 &cpu_type, &cpu_subtype);
5243 if (cpu_type == bfd_arch_unknown)
5245 _bfd_error_handler
5246 /* xgettext:c-format */
5247 (_("bfd_mach_o_scan: unknown architecture 0x%lx/0x%lx"),
5248 header->cputype, header->cpusubtype);
5249 return false;
5252 bfd_set_arch_mach (abfd, cpu_type, cpu_subtype);
5254 if (header->ncmds != 0)
5256 bfd_mach_o_load_command *cmd;
5257 size_t amt;
5258 ufile_ptr filesize = bfd_get_file_size (abfd);
5260 if (filesize == 0)
5261 filesize = (ufile_ptr) -1;
5263 mdata->first_command = NULL;
5264 mdata->last_command = NULL;
5266 if (header->ncmds > (filesize - hdrsize) / BFD_MACH_O_LC_SIZE)
5268 bfd_set_error (bfd_error_file_truncated);
5269 return false;
5271 if (_bfd_mul_overflow (header->ncmds,
5272 sizeof (bfd_mach_o_load_command), &amt))
5274 bfd_set_error (bfd_error_file_too_big);
5275 return false;
5277 cmd = bfd_alloc (abfd, amt);
5278 if (cmd == NULL)
5279 return false;
5281 for (i = 0; i < header->ncmds; i++)
5283 bfd_mach_o_load_command *cur = &cmd[i];
5285 bfd_mach_o_append_command (abfd, cur);
5287 if (i == 0)
5288 cur->offset = hdrsize;
5289 else
5291 bfd_mach_o_load_command *prev = &cmd[i - 1];
5292 cur->offset = prev->offset + prev->len;
5295 if (!bfd_mach_o_read_command (abfd, cur, filesize))
5296 return false;
5300 /* Sections should be flatten before scanning start address. */
5301 if (!bfd_mach_o_flatten_sections (abfd))
5302 return false;
5303 if (!bfd_mach_o_scan_start_address (abfd))
5304 return false;
5306 return true;
5309 bool
5310 bfd_mach_o_mkobject_init (bfd *abfd)
5312 bfd_mach_o_data_struct *mdata = NULL;
5314 mdata = bfd_zalloc (abfd, sizeof (bfd_mach_o_data_struct));
5315 if (mdata == NULL)
5316 return false;
5317 abfd->tdata.mach_o_data = mdata;
5319 mdata->header.magic = 0;
5320 mdata->header.cputype = 0;
5321 mdata->header.cpusubtype = 0;
5322 mdata->header.filetype = 0;
5323 mdata->header.ncmds = 0;
5324 mdata->header.sizeofcmds = 0;
5325 mdata->header.flags = 0;
5326 mdata->header.byteorder = BFD_ENDIAN_UNKNOWN;
5327 mdata->first_command = NULL;
5328 mdata->last_command = NULL;
5329 mdata->nsects = 0;
5330 mdata->sections = NULL;
5331 mdata->dyn_reloc_cache = NULL;
5333 return true;
5336 static bool
5337 bfd_mach_o_gen_mkobject (bfd *abfd)
5339 bfd_mach_o_data_struct *mdata;
5341 if (!bfd_mach_o_mkobject_init (abfd))
5342 return false;
5344 mdata = bfd_mach_o_get_data (abfd);
5345 mdata->header.magic = BFD_MACH_O_MH_MAGIC;
5346 mdata->header.cputype = 0;
5347 mdata->header.cpusubtype = 0;
5348 mdata->header.byteorder = abfd->xvec->byteorder;
5349 mdata->header.version = 1;
5351 return true;
5354 bfd_cleanup
5355 bfd_mach_o_header_p (bfd *abfd,
5356 file_ptr hdr_off,
5357 bfd_mach_o_filetype file_type,
5358 bfd_mach_o_cpu_type cpu_type)
5360 bfd_mach_o_header header;
5361 bfd_mach_o_data_struct *mdata;
5363 if (!bfd_mach_o_read_header (abfd, hdr_off, &header))
5364 goto wrong;
5366 if (! (header.byteorder == BFD_ENDIAN_BIG
5367 || header.byteorder == BFD_ENDIAN_LITTLE))
5369 _bfd_error_handler (_("unknown header byte-order value %#x"),
5370 header.byteorder);
5371 goto wrong;
5374 if (! ((header.byteorder == BFD_ENDIAN_BIG
5375 && abfd->xvec->byteorder == BFD_ENDIAN_BIG
5376 && abfd->xvec->header_byteorder == BFD_ENDIAN_BIG)
5377 || (header.byteorder == BFD_ENDIAN_LITTLE
5378 && abfd->xvec->byteorder == BFD_ENDIAN_LITTLE
5379 && abfd->xvec->header_byteorder == BFD_ENDIAN_LITTLE)))
5380 goto wrong;
5382 /* Check cputype and filetype.
5383 In case of wildcard, do not accept magics that are handled by existing
5384 targets. */
5385 if (cpu_type)
5387 if (header.cputype != cpu_type)
5388 goto wrong;
5390 else
5392 #ifndef BFD64
5393 /* Do not recognize 64 architectures if not configured for 64bit targets.
5394 This could happen only for generic targets. */
5395 if (mach_o_wide_p (&header))
5396 goto wrong;
5397 #endif
5400 if (file_type)
5402 if (header.filetype != file_type)
5403 goto wrong;
5405 else
5407 switch (header.filetype)
5409 case BFD_MACH_O_MH_CORE:
5410 /* Handled by core_p */
5411 goto wrong;
5412 default:
5413 break;
5417 mdata = (bfd_mach_o_data_struct *) bfd_zalloc (abfd, sizeof (*mdata));
5418 if (mdata == NULL)
5419 goto fail;
5420 mdata->hdr_offset = hdr_off;
5422 if (!bfd_mach_o_scan (abfd, &header, mdata))
5423 goto wrong;
5425 return _bfd_no_cleanup;
5427 wrong:
5428 bfd_set_error (bfd_error_wrong_format);
5430 fail:
5431 return NULL;
5434 static bfd_cleanup
5435 bfd_mach_o_gen_object_p (bfd *abfd)
5437 return bfd_mach_o_header_p (abfd, 0, 0, 0);
5440 static bfd_cleanup
5441 bfd_mach_o_gen_core_p (bfd *abfd)
5443 return bfd_mach_o_header_p (abfd, 0, BFD_MACH_O_MH_CORE, 0);
5446 /* Return the base address of ABFD, ie the address at which the image is
5447 mapped. The possible initial pagezero is ignored. */
5449 bfd_vma
5450 bfd_mach_o_get_base_address (bfd *abfd)
5452 bfd_mach_o_data_struct *mdata;
5453 bfd_mach_o_load_command *cmd;
5455 /* Check for Mach-O. */
5456 if (!bfd_mach_o_valid (abfd))
5457 return 0;
5458 mdata = bfd_mach_o_get_data (abfd);
5460 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5462 if ((cmd->type == BFD_MACH_O_LC_SEGMENT
5463 || cmd->type == BFD_MACH_O_LC_SEGMENT_64))
5465 struct bfd_mach_o_segment_command *segcmd = &cmd->command.segment;
5467 if (segcmd->initprot != 0)
5468 return segcmd->vmaddr;
5471 return 0;
5474 typedef struct mach_o_fat_archentry
5476 unsigned long cputype;
5477 unsigned long cpusubtype;
5478 unsigned long offset;
5479 unsigned long size;
5480 unsigned long align;
5481 } mach_o_fat_archentry;
5483 typedef struct mach_o_fat_data_struct
5485 unsigned long magic;
5486 unsigned long nfat_arch;
5487 mach_o_fat_archentry *archentries;
5488 } mach_o_fat_data_struct;
5490 /* Check for overlapping archive elements. Note that we can't allow
5491 multiple elements at the same offset even if one is empty, because
5492 bfd_mach_o_fat_openr_next_archived_file assume distinct offsets. */
5493 static bool
5494 overlap_previous (const mach_o_fat_archentry *elt, unsigned long i)
5496 unsigned long j = i;
5497 while (j-- != 0)
5498 if (elt[i].offset == elt[j].offset
5499 || (elt[i].offset > elt[j].offset
5500 ? elt[i].offset - elt[j].offset < elt[j].size
5501 : elt[j].offset - elt[i].offset < elt[i].size))
5502 return true;
5503 return false;
5506 bfd_cleanup
5507 bfd_mach_o_fat_archive_p (bfd *abfd)
5509 mach_o_fat_data_struct *adata = NULL;
5510 struct mach_o_fat_header_external hdr;
5511 unsigned long i;
5512 size_t amt;
5513 ufile_ptr filesize;
5515 if (bfd_seek (abfd, 0, SEEK_SET) != 0
5516 || bfd_bread (&hdr, sizeof (hdr), abfd) != sizeof (hdr))
5517 goto error;
5519 adata = bfd_alloc (abfd, sizeof (mach_o_fat_data_struct));
5520 if (adata == NULL)
5521 goto error;
5523 adata->magic = bfd_getb32 (hdr.magic);
5524 adata->nfat_arch = bfd_getb32 (hdr.nfat_arch);
5525 if (adata->magic != 0xcafebabe)
5526 goto error;
5527 /* Avoid matching Java bytecode files, which have the same magic number.
5528 In the Java bytecode file format this field contains the JVM version,
5529 which starts at 43.0. */
5530 if (adata->nfat_arch > 30)
5531 goto error;
5533 if (_bfd_mul_overflow (adata->nfat_arch,
5534 sizeof (mach_o_fat_archentry), &amt))
5536 bfd_set_error (bfd_error_file_too_big);
5537 goto error;
5539 adata->archentries = bfd_alloc (abfd, amt);
5540 if (adata->archentries == NULL)
5541 goto error;
5543 filesize = bfd_get_file_size (abfd);
5544 for (i = 0; i < adata->nfat_arch; i++)
5546 struct mach_o_fat_arch_external arch;
5547 if (bfd_bread (&arch, sizeof (arch), abfd) != sizeof (arch))
5548 goto error;
5549 adata->archentries[i].cputype = bfd_getb32 (arch.cputype);
5550 adata->archentries[i].cpusubtype = bfd_getb32 (arch.cpusubtype);
5551 adata->archentries[i].offset = bfd_getb32 (arch.offset);
5552 adata->archentries[i].size = bfd_getb32 (arch.size);
5553 adata->archentries[i].align = bfd_getb32 (arch.align);
5554 if ((filesize != 0
5555 && (adata->archentries[i].offset > filesize
5556 || (adata->archentries[i].size
5557 > filesize - adata->archentries[i].offset)))
5558 || (adata->archentries[i].offset
5559 < sizeof (hdr) + adata->nfat_arch * sizeof (arch))
5560 || overlap_previous (adata->archentries, i))
5562 bfd_release (abfd, adata);
5563 bfd_set_error (bfd_error_malformed_archive);
5564 return NULL;
5568 abfd->tdata.mach_o_fat_data = adata;
5570 return _bfd_no_cleanup;
5572 error:
5573 if (adata != NULL)
5574 bfd_release (abfd, adata);
5575 bfd_set_error (bfd_error_wrong_format);
5576 return NULL;
5579 /* Set the filename for a fat binary member ABFD, whose bfd architecture is
5580 ARCH_TYPE/ARCH_SUBTYPE and corresponding entry in header is ENTRY.
5581 Set arelt_data and origin fields too. */
5583 static bool
5584 bfd_mach_o_fat_member_init (bfd *abfd,
5585 enum bfd_architecture arch_type,
5586 unsigned long arch_subtype,
5587 mach_o_fat_archentry *entry)
5589 struct areltdata *areltdata;
5590 /* Create the member filename. Use ARCH_NAME. */
5591 const bfd_arch_info_type *ap = bfd_lookup_arch (arch_type, arch_subtype);
5592 const char *filename;
5594 if (ap)
5596 /* Use the architecture name if known. */
5597 filename = bfd_set_filename (abfd, ap->printable_name);
5599 else
5601 /* Forge a uniq id. */
5602 char buf[2 + 8 + 1 + 2 + 8 + 1];
5603 snprintf (buf, sizeof (buf), "0x%lx-0x%lx",
5604 entry->cputype, entry->cpusubtype);
5605 filename = bfd_set_filename (abfd, buf);
5607 if (!filename)
5608 return false;
5610 areltdata = bfd_zmalloc (sizeof (struct areltdata));
5611 if (areltdata == NULL)
5612 return false;
5613 areltdata->parsed_size = entry->size;
5614 abfd->arelt_data = areltdata;
5615 abfd->iostream = NULL;
5616 abfd->origin = entry->offset;
5617 return true;
5620 bfd *
5621 bfd_mach_o_fat_openr_next_archived_file (bfd *archive, bfd *prev)
5623 mach_o_fat_data_struct *adata;
5624 mach_o_fat_archentry *entry = NULL;
5625 unsigned long i;
5626 bfd *nbfd;
5627 enum bfd_architecture arch_type;
5628 unsigned long arch_subtype;
5630 adata = (mach_o_fat_data_struct *) archive->tdata.mach_o_fat_data;
5631 BFD_ASSERT (adata != NULL);
5633 /* Find index of previous entry. */
5634 if (prev == NULL)
5636 /* Start at first one. */
5637 i = 0;
5639 else
5641 /* Find index of PREV. */
5642 for (i = 0; i < adata->nfat_arch; i++)
5644 if (adata->archentries[i].offset == prev->origin)
5645 break;
5648 if (i == adata->nfat_arch)
5650 /* Not found. */
5651 bfd_set_error (bfd_error_bad_value);
5652 return NULL;
5655 /* Get next entry. */
5656 i++;
5659 if (i >= adata->nfat_arch)
5661 bfd_set_error (bfd_error_no_more_archived_files);
5662 return NULL;
5665 entry = &adata->archentries[i];
5666 nbfd = _bfd_new_bfd_contained_in (archive);
5667 if (nbfd == NULL)
5668 return NULL;
5670 bfd_mach_o_convert_architecture (entry->cputype, entry->cpusubtype,
5671 &arch_type, &arch_subtype);
5673 if (!bfd_mach_o_fat_member_init (nbfd, arch_type, arch_subtype, entry))
5675 bfd_close (nbfd);
5676 return NULL;
5679 bfd_set_arch_mach (nbfd, arch_type, arch_subtype);
5681 return nbfd;
5684 /* Analogous to stat call. */
5686 static int
5687 bfd_mach_o_fat_stat_arch_elt (bfd *abfd, struct stat *buf)
5689 if (abfd->arelt_data == NULL)
5691 bfd_set_error (bfd_error_invalid_operation);
5692 return -1;
5695 buf->st_mtime = 0;
5696 buf->st_uid = 0;
5697 buf->st_gid = 0;
5698 buf->st_mode = 0644;
5699 buf->st_size = arelt_size (abfd);
5701 return 0;
5704 /* If ABFD format is FORMAT and architecture is ARCH, return it.
5705 If ABFD is a fat image containing a member that corresponds to FORMAT
5706 and ARCH, returns it.
5707 In other case, returns NULL.
5708 This function allows transparent uses of fat images. */
5710 bfd *
5711 bfd_mach_o_fat_extract (bfd *abfd,
5712 bfd_format format,
5713 const bfd_arch_info_type *arch)
5715 bfd *res;
5716 mach_o_fat_data_struct *adata;
5717 unsigned int i;
5719 if (bfd_check_format (abfd, format))
5721 if (bfd_get_arch_info (abfd) == arch)
5722 return abfd;
5723 return NULL;
5725 if (!bfd_check_format (abfd, bfd_archive)
5726 || abfd->xvec != &mach_o_fat_vec)
5727 return NULL;
5729 /* This is a Mach-O fat image. */
5730 adata = (mach_o_fat_data_struct *) abfd->tdata.mach_o_fat_data;
5731 BFD_ASSERT (adata != NULL);
5733 for (i = 0; i < adata->nfat_arch; i++)
5735 struct mach_o_fat_archentry *e = &adata->archentries[i];
5736 enum bfd_architecture cpu_type;
5737 unsigned long cpu_subtype;
5739 bfd_mach_o_convert_architecture (e->cputype, e->cpusubtype,
5740 &cpu_type, &cpu_subtype);
5741 if (cpu_type != arch->arch || cpu_subtype != arch->mach)
5742 continue;
5744 /* The architecture is found. */
5745 res = _bfd_new_bfd_contained_in (abfd);
5746 if (res == NULL)
5747 return NULL;
5749 if (bfd_mach_o_fat_member_init (res, cpu_type, cpu_subtype, e)
5750 && bfd_check_format (res, format))
5752 BFD_ASSERT (bfd_get_arch_info (res) == arch);
5753 return res;
5755 bfd_close (res);
5756 return NULL;
5759 return NULL;
5762 static bool
5763 bfd_mach_o_fat_close_and_cleanup (bfd *abfd)
5765 _bfd_unlink_from_archive_parent (abfd);
5766 return true;
5770 bfd_mach_o_lookup_command (bfd *abfd,
5771 bfd_mach_o_load_command_type type,
5772 bfd_mach_o_load_command **mcommand)
5774 struct mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
5775 struct bfd_mach_o_load_command *cmd;
5776 unsigned int num;
5778 BFD_ASSERT (mdata != NULL);
5779 BFD_ASSERT (mcommand != NULL);
5781 num = 0;
5782 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5784 if (cmd->type != type)
5785 continue;
5787 if (num == 0)
5788 *mcommand = cmd;
5789 num++;
5792 return num;
5795 unsigned long
5796 bfd_mach_o_stack_addr (enum bfd_mach_o_cpu_type type)
5798 switch (type)
5800 case BFD_MACH_O_CPU_TYPE_MC680x0:
5801 return 0x04000000;
5802 case BFD_MACH_O_CPU_TYPE_POWERPC:
5803 return 0xc0000000;
5804 case BFD_MACH_O_CPU_TYPE_I386:
5805 return 0xc0000000;
5806 case BFD_MACH_O_CPU_TYPE_SPARC:
5807 return 0xf0000000;
5808 case BFD_MACH_O_CPU_TYPE_HPPA:
5809 return 0xc0000000 - 0x04000000;
5810 default:
5811 return 0;
5815 /* The following two tables should be kept, as far as possible, in order of
5816 most frequently used entries to optimize their use from gas. */
5818 const bfd_mach_o_xlat_name bfd_mach_o_section_type_name[] =
5820 { "regular", BFD_MACH_O_S_REGULAR},
5821 { "coalesced", BFD_MACH_O_S_COALESCED},
5822 { "zerofill", BFD_MACH_O_S_ZEROFILL},
5823 { "cstring_literals", BFD_MACH_O_S_CSTRING_LITERALS},
5824 { "4byte_literals", BFD_MACH_O_S_4BYTE_LITERALS},
5825 { "8byte_literals", BFD_MACH_O_S_8BYTE_LITERALS},
5826 { "16byte_literals", BFD_MACH_O_S_16BYTE_LITERALS},
5827 { "literal_pointers", BFD_MACH_O_S_LITERAL_POINTERS},
5828 { "mod_init_func_pointers", BFD_MACH_O_S_MOD_INIT_FUNC_POINTERS},
5829 { "mod_fini_func_pointers", BFD_MACH_O_S_MOD_FINI_FUNC_POINTERS},
5830 { "gb_zerofill", BFD_MACH_O_S_GB_ZEROFILL},
5831 { "interposing", BFD_MACH_O_S_INTERPOSING},
5832 { "dtrace_dof", BFD_MACH_O_S_DTRACE_DOF},
5833 { "non_lazy_symbol_pointers", BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS},
5834 { "lazy_symbol_pointers", BFD_MACH_O_S_LAZY_SYMBOL_POINTERS},
5835 { "symbol_stubs", BFD_MACH_O_S_SYMBOL_STUBS},
5836 { "lazy_dylib_symbol_pointers", BFD_MACH_O_S_LAZY_DYLIB_SYMBOL_POINTERS},
5837 { NULL, 0}
5840 const bfd_mach_o_xlat_name bfd_mach_o_section_attribute_name[] =
5842 { "pure_instructions", BFD_MACH_O_S_ATTR_PURE_INSTRUCTIONS },
5843 { "some_instructions", BFD_MACH_O_S_ATTR_SOME_INSTRUCTIONS },
5844 { "loc_reloc", BFD_MACH_O_S_ATTR_LOC_RELOC },
5845 { "ext_reloc", BFD_MACH_O_S_ATTR_EXT_RELOC },
5846 { "debug", BFD_MACH_O_S_ATTR_DEBUG },
5847 { "live_support", BFD_MACH_O_S_ATTR_LIVE_SUPPORT },
5848 { "no_dead_strip", BFD_MACH_O_S_ATTR_NO_DEAD_STRIP },
5849 { "strip_static_syms", BFD_MACH_O_S_ATTR_STRIP_STATIC_SYMS },
5850 { "no_toc", BFD_MACH_O_S_ATTR_NO_TOC },
5851 { "self_modifying_code", BFD_MACH_O_S_SELF_MODIFYING_CODE },
5852 { "modifying_code", BFD_MACH_O_S_SELF_MODIFYING_CODE },
5853 { NULL, 0}
5856 /* Get the section type from NAME. Return 256 if NAME is unknown. */
5858 unsigned int
5859 bfd_mach_o_get_section_type_from_name (bfd *abfd, const char *name)
5861 const bfd_mach_o_xlat_name *x;
5862 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
5864 for (x = bfd_mach_o_section_type_name; x->name; x++)
5865 if (strcmp (x->name, name) == 0)
5867 /* We found it... does the target support it? */
5868 if (bed->bfd_mach_o_section_type_valid_for_target == NULL
5869 || bed->bfd_mach_o_section_type_valid_for_target (x->val))
5870 return x->val; /* OK. */
5871 else
5872 break; /* Not supported. */
5874 /* Maximum section ID = 0xff. */
5875 return 256;
5878 /* Get the section attribute from NAME. Return -1 if NAME is unknown. */
5880 unsigned int
5881 bfd_mach_o_get_section_attribute_from_name (const char *name)
5883 const bfd_mach_o_xlat_name *x;
5885 for (x = bfd_mach_o_section_attribute_name; x->name; x++)
5886 if (strcmp (x->name, name) == 0)
5887 return x->val;
5888 return (unsigned int)-1;
5892 bfd_mach_o_core_fetch_environment (bfd *abfd,
5893 unsigned char **rbuf,
5894 unsigned int *rlen)
5896 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
5897 unsigned long stackaddr = bfd_mach_o_stack_addr (mdata->header.cputype);
5898 bfd_mach_o_load_command *cmd;
5900 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5902 bfd_mach_o_segment_command *seg;
5904 if (cmd->type != BFD_MACH_O_LC_SEGMENT)
5905 continue;
5907 seg = &cmd->command.segment;
5909 if ((seg->vmaddr + seg->vmsize) == stackaddr)
5911 unsigned long start = seg->fileoff;
5912 unsigned long end = seg->fileoff + seg->filesize;
5913 unsigned char *buf = bfd_malloc (1024);
5914 unsigned long size = 1024;
5916 if (buf == NULL)
5917 return -1;
5918 for (;;)
5920 bfd_size_type nread = 0;
5921 unsigned long offset;
5922 int found_nonnull = 0;
5924 if (size > (end - start))
5925 size = (end - start);
5927 buf = bfd_realloc_or_free (buf, size);
5928 if (buf == NULL)
5929 return -1;
5931 if (bfd_seek (abfd, end - size, SEEK_SET) != 0)
5933 free (buf);
5934 return -1;
5937 nread = bfd_bread (buf, size, abfd);
5939 if (nread != size)
5941 free (buf);
5942 return -1;
5945 for (offset = 4; offset <= size; offset += 4)
5947 unsigned long val;
5949 val = bfd_get_32(abfd, buf + size - offset);
5951 if (! found_nonnull)
5953 if (val != 0)
5954 found_nonnull = 1;
5956 else if (val == 0x0)
5958 unsigned long bottom;
5959 unsigned long top;
5961 bottom = seg->fileoff + seg->filesize - offset;
5962 top = seg->fileoff + seg->filesize - 4;
5963 *rbuf = bfd_malloc (top - bottom);
5964 if (*rbuf == NULL)
5965 return -1;
5966 *rlen = top - bottom;
5968 memcpy (*rbuf, buf + size - *rlen, *rlen);
5969 free (buf);
5970 return 0;
5974 if (size == (end - start))
5975 break;
5977 size *= 2;
5980 free (buf);
5984 return -1;
5987 char *
5988 bfd_mach_o_core_file_failing_command (bfd *abfd)
5990 unsigned char *buf = NULL;
5991 unsigned int len = 0;
5992 int ret;
5994 ret = bfd_mach_o_core_fetch_environment (abfd, &buf, &len);
5995 if (ret < 0)
5996 return NULL;
5998 return (char *) buf;
6002 bfd_mach_o_core_file_failing_signal (bfd *abfd ATTRIBUTE_UNUSED)
6004 return 0;
6007 static bfd_mach_o_uuid_command *
6008 bfd_mach_o_lookup_uuid_command (bfd *abfd)
6010 bfd_mach_o_load_command *uuid_cmd = NULL;
6011 int ncmd = bfd_mach_o_lookup_command (abfd, BFD_MACH_O_LC_UUID, &uuid_cmd);
6012 if (ncmd != 1 || uuid_cmd == NULL)
6013 return false;
6014 return &uuid_cmd->command.uuid;
6017 /* Return true if ABFD is a dSYM file and its UUID matches UUID_CMD. */
6019 static bool
6020 bfd_mach_o_dsym_for_uuid_p (bfd *abfd, const bfd_mach_o_uuid_command *uuid_cmd)
6022 bfd_mach_o_uuid_command *dsym_uuid_cmd;
6024 BFD_ASSERT (abfd);
6025 BFD_ASSERT (uuid_cmd);
6027 if (!bfd_check_format (abfd, bfd_object))
6028 return false;
6030 if (bfd_get_flavour (abfd) != bfd_target_mach_o_flavour
6031 || bfd_mach_o_get_data (abfd) == NULL
6032 || bfd_mach_o_get_data (abfd)->header.filetype != BFD_MACH_O_MH_DSYM)
6033 return false;
6035 dsym_uuid_cmd = bfd_mach_o_lookup_uuid_command (abfd);
6036 if (dsym_uuid_cmd == NULL)
6037 return false;
6039 if (memcmp (uuid_cmd->uuid, dsym_uuid_cmd->uuid,
6040 sizeof (uuid_cmd->uuid)) != 0)
6041 return false;
6043 return true;
6046 /* Find a BFD in DSYM_FILENAME which matches ARCH and UUID_CMD.
6047 The caller is responsible for closing the returned BFD object and
6048 its my_archive if the returned BFD is in a fat dSYM. */
6050 static bfd *
6051 bfd_mach_o_find_dsym (const char *dsym_filename,
6052 const bfd_mach_o_uuid_command *uuid_cmd,
6053 const bfd_arch_info_type *arch)
6055 bfd *base_dsym_bfd, *dsym_bfd;
6057 BFD_ASSERT (uuid_cmd);
6059 base_dsym_bfd = bfd_openr (dsym_filename, NULL);
6060 if (base_dsym_bfd == NULL)
6061 return NULL;
6063 dsym_bfd = bfd_mach_o_fat_extract (base_dsym_bfd, bfd_object, arch);
6064 if (bfd_mach_o_dsym_for_uuid_p (dsym_bfd, uuid_cmd))
6065 return dsym_bfd;
6067 bfd_close (dsym_bfd);
6068 if (base_dsym_bfd != dsym_bfd)
6069 bfd_close (base_dsym_bfd);
6071 return NULL;
6074 /* Return a BFD created from a dSYM file for ABFD.
6075 The caller is responsible for closing the returned BFD object, its
6076 filename, and its my_archive if the returned BFD is in a fat dSYM. */
6078 static bfd *
6079 bfd_mach_o_follow_dsym (bfd *abfd)
6081 char *dsym_filename;
6082 bfd_mach_o_uuid_command *uuid_cmd;
6083 bfd *dsym_bfd, *base_bfd = abfd;
6084 const char *base_basename;
6086 if (abfd == NULL || bfd_get_flavour (abfd) != bfd_target_mach_o_flavour)
6087 return NULL;
6089 if (abfd->my_archive && !bfd_is_thin_archive (abfd->my_archive))
6090 base_bfd = abfd->my_archive;
6091 /* BFD may have been opened from a stream. */
6092 if (bfd_get_filename (base_bfd) == NULL)
6094 bfd_set_error (bfd_error_invalid_operation);
6095 return NULL;
6097 base_basename = lbasename (bfd_get_filename (base_bfd));
6099 uuid_cmd = bfd_mach_o_lookup_uuid_command (abfd);
6100 if (uuid_cmd == NULL)
6101 return NULL;
6103 /* TODO: We assume the DWARF file has the same as the binary's.
6104 It seems apple's GDB checks all files in the dSYM bundle directory.
6105 http://opensource.apple.com/source/gdb/gdb-1708/src/gdb/macosx/macosx-tdep.c
6107 dsym_filename = (char *)bfd_malloc (strlen (bfd_get_filename (base_bfd))
6108 + strlen (dsym_subdir) + 1
6109 + strlen (base_basename) + 1);
6110 if (dsym_filename == NULL)
6111 return NULL;
6113 sprintf (dsym_filename, "%s%s/%s",
6114 bfd_get_filename (base_bfd), dsym_subdir, base_basename);
6116 dsym_bfd = bfd_mach_o_find_dsym (dsym_filename, uuid_cmd,
6117 bfd_get_arch_info (abfd));
6118 if (dsym_bfd == NULL)
6119 free (dsym_filename);
6121 return dsym_bfd;
6124 bool
6125 bfd_mach_o_find_nearest_line (bfd *abfd,
6126 asymbol **symbols,
6127 asection *section,
6128 bfd_vma offset,
6129 const char **filename_ptr,
6130 const char **functionname_ptr,
6131 unsigned int *line_ptr,
6132 unsigned int *discriminator_ptr)
6134 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
6135 if (mdata == NULL)
6136 return false;
6137 switch (mdata->header.filetype)
6139 case BFD_MACH_O_MH_OBJECT:
6140 break;
6141 case BFD_MACH_O_MH_EXECUTE:
6142 case BFD_MACH_O_MH_DYLIB:
6143 case BFD_MACH_O_MH_BUNDLE:
6144 case BFD_MACH_O_MH_KEXT_BUNDLE:
6145 if (mdata->dwarf2_find_line_info == NULL)
6147 mdata->dsym_bfd = bfd_mach_o_follow_dsym (abfd);
6148 /* When we couldn't find dSYM for this binary, we look for
6149 the debug information in the binary itself. In this way,
6150 we won't try finding separated dSYM again because
6151 mdata->dwarf2_find_line_info will be filled. */
6152 if (! mdata->dsym_bfd)
6153 break;
6154 if (! _bfd_dwarf2_slurp_debug_info (abfd, mdata->dsym_bfd,
6155 dwarf_debug_sections, symbols,
6156 &mdata->dwarf2_find_line_info,
6157 false))
6158 return false;
6160 break;
6161 default:
6162 return false;
6164 return _bfd_dwarf2_find_nearest_line (abfd, symbols, NULL, section, offset,
6165 filename_ptr, functionname_ptr,
6166 line_ptr, discriminator_ptr,
6167 dwarf_debug_sections,
6168 &mdata->dwarf2_find_line_info);
6171 bool
6172 bfd_mach_o_close_and_cleanup (bfd *abfd)
6174 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
6175 if (bfd_get_format (abfd) == bfd_object && mdata != NULL)
6177 _bfd_dwarf2_cleanup_debug_info (abfd, &mdata->dwarf2_find_line_info);
6178 bfd_mach_o_free_cached_info (abfd);
6179 if (mdata->dsym_bfd != NULL)
6181 bfd *fat_bfd = mdata->dsym_bfd->my_archive;
6182 #if 0
6183 /* FIXME: PR 19435: This calculation to find the memory allocated by
6184 bfd_mach_o_follow_dsym for the filename does not always end up
6185 selecting the correct pointer. Unfortunately this problem is
6186 very hard to reproduce on a non Mach-O native system, so until it
6187 can be traced and fixed on such a system, this code will remain
6188 commented out. This does mean that there will be a memory leak,
6189 but it is small, and happens when we are closing down, so it
6190 should not matter too much. */
6191 char *dsym_filename = (char *)(fat_bfd
6192 ? bfd_get_filename (fat_bfd)
6193 : bfd_get_filename (mdata->dsym_bfd));
6194 #endif
6195 bfd_close (mdata->dsym_bfd);
6196 mdata->dsym_bfd = NULL;
6197 if (fat_bfd)
6198 bfd_close (fat_bfd);
6199 #if 0
6200 free (dsym_filename);
6201 #endif
6205 return _bfd_generic_close_and_cleanup (abfd);
6208 bool
6209 bfd_mach_o_free_cached_info (bfd *abfd)
6211 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
6212 asection *asect;
6213 free (mdata->dyn_reloc_cache);
6214 mdata->dyn_reloc_cache = NULL;
6215 for (asect = abfd->sections; asect != NULL; asect = asect->next)
6217 free (asect->relocation);
6218 asect->relocation = NULL;
6221 return true;
6224 #define bfd_mach_o_bfd_reloc_type_lookup _bfd_norelocs_bfd_reloc_type_lookup
6225 #define bfd_mach_o_bfd_reloc_name_lookup _bfd_norelocs_bfd_reloc_name_lookup
6227 #define bfd_mach_o_canonicalize_one_reloc NULL
6228 #define bfd_mach_o_swap_reloc_out NULL
6229 #define bfd_mach_o_print_thread NULL
6230 #define bfd_mach_o_tgt_seg_table NULL
6231 #define bfd_mach_o_section_type_valid_for_tgt NULL
6233 #define TARGET_NAME mach_o_be_vec
6234 #define TARGET_STRING "mach-o-be"
6235 #define TARGET_ARCHITECTURE bfd_arch_unknown
6236 #define TARGET_PAGESIZE 1
6237 #define TARGET_BIG_ENDIAN 1
6238 #define TARGET_ARCHIVE 0
6239 #define TARGET_PRIORITY 1
6240 #include "mach-o-target.c"
6242 #undef TARGET_NAME
6243 #undef TARGET_STRING
6244 #undef TARGET_ARCHITECTURE
6245 #undef TARGET_PAGESIZE
6246 #undef TARGET_BIG_ENDIAN
6247 #undef TARGET_ARCHIVE
6248 #undef TARGET_PRIORITY
6250 #define TARGET_NAME mach_o_le_vec
6251 #define TARGET_STRING "mach-o-le"
6252 #define TARGET_ARCHITECTURE bfd_arch_unknown
6253 #define TARGET_PAGESIZE 1
6254 #define TARGET_BIG_ENDIAN 0
6255 #define TARGET_ARCHIVE 0
6256 #define TARGET_PRIORITY 1
6258 #include "mach-o-target.c"
6260 #undef TARGET_NAME
6261 #undef TARGET_STRING
6262 #undef TARGET_ARCHITECTURE
6263 #undef TARGET_PAGESIZE
6264 #undef TARGET_BIG_ENDIAN
6265 #undef TARGET_ARCHIVE
6266 #undef TARGET_PRIORITY
6268 /* Not yet handled: creating an archive. */
6269 #define bfd_mach_o_mkarchive _bfd_noarchive_mkarchive
6271 #define bfd_mach_o_close_and_cleanup bfd_mach_o_fat_close_and_cleanup
6273 /* Not used. */
6274 #define bfd_mach_o_generic_stat_arch_elt bfd_mach_o_fat_stat_arch_elt
6275 #define bfd_mach_o_openr_next_archived_file bfd_mach_o_fat_openr_next_archived_file
6276 #define bfd_mach_o_archive_p bfd_mach_o_fat_archive_p
6278 #define TARGET_NAME mach_o_fat_vec
6279 #define TARGET_STRING "mach-o-fat"
6280 #define TARGET_ARCHITECTURE bfd_arch_unknown
6281 #define TARGET_PAGESIZE 1
6282 #define TARGET_BIG_ENDIAN 1
6283 #define TARGET_ARCHIVE 1
6284 #define TARGET_PRIORITY 0
6286 #include "mach-o-target.c"
6288 #undef TARGET_NAME
6289 #undef TARGET_STRING
6290 #undef TARGET_ARCHITECTURE
6291 #undef TARGET_PAGESIZE
6292 #undef TARGET_BIG_ENDIAN
6293 #undef TARGET_ARCHIVE
6294 #undef TARGET_PRIORITY