?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
[Aarch64] Add Binutils support for MEC
[binutils-gdb.git] / bfd / mach-o.c
bloba910e1146ea63d2906d745722aa0c357764f7a5d
1 /* Mach-O support for BFD.
2 Copyright (C) 1999-2023 Free Software Foundation, Inc.
3
4 This file is part of BFD, the Binary File Descriptor library.
5
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.
10
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.
15
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. */
20
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>
33
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
37
38 #define FILE_ALIGN(off, algn) \
39 (((off) + ((ufile_ptr) 1 << (algn)) - 1) & ((ufile_ptr) -1 << (algn)))
40
41 static bool
42 bfd_mach_o_read_dyld_content (bfd *abfd, bfd_mach_o_dyld_info_command *cmd);
43
44 unsigned int
45 bfd_mach_o_version (bfd *abfd)
46 {
47 bfd_mach_o_data_struct *mdata = NULL;
48
49 BFD_ASSERT (bfd_mach_o_valid (abfd));
50 mdata = bfd_mach_o_get_data (abfd);
51
52 return mdata->header.version;
53 }
54
55 bool
56 bfd_mach_o_valid (bfd *abfd)
57 {
58 if (abfd == NULL || abfd->xvec == NULL)
59 return false;
60
61 if (abfd->xvec->flavour != bfd_target_mach_o_flavour)
62 return false;
63
64 if (bfd_mach_o_get_data (abfd) == NULL)
65 return false;
66 return true;
67 }
68
69 static inline bool
70 mach_o_wide_p (bfd_mach_o_header *header)
71 {
72 switch (header->version)
73 {
74 case 1:
75 return false;
76 case 2:
77 return true;
78 default:
79 BFD_FAIL ();
80 return false;
81 }
82 }
83
84 static inline bool
85 bfd_mach_o_wide_p (bfd *abfd)
86 {
87 return mach_o_wide_p (&bfd_mach_o_get_data (abfd)->header);
88 }
89
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. */
93
94 /* __TEXT Segment. */
95 static const mach_o_section_name_xlat text_section_names_xlat[] =
96 {
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}
131 };
132
133 /* __DATA Segment. */
134 static const mach_o_section_name_xlat data_section_names_xlat[] =
135 {
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}
161 };
162
163 /* __DWARF Segment. */
164 static const mach_o_section_name_xlat dwarf_section_names_xlat[] =
165 {
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}
206 };
207
208 /* __OBJC Segment. */
209 static const mach_o_section_name_xlat objc_section_names_xlat[] =
210 {
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}
276 };
277
278 static const mach_o_segment_name_xlat segsec_names_xlat[] =
279 {
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 }
285 };
286
287 static const char dsym_subdir[] = ".dSYM/Contents/Resources/DWARF";
288
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. */
292
293 /* Fetch the translation from a Mach-O section designation (segment, section)
294 as a bfd short name, if one exists. Otherwise return NULL.
295
296 Allow the segment and section names to be unterminated 16 byte arrays. */
297
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)
301 {
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);
305
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;
314
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;
322
323 return NULL;
324 }
325
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. */
329
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)
333 {
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;
338
339 if (bfd_name[0] != '.')
340 return NULL;
341
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)
347 {
348 *segname = seg->segname;
349 return sec;
350 }
351
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)
356 {
357 *segname = seg->segname;
358 return sec;
359 }
360
361 return NULL;
362 }
363
364 /* Convert Mach-O section name to BFD.
365
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.
370
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). */
374
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)
379 {
380 const mach_o_section_name_xlat *xlat;
381 char *res;
382 size_t len;
383 const char *pfx = "";
384
385 *name = NULL;
386 *flags = SEC_NO_FLAGS;
387
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)
392 {
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;
401 }
402
403 /* ... else we make up a bfd name from the segment concatenated with the
404 section. */
405
406 len = 16 + 1 + 16 + 1;
407
408 /* Put "LC_SEGMENT." prefix if the segment name is weird (ie doesn't start
409 with an underscore. */
410 if (segname[0] != '_')
411 {
412 static const char seg_pfx[] = "LC_SEGMENT.";
413
414 pfx = seg_pfx;
415 len += sizeof (seg_pfx) - 1;
416 }
417
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;
423 }
424
425 /* Convert a bfd section name to a Mach-O segment + section name.
426
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.
430
431 Otherwise, expand the bfd_name (assumed to be in the form
432 "[LC_SEGMENT.]<segmentname>.<sectionname>") and return NULL. */
433
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)
438 {
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;
446
447 memset (section->segname, 0, BFD_MACH_O_SEGNAME_SIZE + 1);
448 memset (section->sectname, 0, BFD_MACH_O_SECTNAME_SIZE + 1);
449
450 /* See if is a canonical name ... */
451 xlat = bfd_mach_o_section_data_for_bfd_name (abfd, name, &segname);
452 if (xlat)
453 {
454 strcpy (section->segname, segname);
455 strcpy (section->sectname, xlat->mach_o_name);
456 return xlat;
457 }
458
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;
463
464 /* Find a dot. */
465 dot = strchr (name, '.');
466 len = strlen (name);
467
468 /* Try to split name into segment and section names. */
469 if (dot && dot != name)
470 {
471 seglen = dot - name;
472 seclen = len - (dot + 1 - name);
473
474 if (seglen <= BFD_MACH_O_SEGNAME_SIZE
475 && seclen <= BFD_MACH_O_SECTNAME_SIZE)
476 {
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;
482 }
483 }
484
485 /* The segment and section names are both missing - don't make them
486 into dots. */
487 if (dot && dot == name)
488 return NULL;
489
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;
498 }
499
500 /* Return the size of an entry for section SEC.
501 Must be called only for symbol pointer section and symbol stubs
502 sections. */
503
504 unsigned int
505 bfd_mach_o_section_get_entry_size (bfd *abfd, bfd_mach_o_section *sec)
506 {
507 switch (sec->flags & BFD_MACH_O_SECTION_TYPE_MASK)
508 {
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;
517 }
518 }
519
520 /* Return the number of indirect symbols for a section.
521 Must be called only for symbol pointer section and symbol stubs
522 sections. */
523
524 unsigned int
525 bfd_mach_o_section_get_nbr_indirect (bfd *abfd, bfd_mach_o_section *sec)
526 {
527 unsigned int elsz;
528
529 /* FIXME: This array is set by the assembler but does not seem to be
530 set anywhere for objcopy. Since bfd_mach_o_build_dysymtab will
531 not fill in output bfd_mach_o_dysymtab_command indirect_syms when
532 this array is NULL we may as well return zero for the size.
533 This is enough to stop objcopy allocating huge amounts of memory
534 for indirect symbols in fuzzed object files. */
535 if (sec->indirect_syms == NULL)
536 return 0;
537
538 elsz = bfd_mach_o_section_get_entry_size (abfd, sec);
539 if (elsz == 0)
540 return 0;
541 else
542 return sec->size / elsz;
543 }
544
545 /* Append command CMD to ABFD. Note that header.ncmds is not updated. */
546
547 static void
548 bfd_mach_o_append_command (bfd *abfd, bfd_mach_o_load_command *cmd)
549 {
550 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
551
552 if (mdata->last_command != NULL)
553 mdata->last_command->next = cmd;
554 else
555 mdata->first_command = cmd;
556 mdata->last_command = cmd;
557 cmd->next = NULL;
558 }
559
560 /* Copy any private info we understand from the input symbol
561 to the output symbol. */
562
563 bool
564 bfd_mach_o_bfd_copy_private_symbol_data (bfd *ibfd ATTRIBUTE_UNUSED,
565 asymbol *isymbol,
566 bfd *obfd ATTRIBUTE_UNUSED,
567 asymbol *osymbol)
568 {
569 bfd_mach_o_asymbol *os, *is;
570
571 os = (bfd_mach_o_asymbol *)osymbol;
572 is = (bfd_mach_o_asymbol *)isymbol;
573 os->n_type = is->n_type;
574 os->n_sect = is->n_sect;
575 os->n_desc = is->n_desc;
576 os->symbol.udata.i = is->symbol.udata.i;
577
578 return true;
579 }
580
581 /* Copy any private info we understand from the input section
582 to the output section. */
583
584 bool
585 bfd_mach_o_bfd_copy_private_section_data (bfd *ibfd, asection *isection,
586 bfd *obfd, asection *osection)
587 {
588 bfd_mach_o_section *os = bfd_mach_o_get_mach_o_section (osection);
589 bfd_mach_o_section *is = bfd_mach_o_get_mach_o_section (isection);
590
591 if (ibfd->xvec->flavour != bfd_target_mach_o_flavour
592 || obfd->xvec->flavour != bfd_target_mach_o_flavour)
593 return true;
594
595 BFD_ASSERT (is != NULL && os != NULL);
596
597 os->flags = is->flags;
598 os->reserved1 = is->reserved1;
599 os->reserved2 = is->reserved2;
600 os->reserved3 = is->reserved3;
601
602 return true;
603 }
604
605 static const char *
606 cputype (unsigned long value)
607 {
608 switch (value)
609 {
610 case BFD_MACH_O_CPU_TYPE_VAX: return "VAX";
611 case BFD_MACH_O_CPU_TYPE_MC680x0: return "MC68k";
612 case BFD_MACH_O_CPU_TYPE_I386: return "I386";
613 case BFD_MACH_O_CPU_TYPE_MIPS: return "MIPS";
614 case BFD_MACH_O_CPU_TYPE_MC98000: return "MC98k";
615 case BFD_MACH_O_CPU_TYPE_HPPA: return "HPPA";
616 case BFD_MACH_O_CPU_TYPE_ARM: return "ARM";
617 case BFD_MACH_O_CPU_TYPE_MC88000: return "MC88K";
618 case BFD_MACH_O_CPU_TYPE_SPARC: return "SPARC";
619 case BFD_MACH_O_CPU_TYPE_I860: return "I860";
620 case BFD_MACH_O_CPU_TYPE_ALPHA: return "ALPHA";
621 case BFD_MACH_O_CPU_TYPE_POWERPC: return "PPC";
622 case BFD_MACH_O_CPU_TYPE_POWERPC_64: return "PPC64";
623 case BFD_MACH_O_CPU_TYPE_X86_64: return "X86_64";
624 case BFD_MACH_O_CPU_TYPE_ARM64: return "ARM64";
625 default: return _("<unknown>");
626 }
627 }
628
629 static const char *
630 cpusubtype (unsigned long cpu_type, unsigned long cpu_subtype, char *buffer)
631 {
632 buffer[0] = 0;
633 switch (cpu_subtype & BFD_MACH_O_CPU_SUBTYPE_MASK)
634 {
635 case 0:
636 break;
637 case BFD_MACH_O_CPU_SUBTYPE_LIB64:
638 sprintf (buffer, " (LIB64)"); break;
639 default:
640 sprintf (buffer, _("<unknown mask flags>")); break;
641 }
642
643 cpu_subtype &= ~ BFD_MACH_O_CPU_SUBTYPE_MASK;
644
645 switch (cpu_type)
646 {
647 case BFD_MACH_O_CPU_TYPE_X86_64:
648 case BFD_MACH_O_CPU_TYPE_I386:
649 switch (cpu_subtype)
650 {
651 case BFD_MACH_O_CPU_SUBTYPE_X86_ALL:
652 return strcat (buffer, " (X86_ALL)");
653 default:
654 break;
655 }
656 break;
657
658 case BFD_MACH_O_CPU_TYPE_ARM:
659 switch (cpu_subtype)
660 {
661 case BFD_MACH_O_CPU_SUBTYPE_ARM_ALL:
662 return strcat (buffer, " (ARM_ALL)");
663 case BFD_MACH_O_CPU_SUBTYPE_ARM_V4T:
664 return strcat (buffer, " (ARM_V4T)");
665 case BFD_MACH_O_CPU_SUBTYPE_ARM_V6:
666 return strcat (buffer, " (ARM_V6)");
667 case BFD_MACH_O_CPU_SUBTYPE_ARM_V5TEJ:
668 return strcat (buffer, " (ARM_V5TEJ)");
669 case BFD_MACH_O_CPU_SUBTYPE_ARM_XSCALE:
670 return strcat (buffer, " (ARM_XSCALE)");
671 case BFD_MACH_O_CPU_SUBTYPE_ARM_V7:
672 return strcat (buffer, " (ARM_V7)");
673 default:
674 break;
675 }
676 break;
677
678 case BFD_MACH_O_CPU_TYPE_ARM64:
679 switch (cpu_subtype)
680 {
681 case BFD_MACH_O_CPU_SUBTYPE_ARM64_ALL:
682 return strcat (buffer, " (ARM64_ALL)");
683 case BFD_MACH_O_CPU_SUBTYPE_ARM64_V8:
684 return strcat (buffer, " (ARM64_V8)");
685 default:
686 break;
687 }
688 break;
689
690 default:
691 break;
692 }
693
694 if (cpu_subtype != 0)
695 return strcat (buffer, _(" (<unknown>)"));
696
697 return buffer;
698 }
699
700 bool
701 bfd_mach_o_bfd_print_private_bfd_data (bfd *abfd, void *ptr)
702 {
703 FILE * file = (FILE *) ptr;
704 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
705 char buff[128];
706
707 fprintf (file, _(" MACH-O header:\n"));
708 fprintf (file, _(" magic: %#lx\n"), (long) mdata->header.magic);
709 fprintf (file, _(" cputype: %#lx (%s)\n"), (long) mdata->header.cputype,
710 cputype (mdata->header.cputype));
711 fprintf (file, _(" cpusubtype: %#lx%s\n"), (long) mdata->header.cpusubtype,
712 cpusubtype (mdata->header.cputype, mdata->header.cpusubtype, buff));
713 fprintf (file, _(" filetype: %#lx\n"), (long) mdata->header.filetype);
714 fprintf (file, _(" ncmds: %#lx\n"), (long) mdata->header.ncmds);
715 fprintf (file, _(" sizeocmds: %#lx\n"), (long) mdata->header.sizeofcmds);
716 fprintf (file, _(" flags: %#lx\n"), (long) mdata->header.flags);
717 fprintf (file, _(" version: %x\n"), mdata->header.version);
718
719 return true;
720 }
721
722 /* Copy any private info we understand from the input bfd
723 to the output bfd. */
724
725 bool
726 bfd_mach_o_bfd_copy_private_header_data (bfd *ibfd, bfd *obfd)
727 {
728 bfd_mach_o_data_struct *imdata;
729 bfd_mach_o_data_struct *omdata;
730 bfd_mach_o_load_command *icmd;
731
732 if (bfd_get_flavour (ibfd) != bfd_target_mach_o_flavour
733 || bfd_get_flavour (obfd) != bfd_target_mach_o_flavour)
734 return true;
735
736 BFD_ASSERT (bfd_mach_o_valid (ibfd));
737 BFD_ASSERT (bfd_mach_o_valid (obfd));
738
739 imdata = bfd_mach_o_get_data (ibfd);
740 omdata = bfd_mach_o_get_data (obfd);
741
742 /* Copy header flags. */
743 omdata->header.flags = imdata->header.flags;
744
745 /* PR 23299. Copy the cputype. */
746 if (imdata->header.cputype != omdata->header.cputype)
747 {
748 if (omdata->header.cputype == 0)
749 omdata->header.cputype = imdata->header.cputype;
750 else if (imdata->header.cputype != 0)
751 /* Urg - what has happened ? */
752 _bfd_error_handler (_("incompatible cputypes in mach-o files: %ld vs %ld"),
753 (long) imdata->header.cputype,
754 (long) omdata->header.cputype);
755 }
756
757 /* Copy the cpusubtype. */
758 omdata->header.cpusubtype = imdata->header.cpusubtype;
759
760 /* Copy commands. */
761 for (icmd = imdata->first_command; icmd != NULL; icmd = icmd->next)
762 {
763 bfd_mach_o_load_command *ocmd;
764
765 switch (icmd->type)
766 {
767 case BFD_MACH_O_LC_LOAD_DYLIB:
768 case BFD_MACH_O_LC_LOAD_DYLINKER:
769 case BFD_MACH_O_LC_DYLD_INFO:
770 /* Command is copied. */
771 ocmd = bfd_alloc (obfd, sizeof (bfd_mach_o_load_command));
772 if (ocmd == NULL)
773 return false;
774
775 /* Copy common fields. */
776 ocmd->type = icmd->type;
777 ocmd->type_required = icmd->type_required;
778 ocmd->offset = 0;
779 ocmd->len = icmd->len;
780 break;
781
782 default:
783 /* Command is not copied. */
784 continue;
785 break;
786 }
787
788 switch (icmd->type)
789 {
790 case BFD_MACH_O_LC_LOAD_DYLIB:
791 {
792 bfd_mach_o_dylib_command *idy = &icmd->command.dylib;
793 bfd_mach_o_dylib_command *ody = &ocmd->command.dylib;
794
795 ody->name_offset = idy->name_offset;
796 ody->timestamp = idy->timestamp;
797 ody->current_version = idy->current_version;
798 ody->compatibility_version = idy->compatibility_version;
799 ody->name_str = idy->name_str;
800 }
801 break;
802
803 case BFD_MACH_O_LC_LOAD_DYLINKER:
804 {
805 bfd_mach_o_dylinker_command *idy = &icmd->command.dylinker;
806 bfd_mach_o_dylinker_command *ody = &ocmd->command.dylinker;
807
808 ody->name_offset = idy->name_offset;
809 ody->name_str = idy->name_str;
810 }
811 break;
812
813 case BFD_MACH_O_LC_DYLD_INFO:
814 {
815 bfd_mach_o_dyld_info_command *idy = &icmd->command.dyld_info;
816 bfd_mach_o_dyld_info_command *ody = &ocmd->command.dyld_info;
817
818 if (bfd_mach_o_read_dyld_content (ibfd, idy))
819 {
820 ody->rebase_size = idy->rebase_size;
821 ody->rebase_content = idy->rebase_content;
822
823 ody->bind_size = idy->bind_size;
824 ody->bind_content = idy->bind_content;
825
826 ody->weak_bind_size = idy->weak_bind_size;
827 ody->weak_bind_content = idy->weak_bind_content;
828
829 ody->lazy_bind_size = idy->lazy_bind_size;
830 ody->lazy_bind_content = idy->lazy_bind_content;
831
832 ody->export_size = idy->export_size;
833 ody->export_content = idy->export_content;
834 }
835 /* PR 17512L: file: 730e492d. */
836 else
837 {
838 ody->rebase_size =
839 ody->bind_size =
840 ody->weak_bind_size =
841 ody->lazy_bind_size =
842 ody->export_size = 0;
843 ody->rebase_content =
844 ody->bind_content =
845 ody->weak_bind_content =
846 ody->lazy_bind_content =
847 ody->export_content = NULL;
848 }
849 }
850 break;
851
852 default:
853 /* That command should be handled. */
854 abort ();
855 }
856
857 /* Insert command. */
858 bfd_mach_o_append_command (obfd, ocmd);
859 }
860
861 return true;
862 }
863
864 /* This allows us to set up to 32 bits of flags (unless we invent some
865 fiendish scheme to subdivide). For now, we'll just set the file flags
866 without error checking - just overwrite. */
867
868 bool
869 bfd_mach_o_bfd_set_private_flags (bfd *abfd, flagword flags)
870 {
871 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
872
873 if (!mdata)
874 return false;
875
876 mdata->header.flags = flags;
877 return true;
878 }
879
880 /* Count the total number of symbols. */
881
882 static long
883 bfd_mach_o_count_symbols (bfd *abfd)
884 {
885 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
886
887 if (mdata->symtab == NULL)
888 return 0;
889 return mdata->symtab->nsyms;
890 }
891
892 long
893 bfd_mach_o_get_symtab_upper_bound (bfd *abfd)
894 {
895 long nsyms = bfd_mach_o_count_symbols (abfd);
896
897 return ((nsyms + 1) * sizeof (asymbol *));
898 }
899
900 long
901 bfd_mach_o_canonicalize_symtab (bfd *abfd, asymbol **alocation)
902 {
903 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
904 long nsyms = bfd_mach_o_count_symbols (abfd);
905 bfd_mach_o_symtab_command *sym = mdata->symtab;
906 unsigned long j;
907
908 if (nsyms < 0)
909 return nsyms;
910
911 if (nsyms == 0)
912 {
913 /* Do not try to read symbols if there are none. */
914 alocation[0] = NULL;
915 return 0;
916 }
917
918 if (!bfd_mach_o_read_symtab_symbols (abfd))
919 {
920 _bfd_error_handler
921 (_("bfd_mach_o_canonicalize_symtab: unable to load symbols"));
922 return 0;
923 }
924
925 BFD_ASSERT (sym->symbols != NULL);
926
927 for (j = 0; j < sym->nsyms; j++)
928 alocation[j] = &sym->symbols[j].symbol;
929
930 alocation[j] = NULL;
931
932 return nsyms;
933 }
934
935 /* Create synthetic symbols for indirect symbols. */
936
937 long
938 bfd_mach_o_get_synthetic_symtab (bfd *abfd,
939 long symcount ATTRIBUTE_UNUSED,
940 asymbol **syms ATTRIBUTE_UNUSED,
941 long dynsymcount ATTRIBUTE_UNUSED,
942 asymbol **dynsyms ATTRIBUTE_UNUSED,
943 asymbol **ret)
944 {
945 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
946 bfd_mach_o_dysymtab_command *dysymtab = mdata->dysymtab;
947 bfd_mach_o_symtab_command *symtab = mdata->symtab;
948 asymbol *s;
949 char * s_start;
950 unsigned long count, i, j, n;
951 size_t size;
952 char *names;
953 const char stub [] = "$stub";
954
955 *ret = NULL;
956
957 /* Stop now if no symbols or no indirect symbols. */
958 if (dysymtab == NULL || dysymtab->nindirectsyms == 0
959 || symtab == NULL || symtab->symbols == NULL)
960 return 0;
961
962 /* We need to allocate a bfd symbol for every indirect symbol and to
963 allocate the memory for its name. */
964 count = dysymtab->nindirectsyms;
965 size = 0;
966 for (j = 0; j < count; j++)
967 {
968 unsigned int isym = dysymtab->indirect_syms[j];
969 const char *str;
970
971 /* Some indirect symbols are anonymous. */
972 if (isym < symtab->nsyms
973 && (str = symtab->symbols[isym].symbol.name) != NULL)
974 {
975 /* PR 17512: file: f5b8eeba. */
976 size += strnlen (str, symtab->strsize - (str - symtab->strtab));
977 size += sizeof (stub);
978 }
979 }
980
981 s_start = bfd_malloc (size + count * sizeof (asymbol));
982 s = *ret = (asymbol *) s_start;
983 if (s == NULL)
984 return -1;
985 names = (char *) (s + count);
986
987 n = 0;
988 for (i = 0; i < mdata->nsects; i++)
989 {
990 bfd_mach_o_section *sec = mdata->sections[i];
991 unsigned int first, last;
992 bfd_vma addr;
993 unsigned int entry_size;
994
995 switch (sec->flags & BFD_MACH_O_SECTION_TYPE_MASK)
996 {
997 case BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS:
998 case BFD_MACH_O_S_LAZY_SYMBOL_POINTERS:
999 case BFD_MACH_O_S_SYMBOL_STUBS:
1000 /* Only these sections have indirect symbols. */
1001 first = sec->reserved1;
1002 last = first + bfd_mach_o_section_get_nbr_indirect (abfd, sec);
1003 addr = sec->addr;
1004 entry_size = bfd_mach_o_section_get_entry_size (abfd, sec);
1005
1006 /* PR 17512: file: 08e15eec. */
1007 if (first >= count || last > count || first > last)
1008 goto fail;
1009
1010 for (j = first; j < last; j++)
1011 {
1012 unsigned int isym = dysymtab->indirect_syms[j];
1013 const char *str;
1014 size_t len;
1015
1016 if (isym < symtab->nsyms
1017 && (str = symtab->symbols[isym].symbol.name) != NULL)
1018 {
1019 /* PR 17512: file: 04d64d9b. */
1020 if (n >= count)
1021 goto fail;
1022 len = strnlen (str, symtab->strsize - (str - symtab->strtab));
1023 /* PR 17512: file: 47dfd4d2, 18f340a4. */
1024 if (size < len + sizeof (stub))
1025 goto fail;
1026 memcpy (names, str, len);
1027 memcpy (names + len, stub, sizeof (stub));
1028 s->name = names;
1029 names += len + sizeof (stub);
1030 size -= len + sizeof (stub);
1031 s->the_bfd = symtab->symbols[isym].symbol.the_bfd;
1032 s->flags = BSF_GLOBAL | BSF_SYNTHETIC;
1033 s->section = sec->bfdsection;
1034 s->value = addr - sec->addr;
1035 s->udata.p = NULL;
1036 s++;
1037 n++;
1038 }
1039 addr += entry_size;
1040 }
1041 break;
1042 default:
1043 break;
1044 }
1045 }
1046
1047 return n;
1048
1049 fail:
1050 free (s_start);
1051 * ret = NULL;
1052 return -1;
1053 }
1054
1055 void
1056 bfd_mach_o_get_symbol_info (bfd *abfd ATTRIBUTE_UNUSED,
1057 asymbol *symbol,
1058 symbol_info *ret)
1059 {
1060 bfd_symbol_info (symbol, ret);
1061 }
1062
1063 void
1064 bfd_mach_o_print_symbol (bfd *abfd,
1065 void * afile,
1066 asymbol *symbol,
1067 bfd_print_symbol_type how)
1068 {
1069 FILE *file = (FILE *) afile;
1070 const char *name;
1071 bfd_mach_o_asymbol *asym = (bfd_mach_o_asymbol *)symbol;
1072
1073 switch (how)
1074 {
1075 case bfd_print_symbol_name:
1076 fprintf (file, "%s", symbol->name);
1077 break;
1078 default:
1079 bfd_print_symbol_vandf (abfd, (void *) file, symbol);
1080 if (asym->n_type & BFD_MACH_O_N_STAB)
1081 name = bfd_get_stab_name (asym->n_type);
1082 else
1083 switch (asym->n_type & BFD_MACH_O_N_TYPE)
1084 {
1085 case BFD_MACH_O_N_UNDF:
1086 if (symbol->value == 0)
1087 name = "UND";
1088 else
1089 name = "COM";
1090 break;
1091 case BFD_MACH_O_N_ABS:
1092 name = "ABS";
1093 break;
1094 case BFD_MACH_O_N_INDR:
1095 name = "INDR";
1096 break;
1097 case BFD_MACH_O_N_PBUD:
1098 name = "PBUD";
1099 break;
1100 case BFD_MACH_O_N_SECT:
1101 name = "SECT";
1102 break;
1103 default:
1104 name = "???";
1105 break;
1106 }
1107 if (name == NULL)
1108 name = "";
1109 fprintf (file, " %02x %-6s %02x %04x",
1110 asym->n_type, name, asym->n_sect, asym->n_desc);
1111 if ((asym->n_type & BFD_MACH_O_N_STAB) == 0
1112 && (asym->n_type & BFD_MACH_O_N_TYPE) == BFD_MACH_O_N_SECT)
1113 fprintf (file, " [%s]", symbol->section->name);
1114 fprintf (file, " %s", symbol->name);
1115 }
1116 }
1117
1118 static void
1119 bfd_mach_o_convert_architecture (bfd_mach_o_cpu_type mtype,
1120 bfd_mach_o_cpu_subtype msubtype,
1121 enum bfd_architecture *type,
1122 unsigned long *subtype)
1123 {
1124 *subtype = bfd_arch_unknown;
1125
1126 switch (mtype)
1127 {
1128 case BFD_MACH_O_CPU_TYPE_VAX:
1129 *type = bfd_arch_vax;
1130 break;
1131 case BFD_MACH_O_CPU_TYPE_MC680x0:
1132 *type = bfd_arch_m68k;
1133 break;
1134 case BFD_MACH_O_CPU_TYPE_I386:
1135 *type = bfd_arch_i386;
1136 *subtype = bfd_mach_i386_i386;
1137 break;
1138 case BFD_MACH_O_CPU_TYPE_X86_64:
1139 *type = bfd_arch_i386;
1140 *subtype = bfd_mach_x86_64;
1141 break;
1142 case BFD_MACH_O_CPU_TYPE_MIPS:
1143 *type = bfd_arch_mips;
1144 break;
1145 case BFD_MACH_O_CPU_TYPE_MC98000:
1146 *type = bfd_arch_m98k;
1147 break;
1148 case BFD_MACH_O_CPU_TYPE_HPPA:
1149 *type = bfd_arch_hppa;
1150 break;
1151 case BFD_MACH_O_CPU_TYPE_ARM:
1152 *type = bfd_arch_arm;
1153 switch (msubtype)
1154 {
1155 case BFD_MACH_O_CPU_SUBTYPE_ARM_V4T:
1156 *subtype = bfd_mach_arm_4T;
1157 break;
1158 case BFD_MACH_O_CPU_SUBTYPE_ARM_V6:
1159 *subtype = bfd_mach_arm_4T; /* Best fit ? */
1160 break;
1161 case BFD_MACH_O_CPU_SUBTYPE_ARM_V5TEJ:
1162 *subtype = bfd_mach_arm_5TE;
1163 break;
1164 case BFD_MACH_O_CPU_SUBTYPE_ARM_XSCALE:
1165 *subtype = bfd_mach_arm_XScale;
1166 break;
1167 case BFD_MACH_O_CPU_SUBTYPE_ARM_V7:
1168 *subtype = bfd_mach_arm_5TE; /* Best fit ? */
1169 break;
1170 case BFD_MACH_O_CPU_SUBTYPE_ARM_ALL:
1171 default:
1172 break;
1173 }
1174 break;
1175 case BFD_MACH_O_CPU_TYPE_SPARC:
1176 *type = bfd_arch_sparc;
1177 *subtype = bfd_mach_sparc;
1178 break;
1179 case BFD_MACH_O_CPU_TYPE_ALPHA:
1180 *type = bfd_arch_alpha;
1181 break;
1182 case BFD_MACH_O_CPU_TYPE_POWERPC:
1183 *type = bfd_arch_powerpc;
1184 *subtype = bfd_mach_ppc;
1185 break;
1186 case BFD_MACH_O_CPU_TYPE_POWERPC_64:
1187 *type = bfd_arch_powerpc;
1188 *subtype = bfd_mach_ppc64;
1189 break;
1190 case BFD_MACH_O_CPU_TYPE_ARM64:
1191 *type = bfd_arch_aarch64;
1192 *subtype = bfd_mach_aarch64;
1193 break;
1194 default:
1195 *type = bfd_arch_unknown;
1196 break;
1197 }
1198 }
1199
1200 /* Write n NUL bytes to ABFD so that LEN + n is a multiple of 4. Return the
1201 number of bytes written or -1 in case of error. */
1202
1203 static int
1204 bfd_mach_o_pad4 (bfd *abfd, size_t len)
1205 {
1206 if (len % 4 != 0)
1207 {
1208 char pad[4] = {0,0,0,0};
1209 unsigned int padlen = 4 - (len % 4);
1210
1211 if (bfd_bwrite (pad, padlen, abfd) != padlen)
1212 return -1;
1213
1214 return padlen;
1215 }
1216 else
1217 return 0;
1218 }
1219
1220 /* Likewise, but for a command. */
1221
1222 static int
1223 bfd_mach_o_pad_command (bfd *abfd, size_t len)
1224 {
1225 size_t align = bfd_mach_o_wide_p (abfd) ? 8 : 4;
1226
1227 if (len % align != 0)
1228 {
1229 char pad[8] = {0};
1230 size_t padlen = align - (len % align);
1231
1232 if (bfd_bwrite (pad, padlen, abfd) != padlen)
1233 return -1;
1234
1235 return padlen;
1236 }
1237 else
1238 return 0;
1239 }
1240
1241 static bool
1242 bfd_mach_o_write_header (bfd *abfd, bfd_mach_o_header *header)
1243 {
1244 struct mach_o_header_external raw;
1245 size_t size;
1246
1247 size = mach_o_wide_p (header) ?
1248 BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
1249
1250 bfd_h_put_32 (abfd, header->magic, raw.magic);
1251 bfd_h_put_32 (abfd, header->cputype, raw.cputype);
1252 bfd_h_put_32 (abfd, header->cpusubtype, raw.cpusubtype);
1253 bfd_h_put_32 (abfd, header->filetype, raw.filetype);
1254 bfd_h_put_32 (abfd, header->ncmds, raw.ncmds);
1255 bfd_h_put_32 (abfd, header->sizeofcmds, raw.sizeofcmds);
1256 bfd_h_put_32 (abfd, header->flags, raw.flags);
1257
1258 if (mach_o_wide_p (header))
1259 bfd_h_put_32 (abfd, header->reserved, raw.reserved);
1260
1261 if (bfd_seek (abfd, 0, SEEK_SET) != 0
1262 || bfd_bwrite (&raw, size, abfd) != size)
1263 return false;
1264
1265 return true;
1266 }
1267
1268 static bool
1269 bfd_mach_o_write_thread (bfd *abfd, bfd_mach_o_load_command *command)
1270 {
1271 bfd_mach_o_thread_command *cmd = &command->command.thread;
1272 unsigned int i;
1273 struct mach_o_thread_command_external raw;
1274 size_t offset;
1275
1276 BFD_ASSERT ((command->type == BFD_MACH_O_LC_THREAD)
1277 || (command->type == BFD_MACH_O_LC_UNIXTHREAD));
1278
1279 offset = BFD_MACH_O_LC_SIZE;
1280 for (i = 0; i < cmd->nflavours; i++)
1281 {
1282 BFD_ASSERT ((cmd->flavours[i].size % 4) == 0);
1283 BFD_ASSERT (cmd->flavours[i].offset
1284 == command->offset + offset + BFD_MACH_O_LC_SIZE);
1285
1286 bfd_h_put_32 (abfd, cmd->flavours[i].flavour, raw.flavour);
1287 bfd_h_put_32 (abfd, (cmd->flavours[i].size / 4), raw.count);
1288
1289 if (bfd_seek (abfd, command->offset + offset, SEEK_SET) != 0
1290 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1291 return false;
1292
1293 offset += cmd->flavours[i].size + sizeof (raw);
1294 }
1295
1296 return true;
1297 }
1298
1299 static bool
1300 bfd_mach_o_write_dylinker (bfd *abfd, bfd_mach_o_load_command *command)
1301 {
1302 bfd_mach_o_dylinker_command *cmd = &command->command.dylinker;
1303 struct mach_o_str_command_external raw;
1304 size_t namelen;
1305
1306 bfd_h_put_32 (abfd, cmd->name_offset, raw.str);
1307
1308 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1309 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1310 return false;
1311
1312 namelen = strlen (cmd->name_str) + 1;
1313 if (bfd_bwrite (cmd->name_str, namelen, abfd) != namelen)
1314 return false;
1315
1316 if (bfd_mach_o_pad_command (abfd, namelen) < 0)
1317 return false;
1318
1319 return true;
1320 }
1321
1322 static bool
1323 bfd_mach_o_write_dylib (bfd *abfd, bfd_mach_o_load_command *command)
1324 {
1325 bfd_mach_o_dylib_command *cmd = &command->command.dylib;
1326 struct mach_o_dylib_command_external raw;
1327 size_t namelen;
1328
1329 bfd_h_put_32 (abfd, cmd->name_offset, raw.name);
1330 bfd_h_put_32 (abfd, cmd->timestamp, raw.timestamp);
1331 bfd_h_put_32 (abfd, cmd->current_version, raw.current_version);
1332 bfd_h_put_32 (abfd, cmd->compatibility_version, raw.compatibility_version);
1333
1334 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1335 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1336 return false;
1337
1338 namelen = strlen (cmd->name_str) + 1;
1339 if (bfd_bwrite (cmd->name_str, namelen, abfd) != namelen)
1340 return false;
1341
1342 if (bfd_mach_o_pad_command (abfd, namelen) < 0)
1343 return false;
1344
1345 return true;
1346 }
1347
1348 static bool
1349 bfd_mach_o_write_main (bfd *abfd, bfd_mach_o_load_command *command)
1350 {
1351 bfd_mach_o_main_command *cmd = &command->command.main;
1352 struct mach_o_entry_point_command_external raw;
1353
1354 bfd_h_put_64 (abfd, cmd->entryoff, raw.entryoff);
1355 bfd_h_put_64 (abfd, cmd->stacksize, raw.stacksize);
1356
1357 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1358 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1359 return false;
1360
1361 return true;
1362 }
1363
1364 static bool
1365 bfd_mach_o_write_dyld_info (bfd *abfd, bfd_mach_o_load_command *command)
1366 {
1367 bfd_mach_o_dyld_info_command *cmd = &command->command.dyld_info;
1368 struct mach_o_dyld_info_command_external raw;
1369
1370 bfd_h_put_32 (abfd, cmd->rebase_off, raw.rebase_off);
1371 bfd_h_put_32 (abfd, cmd->rebase_size, raw.rebase_size);
1372 bfd_h_put_32 (abfd, cmd->bind_off, raw.bind_off);
1373 bfd_h_put_32 (abfd, cmd->bind_size, raw.bind_size);
1374 bfd_h_put_32 (abfd, cmd->weak_bind_off, raw.weak_bind_off);
1375 bfd_h_put_32 (abfd, cmd->weak_bind_size, raw.weak_bind_size);
1376 bfd_h_put_32 (abfd, cmd->lazy_bind_off, raw.lazy_bind_off);
1377 bfd_h_put_32 (abfd, cmd->lazy_bind_size, raw.lazy_bind_size);
1378 bfd_h_put_32 (abfd, cmd->export_off, raw.export_off);
1379 bfd_h_put_32 (abfd, cmd->export_size, raw.export_size);
1380
1381 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1382 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1383 return false;
1384
1385 if (cmd->rebase_size != 0)
1386 if (bfd_seek (abfd, cmd->rebase_off, SEEK_SET) != 0
1387 || (bfd_bwrite (cmd->rebase_content, cmd->rebase_size, abfd) !=
1388 cmd->rebase_size))
1389 return false;
1390
1391 if (cmd->bind_size != 0)
1392 if (bfd_seek (abfd, cmd->bind_off, SEEK_SET) != 0
1393 || (bfd_bwrite (cmd->bind_content, cmd->bind_size, abfd) !=
1394 cmd->bind_size))
1395 return false;
1396
1397 if (cmd->weak_bind_size != 0)
1398 if (bfd_seek (abfd, cmd->weak_bind_off, SEEK_SET) != 0
1399 || (bfd_bwrite (cmd->weak_bind_content, cmd->weak_bind_size, abfd) !=
1400 cmd->weak_bind_size))
1401 return false;
1402
1403 if (cmd->lazy_bind_size != 0)
1404 if (bfd_seek (abfd, cmd->lazy_bind_off, SEEK_SET) != 0
1405 || (bfd_bwrite (cmd->lazy_bind_content, cmd->lazy_bind_size, abfd) !=
1406 cmd->lazy_bind_size))
1407 return false;
1408
1409 if (cmd->export_size != 0)
1410 if (bfd_seek (abfd, cmd->export_off, SEEK_SET) != 0
1411 || (bfd_bwrite (cmd->export_content, cmd->export_size, abfd) !=
1412 cmd->export_size))
1413 return false;
1414
1415 return true;
1416 }
1417
1418 long
1419 bfd_mach_o_get_reloc_upper_bound (bfd *abfd, asection *asect)
1420 {
1421 size_t count, raw;
1422
1423 count = asect->reloc_count;
1424 if (count >= LONG_MAX / sizeof (arelent *)
1425 || _bfd_mul_overflow (count, BFD_MACH_O_RELENT_SIZE, &raw))
1426 {
1427 bfd_set_error (bfd_error_file_too_big);
1428 return -1;
1429 }
1430 if (!bfd_write_p (abfd))
1431 {
1432 ufile_ptr filesize = bfd_get_file_size (abfd);
1433 if (filesize != 0 && raw > filesize)
1434 {
1435 bfd_set_error (bfd_error_file_truncated);
1436 return -1;
1437 }
1438 }
1439 return (count + 1) * sizeof (arelent *);
1440 }
1441
1442 /* In addition to the need to byte-swap the symbol number, the bit positions
1443 of the fields in the relocation information vary per target endian-ness. */
1444
1445 void
1446 bfd_mach_o_swap_in_non_scattered_reloc (bfd *abfd, bfd_mach_o_reloc_info *rel,
1447 unsigned char *fields)
1448 {
1449 unsigned char info = fields[3];
1450
1451 if (bfd_big_endian (abfd))
1452 {
1453 rel->r_value = (fields[0] << 16) | (fields[1] << 8) | fields[2];
1454 rel->r_type = (info >> BFD_MACH_O_BE_TYPE_SHIFT) & BFD_MACH_O_TYPE_MASK;
1455 rel->r_pcrel = (info & BFD_MACH_O_BE_PCREL) ? 1 : 0;
1456 rel->r_length = (info >> BFD_MACH_O_BE_LENGTH_SHIFT)
1457 & BFD_MACH_O_LENGTH_MASK;
1458 rel->r_extern = (info & BFD_MACH_O_BE_EXTERN) ? 1 : 0;
1459 }
1460 else
1461 {
1462 rel->r_value = (fields[2] << 16) | (fields[1] << 8) | fields[0];
1463 rel->r_type = (info >> BFD_MACH_O_LE_TYPE_SHIFT) & BFD_MACH_O_TYPE_MASK;
1464 rel->r_pcrel = (info & BFD_MACH_O_LE_PCREL) ? 1 : 0;
1465 rel->r_length = (info >> BFD_MACH_O_LE_LENGTH_SHIFT)
1466 & BFD_MACH_O_LENGTH_MASK;
1467 rel->r_extern = (info & BFD_MACH_O_LE_EXTERN) ? 1 : 0;
1468 }
1469 }
1470
1471 /* Set syms_ptr_ptr and addend of RES. */
1472
1473 bool
1474 bfd_mach_o_canonicalize_non_scattered_reloc (bfd *abfd,
1475 bfd_mach_o_reloc_info *reloc,
1476 arelent *res, asymbol **syms)
1477 {
1478 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1479 unsigned int num;
1480 asymbol **sym;
1481
1482 /* Non-scattered relocation. */
1483 reloc->r_scattered = 0;
1484 res->addend = 0;
1485
1486 num = reloc->r_value;
1487
1488 if (reloc->r_extern)
1489 {
1490 /* PR 17512: file: 8396-1185-0.004. */
1491 if (num >= (unsigned) bfd_mach_o_count_symbols (abfd))
1492 sym = bfd_und_section_ptr->symbol_ptr_ptr;
1493 else if (syms == NULL)
1494 sym = bfd_und_section_ptr->symbol_ptr_ptr;
1495 else
1496 /* An external symbol number. */
1497 sym = syms + num;
1498 }
1499 else if (num == 0x00ffffff || num == 0)
1500 {
1501 /* The 'symnum' in a non-scattered PAIR is 0x00ffffff. But as this
1502 is generic code, we don't know wether this is really a PAIR.
1503 This value is almost certainly not a valid section number, hence
1504 this specific case to avoid an assertion failure.
1505 Target specific swap_reloc_in routine should adjust that. */
1506 sym = bfd_abs_section_ptr->symbol_ptr_ptr;
1507 }
1508 else
1509 {
1510 /* PR 17512: file: 006-2964-0.004. */
1511 if (num > mdata->nsects)
1512 {
1513 _bfd_error_handler (_("\
1514 malformed mach-o reloc: section index is greater than the number of sections"));
1515 return false;
1516 }
1517
1518 /* A section number. */
1519 sym = mdata->sections[num - 1]->bfdsection->symbol_ptr_ptr;
1520 /* For a symbol defined in section S, the addend (stored in the
1521 binary) contains the address of the section. To comply with
1522 bfd convention, subtract the section address.
1523 Use the address from the header, so that the user can modify
1524 the vma of the section. */
1525 res->addend = -mdata->sections[num - 1]->addr;
1526 }
1527
1528 /* Note: Pairs for PPC LO/HI/HA are not scattered, but contain the offset
1529 in the lower 16bits of the address value. So we have to find the
1530 'symbol' from the preceding reloc. We do this even though the
1531 section symbol is probably not needed here, because NULL symbol
1532 values cause an assert in generic BFD code. This must be done in
1533 the PPC swap_reloc_in routine. */
1534 res->sym_ptr_ptr = sym;
1535
1536 return true;
1537 }
1538
1539 /* Do most of the work for canonicalize_relocs on RAW: create internal
1540 representation RELOC and set most fields of RES using symbol table SYMS.
1541 Each target still has to set the howto of RES and possibly adjust other
1542 fields.
1543 Previously the Mach-O hook point was simply swap_in, but some targets
1544 (like arm64) don't follow the generic rules (symnum is a value for the
1545 non-scattered relocation ADDEND). */
1546
1547 bool
1548 bfd_mach_o_pre_canonicalize_one_reloc (bfd *abfd,
1549 struct mach_o_reloc_info_external *raw,
1550 bfd_mach_o_reloc_info *reloc,
1551 arelent *res, asymbol **syms)
1552 {
1553 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1554 bfd_vma addr;
1555
1556 addr = bfd_get_32 (abfd, raw->r_address);
1557 res->sym_ptr_ptr = NULL;
1558 res->addend = 0;
1559
1560 if (addr & BFD_MACH_O_SR_SCATTERED)
1561 {
1562 unsigned int j;
1563 bfd_vma symnum = bfd_get_32 (abfd, raw->r_symbolnum);
1564
1565 /* Scattered relocation, can't be extern. */
1566 reloc->r_scattered = 1;
1567 reloc->r_extern = 0;
1568
1569 /* Extract section and offset from r_value (symnum). */
1570 reloc->r_value = symnum;
1571 /* FIXME: This breaks when a symbol in a reloc exactly follows the
1572 end of the data for the section (e.g. in a calculation of section
1573 data length). At present, the symbol will end up associated with
1574 the following section or, if it falls within alignment padding, as
1575 null - which will assert later. */
1576 for (j = 0; j < mdata->nsects; j++)
1577 {
1578 bfd_mach_o_section *sect = mdata->sections[j];
1579 if (symnum >= sect->addr && symnum < sect->addr + sect->size)
1580 {
1581 res->sym_ptr_ptr = sect->bfdsection->symbol_ptr_ptr;
1582 res->addend = symnum - sect->addr;
1583 break;
1584 }
1585 }
1586
1587 /* Extract the info and address fields from r_address. */
1588 reloc->r_type = BFD_MACH_O_GET_SR_TYPE (addr);
1589 reloc->r_length = BFD_MACH_O_GET_SR_LENGTH (addr);
1590 reloc->r_pcrel = addr & BFD_MACH_O_SR_PCREL;
1591 reloc->r_address = BFD_MACH_O_GET_SR_TYPE (addr);
1592 res->address = BFD_MACH_O_GET_SR_ADDRESS (addr);
1593 }
1594 else
1595 {
1596 /* Non-scattered relocation. */
1597 reloc->r_scattered = 0;
1598 reloc->r_address = addr;
1599 res->address = addr;
1600
1601 /* The value and info fields have to be extracted dependent on target
1602 endian-ness. */
1603 bfd_mach_o_swap_in_non_scattered_reloc (abfd, reloc, raw->r_symbolnum);
1604
1605 if (!bfd_mach_o_canonicalize_non_scattered_reloc (abfd, reloc,
1606 res, syms))
1607 return false;
1608 }
1609
1610 /* We have set up a reloc with all the information present, so the swapper
1611 can modify address, value and addend fields, if necessary, to convey
1612 information in the generic BFD reloc that is mach-o specific. */
1613
1614 return true;
1615 }
1616
1617 static int
1618 bfd_mach_o_canonicalize_relocs (bfd *abfd, unsigned long filepos,
1619 unsigned long count,
1620 arelent *res, asymbol **syms)
1621 {
1622 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
1623 unsigned long i;
1624 struct mach_o_reloc_info_external *native_relocs = NULL;
1625 size_t native_size;
1626
1627 /* Allocate and read relocs. */
1628 if (_bfd_mul_overflow (count, BFD_MACH_O_RELENT_SIZE, &native_size))
1629 /* PR 17512: file: 09477b57. */
1630 goto err;
1631
1632 if (bfd_seek (abfd, filepos, SEEK_SET) != 0)
1633 return -1;
1634 native_relocs = (struct mach_o_reloc_info_external *)
1635 _bfd_malloc_and_read (abfd, native_size, native_size);
1636 if (native_relocs == NULL)
1637 return -1;
1638
1639 for (i = 0; i < count; i++)
1640 {
1641 if (!(*bed->_bfd_mach_o_canonicalize_one_reloc)(abfd, &native_relocs[i],
1642 &res[i], syms, res))
1643 goto err;
1644 }
1645 free (native_relocs);
1646 return i;
1647
1648 err:
1649 free (native_relocs);
1650 if (bfd_get_error () == bfd_error_no_error)
1651 bfd_set_error (bfd_error_invalid_operation);
1652 return -1;
1653 }
1654
1655 long
1656 bfd_mach_o_canonicalize_reloc (bfd *abfd, asection *asect,
1657 arelent **rels, asymbol **syms)
1658 {
1659 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
1660 unsigned long i;
1661 arelent *res;
1662
1663 if (asect->reloc_count == 0)
1664 return 0;
1665
1666 /* No need to go further if we don't know how to read relocs. */
1667 if (bed->_bfd_mach_o_canonicalize_one_reloc == NULL)
1668 return 0;
1669
1670 if (asect->relocation == NULL)
1671 {
1672 size_t amt;
1673
1674 if (_bfd_mul_overflow (asect->reloc_count, sizeof (arelent), &amt))
1675 {
1676 bfd_set_error (bfd_error_file_too_big);
1677 return -1;
1678 }
1679 res = bfd_malloc (amt);
1680 if (res == NULL)
1681 return -1;
1682
1683 if (bfd_mach_o_canonicalize_relocs (abfd, asect->rel_filepos,
1684 asect->reloc_count, res, syms) < 0)
1685 {
1686 free (res);
1687 return -1;
1688 }
1689 asect->relocation = res;
1690 }
1691
1692 res = asect->relocation;
1693 for (i = 0; i < asect->reloc_count; i++)
1694 rels[i] = &res[i];
1695 rels[i] = NULL;
1696
1697 return i;
1698 }
1699
1700 long
1701 bfd_mach_o_get_dynamic_reloc_upper_bound (bfd *abfd)
1702 {
1703 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1704
1705 if (mdata->dysymtab == NULL)
1706 return 1;
1707 return (mdata->dysymtab->nextrel + mdata->dysymtab->nlocrel + 1)
1708 * sizeof (arelent *);
1709 }
1710
1711 long
1712 bfd_mach_o_canonicalize_dynamic_reloc (bfd *abfd, arelent **rels,
1713 struct bfd_symbol **syms)
1714 {
1715 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1716 bfd_mach_o_dysymtab_command *dysymtab = mdata->dysymtab;
1717 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
1718 unsigned long i;
1719 arelent *res;
1720
1721 if (dysymtab == NULL)
1722 return 0;
1723 if (dysymtab->nextrel == 0 && dysymtab->nlocrel == 0)
1724 return 0;
1725
1726 /* No need to go further if we don't know how to read relocs. */
1727 if (bed->_bfd_mach_o_canonicalize_one_reloc == NULL)
1728 return 0;
1729
1730 if (mdata->dyn_reloc_cache == NULL)
1731 {
1732 ufile_ptr filesize = bfd_get_file_size (abfd);
1733 size_t amt;
1734
1735 if (filesize != 0)
1736 {
1737 if (dysymtab->extreloff > filesize
1738 || dysymtab->nextrel > ((filesize - dysymtab->extreloff)
1739 / BFD_MACH_O_RELENT_SIZE)
1740 || dysymtab->locreloff > filesize
1741 || dysymtab->nlocrel > ((filesize - dysymtab->locreloff)
1742 / BFD_MACH_O_RELENT_SIZE))
1743 {
1744 bfd_set_error (bfd_error_file_truncated);
1745 return -1;
1746 }
1747 }
1748 if (_bfd_mul_overflow (dysymtab->nextrel + dysymtab->nlocrel,
1749 sizeof (arelent), &amt))
1750 {
1751 bfd_set_error (bfd_error_file_too_big);
1752 return -1;
1753 }
1754
1755 res = bfd_malloc (amt);
1756 if (res == NULL)
1757 return -1;
1758
1759 if (bfd_mach_o_canonicalize_relocs (abfd, dysymtab->extreloff,
1760 dysymtab->nextrel, res, syms) < 0)
1761 {
1762 free (res);
1763 return -1;
1764 }
1765
1766 if (bfd_mach_o_canonicalize_relocs (abfd, dysymtab->locreloff,
1767 dysymtab->nlocrel,
1768 res + dysymtab->nextrel, syms) < 0)
1769 {
1770 free (res);
1771 return -1;
1772 }
1773
1774 mdata->dyn_reloc_cache = res;
1775 }
1776
1777 res = mdata->dyn_reloc_cache;
1778 for (i = 0; i < dysymtab->nextrel + dysymtab->nlocrel; i++)
1779 rels[i] = &res[i];
1780 rels[i] = NULL;
1781 return i;
1782 }
1783
1784 /* In addition to the need to byte-swap the symbol number, the bit positions
1785 of the fields in the relocation information vary per target endian-ness. */
1786
1787 static void
1788 bfd_mach_o_swap_out_non_scattered_reloc (bfd *abfd, unsigned char *fields,
1789 bfd_mach_o_reloc_info *rel)
1790 {
1791 unsigned char info = 0;
1792
1793 BFD_ASSERT (rel->r_type <= 15);
1794 BFD_ASSERT (rel->r_length <= 3);
1795
1796 if (bfd_big_endian (abfd))
1797 {
1798 fields[0] = (rel->r_value >> 16) & 0xff;
1799 fields[1] = (rel->r_value >> 8) & 0xff;
1800 fields[2] = rel->r_value & 0xff;
1801 info |= rel->r_type << BFD_MACH_O_BE_TYPE_SHIFT;
1802 info |= rel->r_pcrel ? BFD_MACH_O_BE_PCREL : 0;
1803 info |= rel->r_length << BFD_MACH_O_BE_LENGTH_SHIFT;
1804 info |= rel->r_extern ? BFD_MACH_O_BE_EXTERN : 0;
1805 }
1806 else
1807 {
1808 fields[2] = (rel->r_value >> 16) & 0xff;
1809 fields[1] = (rel->r_value >> 8) & 0xff;
1810 fields[0] = rel->r_value & 0xff;
1811 info |= rel->r_type << BFD_MACH_O_LE_TYPE_SHIFT;
1812 info |= rel->r_pcrel ? BFD_MACH_O_LE_PCREL : 0;
1813 info |= rel->r_length << BFD_MACH_O_LE_LENGTH_SHIFT;
1814 info |= rel->r_extern ? BFD_MACH_O_LE_EXTERN : 0;
1815 }
1816 fields[3] = info;
1817 }
1818
1819 static bool
1820 bfd_mach_o_write_relocs (bfd *abfd, bfd_mach_o_section *section)
1821 {
1822 unsigned int i;
1823 arelent **entries;
1824 asection *sec;
1825 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
1826
1827 sec = section->bfdsection;
1828 if (sec->reloc_count == 0)
1829 return true;
1830
1831 if (bed->_bfd_mach_o_swap_reloc_out == NULL)
1832 return true;
1833
1834 if (bfd_seek (abfd, section->reloff, SEEK_SET) != 0)
1835 return false;
1836
1837 /* Convert and write. */
1838 entries = section->bfdsection->orelocation;
1839 for (i = 0; i < section->nreloc; i++)
1840 {
1841 arelent *rel = entries[i];
1842 struct mach_o_reloc_info_external raw;
1843 bfd_mach_o_reloc_info info, *pinfo = &info;
1844
1845 /* Convert relocation to an intermediate representation. */
1846 if (!(*bed->_bfd_mach_o_swap_reloc_out) (rel, pinfo))
1847 return false;
1848
1849 /* Lower the relocation info. */
1850 if (pinfo->r_scattered)
1851 {
1852 unsigned long v;
1853
1854 v = BFD_MACH_O_SR_SCATTERED
1855 | (pinfo->r_pcrel ? BFD_MACH_O_SR_PCREL : 0)
1856 | BFD_MACH_O_SET_SR_LENGTH (pinfo->r_length)
1857 | BFD_MACH_O_SET_SR_TYPE (pinfo->r_type)
1858 | BFD_MACH_O_SET_SR_ADDRESS (pinfo->r_address);
1859 /* Note: scattered relocs have field in reverse order... */
1860 bfd_put_32 (abfd, v, raw.r_address);
1861 bfd_put_32 (abfd, pinfo->r_value, raw.r_symbolnum);
1862 }
1863 else
1864 {
1865 bfd_put_32 (abfd, pinfo->r_address, raw.r_address);
1866 bfd_mach_o_swap_out_non_scattered_reloc (abfd, raw.r_symbolnum,
1867 pinfo);
1868 }
1869
1870 if (bfd_bwrite (&raw, BFD_MACH_O_RELENT_SIZE, abfd)
1871 != BFD_MACH_O_RELENT_SIZE)
1872 return false;
1873 }
1874 return true;
1875 }
1876
1877 static bool
1878 bfd_mach_o_write_section_32 (bfd *abfd, bfd_mach_o_section *section)
1879 {
1880 struct mach_o_section_32_external raw;
1881
1882 memcpy (raw.sectname, section->sectname, 16);
1883 memcpy (raw.segname, section->segname, 16);
1884 bfd_h_put_32 (abfd, section->addr, raw.addr);
1885 bfd_h_put_32 (abfd, section->size, raw.size);
1886 bfd_h_put_32 (abfd, section->offset, raw.offset);
1887 bfd_h_put_32 (abfd, section->align, raw.align);
1888 bfd_h_put_32 (abfd, section->reloff, raw.reloff);
1889 bfd_h_put_32 (abfd, section->nreloc, raw.nreloc);
1890 bfd_h_put_32 (abfd, section->flags, raw.flags);
1891 bfd_h_put_32 (abfd, section->reserved1, raw.reserved1);
1892 bfd_h_put_32 (abfd, section->reserved2, raw.reserved2);
1893
1894 if (bfd_bwrite (&raw, BFD_MACH_O_SECTION_SIZE, abfd)
1895 != BFD_MACH_O_SECTION_SIZE)
1896 return false;
1897
1898 return true;
1899 }
1900
1901 static bool
1902 bfd_mach_o_write_section_64 (bfd *abfd, bfd_mach_o_section *section)
1903 {
1904 struct mach_o_section_64_external raw;
1905
1906 memcpy (raw.sectname, section->sectname, 16);
1907 memcpy (raw.segname, section->segname, 16);
1908 bfd_h_put_64 (abfd, section->addr, raw.addr);
1909 bfd_h_put_64 (abfd, section->size, raw.size);
1910 bfd_h_put_32 (abfd, section->offset, raw.offset);
1911 bfd_h_put_32 (abfd, section->align, raw.align);
1912 bfd_h_put_32 (abfd, section->reloff, raw.reloff);
1913 bfd_h_put_32 (abfd, section->nreloc, raw.nreloc);
1914 bfd_h_put_32 (abfd, section->flags, raw.flags);
1915 bfd_h_put_32 (abfd, section->reserved1, raw.reserved1);
1916 bfd_h_put_32 (abfd, section->reserved2, raw.reserved2);
1917 bfd_h_put_32 (abfd, section->reserved3, raw.reserved3);
1918
1919 if (bfd_bwrite (&raw, BFD_MACH_O_SECTION_64_SIZE, abfd)
1920 != BFD_MACH_O_SECTION_64_SIZE)
1921 return false;
1922
1923 return true;
1924 }
1925
1926 static bool
1927 bfd_mach_o_write_segment_32 (bfd *abfd, bfd_mach_o_load_command *command)
1928 {
1929 struct mach_o_segment_command_32_external raw;
1930 bfd_mach_o_segment_command *seg = &command->command.segment;
1931 bfd_mach_o_section *sec;
1932
1933 BFD_ASSERT (command->type == BFD_MACH_O_LC_SEGMENT);
1934
1935 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
1936 if (!bfd_mach_o_write_relocs (abfd, sec))
1937 return false;
1938
1939 memcpy (raw.segname, seg->segname, 16);
1940 bfd_h_put_32 (abfd, seg->vmaddr, raw.vmaddr);
1941 bfd_h_put_32 (abfd, seg->vmsize, raw.vmsize);
1942 bfd_h_put_32 (abfd, seg->fileoff, raw.fileoff);
1943 bfd_h_put_32 (abfd, seg->filesize, raw.filesize);
1944 bfd_h_put_32 (abfd, seg->maxprot, raw.maxprot);
1945 bfd_h_put_32 (abfd, seg->initprot, raw.initprot);
1946 bfd_h_put_32 (abfd, seg->nsects, raw.nsects);
1947 bfd_h_put_32 (abfd, seg->flags, raw.flags);
1948
1949 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1950 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1951 return false;
1952
1953 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
1954 if (!bfd_mach_o_write_section_32 (abfd, sec))
1955 return false;
1956
1957 return true;
1958 }
1959
1960 static bool
1961 bfd_mach_o_write_segment_64 (bfd *abfd, bfd_mach_o_load_command *command)
1962 {
1963 struct mach_o_segment_command_64_external raw;
1964 bfd_mach_o_segment_command *seg = &command->command.segment;
1965 bfd_mach_o_section *sec;
1966
1967 BFD_ASSERT (command->type == BFD_MACH_O_LC_SEGMENT_64);
1968
1969 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
1970 if (!bfd_mach_o_write_relocs (abfd, sec))
1971 return false;
1972
1973 memcpy (raw.segname, seg->segname, 16);
1974 bfd_h_put_64 (abfd, seg->vmaddr, raw.vmaddr);
1975 bfd_h_put_64 (abfd, seg->vmsize, raw.vmsize);
1976 bfd_h_put_64 (abfd, seg->fileoff, raw.fileoff);
1977 bfd_h_put_64 (abfd, seg->filesize, raw.filesize);
1978 bfd_h_put_32 (abfd, seg->maxprot, raw.maxprot);
1979 bfd_h_put_32 (abfd, seg->initprot, raw.initprot);
1980 bfd_h_put_32 (abfd, seg->nsects, raw.nsects);
1981 bfd_h_put_32 (abfd, seg->flags, raw.flags);
1982
1983 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
1984 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
1985 return false;
1986
1987 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
1988 if (!bfd_mach_o_write_section_64 (abfd, sec))
1989 return false;
1990
1991 return true;
1992 }
1993
1994 static bool
1995 bfd_mach_o_write_symtab_content (bfd *abfd, bfd_mach_o_symtab_command *sym)
1996 {
1997 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
1998 unsigned long i;
1999 unsigned int wide = bfd_mach_o_wide_p (abfd);
2000 struct bfd_strtab_hash *strtab;
2001 asymbol **symbols = bfd_get_outsymbols (abfd);
2002 int padlen;
2003
2004 /* Write the symbols first. */
2005 if (bfd_seek (abfd, sym->symoff, SEEK_SET) != 0)
2006 return false;
2007
2008 strtab = _bfd_stringtab_init ();
2009 if (strtab == NULL)
2010 return false;
2011
2012 if (sym->nsyms > 0)
2013 /* Although we don't strictly need to do this, for compatibility with
2014 Darwin system tools, actually output an empty string for the index
2015 0 entry. */
2016 _bfd_stringtab_add (strtab, "", true, false);
2017
2018 for (i = 0; i < sym->nsyms; i++)
2019 {
2020 bfd_size_type str_index;
2021 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2022
2023 if (s->symbol.name == 0 || s->symbol.name[0] == '\0')
2024 /* An index of 0 always means the empty string. */
2025 str_index = 0;
2026 else
2027 {
2028 str_index = _bfd_stringtab_add (strtab, s->symbol.name, true, false);
2029
2030 if (str_index == (bfd_size_type) -1)
2031 goto err;
2032 }
2033
2034 if (wide)
2035 {
2036 struct mach_o_nlist_64_external raw;
2037
2038 bfd_h_put_32 (abfd, str_index, raw.n_strx);
2039 bfd_h_put_8 (abfd, s->n_type, raw.n_type);
2040 bfd_h_put_8 (abfd, s->n_sect, raw.n_sect);
2041 bfd_h_put_16 (abfd, s->n_desc, raw.n_desc);
2042 bfd_h_put_64 (abfd, s->symbol.section->vma + s->symbol.value,
2043 raw.n_value);
2044
2045 if (bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
2046 goto err;
2047 }
2048 else
2049 {
2050 struct mach_o_nlist_external raw;
2051
2052 bfd_h_put_32 (abfd, str_index, raw.n_strx);
2053 bfd_h_put_8 (abfd, s->n_type, raw.n_type);
2054 bfd_h_put_8 (abfd, s->n_sect, raw.n_sect);
2055 bfd_h_put_16 (abfd, s->n_desc, raw.n_desc);
2056 bfd_h_put_32 (abfd, s->symbol.section->vma + s->symbol.value,
2057 raw.n_value);
2058
2059 if (bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
2060 goto err;
2061 }
2062 }
2063 sym->strsize = _bfd_stringtab_size (strtab);
2064 sym->stroff = mdata->filelen;
2065 mdata->filelen += sym->strsize;
2066
2067 if (bfd_seek (abfd, sym->stroff, SEEK_SET) != 0)
2068 goto err;
2069
2070 if (!_bfd_stringtab_emit (abfd, strtab))
2071 goto err;
2072
2073 /* Pad string table. */
2074 padlen = bfd_mach_o_pad4 (abfd, sym->strsize);
2075 if (padlen < 0)
2076 return false;
2077 mdata->filelen += padlen;
2078 sym->strsize += padlen;
2079
2080 return true;
2081
2082 err:
2083 _bfd_stringtab_free (strtab);
2084 sym->strsize = 0;
2085 return false;
2086 }
2087
2088 static bool
2089 bfd_mach_o_write_symtab (bfd *abfd, bfd_mach_o_load_command *command)
2090 {
2091 bfd_mach_o_symtab_command *sym = &command->command.symtab;
2092 struct mach_o_symtab_command_external raw;
2093
2094 BFD_ASSERT (command->type == BFD_MACH_O_LC_SYMTAB);
2095
2096 /* The command. */
2097 bfd_h_put_32 (abfd, sym->symoff, raw.symoff);
2098 bfd_h_put_32 (abfd, sym->nsyms, raw.nsyms);
2099 bfd_h_put_32 (abfd, sym->stroff, raw.stroff);
2100 bfd_h_put_32 (abfd, sym->strsize, raw.strsize);
2101
2102 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0
2103 || bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
2104 return false;
2105
2106 return true;
2107 }
2108
2109 /* Count the number of indirect symbols in the image.
2110 Requires that the sections are in their final order. */
2111
2112 static unsigned int
2113 bfd_mach_o_count_indirect_symbols (bfd *abfd, bfd_mach_o_data_struct *mdata)
2114 {
2115 unsigned int i;
2116 unsigned int nisyms = 0;
2117
2118 for (i = 0; i < mdata->nsects; ++i)
2119 {
2120 bfd_mach_o_section *sec = mdata->sections[i];
2121
2122 switch (sec->flags & BFD_MACH_O_SECTION_TYPE_MASK)
2123 {
2124 case BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS:
2125 case BFD_MACH_O_S_LAZY_SYMBOL_POINTERS:
2126 case BFD_MACH_O_S_SYMBOL_STUBS:
2127 nisyms += bfd_mach_o_section_get_nbr_indirect (abfd, sec);
2128 break;
2129 default:
2130 break;
2131 }
2132 }
2133 return nisyms;
2134 }
2135
2136 /* Create the dysymtab. */
2137
2138 static bool
2139 bfd_mach_o_build_dysymtab (bfd *abfd, bfd_mach_o_dysymtab_command *cmd)
2140 {
2141 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2142
2143 /* TODO:
2144 We are not going to try and fill these in yet and, moreover, we are
2145 going to bail if they are already set. */
2146 if (cmd->nmodtab != 0
2147 || cmd->ntoc != 0
2148 || cmd->nextrefsyms != 0)
2149 {
2150 _bfd_error_handler (_("sorry: modtab, toc and extrefsyms are not yet"
2151 " implemented for dysymtab commands."));
2152 return false;
2153 }
2154
2155 cmd->ilocalsym = 0;
2156
2157 if (bfd_get_symcount (abfd) > 0)
2158 {
2159 asymbol **symbols = bfd_get_outsymbols (abfd);
2160 unsigned long i;
2161
2162 /* Count the number of each kind of symbol. */
2163 for (i = 0; i < bfd_get_symcount (abfd); ++i)
2164 {
2165 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2166 if (s->n_type & (BFD_MACH_O_N_EXT | BFD_MACH_O_N_PEXT))
2167 break;
2168 }
2169 cmd->nlocalsym = i;
2170 cmd->iextdefsym = i;
2171 for (; i < bfd_get_symcount (abfd); ++i)
2172 {
2173 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2174 if ((s->n_type & BFD_MACH_O_N_TYPE) == BFD_MACH_O_N_UNDF)
2175 break;
2176 }
2177 cmd->nextdefsym = i - cmd->nlocalsym;
2178 cmd->iundefsym = cmd->nextdefsym + cmd->iextdefsym;
2179 cmd->nundefsym = bfd_get_symcount (abfd)
2180 - cmd->nlocalsym
2181 - cmd->nextdefsym;
2182 }
2183 else
2184 {
2185 cmd->nlocalsym = 0;
2186 cmd->iextdefsym = 0;
2187 cmd->nextdefsym = 0;
2188 cmd->iundefsym = 0;
2189 cmd->nundefsym = 0;
2190 }
2191
2192 cmd->nindirectsyms = bfd_mach_o_count_indirect_symbols (abfd, mdata);
2193 if (cmd->nindirectsyms > 0)
2194 {
2195 unsigned i;
2196 unsigned n;
2197 size_t amt;
2198
2199 mdata->filelen = FILE_ALIGN (mdata->filelen, 2);
2200 cmd->indirectsymoff = mdata->filelen;
2201 if (_bfd_mul_overflow (cmd->nindirectsyms, 4, &amt))
2202 return false;
2203 mdata->filelen += amt;
2204
2205 cmd->indirect_syms = bfd_zalloc (abfd, amt);
2206 if (cmd->indirect_syms == NULL)
2207 return false;
2208
2209 n = 0;
2210 for (i = 0; i < mdata->nsects; ++i)
2211 {
2212 bfd_mach_o_section *sec = mdata->sections[i];
2213
2214 switch (sec->flags & BFD_MACH_O_SECTION_TYPE_MASK)
2215 {
2216 case BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS:
2217 case BFD_MACH_O_S_LAZY_SYMBOL_POINTERS:
2218 case BFD_MACH_O_S_SYMBOL_STUBS:
2219 {
2220 unsigned j, num;
2221 bfd_mach_o_asymbol **isyms = sec->indirect_syms;
2222
2223 num = bfd_mach_o_section_get_nbr_indirect (abfd, sec);
2224 if (isyms == NULL || num == 0)
2225 break;
2226 /* Record the starting index in the reserved1 field. */
2227 sec->reserved1 = n;
2228 for (j = 0; j < num; j++, n++)
2229 {
2230 if (isyms[j] == NULL)
2231 cmd->indirect_syms[n] = BFD_MACH_O_INDIRECT_SYM_LOCAL;
2232 else if (isyms[j]->symbol.section == bfd_abs_section_ptr
2233 && ! (isyms[j]->n_type & BFD_MACH_O_N_EXT))
2234 cmd->indirect_syms[n] = BFD_MACH_O_INDIRECT_SYM_LOCAL
2235 | BFD_MACH_O_INDIRECT_SYM_ABS;
2236 else
2237 cmd->indirect_syms[n] = isyms[j]->symbol.udata.i;
2238 }
2239 }
2240 break;
2241 default:
2242 break;
2243 }
2244 }
2245 }
2246
2247 return true;
2248 }
2249
2250 /* Write a dysymtab command.
2251 TODO: Possibly coalesce writes of smaller objects. */
2252
2253 static bool
2254 bfd_mach_o_write_dysymtab (bfd *abfd, bfd_mach_o_load_command *command)
2255 {
2256 bfd_mach_o_dysymtab_command *cmd = &command->command.dysymtab;
2257
2258 BFD_ASSERT (command->type == BFD_MACH_O_LC_DYSYMTAB);
2259
2260 if (cmd->nmodtab != 0)
2261 {
2262 unsigned int i;
2263
2264 if (bfd_seek (abfd, cmd->modtaboff, SEEK_SET) != 0)
2265 return false;
2266
2267 for (i = 0; i < cmd->nmodtab; i++)
2268 {
2269 bfd_mach_o_dylib_module *module = &cmd->dylib_module[i];
2270 unsigned int iinit;
2271 unsigned int ninit;
2272
2273 iinit = module->iinit & 0xffff;
2274 iinit |= ((module->iterm & 0xffff) << 16);
2275
2276 ninit = module->ninit & 0xffff;
2277 ninit |= ((module->nterm & 0xffff) << 16);
2278
2279 if (bfd_mach_o_wide_p (abfd))
2280 {
2281 struct mach_o_dylib_module_64_external w;
2282
2283 bfd_h_put_32 (abfd, module->module_name_idx, &w.module_name);
2284 bfd_h_put_32 (abfd, module->iextdefsym, &w.iextdefsym);
2285 bfd_h_put_32 (abfd, module->nextdefsym, &w.nextdefsym);
2286 bfd_h_put_32 (abfd, module->irefsym, &w.irefsym);
2287 bfd_h_put_32 (abfd, module->nrefsym, &w.nrefsym);
2288 bfd_h_put_32 (abfd, module->ilocalsym, &w.ilocalsym);
2289 bfd_h_put_32 (abfd, module->nlocalsym, &w.nlocalsym);
2290 bfd_h_put_32 (abfd, module->iextrel, &w.iextrel);
2291 bfd_h_put_32 (abfd, module->nextrel, &w.nextrel);
2292 bfd_h_put_32 (abfd, iinit, &w.iinit_iterm);
2293 bfd_h_put_32 (abfd, ninit, &w.ninit_nterm);
2294 bfd_h_put_64 (abfd, module->objc_module_info_addr,
2295 &w.objc_module_info_addr);
2296 bfd_h_put_32 (abfd, module->objc_module_info_size,
2297 &w.objc_module_info_size);
2298
2299 if (bfd_bwrite ((void *) &w, sizeof (w), abfd) != sizeof (w))
2300 return false;
2301 }
2302 else
2303 {
2304 struct mach_o_dylib_module_external n;
2305
2306 bfd_h_put_32 (abfd, module->module_name_idx, &n.module_name);
2307 bfd_h_put_32 (abfd, module->iextdefsym, &n.iextdefsym);
2308 bfd_h_put_32 (abfd, module->nextdefsym, &n.nextdefsym);
2309 bfd_h_put_32 (abfd, module->irefsym, &n.irefsym);
2310 bfd_h_put_32 (abfd, module->nrefsym, &n.nrefsym);
2311 bfd_h_put_32 (abfd, module->ilocalsym, &n.ilocalsym);
2312 bfd_h_put_32 (abfd, module->nlocalsym, &n.nlocalsym);
2313 bfd_h_put_32 (abfd, module->iextrel, &n.iextrel);
2314 bfd_h_put_32 (abfd, module->nextrel, &n.nextrel);
2315 bfd_h_put_32 (abfd, iinit, &n.iinit_iterm);
2316 bfd_h_put_32 (abfd, ninit, &n.ninit_nterm);
2317 bfd_h_put_32 (abfd, module->objc_module_info_addr,
2318 &n.objc_module_info_addr);
2319 bfd_h_put_32 (abfd, module->objc_module_info_size,
2320 &n.objc_module_info_size);
2321
2322 if (bfd_bwrite ((void *) &n, sizeof (n), abfd) != sizeof (n))
2323 return false;
2324 }
2325 }
2326 }
2327
2328 if (cmd->ntoc != 0)
2329 {
2330 unsigned int i;
2331
2332 if (bfd_seek (abfd, cmd->tocoff, SEEK_SET) != 0)
2333 return false;
2334
2335 for (i = 0; i < cmd->ntoc; i++)
2336 {
2337 struct mach_o_dylib_table_of_contents_external raw;
2338 bfd_mach_o_dylib_table_of_content *toc = &cmd->dylib_toc[i];
2339
2340 bfd_h_put_32 (abfd, toc->symbol_index, &raw.symbol_index);
2341 bfd_h_put_32 (abfd, toc->module_index, &raw.module_index);
2342
2343 if (bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
2344 return false;
2345 }
2346 }
2347
2348 if (cmd->nindirectsyms > 0)
2349 {
2350 unsigned int i;
2351
2352 if (bfd_seek (abfd, cmd->indirectsymoff, SEEK_SET) != 0)
2353 return false;
2354
2355 for (i = 0; i < cmd->nindirectsyms; ++i)
2356 {
2357 unsigned char raw[4];
2358
2359 bfd_h_put_32 (abfd, cmd->indirect_syms[i], &raw);
2360 if (bfd_bwrite (raw, sizeof (raw), abfd) != sizeof (raw))
2361 return false;
2362 }
2363 }
2364
2365 if (cmd->nextrefsyms != 0)
2366 {
2367 unsigned int i;
2368
2369 if (bfd_seek (abfd, cmd->extrefsymoff, SEEK_SET) != 0)
2370 return false;
2371
2372 for (i = 0; i < cmd->nextrefsyms; i++)
2373 {
2374 unsigned long v;
2375 unsigned char raw[4];
2376 bfd_mach_o_dylib_reference *ref = &cmd->ext_refs[i];
2377
2378 /* Fields isym and flags are written as bit-fields, thus we need
2379 a specific processing for endianness. */
2380
2381 if (bfd_big_endian (abfd))
2382 {
2383 v = ((ref->isym & 0xffffff) << 8);
2384 v |= ref->flags & 0xff;
2385 }
2386 else
2387 {
2388 v = ref->isym & 0xffffff;
2389 v |= ((ref->flags & 0xff) << 24);
2390 }
2391
2392 bfd_h_put_32 (abfd, v, raw);
2393 if (bfd_bwrite (raw, sizeof (raw), abfd) != sizeof (raw))
2394 return false;
2395 }
2396 }
2397
2398 /* The command. */
2399 if (bfd_seek (abfd, command->offset + BFD_MACH_O_LC_SIZE, SEEK_SET) != 0)
2400 return false;
2401 else
2402 {
2403 struct mach_o_dysymtab_command_external raw;
2404
2405 bfd_h_put_32 (abfd, cmd->ilocalsym, &raw.ilocalsym);
2406 bfd_h_put_32 (abfd, cmd->nlocalsym, &raw.nlocalsym);
2407 bfd_h_put_32 (abfd, cmd->iextdefsym, &raw.iextdefsym);
2408 bfd_h_put_32 (abfd, cmd->nextdefsym, &raw.nextdefsym);
2409 bfd_h_put_32 (abfd, cmd->iundefsym, &raw.iundefsym);
2410 bfd_h_put_32 (abfd, cmd->nundefsym, &raw.nundefsym);
2411 bfd_h_put_32 (abfd, cmd->tocoff, &raw.tocoff);
2412 bfd_h_put_32 (abfd, cmd->ntoc, &raw.ntoc);
2413 bfd_h_put_32 (abfd, cmd->modtaboff, &raw.modtaboff);
2414 bfd_h_put_32 (abfd, cmd->nmodtab, &raw.nmodtab);
2415 bfd_h_put_32 (abfd, cmd->extrefsymoff, &raw.extrefsymoff);
2416 bfd_h_put_32 (abfd, cmd->nextrefsyms, &raw.nextrefsyms);
2417 bfd_h_put_32 (abfd, cmd->indirectsymoff, &raw.indirectsymoff);
2418 bfd_h_put_32 (abfd, cmd->nindirectsyms, &raw.nindirectsyms);
2419 bfd_h_put_32 (abfd, cmd->extreloff, &raw.extreloff);
2420 bfd_h_put_32 (abfd, cmd->nextrel, &raw.nextrel);
2421 bfd_h_put_32 (abfd, cmd->locreloff, &raw.locreloff);
2422 bfd_h_put_32 (abfd, cmd->nlocrel, &raw.nlocrel);
2423
2424 if (bfd_bwrite (&raw, sizeof (raw), abfd) != sizeof (raw))
2425 return false;
2426 }
2427
2428 return true;
2429 }
2430
2431 static unsigned
2432 bfd_mach_o_primary_symbol_sort_key (bfd_mach_o_asymbol *s)
2433 {
2434 unsigned mtyp = s->n_type & BFD_MACH_O_N_TYPE;
2435
2436 /* Just leave debug symbols where they are (pretend they are local, and
2437 then they will just be sorted on position). */
2438 if (s->n_type & BFD_MACH_O_N_STAB)
2439 return 0;
2440
2441 /* Local (we should never see an undefined local AFAICT). */
2442 if (! (s->n_type & (BFD_MACH_O_N_EXT | BFD_MACH_O_N_PEXT)))
2443 return 0;
2444
2445 /* Common symbols look like undefined externs. */
2446 if (mtyp == BFD_MACH_O_N_UNDF)
2447 return 2;
2448
2449 /* A defined non-local, non-debug symbol. */
2450 return 1;
2451 }
2452
2453 static int
2454 bfd_mach_o_cf_symbols (const void *a, const void *b)
2455 {
2456 bfd_mach_o_asymbol *sa = *(bfd_mach_o_asymbol **) a;
2457 bfd_mach_o_asymbol *sb = *(bfd_mach_o_asymbol **) b;
2458 unsigned int soa, sob;
2459
2460 soa = bfd_mach_o_primary_symbol_sort_key (sa);
2461 sob = bfd_mach_o_primary_symbol_sort_key (sb);
2462 if (soa < sob)
2463 return -1;
2464
2465 if (soa > sob)
2466 return 1;
2467
2468 /* If it's local or stab, just preserve the input order. */
2469 if (soa == 0)
2470 {
2471 if (sa->symbol.udata.i < sb->symbol.udata.i)
2472 return -1;
2473 if (sa->symbol.udata.i > sb->symbol.udata.i)
2474 return 1;
2475
2476 /* This is probably an error. */
2477 return 0;
2478 }
2479
2480 /* The second sort key is name. */
2481 return strcmp (sa->symbol.name, sb->symbol.name);
2482 }
2483
2484 /* Process the symbols.
2485
2486 This should be OK for single-module files - but it is not likely to work
2487 for multi-module shared libraries.
2488
2489 (a) If the application has not filled in the relevant mach-o fields, make
2490 an estimate.
2491
2492 (b) Order them, like this:
2493 ( i) local.
2494 (unsorted)
2495 ( ii) external defined
2496 (by name)
2497 (iii) external undefined/common
2498 (by name)
2499 ( iv) common
2500 (by name)
2501 */
2502
2503 static bool
2504 bfd_mach_o_mangle_symbols (bfd *abfd)
2505 {
2506 unsigned long i;
2507 asymbol **symbols = bfd_get_outsymbols (abfd);
2508
2509 if (symbols == NULL || bfd_get_symcount (abfd) == 0)
2510 return true;
2511
2512 for (i = 0; i < bfd_get_symcount (abfd); i++)
2513 {
2514 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2515
2516 /* We use this value, which is out-of-range as a symbol index, to signal
2517 that the mach-o-specific data are not filled in and need to be created
2518 from the bfd values. It is much preferable for the application to do
2519 this, since more meaningful diagnostics can be made that way. */
2520
2521 if (s->symbol.udata.i == SYM_MACHO_FIELDS_UNSET)
2522 {
2523 /* No symbol information has been set - therefore determine
2524 it from the bfd symbol flags/info. */
2525 if (s->symbol.section == bfd_abs_section_ptr)
2526 s->n_type = BFD_MACH_O_N_ABS;
2527 else if (s->symbol.section == bfd_und_section_ptr)
2528 {
2529 s->n_type = BFD_MACH_O_N_UNDF;
2530 if (s->symbol.flags & BSF_WEAK)
2531 s->n_desc |= BFD_MACH_O_N_WEAK_REF;
2532 /* mach-o automatically makes undefined symbols extern. */
2533 s->n_type |= BFD_MACH_O_N_EXT;
2534 s->symbol.flags |= BSF_GLOBAL;
2535 }
2536 else if (s->symbol.section == bfd_com_section_ptr)
2537 {
2538 s->n_type = BFD_MACH_O_N_UNDF | BFD_MACH_O_N_EXT;
2539 s->symbol.flags |= BSF_GLOBAL;
2540 }
2541 else
2542 s->n_type = BFD_MACH_O_N_SECT;
2543 }
2544
2545 /* Update external symbol bit in case objcopy changed it. */
2546 if (s->symbol.flags & BSF_GLOBAL)
2547 s->n_type |= BFD_MACH_O_N_EXT;
2548 else
2549 s->n_type &= ~BFD_MACH_O_N_EXT;
2550
2551 /* Put the section index in, where required. */
2552 if ((s->symbol.section != bfd_abs_section_ptr
2553 && s->symbol.section != bfd_und_section_ptr
2554 && s->symbol.section != bfd_com_section_ptr)
2555 || ((s->n_type & BFD_MACH_O_N_STAB) != 0
2556 && s->symbol.name == NULL))
2557 s->n_sect = s->symbol.section->output_section->target_index;
2558
2559 /* Number to preserve order for local and debug syms. */
2560 s->symbol.udata.i = i;
2561 }
2562
2563 /* Sort the symbols. */
2564 qsort ((void *) symbols, (size_t) bfd_get_symcount (abfd),
2565 sizeof (asymbol *), bfd_mach_o_cf_symbols);
2566
2567 for (i = 0; i < bfd_get_symcount (abfd); ++i)
2568 {
2569 bfd_mach_o_asymbol *s = (bfd_mach_o_asymbol *)symbols[i];
2570 s->symbol.udata.i = i; /* renumber. */
2571 }
2572
2573 return true;
2574 }
2575
2576 /* We build a flat table of sections, which can be re-ordered if necessary.
2577 Fill in the section number and other mach-o-specific data. */
2578
2579 static bool
2580 bfd_mach_o_mangle_sections (bfd *abfd, bfd_mach_o_data_struct *mdata)
2581 {
2582 asection *sec;
2583 unsigned target_index;
2584 unsigned nsect;
2585 size_t amt;
2586
2587 nsect = bfd_count_sections (abfd);
2588
2589 /* Don't do it if it's already set - assume the application knows what it's
2590 doing. */
2591 if (mdata->nsects == nsect
2592 && (mdata->nsects == 0 || mdata->sections != NULL))
2593 return true;
2594
2595 /* We need to check that this can be done... */
2596 if (nsect > 255)
2597 {
2598 _bfd_error_handler (_("mach-o: there are too many sections (%u)"
2599 " maximum is 255,\n"), nsect);
2600 return false;
2601 }
2602
2603 mdata->nsects = nsect;
2604 amt = mdata->nsects * sizeof (bfd_mach_o_section *);
2605 mdata->sections = bfd_alloc (abfd, amt);
2606 if (mdata->sections == NULL)
2607 return false;
2608
2609 /* Create Mach-O sections.
2610 Section type, attribute and align should have been set when the
2611 section was created - either read in or specified. */
2612 target_index = 0;
2613 for (sec = abfd->sections; sec; sec = sec->next)
2614 {
2615 unsigned bfd_align = bfd_section_alignment (sec);
2616 bfd_mach_o_section *msect = bfd_mach_o_get_mach_o_section (sec);
2617
2618 mdata->sections[target_index] = msect;
2619
2620 msect->addr = bfd_section_vma (sec);
2621 msect->size = bfd_section_size (sec);
2622
2623 /* Use the largest alignment set, in case it was bumped after the
2624 section was created. */
2625 msect->align = msect->align > bfd_align ? msect->align : bfd_align;
2626
2627 msect->offset = 0;
2628 sec->target_index = ++target_index;
2629 }
2630
2631 return true;
2632 }
2633
2634 bool
2635 bfd_mach_o_write_contents (bfd *abfd)
2636 {
2637 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2638 bfd_mach_o_load_command *cmd;
2639 bfd_mach_o_symtab_command *symtab = NULL;
2640 bfd_mach_o_dysymtab_command *dysymtab = NULL;
2641 bfd_mach_o_segment_command *linkedit = NULL;
2642
2643 /* Make the commands, if not already present. */
2644 if (!abfd->output_has_begun && !bfd_mach_o_build_commands (abfd))
2645 return false;
2646 abfd->output_has_begun = true;
2647
2648 /* Write the header. */
2649 if (!bfd_mach_o_write_header (abfd, &mdata->header))
2650 return false;
2651
2652 /* First pass: allocate the linkedit segment. */
2653 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
2654 switch (cmd->type)
2655 {
2656 case BFD_MACH_O_LC_SEGMENT_64:
2657 case BFD_MACH_O_LC_SEGMENT:
2658 if (strcmp (cmd->command.segment.segname, "__LINKEDIT") == 0)
2659 linkedit = &cmd->command.segment;
2660 break;
2661 case BFD_MACH_O_LC_SYMTAB:
2662 symtab = &cmd->command.symtab;
2663 break;
2664 case BFD_MACH_O_LC_DYSYMTAB:
2665 dysymtab = &cmd->command.dysymtab;
2666 break;
2667 case BFD_MACH_O_LC_DYLD_INFO:
2668 {
2669 bfd_mach_o_dyld_info_command *di = &cmd->command.dyld_info;
2670
2671 di->rebase_off = di->rebase_size != 0 ? mdata->filelen : 0;
2672 mdata->filelen += di->rebase_size;
2673 di->bind_off = di->bind_size != 0 ? mdata->filelen : 0;
2674 mdata->filelen += di->bind_size;
2675 di->weak_bind_off = di->weak_bind_size != 0 ? mdata->filelen : 0;
2676 mdata->filelen += di->weak_bind_size;
2677 di->lazy_bind_off = di->lazy_bind_size != 0 ? mdata->filelen : 0;
2678 mdata->filelen += di->lazy_bind_size;
2679 di->export_off = di->export_size != 0 ? mdata->filelen : 0;
2680 mdata->filelen += di->export_size;
2681 }
2682 break;
2683 case BFD_MACH_O_LC_LOAD_DYLIB:
2684 case BFD_MACH_O_LC_LOAD_DYLINKER:
2685 case BFD_MACH_O_LC_MAIN:
2686 /* Nothing to do. */
2687 break;
2688 default:
2689 _bfd_error_handler
2690 (_("unable to allocate data for load command %#x"),
2691 cmd->type);
2692 break;
2693 }
2694
2695 /* Specially handle symtab and dysymtab. */
2696
2697 /* Pre-allocate the symbol table (but not the string table). The reason
2698 is that the dysymtab is after the symbol table but before the string
2699 table (required by the native strip tool). */
2700 if (symtab != NULL)
2701 {
2702 unsigned int symlen;
2703 unsigned int wide = bfd_mach_o_wide_p (abfd);
2704
2705 symlen = wide ? BFD_MACH_O_NLIST_64_SIZE : BFD_MACH_O_NLIST_SIZE;
2706
2707 /* Align for symbols. */
2708 mdata->filelen = FILE_ALIGN (mdata->filelen, wide ? 3 : 2);
2709 symtab->symoff = mdata->filelen;
2710
2711 symtab->nsyms = bfd_get_symcount (abfd);
2712 mdata->filelen += symtab->nsyms * symlen;
2713 }
2714
2715 /* Build the dysymtab. */
2716 if (dysymtab != NULL)
2717 if (!bfd_mach_o_build_dysymtab (abfd, dysymtab))
2718 return false;
2719
2720 /* Write symtab and strtab. */
2721 if (symtab != NULL)
2722 if (!bfd_mach_o_write_symtab_content (abfd, symtab))
2723 return false;
2724
2725 /* Adjust linkedit size. */
2726 if (linkedit != NULL)
2727 {
2728 /* bfd_vma pagemask = bfd_mach_o_get_backend_data (abfd)->page_size - 1; */
2729
2730 linkedit->vmsize = mdata->filelen - linkedit->fileoff;
2731 /* linkedit->vmsize = (linkedit->vmsize + pagemask) & ~pagemask; */
2732 linkedit->filesize = mdata->filelen - linkedit->fileoff;
2733
2734 linkedit->initprot = BFD_MACH_O_PROT_READ;
2735 linkedit->maxprot = BFD_MACH_O_PROT_READ | BFD_MACH_O_PROT_WRITE
2736 | BFD_MACH_O_PROT_EXECUTE;
2737 }
2738
2739 /* Second pass: write commands. */
2740 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
2741 {
2742 struct mach_o_load_command_external raw;
2743 unsigned long typeflag;
2744
2745 typeflag = cmd->type | (cmd->type_required ? BFD_MACH_O_LC_REQ_DYLD : 0);
2746
2747 bfd_h_put_32 (abfd, typeflag, raw.cmd);
2748 bfd_h_put_32 (abfd, cmd->len, raw.cmdsize);
2749
2750 if (bfd_seek (abfd, cmd->offset, SEEK_SET) != 0
2751 || bfd_bwrite (&raw, BFD_MACH_O_LC_SIZE, abfd) != 8)
2752 return false;
2753
2754 switch (cmd->type)
2755 {
2756 case BFD_MACH_O_LC_SEGMENT:
2757 if (!bfd_mach_o_write_segment_32 (abfd, cmd))
2758 return false;
2759 break;
2760 case BFD_MACH_O_LC_SEGMENT_64:
2761 if (!bfd_mach_o_write_segment_64 (abfd, cmd))
2762 return false;
2763 break;
2764 case BFD_MACH_O_LC_SYMTAB:
2765 if (!bfd_mach_o_write_symtab (abfd, cmd))
2766 return false;
2767 break;
2768 case BFD_MACH_O_LC_DYSYMTAB:
2769 if (!bfd_mach_o_write_dysymtab (abfd, cmd))
2770 return false;
2771 break;
2772 case BFD_MACH_O_LC_THREAD:
2773 case BFD_MACH_O_LC_UNIXTHREAD:
2774 if (!bfd_mach_o_write_thread (abfd, cmd))
2775 return false;
2776 break;
2777 case BFD_MACH_O_LC_LOAD_DYLIB:
2778 if (!bfd_mach_o_write_dylib (abfd, cmd))
2779 return false;
2780 break;
2781 case BFD_MACH_O_LC_LOAD_DYLINKER:
2782 if (!bfd_mach_o_write_dylinker (abfd, cmd))
2783 return false;
2784 break;
2785 case BFD_MACH_O_LC_MAIN:
2786 if (!bfd_mach_o_write_main (abfd, cmd))
2787 return false;
2788 break;
2789 case BFD_MACH_O_LC_DYLD_INFO:
2790 if (!bfd_mach_o_write_dyld_info (abfd, cmd))
2791 return false;
2792 break;
2793 default:
2794 _bfd_error_handler
2795 (_("unable to write unknown load command %#x"),
2796 cmd->type);
2797 return false;
2798 }
2799 }
2800
2801 return true;
2802 }
2803
2804 static void
2805 bfd_mach_o_append_section_to_segment (bfd_mach_o_segment_command *seg,
2806 bfd_mach_o_section *s)
2807 {
2808 if (seg->sect_head == NULL)
2809 seg->sect_head = s;
2810 else
2811 seg->sect_tail->next = s;
2812 seg->sect_tail = s;
2813 }
2814
2815 /* Create section Mach-O flags from BFD flags. */
2816
2817 static void
2818 bfd_mach_o_set_section_flags_from_bfd (bfd *abfd ATTRIBUTE_UNUSED,
2819 asection *sec)
2820 {
2821 flagword bfd_flags;
2822 bfd_mach_o_section *s = bfd_mach_o_get_mach_o_section (sec);
2823
2824 /* Create default flags. */
2825 bfd_flags = bfd_section_flags (sec);
2826 if ((bfd_flags & SEC_CODE) == SEC_CODE)
2827 s->flags = BFD_MACH_O_S_ATTR_PURE_INSTRUCTIONS
2828 | BFD_MACH_O_S_ATTR_SOME_INSTRUCTIONS
2829 | BFD_MACH_O_S_REGULAR;
2830 else if ((bfd_flags & (SEC_ALLOC | SEC_LOAD)) == SEC_ALLOC)
2831 s->flags = BFD_MACH_O_S_ZEROFILL;
2832 else if (bfd_flags & SEC_DEBUGGING)
2833 s->flags = BFD_MACH_O_S_REGULAR | BFD_MACH_O_S_ATTR_DEBUG;
2834 else
2835 s->flags = BFD_MACH_O_S_REGULAR;
2836 }
2837
2838 static bool
2839 bfd_mach_o_build_obj_seg_command (bfd *abfd, bfd_mach_o_segment_command *seg)
2840 {
2841 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2842 unsigned int i, j;
2843
2844 seg->vmaddr = 0;
2845 seg->fileoff = mdata->filelen;
2846 seg->initprot = BFD_MACH_O_PROT_READ | BFD_MACH_O_PROT_WRITE
2847 | BFD_MACH_O_PROT_EXECUTE;
2848 seg->maxprot = seg->initprot;
2849
2850 /* Append sections to the segment.
2851
2852 This is a little tedious, we have to honor the need to account zerofill
2853 sections after all the rest. This forces us to do the calculation of
2854 total vmsize in three passes so that any alignment increments are
2855 properly accounted. */
2856 for (i = 0; i < mdata->nsects; ++i)
2857 {
2858 bfd_mach_o_section *s = mdata->sections[i];
2859 asection *sec = s->bfdsection;
2860
2861 /* Although we account for zerofill section sizes in vm order, they are
2862 placed in the file in source sequence. */
2863 bfd_mach_o_append_section_to_segment (seg, s);
2864 s->offset = 0;
2865
2866 /* Zerofill sections have zero file size & offset, the only content
2867 written to the file is the symbols. */
2868 if ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK) == BFD_MACH_O_S_ZEROFILL
2869 || ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK)
2870 == BFD_MACH_O_S_GB_ZEROFILL))
2871 continue;
2872
2873 /* The Darwin system tools (in MH_OBJECT files, at least) always account
2874 sections, even those with zero size. */
2875 if (s->size > 0)
2876 {
2877 seg->vmsize = FILE_ALIGN (seg->vmsize, s->align);
2878 seg->vmsize += s->size;
2879
2880 /* MH_OBJECT files have unaligned content. */
2881 if (1)
2882 {
2883 seg->filesize = FILE_ALIGN (seg->filesize, s->align);
2884 mdata->filelen = FILE_ALIGN (mdata->filelen, s->align);
2885 }
2886 seg->filesize += s->size;
2887
2888 /* The system tools write even zero-sized sections with an offset
2889 field set to the current file position. */
2890 s->offset = mdata->filelen;
2891 }
2892
2893 sec->filepos = s->offset;
2894 mdata->filelen += s->size;
2895 }
2896
2897 /* Now pass through again, for zerofill, only now we just update the
2898 vmsize, and then for zerofill_GB. */
2899 for (j = 0; j < 2; j++)
2900 {
2901 unsigned int stype;
2902
2903 if (j == 0)
2904 stype = BFD_MACH_O_S_ZEROFILL;
2905 else
2906 stype = BFD_MACH_O_S_GB_ZEROFILL;
2907
2908 for (i = 0; i < mdata->nsects; ++i)
2909 {
2910 bfd_mach_o_section *s = mdata->sections[i];
2911
2912 if ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK) != stype)
2913 continue;
2914
2915 if (s->size > 0)
2916 {
2917 seg->vmsize = FILE_ALIGN (seg->vmsize, s->align);
2918 seg->vmsize += s->size;
2919 }
2920 }
2921 }
2922
2923 /* Allocate space for the relocations. */
2924 mdata->filelen = FILE_ALIGN (mdata->filelen, 2);
2925
2926 for (i = 0; i < mdata->nsects; ++i)
2927 {
2928 bfd_mach_o_section *ms = mdata->sections[i];
2929 asection *sec = ms->bfdsection;
2930
2931 ms->nreloc = sec->reloc_count;
2932 if (ms->nreloc == 0)
2933 {
2934 /* Clear nreloc and reloff if there is no relocs. */
2935 ms->reloff = 0;
2936 continue;
2937 }
2938 sec->rel_filepos = mdata->filelen;
2939 ms->reloff = sec->rel_filepos;
2940 mdata->filelen += sec->reloc_count * BFD_MACH_O_RELENT_SIZE;
2941 }
2942
2943 return true;
2944 }
2945
2946 static bool
2947 bfd_mach_o_build_exec_seg_command (bfd *abfd, bfd_mach_o_segment_command *seg)
2948 {
2949 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
2950 unsigned int i;
2951 bfd_vma pagemask = bfd_mach_o_get_backend_data (abfd)->page_size - 1;
2952 bfd_vma vma;
2953 bfd_mach_o_section *s;
2954
2955 seg->vmsize = 0;
2956
2957 seg->fileoff = mdata->filelen;
2958 seg->maxprot = 0;
2959 seg->initprot = 0;
2960 seg->flags = 0;
2961
2962 /* Append sections to the segment. We assume they are properly ordered
2963 by vma (but we check that). */
2964 vma = 0;
2965 for (i = 0; i < mdata->nsects; ++i)
2966 {
2967 s = mdata->sections[i];
2968
2969 /* Consider only sections for this segment. */
2970 if (strcmp (seg->segname, s->segname) != 0)
2971 continue;
2972
2973 bfd_mach_o_append_section_to_segment (seg, s);
2974
2975 if (s->addr < vma)
2976 {
2977 _bfd_error_handler
2978 /* xgettext:c-format */
2979 (_("section address (%#" PRIx64 ") "
2980 "below start of segment (%#" PRIx64 ")"),
2981 (uint64_t) s->addr, (uint64_t) vma);
2982 return false;
2983 }
2984
2985 vma = s->addr + s->size;
2986 }
2987
2988 /* Set segment file offset: make it page aligned. */
2989 vma = seg->sect_head->addr;
2990 seg->vmaddr = vma & ~pagemask;
2991 if ((mdata->filelen & pagemask) > (vma & pagemask))
2992 mdata->filelen += pagemask + 1;
2993 seg->fileoff = mdata->filelen & ~pagemask;
2994 mdata->filelen = seg->fileoff + (vma & pagemask);
2995
2996 /* Set section file offset. */
2997 for (s = seg->sect_head; s != NULL; s = s->next)
2998 {
2999 asection *sec = s->bfdsection;
3000 flagword flags = bfd_section_flags (sec);
3001
3002 /* Adjust segment size. */
3003 seg->vmsize = FILE_ALIGN (seg->vmsize, s->align);
3004 seg->vmsize += s->size;
3005
3006 /* File offset and length. */
3007 seg->filesize = FILE_ALIGN (seg->filesize, s->align);
3008
3009 if ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK) != BFD_MACH_O_S_ZEROFILL
3010 && ((s->flags & BFD_MACH_O_SECTION_TYPE_MASK)
3011 != BFD_MACH_O_S_GB_ZEROFILL))
3012 {
3013 mdata->filelen = FILE_ALIGN (mdata->filelen, s->align);
3014
3015 s->offset = mdata->filelen;
3016 s->bfdsection->filepos = s->offset;
3017
3018 seg->filesize += s->size;
3019 mdata->filelen += s->size;
3020 }
3021 else
3022 {
3023 s->offset = 0;
3024 s->bfdsection->filepos = 0;
3025 }
3026
3027 /* Set protection. */
3028 if (flags & SEC_LOAD)
3029 {
3030 if (flags & SEC_CODE)
3031 seg->initprot |= BFD_MACH_O_PROT_READ | BFD_MACH_O_PROT_EXECUTE;
3032 if ((flags & (SEC_DATA | SEC_READONLY)) == SEC_DATA)
3033 seg->initprot |= BFD_MACH_O_PROT_WRITE | BFD_MACH_O_PROT_READ;
3034 }
3035
3036 /* Relocs shouldn't appear in non-object files. */
3037 if (s->bfdsection->reloc_count != 0)
3038 return false;
3039 }
3040
3041 /* Set maxprot. */
3042 if (seg->initprot != 0)
3043 seg->maxprot = BFD_MACH_O_PROT_READ | BFD_MACH_O_PROT_WRITE
3044 | BFD_MACH_O_PROT_EXECUTE;
3045 else
3046 seg->maxprot = 0;
3047
3048 /* Round segment size (and file size). */
3049 seg->vmsize = (seg->vmsize + pagemask) & ~pagemask;
3050 seg->filesize = (seg->filesize + pagemask) & ~pagemask;
3051 mdata->filelen = (mdata->filelen + pagemask) & ~pagemask;
3052
3053 return true;
3054 }
3055
3056 /* Layout the commands: set commands size and offset, set ncmds and sizeofcmds
3057 fields in header. */
3058
3059 static bool
3060 bfd_mach_o_layout_commands (bfd_mach_o_data_struct *mdata)
3061 {
3062 unsigned wide = mach_o_wide_p (&mdata->header);
3063 unsigned int hdrlen;
3064 ufile_ptr offset;
3065 bfd_mach_o_load_command *cmd;
3066 unsigned int align;
3067 bool ret = true;
3068
3069 hdrlen = wide ? BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
3070 align = wide ? 8 - 1 : 4 - 1;
3071 offset = hdrlen;
3072 mdata->header.ncmds = 0;
3073
3074 for (cmd = mdata->first_command; cmd; cmd = cmd->next)
3075 {
3076 mdata->header.ncmds++;
3077 cmd->offset = offset;
3078
3079 switch (cmd->type)
3080 {
3081 case BFD_MACH_O_LC_SEGMENT_64:
3082 cmd->len = BFD_MACH_O_LC_SEGMENT_64_SIZE
3083 + BFD_MACH_O_SECTION_64_SIZE * cmd->command.segment.nsects;
3084 break;
3085 case BFD_MACH_O_LC_SEGMENT:
3086 cmd->len = BFD_MACH_O_LC_SEGMENT_SIZE
3087 + BFD_MACH_O_SECTION_SIZE * cmd->command.segment.nsects;
3088 break;
3089 case BFD_MACH_O_LC_SYMTAB:
3090 cmd->len = sizeof (struct mach_o_symtab_command_external)
3091 + BFD_MACH_O_LC_SIZE;
3092 break;
3093 case BFD_MACH_O_LC_DYSYMTAB:
3094 cmd->len = sizeof (struct mach_o_dysymtab_command_external)
3095 + BFD_MACH_O_LC_SIZE;
3096 break;
3097 case BFD_MACH_O_LC_LOAD_DYLIB:
3098 cmd->len = sizeof (struct mach_o_dylib_command_external)
3099 + BFD_MACH_O_LC_SIZE;
3100 cmd->command.dylib.name_offset = cmd->len;
3101 cmd->len += strlen (cmd->command.dylib.name_str);
3102 cmd->len = (cmd->len + align) & ~align;
3103 break;
3104 case BFD_MACH_O_LC_LOAD_DYLINKER:
3105 cmd->len = sizeof (struct mach_o_str_command_external)
3106 + BFD_MACH_O_LC_SIZE;
3107 cmd->command.dylinker.name_offset = cmd->len;
3108 cmd->len += strlen (cmd->command.dylinker.name_str);
3109 cmd->len = (cmd->len + align) & ~align;
3110 break;
3111 case BFD_MACH_O_LC_MAIN:
3112 cmd->len = sizeof (struct mach_o_entry_point_command_external)
3113 + BFD_MACH_O_LC_SIZE;
3114 break;
3115 case BFD_MACH_O_LC_DYLD_INFO:
3116 cmd->len = sizeof (struct mach_o_dyld_info_command_external)
3117 + BFD_MACH_O_LC_SIZE;
3118 break;
3119 default:
3120 _bfd_error_handler
3121 (_("unable to layout unknown load command %#x"),
3122 cmd->type);
3123 ret = false;
3124 break;
3125 }
3126
3127 BFD_ASSERT (cmd->len % (align + 1) == 0);
3128 offset += cmd->len;
3129 }
3130 mdata->header.sizeofcmds = offset - hdrlen;
3131 mdata->filelen = offset;
3132
3133 return ret;
3134 }
3135
3136 /* Subroutine of bfd_mach_o_build_commands: set type, name and nsects of a
3137 segment. */
3138
3139 static void
3140 bfd_mach_o_init_segment (bfd_mach_o_data_struct *mdata,
3141 bfd_mach_o_load_command *cmd,
3142 const char *segname, unsigned int nbr_sect)
3143 {
3144 bfd_mach_o_segment_command *seg = &cmd->command.segment;
3145 unsigned wide = mach_o_wide_p (&mdata->header);
3146
3147 /* Init segment command. */
3148 cmd->type = wide ? BFD_MACH_O_LC_SEGMENT_64 : BFD_MACH_O_LC_SEGMENT;
3149 cmd->type_required = false;
3150
3151 strcpy (seg->segname, segname);
3152 seg->nsects = nbr_sect;
3153
3154 seg->vmaddr = 0;
3155 seg->vmsize = 0;
3156
3157 seg->fileoff = 0;
3158 seg->filesize = 0;
3159 seg->maxprot = 0;
3160 seg->initprot = 0;
3161 seg->flags = 0;
3162 seg->sect_head = NULL;
3163 seg->sect_tail = NULL;
3164 }
3165
3166 /* Build Mach-O load commands (currently assuming an MH_OBJECT file).
3167 TODO: Other file formats, rebuilding symtab/dysymtab commands for strip
3168 and copy functionality. */
3169
3170 bool
3171 bfd_mach_o_build_commands (bfd *abfd)
3172 {
3173 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
3174 unsigned wide = mach_o_wide_p (&mdata->header);
3175 unsigned int nbr_segcmd = 0;
3176 bfd_mach_o_load_command *commands;
3177 unsigned int nbr_commands;
3178 int symtab_idx = -1;
3179 int dysymtab_idx = -1;
3180 int main_idx = -1;
3181 unsigned int i;
3182
3183 /* Return now if already built. */
3184 if (mdata->header.ncmds != 0)
3185 return true;
3186
3187 /* Fill in the file type, if not already set. */
3188 if (mdata->header.filetype == 0)
3189 {
3190 if (abfd->flags & EXEC_P)
3191 mdata->header.filetype = BFD_MACH_O_MH_EXECUTE;
3192 else if (abfd->flags & DYNAMIC)
3193 mdata->header.filetype = BFD_MACH_O_MH_DYLIB;
3194 else
3195 mdata->header.filetype = BFD_MACH_O_MH_OBJECT;
3196 }
3197
3198 /* If hasn't already been done, flatten sections list, and sort
3199 if/when required. Must be done before the symbol table is adjusted,
3200 since that depends on properly numbered sections. */
3201 if (mdata->nsects == 0 || mdata->sections == NULL)
3202 if (! bfd_mach_o_mangle_sections (abfd, mdata))
3203 return false;
3204
3205 /* Order the symbol table, fill-in/check mach-o specific fields and
3206 partition out any indirect symbols. */
3207 if (!bfd_mach_o_mangle_symbols (abfd))
3208 return false;
3209
3210 /* Segment commands. */
3211 if (mdata->header.filetype == BFD_MACH_O_MH_OBJECT)
3212 {
3213 /* Only one segment for all the sections. But the segment is
3214 optional if there is no sections. */
3215 nbr_segcmd = (mdata->nsects > 0) ? 1 : 0;
3216 }
3217 else
3218 {
3219 bfd_mach_o_section *prev_sect = NULL;
3220
3221 /* One pagezero segment and one linkedit segment. */
3222 nbr_segcmd = 2;
3223
3224 /* Create one segment for associated segment name in sections.
3225 Assume that sections with the same segment name are consecutive. */
3226 for (i = 0; i < mdata->nsects; i++)
3227 {
3228 bfd_mach_o_section *this_sect = mdata->sections[i];
3229
3230 if (prev_sect == NULL
3231 || strcmp (prev_sect->segname, this_sect->segname) != 0)
3232 {
3233 nbr_segcmd++;
3234 prev_sect = this_sect;
3235 }
3236 }
3237 }
3238
3239 nbr_commands = nbr_segcmd;
3240
3241 /* One command for the symbol table (only if there are symbols. */
3242 if (bfd_get_symcount (abfd) > 0)
3243 symtab_idx = nbr_commands++;
3244
3245 /* FIXME:
3246 This is a rather crude test for whether we should build a dysymtab. */
3247 if (bfd_mach_o_should_emit_dysymtab ()
3248 && bfd_get_symcount (abfd))
3249 {
3250 /* If there should be a case where a dysymtab could be emitted without
3251 a symtab (seems improbable), this would need amending. */
3252 dysymtab_idx = nbr_commands++;
3253 }
3254
3255 /* Add an entry point command. */
3256 if (mdata->header.filetype == BFD_MACH_O_MH_EXECUTE
3257 && bfd_get_start_address (abfd) != 0)
3258 main_idx = nbr_commands++;
3259
3260 /* Well, we must have a header, at least. */
3261 mdata->filelen = wide ? BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
3262
3263 /* A bit unusual, but no content is valid;
3264 as -n empty.s -o empty.o */
3265 if (nbr_commands == 0)
3266 {
3267 /* Layout commands (well none...) and set headers command fields. */
3268 return bfd_mach_o_layout_commands (mdata);
3269 }
3270
3271 /* Create commands for segments (and symtabs), prepend them. */
3272 commands = bfd_zalloc (abfd, nbr_commands * sizeof (bfd_mach_o_load_command));
3273 if (commands == NULL)
3274 return false;
3275 for (i = 0; i < nbr_commands - 1; i++)
3276 commands[i].next = &commands[i + 1];
3277 commands[nbr_commands - 1].next = mdata->first_command;
3278 if (mdata->first_command == NULL)
3279 mdata->last_command = &commands[nbr_commands - 1];
3280 mdata->first_command = &commands[0];
3281
3282 if (mdata->header.filetype == BFD_MACH_O_MH_OBJECT && nbr_segcmd != 0)
3283 {
3284 /* For object file, there is only one segment. */
3285 bfd_mach_o_init_segment (mdata, &commands[0], "", mdata->nsects);
3286 }
3287 else if (nbr_segcmd != 0)
3288 {
3289 bfd_mach_o_load_command *cmd;
3290
3291 BFD_ASSERT (nbr_segcmd >= 2);
3292
3293 /* The pagezero. */
3294 cmd = &commands[0];
3295 bfd_mach_o_init_segment (mdata, cmd, "__PAGEZERO", 0);
3296
3297 /* Segments from sections. */
3298 cmd++;
3299 for (i = 0; i < mdata->nsects;)
3300 {
3301 const char *segname = mdata->sections[i]->segname;
3302 unsigned int nbr_sect = 1;
3303
3304 /* Count number of sections for this segment. */
3305 for (i++; i < mdata->nsects; i++)
3306 if (strcmp (mdata->sections[i]->segname, segname) == 0)
3307 nbr_sect++;
3308 else
3309 break;
3310
3311 bfd_mach_o_init_segment (mdata, cmd, segname, nbr_sect);
3312 cmd++;
3313 }
3314
3315 /* The linkedit. */
3316 bfd_mach_o_init_segment (mdata, cmd, "__LINKEDIT", 0);
3317 }
3318
3319 if (symtab_idx >= 0)
3320 {
3321 /* Init symtab command. */
3322 bfd_mach_o_load_command *cmd = &commands[symtab_idx];
3323
3324 cmd->type = BFD_MACH_O_LC_SYMTAB;
3325 cmd->type_required = false;
3326 }
3327
3328 /* If required, setup symtab command, see comment above about the quality
3329 of this test. */
3330 if (dysymtab_idx >= 0)
3331 {
3332 bfd_mach_o_load_command *cmd = &commands[dysymtab_idx];
3333
3334 cmd->type = BFD_MACH_O_LC_DYSYMTAB;
3335 cmd->type_required = false;
3336 }
3337
3338 /* Create the main command. */
3339 if (main_idx >= 0)
3340 {
3341 bfd_mach_o_load_command *cmd = &commands[main_idx];
3342
3343 cmd->type = BFD_MACH_O_LC_MAIN;
3344 cmd->type_required = true;
3345
3346 cmd->command.main.entryoff = 0;
3347 cmd->command.main.stacksize = 0;
3348 }
3349
3350 /* Layout commands. */
3351 if (! bfd_mach_o_layout_commands (mdata))
3352 return false;
3353
3354 /* So, now we have sized the commands and the filelen set to that.
3355 Now we can build the segment command and set the section file offsets. */
3356 if (mdata->header.filetype == BFD_MACH_O_MH_OBJECT)
3357 {
3358 for (i = 0; i < nbr_segcmd; i++)
3359 if (!bfd_mach_o_build_obj_seg_command
3360 (abfd, &commands[i].command.segment))
3361 return false;
3362 }
3363 else
3364 {
3365 bfd_vma maxvma = 0;
3366
3367 /* Skip pagezero and linkedit segments. */
3368 for (i = 1; i < nbr_segcmd - 1; i++)
3369 {
3370 bfd_mach_o_segment_command *seg = &commands[i].command.segment;
3371
3372 if (!bfd_mach_o_build_exec_seg_command (abfd, seg))
3373 return false;
3374
3375 if (seg->vmaddr + seg->vmsize > maxvma)
3376 maxvma = seg->vmaddr + seg->vmsize;
3377 }
3378
3379 /* Set the size of __PAGEZERO. */
3380 commands[0].command.segment.vmsize =
3381 commands[1].command.segment.vmaddr;
3382
3383 /* Set the vma and fileoff of __LINKEDIT. */
3384 commands[nbr_segcmd - 1].command.segment.vmaddr = maxvma;
3385 commands[nbr_segcmd - 1].command.segment.fileoff = mdata->filelen;
3386
3387 /* Set entry point (once segments have been laid out). */
3388 if (main_idx >= 0)
3389 commands[main_idx].command.main.entryoff =
3390 bfd_get_start_address (abfd) - commands[1].command.segment.vmaddr;
3391 }
3392
3393 return true;
3394 }
3395
3396 /* Set the contents of a section. */
3397
3398 bool
3399 bfd_mach_o_set_section_contents (bfd *abfd,
3400 asection *section,
3401 const void * location,
3402 file_ptr offset,
3403 bfd_size_type count)
3404 {
3405 file_ptr pos;
3406
3407 /* Trying to write the first section contents will trigger the creation of
3408 the load commands if they are not already present. */
3409 if (!abfd->output_has_begun && !bfd_mach_o_build_commands (abfd))
3410 return false;
3411
3412 if (count == 0)
3413 return true;
3414
3415 pos = section->filepos + offset;
3416 if (bfd_seek (abfd, pos, SEEK_SET) != 0
3417 || bfd_bwrite (location, count, abfd) != count)
3418 return false;
3419
3420 return true;
3421 }
3422
3423 int
3424 bfd_mach_o_sizeof_headers (bfd *a ATTRIBUTE_UNUSED,
3425 struct bfd_link_info *info ATTRIBUTE_UNUSED)
3426 {
3427 return 0;
3428 }
3429
3430 /* Make an empty symbol. This is required only because
3431 bfd_make_section_anyway wants to create a symbol for the section. */
3432
3433 asymbol *
3434 bfd_mach_o_make_empty_symbol (bfd *abfd)
3435 {
3436 asymbol *new_symbol;
3437
3438 new_symbol = bfd_zalloc (abfd, sizeof (bfd_mach_o_asymbol));
3439 if (new_symbol == NULL)
3440 return new_symbol;
3441 new_symbol->the_bfd = abfd;
3442 new_symbol->udata.i = SYM_MACHO_FIELDS_UNSET;
3443 return new_symbol;
3444 }
3445
3446 static bool
3447 bfd_mach_o_read_header (bfd *abfd, file_ptr hdr_off, bfd_mach_o_header *header)
3448 {
3449 struct mach_o_header_external raw;
3450 unsigned int size;
3451 bfd_vma (*get32) (const void *) = NULL;
3452
3453 /* Just read the magic number. */
3454 if (bfd_seek (abfd, hdr_off, SEEK_SET) != 0
3455 || bfd_bread (raw.magic, sizeof (raw.magic), abfd) != 4)
3456 return false;
3457
3458 if (bfd_getb32 (raw.magic) == BFD_MACH_O_MH_MAGIC)
3459 {
3460 header->byteorder = BFD_ENDIAN_BIG;
3461 header->magic = BFD_MACH_O_MH_MAGIC;
3462 header->version = 1;
3463 get32 = bfd_getb32;
3464 }
3465 else if (bfd_getl32 (raw.magic) == BFD_MACH_O_MH_MAGIC)
3466 {
3467 header->byteorder = BFD_ENDIAN_LITTLE;
3468 header->magic = BFD_MACH_O_MH_MAGIC;
3469 header->version = 1;
3470 get32 = bfd_getl32;
3471 }
3472 else if (bfd_getb32 (raw.magic) == BFD_MACH_O_MH_MAGIC_64)
3473 {
3474 header->byteorder = BFD_ENDIAN_BIG;
3475 header->magic = BFD_MACH_O_MH_MAGIC_64;
3476 header->version = 2;
3477 get32 = bfd_getb32;
3478 }
3479 else if (bfd_getl32 (raw.magic) == BFD_MACH_O_MH_MAGIC_64)
3480 {
3481 header->byteorder = BFD_ENDIAN_LITTLE;
3482 header->magic = BFD_MACH_O_MH_MAGIC_64;
3483 header->version = 2;
3484 get32 = bfd_getl32;
3485 }
3486 else
3487 {
3488 header->byteorder = BFD_ENDIAN_UNKNOWN;
3489 return false;
3490 }
3491
3492 /* Once the size of the header is known, read the full header. */
3493 size = mach_o_wide_p (header) ?
3494 BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
3495
3496 if (bfd_seek (abfd, hdr_off, SEEK_SET) != 0
3497 || bfd_bread (&raw, size, abfd) != size)
3498 return false;
3499
3500 header->cputype = (*get32) (raw.cputype);
3501 header->cpusubtype = (*get32) (raw.cpusubtype);
3502 header->filetype = (*get32) (raw.filetype);
3503 header->ncmds = (*get32) (raw.ncmds);
3504 header->sizeofcmds = (*get32) (raw.sizeofcmds);
3505 header->flags = (*get32) (raw.flags);
3506
3507 if (mach_o_wide_p (header))
3508 header->reserved = (*get32) (raw.reserved);
3509 else
3510 header->reserved = 0;
3511
3512 return true;
3513 }
3514
3515 bool
3516 bfd_mach_o_new_section_hook (bfd *abfd, asection *sec)
3517 {
3518 bfd_mach_o_section *s;
3519 unsigned bfdalign = bfd_section_alignment (sec);
3520
3521 s = bfd_mach_o_get_mach_o_section (sec);
3522 if (s == NULL)
3523 {
3524 flagword bfd_flags;
3525 static const mach_o_section_name_xlat * xlat;
3526
3527 s = (bfd_mach_o_section *) bfd_zalloc (abfd, sizeof (*s));
3528 if (s == NULL)
3529 return false;
3530 sec->used_by_bfd = s;
3531 s->bfdsection = sec;
3532
3533 /* Create the Darwin seg/sect name pair from the bfd name.
3534 If this is a canonical name for which a specific paiting exists
3535 there will also be defined flags, type, attribute and alignment
3536 values. */
3537 xlat = bfd_mach_o_convert_section_name_to_mach_o (abfd, sec, s);
3538 if (xlat != NULL)
3539 {
3540 s->flags = xlat->macho_sectype | xlat->macho_secattr;
3541 s->align = xlat->sectalign > bfdalign ? xlat->sectalign
3542 : bfdalign;
3543 bfd_set_section_alignment (sec, s->align);
3544 bfd_flags = bfd_section_flags (sec);
3545 if (bfd_flags == SEC_NO_FLAGS)
3546 bfd_set_section_flags (sec, xlat->bfd_flags);
3547 }
3548 else
3549 /* Create default flags. */
3550 bfd_mach_o_set_section_flags_from_bfd (abfd, sec);
3551 }
3552
3553 return _bfd_generic_new_section_hook (abfd, sec);
3554 }
3555
3556 static void
3557 bfd_mach_o_init_section_from_mach_o (asection *sec, unsigned long prot)
3558 {
3559 flagword flags;
3560 bfd_mach_o_section *section;
3561
3562 flags = bfd_section_flags (sec);
3563 section = bfd_mach_o_get_mach_o_section (sec);
3564
3565 /* TODO: see if we should use the xlat system for doing this by
3566 preference and fall back to this for unknown sections. */
3567
3568 if (flags == SEC_NO_FLAGS)
3569 {
3570 /* Try to guess flags. */
3571 if (section->flags & BFD_MACH_O_S_ATTR_DEBUG)
3572 flags = SEC_DEBUGGING;
3573 else
3574 {
3575 flags = SEC_ALLOC;
3576 if ((section->flags & BFD_MACH_O_SECTION_TYPE_MASK)
3577 != BFD_MACH_O_S_ZEROFILL)
3578 {
3579 flags |= SEC_LOAD;
3580 if (prot & BFD_MACH_O_PROT_EXECUTE)
3581 flags |= SEC_CODE;
3582 if (prot & BFD_MACH_O_PROT_WRITE)
3583 flags |= SEC_DATA;
3584 else if (prot & BFD_MACH_O_PROT_READ)
3585 flags |= SEC_READONLY;
3586 }
3587 }
3588 }
3589 else
3590 {
3591 if ((flags & SEC_DEBUGGING) == 0)
3592 flags |= SEC_ALLOC;
3593 }
3594
3595 if (section->offset != 0)
3596 flags |= SEC_HAS_CONTENTS;
3597 if (section->nreloc != 0)
3598 flags |= SEC_RELOC;
3599
3600 bfd_set_section_flags (sec, flags);
3601
3602 sec->vma = section->addr;
3603 sec->lma = section->addr;
3604 sec->size = section->size;
3605 sec->filepos = section->offset;
3606 sec->alignment_power = section->align;
3607 sec->segment_mark = 0;
3608 sec->reloc_count = section->nreloc;
3609 sec->rel_filepos = section->reloff;
3610 }
3611
3612 static asection *
3613 bfd_mach_o_make_bfd_section (bfd *abfd,
3614 const unsigned char *segname,
3615 const unsigned char *sectname)
3616 {
3617 const char *sname;
3618 flagword flags;
3619
3620 bfd_mach_o_convert_section_name_to_bfd
3621 (abfd, (const char *)segname, (const char *)sectname, &sname, &flags);
3622 if (sname == NULL)
3623 return NULL;
3624
3625 return bfd_make_section_anyway_with_flags (abfd, sname, flags);
3626 }
3627
3628 static asection *
3629 bfd_mach_o_read_section_32 (bfd *abfd, unsigned long prot)
3630 {
3631 struct mach_o_section_32_external raw;
3632 asection *sec;
3633 bfd_mach_o_section *section;
3634
3635 if (bfd_bread (&raw, BFD_MACH_O_SECTION_SIZE, abfd)
3636 != BFD_MACH_O_SECTION_SIZE)
3637 return NULL;
3638
3639 sec = bfd_mach_o_make_bfd_section (abfd, raw.segname, raw.sectname);
3640 if (sec == NULL)
3641 return NULL;
3642
3643 section = bfd_mach_o_get_mach_o_section (sec);
3644 memcpy (section->segname, raw.segname, sizeof (raw.segname));
3645 section->segname[BFD_MACH_O_SEGNAME_SIZE] = 0;
3646 memcpy (section->sectname, raw.sectname, sizeof (raw.sectname));
3647 section->sectname[BFD_MACH_O_SECTNAME_SIZE] = 0;
3648 section->addr = bfd_h_get_32 (abfd, raw.addr);
3649 section->size = bfd_h_get_32 (abfd, raw.size);
3650 section->offset = bfd_h_get_32 (abfd, raw.offset);
3651 section->align = bfd_h_get_32 (abfd, raw.align);
3652 /* PR 17512: file: 0017eb76. */
3653 if (section->align >= 31)
3654 {
3655 _bfd_error_handler
3656 (_("bfd_mach_o_read_section_32: overlarge alignment value: %#lx"),
3657 section->align);
3658 section->align = 30;
3659 }
3660 section->reloff = bfd_h_get_32 (abfd, raw.reloff);
3661 section->nreloc = bfd_h_get_32 (abfd, raw.nreloc);
3662 section->flags = bfd_h_get_32 (abfd, raw.flags);
3663 section->reserved1 = bfd_h_get_32 (abfd, raw.reserved1);
3664 section->reserved2 = bfd_h_get_32 (abfd, raw.reserved2);
3665 section->reserved3 = 0;
3666
3667 bfd_mach_o_init_section_from_mach_o (sec, prot);
3668
3669 return sec;
3670 }
3671
3672 static asection *
3673 bfd_mach_o_read_section_64 (bfd *abfd, unsigned long prot)
3674 {
3675 struct mach_o_section_64_external raw;
3676 asection *sec;
3677 bfd_mach_o_section *section;
3678
3679 if (bfd_bread (&raw, BFD_MACH_O_SECTION_64_SIZE, abfd)
3680 != BFD_MACH_O_SECTION_64_SIZE)
3681 return NULL;
3682
3683 sec = bfd_mach_o_make_bfd_section (abfd, raw.segname, raw.sectname);
3684 if (sec == NULL)
3685 return NULL;
3686
3687 section = bfd_mach_o_get_mach_o_section (sec);
3688 memcpy (section->segname, raw.segname, sizeof (raw.segname));
3689 section->segname[BFD_MACH_O_SEGNAME_SIZE] = 0;
3690 memcpy (section->sectname, raw.sectname, sizeof (raw.sectname));
3691 section->sectname[BFD_MACH_O_SECTNAME_SIZE] = 0;
3692 section->addr = bfd_h_get_64 (abfd, raw.addr);
3693 section->size = bfd_h_get_64 (abfd, raw.size);
3694 section->offset = bfd_h_get_32 (abfd, raw.offset);
3695 section->align = bfd_h_get_32 (abfd, raw.align);
3696 if (section->align >= 63)
3697 {
3698 _bfd_error_handler
3699 (_("bfd_mach_o_read_section_64: overlarge alignment value: %#lx"),
3700 section->align);
3701 section->align = 62;
3702 }
3703 section->reloff = bfd_h_get_32 (abfd, raw.reloff);
3704 section->nreloc = bfd_h_get_32 (abfd, raw.nreloc);
3705 section->flags = bfd_h_get_32 (abfd, raw.flags);
3706 section->reserved1 = bfd_h_get_32 (abfd, raw.reserved1);
3707 section->reserved2 = bfd_h_get_32 (abfd, raw.reserved2);
3708 section->reserved3 = bfd_h_get_32 (abfd, raw.reserved3);
3709
3710 bfd_mach_o_init_section_from_mach_o (sec, prot);
3711
3712 return sec;
3713 }
3714
3715 static asection *
3716 bfd_mach_o_read_section (bfd *abfd, unsigned long prot, unsigned int wide)
3717 {
3718 if (wide)
3719 return bfd_mach_o_read_section_64 (abfd, prot);
3720 else
3721 return bfd_mach_o_read_section_32 (abfd, prot);
3722 }
3723
3724 static bool
3725 bfd_mach_o_read_symtab_symbol (bfd *abfd,
3726 bfd_mach_o_symtab_command *sym,
3727 bfd_mach_o_asymbol *s,
3728 unsigned long i)
3729 {
3730 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
3731 unsigned int wide = mach_o_wide_p (&mdata->header);
3732 unsigned int symwidth =
3733 wide ? BFD_MACH_O_NLIST_64_SIZE : BFD_MACH_O_NLIST_SIZE;
3734 unsigned int symoff = sym->symoff + (i * symwidth);
3735 struct mach_o_nlist_64_external raw;
3736 unsigned char type = -1;
3737 unsigned char section = -1;
3738 short desc = -1;
3739 symvalue value = -1;
3740 unsigned long stroff = -1;
3741 unsigned int symtype = -1;
3742
3743 BFD_ASSERT (sym->strtab != NULL);
3744
3745 if (bfd_seek (abfd, symoff, SEEK_SET) != 0
3746 || bfd_bread (&raw, symwidth, abfd) != symwidth)
3747 {
3748 _bfd_error_handler
3749 /* xgettext:c-format */
3750 (_("bfd_mach_o_read_symtab_symbol: unable to read %d bytes at %u"),
3751 symwidth, symoff);
3752 return false;
3753 }
3754
3755 stroff = bfd_h_get_32 (abfd, raw.n_strx);
3756 type = bfd_h_get_8 (abfd, raw.n_type);
3757 symtype = type & BFD_MACH_O_N_TYPE;
3758 section = bfd_h_get_8 (abfd, raw.n_sect);
3759 desc = bfd_h_get_16 (abfd, raw.n_desc);
3760 if (wide)
3761 value = bfd_h_get_64 (abfd, raw.n_value);
3762 else
3763 value = bfd_h_get_32 (abfd, raw.n_value);
3764
3765 if (stroff >= sym->strsize)
3766 {
3767 _bfd_error_handler
3768 /* xgettext:c-format */
3769 (_("bfd_mach_o_read_symtab_symbol: name out of range (%lu >= %u)"),
3770 stroff,
3771 sym->strsize);
3772 return false;
3773 }
3774
3775 s->symbol.the_bfd = abfd;
3776 s->symbol.name = sym->strtab + stroff;
3777 s->symbol.value = value;
3778 s->symbol.flags = 0x0;
3779 s->symbol.udata.i = i;
3780 s->n_type = type;
3781 s->n_sect = section;
3782 s->n_desc = desc;
3783
3784 if (type & BFD_MACH_O_N_STAB)
3785 {
3786 s->symbol.flags |= BSF_DEBUGGING;
3787 s->symbol.section = bfd_und_section_ptr;
3788 switch (type)
3789 {
3790 case N_FUN:
3791 case N_STSYM:
3792 case N_LCSYM:
3793 case N_BNSYM:
3794 case N_SLINE:
3795 case N_ENSYM:
3796 case N_ECOMM:
3797 case N_ECOML:
3798 case N_GSYM:
3799 if ((section > 0) && (section <= mdata->nsects))
3800 {
3801 s->symbol.section = mdata->sections[section - 1]->bfdsection;
3802 s->symbol.value =
3803 s->symbol.value - mdata->sections[section - 1]->addr;
3804 }
3805 break;
3806 }
3807 }
3808 else
3809 {
3810 if (type & (BFD_MACH_O_N_PEXT | BFD_MACH_O_N_EXT))
3811 s->symbol.flags |= BSF_GLOBAL;
3812 else
3813 s->symbol.flags |= BSF_LOCAL;
3814
3815 switch (symtype)
3816 {
3817 case BFD_MACH_O_N_UNDF:
3818 if (type == (BFD_MACH_O_N_UNDF | BFD_MACH_O_N_EXT)
3819 && s->symbol.value != 0)
3820 {
3821 /* A common symbol. */
3822 s->symbol.section = bfd_com_section_ptr;
3823 s->symbol.flags = BSF_NO_FLAGS;
3824 }
3825 else
3826 {
3827 s->symbol.section = bfd_und_section_ptr;
3828 if (s->n_desc & BFD_MACH_O_N_WEAK_REF)
3829 s->symbol.flags |= BSF_WEAK;
3830 }
3831 break;
3832 case BFD_MACH_O_N_PBUD:
3833 s->symbol.section = bfd_und_section_ptr;
3834 break;
3835 case BFD_MACH_O_N_ABS:
3836 s->symbol.section = bfd_abs_section_ptr;
3837 break;
3838 case BFD_MACH_O_N_SECT:
3839 if ((section > 0) && (section <= mdata->nsects))
3840 {
3841 s->symbol.section = mdata->sections[section - 1]->bfdsection;
3842 s->symbol.value =
3843 s->symbol.value - mdata->sections[section - 1]->addr;
3844 }
3845 else
3846 {
3847 /* Mach-O uses 0 to mean "no section"; not an error. */
3848 if (section != 0)
3849 {
3850 _bfd_error_handler
3851 /* xgettext:c-format */
3852 (_("bfd_mach_o_read_symtab_symbol: "
3853 "symbol \"%s\" specified invalid section %d (max %lu): "
3854 "setting to undefined"),
3855 s->symbol.name, section, mdata->nsects);
3856 }
3857 s->symbol.section = bfd_und_section_ptr;
3858 }
3859 break;
3860 case BFD_MACH_O_N_INDR:
3861 /* FIXME: we don't follow the BFD convention as this indirect symbol
3862 won't be followed by the referenced one. This looks harmless
3863 unless we start using the linker. */
3864 s->symbol.flags |= BSF_INDIRECT;
3865 s->symbol.section = bfd_ind_section_ptr;
3866 s->symbol.value = 0;
3867 break;
3868 default:
3869 _bfd_error_handler
3870 /* xgettext:c-format */
3871 (_("bfd_mach_o_read_symtab_symbol: "
3872 "symbol \"%s\" specified invalid type field 0x%x: "
3873 "setting to undefined"), s->symbol.name, symtype);
3874 s->symbol.section = bfd_und_section_ptr;
3875 break;
3876 }
3877 }
3878
3879 return true;
3880 }
3881
3882 bool
3883 bfd_mach_o_read_symtab_strtab (bfd *abfd)
3884 {
3885 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
3886 bfd_mach_o_symtab_command *sym = mdata->symtab;
3887
3888 /* Fail if there is no symtab. */
3889 if (sym == NULL)
3890 return false;
3891
3892 /* Success if already loaded. */
3893 if (sym->strtab)
3894 return true;
3895
3896 if (abfd->flags & BFD_IN_MEMORY)
3897 {
3898 struct bfd_in_memory *b;
3899
3900 b = (struct bfd_in_memory *) abfd->iostream;
3901
3902 if ((sym->stroff + sym->strsize) > b->size)
3903 {
3904 bfd_set_error (bfd_error_file_truncated);
3905 return false;
3906 }
3907 sym->strtab = (char *) b->buffer + sym->stroff;
3908 }
3909 else
3910 {
3911 /* See PR 21840 for a reproducer. */
3912 if ((sym->strsize + 1) == 0)
3913 return false;
3914 if (bfd_seek (abfd, sym->stroff, SEEK_SET) != 0)
3915 return false;
3916 sym->strtab = (char *) _bfd_alloc_and_read (abfd, sym->strsize + 1,
3917 sym->strsize);
3918 if (sym->strtab == NULL)
3919 return false;
3920
3921 /* Zero terminate the string table. */
3922 sym->strtab[sym->strsize] = 0;
3923 }
3924
3925 return true;
3926 }
3927
3928 bool
3929 bfd_mach_o_read_symtab_symbols (bfd *abfd)
3930 {
3931 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
3932 bfd_mach_o_symtab_command *sym = mdata->symtab;
3933 unsigned long i;
3934 size_t amt;
3935 ufile_ptr filesize;
3936
3937 if (sym == NULL || sym->nsyms == 0 || sym->symbols)
3938 /* Return now if there are no symbols or if already loaded. */
3939 return true;
3940
3941 filesize = bfd_get_file_size (abfd);
3942 if (filesize != 0)
3943 {
3944 unsigned int wide = mach_o_wide_p (&mdata->header);
3945 unsigned int symwidth
3946 = wide ? BFD_MACH_O_NLIST_64_SIZE : BFD_MACH_O_NLIST_SIZE;
3947
3948 if (sym->symoff > filesize
3949 || sym->nsyms > (filesize - sym->symoff) / symwidth)
3950 {
3951 bfd_set_error (bfd_error_file_truncated);
3952 sym->nsyms = 0;
3953 return false;
3954 }
3955 }
3956 if (_bfd_mul_overflow (sym->nsyms, sizeof (bfd_mach_o_asymbol), &amt)
3957 || (sym->symbols = bfd_alloc (abfd, amt)) == NULL)
3958 {
3959 bfd_set_error (bfd_error_no_memory);
3960 sym->nsyms = 0;
3961 return false;
3962 }
3963
3964 if (!bfd_mach_o_read_symtab_strtab (abfd))
3965 goto fail;
3966
3967 for (i = 0; i < sym->nsyms; i++)
3968 if (!bfd_mach_o_read_symtab_symbol (abfd, sym, &sym->symbols[i], i))
3969 goto fail;
3970
3971 return true;
3972
3973 fail:
3974 bfd_release (abfd, sym->symbols);
3975 sym->symbols = NULL;
3976 sym->nsyms = 0;
3977 return false;
3978 }
3979
3980 static const char *
3981 bfd_mach_o_i386_flavour_string (unsigned int flavour)
3982 {
3983 switch ((int) flavour)
3984 {
3985 case BFD_MACH_O_x86_THREAD_STATE32: return "x86_THREAD_STATE32";
3986 case BFD_MACH_O_x86_FLOAT_STATE32: return "x86_FLOAT_STATE32";
3987 case BFD_MACH_O_x86_EXCEPTION_STATE32: return "x86_EXCEPTION_STATE32";
3988 case BFD_MACH_O_x86_THREAD_STATE64: return "x86_THREAD_STATE64";
3989 case BFD_MACH_O_x86_FLOAT_STATE64: return "x86_FLOAT_STATE64";
3990 case BFD_MACH_O_x86_EXCEPTION_STATE64: return "x86_EXCEPTION_STATE64";
3991 case BFD_MACH_O_x86_THREAD_STATE: return "x86_THREAD_STATE";
3992 case BFD_MACH_O_x86_FLOAT_STATE: return "x86_FLOAT_STATE";
3993 case BFD_MACH_O_x86_EXCEPTION_STATE: return "x86_EXCEPTION_STATE";
3994 case BFD_MACH_O_x86_DEBUG_STATE32: return "x86_DEBUG_STATE32";
3995 case BFD_MACH_O_x86_DEBUG_STATE64: return "x86_DEBUG_STATE64";
3996 case BFD_MACH_O_x86_DEBUG_STATE: return "x86_DEBUG_STATE";
3997 case BFD_MACH_O_x86_THREAD_STATE_NONE: return "x86_THREAD_STATE_NONE";
3998 default: return "UNKNOWN";
3999 }
4000 }
4001
4002 static const char *
4003 bfd_mach_o_ppc_flavour_string (unsigned int flavour)
4004 {
4005 switch ((int) flavour)
4006 {
4007 case BFD_MACH_O_PPC_THREAD_STATE: return "PPC_THREAD_STATE";
4008 case BFD_MACH_O_PPC_FLOAT_STATE: return "PPC_FLOAT_STATE";
4009 case BFD_MACH_O_PPC_EXCEPTION_STATE: return "PPC_EXCEPTION_STATE";
4010 case BFD_MACH_O_PPC_VECTOR_STATE: return "PPC_VECTOR_STATE";
4011 case BFD_MACH_O_PPC_THREAD_STATE64: return "PPC_THREAD_STATE64";
4012 case BFD_MACH_O_PPC_EXCEPTION_STATE64: return "PPC_EXCEPTION_STATE64";
4013 default: return "UNKNOWN";
4014 }
4015 }
4016
4017 static unsigned char *
4018 bfd_mach_o_alloc_and_read (bfd *abfd, file_ptr filepos,
4019 size_t size, size_t extra)
4020 {
4021 if (bfd_seek (abfd, filepos, SEEK_SET) != 0)
4022 return NULL;
4023 unsigned char *ret = _bfd_alloc_and_read (abfd, size + extra, size);
4024 if (ret && extra != 0)
4025 memset (ret + size, 0, extra);
4026 return ret;
4027 }
4028
4029 static bool
4030 bfd_mach_o_read_dylinker (bfd *abfd, bfd_mach_o_load_command *command)
4031 {
4032 bfd_mach_o_dylinker_command *cmd = &command->command.dylinker;
4033 struct mach_o_str_command_external raw;
4034 unsigned int nameoff;
4035 size_t namelen;
4036
4037 if (command->len < sizeof (raw) + 8)
4038 return false;
4039 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4040 return false;
4041
4042 nameoff = bfd_h_get_32 (abfd, raw.str);
4043 if (nameoff > command->len)
4044 return false;
4045
4046 cmd->name_offset = nameoff;
4047 namelen = command->len - nameoff;
4048 nameoff += command->offset;
4049 cmd->name_str = (char *) bfd_mach_o_alloc_and_read (abfd, nameoff,
4050 namelen, 1);
4051 return cmd->name_str != NULL;
4052 }
4053
4054 static bool
4055 bfd_mach_o_read_dylib (bfd *abfd, bfd_mach_o_load_command *command)
4056 {
4057 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4058 bfd_mach_o_dylib_command *cmd = &command->command.dylib;
4059 struct mach_o_dylib_command_external raw;
4060 unsigned int nameoff;
4061 size_t namelen;
4062 file_ptr pos;
4063
4064 if (command->len < sizeof (raw) + 8)
4065 return false;
4066 switch (command->type)
4067 {
4068 case BFD_MACH_O_LC_LOAD_DYLIB:
4069 case BFD_MACH_O_LC_LAZY_LOAD_DYLIB:
4070 case BFD_MACH_O_LC_LOAD_WEAK_DYLIB:
4071 case BFD_MACH_O_LC_ID_DYLIB:
4072 case BFD_MACH_O_LC_REEXPORT_DYLIB:
4073 case BFD_MACH_O_LC_LOAD_UPWARD_DYLIB:
4074 break;
4075 default:
4076 BFD_FAIL ();
4077 return false;
4078 }
4079
4080 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4081 return false;
4082
4083 nameoff = bfd_h_get_32 (abfd, raw.name);
4084 if (nameoff > command->len)
4085 return false;
4086 cmd->timestamp = bfd_h_get_32 (abfd, raw.timestamp);
4087 cmd->current_version = bfd_h_get_32 (abfd, raw.current_version);
4088 cmd->compatibility_version = bfd_h_get_32 (abfd, raw.compatibility_version);
4089
4090 cmd->name_offset = command->offset + nameoff;
4091 namelen = command->len - nameoff;
4092 pos = mdata->hdr_offset + cmd->name_offset;
4093 cmd->name_str = (char *) bfd_mach_o_alloc_and_read (abfd, pos, namelen, 1);
4094 return cmd->name_str != NULL;
4095 }
4096
4097 static bool
4098 bfd_mach_o_read_prebound_dylib (bfd *abfd,
4099 bfd_mach_o_load_command *command)
4100 {
4101 bfd_mach_o_prebound_dylib_command *cmd = &command->command.prebound_dylib;
4102 struct mach_o_prebound_dylib_command_external raw;
4103 unsigned int nameoff;
4104 unsigned int modoff;
4105 unsigned int str_len;
4106 unsigned char *str;
4107
4108 if (command->len < sizeof (raw) + 8)
4109 return false;
4110 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4111 return false;
4112
4113 nameoff = bfd_h_get_32 (abfd, raw.name);
4114 modoff = bfd_h_get_32 (abfd, raw.linked_modules);
4115 if (nameoff > command->len || modoff > command->len)
4116 return false;
4117
4118 str_len = command->len - sizeof (raw);
4119 str = _bfd_alloc_and_read (abfd, str_len, str_len);
4120 if (str == NULL)
4121 return false;
4122
4123 cmd->name_offset = command->offset + nameoff;
4124 cmd->nmodules = bfd_h_get_32 (abfd, raw.nmodules);
4125 cmd->linked_modules_offset = command->offset + modoff;
4126
4127 cmd->name_str = (char *)str + nameoff - (sizeof (raw) + BFD_MACH_O_LC_SIZE);
4128 cmd->linked_modules = str + modoff - (sizeof (raw) + BFD_MACH_O_LC_SIZE);
4129 return true;
4130 }
4131
4132 static bool
4133 bfd_mach_o_read_prebind_cksum (bfd *abfd,
4134 bfd_mach_o_load_command *command)
4135 {
4136 bfd_mach_o_prebind_cksum_command *cmd = &command->command.prebind_cksum;
4137 struct mach_o_prebind_cksum_command_external raw;
4138
4139 if (command->len < sizeof (raw) + 8)
4140 return false;
4141 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4142 return false;
4143
4144 cmd->cksum = bfd_get_32 (abfd, raw.cksum);
4145 return true;
4146 }
4147
4148 static bool
4149 bfd_mach_o_read_twolevel_hints (bfd *abfd,
4150 bfd_mach_o_load_command *command)
4151 {
4152 bfd_mach_o_twolevel_hints_command *cmd = &command->command.twolevel_hints;
4153 struct mach_o_twolevel_hints_command_external raw;
4154
4155 if (command->len < sizeof (raw) + 8)
4156 return false;
4157 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4158 return false;
4159
4160 cmd->offset = bfd_get_32 (abfd, raw.offset);
4161 cmd->nhints = bfd_get_32 (abfd, raw.nhints);
4162 return true;
4163 }
4164
4165 static bool
4166 bfd_mach_o_read_fvmlib (bfd *abfd, bfd_mach_o_load_command *command)
4167 {
4168 bfd_mach_o_fvmlib_command *fvm = &command->command.fvmlib;
4169 struct mach_o_fvmlib_command_external raw;
4170 unsigned int nameoff;
4171 size_t namelen;
4172
4173 if (command->len < sizeof (raw) + 8)
4174 return false;
4175 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4176 return false;
4177
4178 nameoff = bfd_h_get_32 (abfd, raw.name);
4179 if (nameoff > command->len)
4180 return false;
4181 fvm->minor_version = bfd_h_get_32 (abfd, raw.minor_version);
4182 fvm->header_addr = bfd_h_get_32 (abfd, raw.header_addr);
4183
4184 fvm->name_offset = command->offset + nameoff;
4185 namelen = command->len - nameoff;
4186 fvm->name_str = (char *) bfd_mach_o_alloc_and_read (abfd, fvm->name_offset,
4187 namelen, 1);
4188 return fvm->name_str != NULL;
4189 }
4190
4191 static bool
4192 bfd_mach_o_read_thread (bfd *abfd, bfd_mach_o_load_command *command)
4193 {
4194 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4195 bfd_mach_o_thread_command *cmd = &command->command.thread;
4196 unsigned int offset;
4197 unsigned int nflavours;
4198 unsigned int i;
4199 struct mach_o_thread_command_external raw;
4200 size_t amt;
4201
4202 BFD_ASSERT ((command->type == BFD_MACH_O_LC_THREAD)
4203 || (command->type == BFD_MACH_O_LC_UNIXTHREAD));
4204
4205 /* Count the number of threads. */
4206 offset = 8;
4207 nflavours = 0;
4208 while (offset + sizeof (raw) <= command->len)
4209 {
4210 unsigned int count;
4211
4212 if (bfd_seek (abfd, command->offset + offset, SEEK_SET) != 0
4213 || bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4214 return false;
4215
4216 count = bfd_h_get_32 (abfd, raw.count);
4217 if (count > (unsigned) -1 / 4
4218 || command->len - (offset + sizeof (raw)) < count * 4)
4219 return false;
4220 offset += sizeof (raw) + count * 4;
4221 nflavours++;
4222 }
4223 if (nflavours == 0 || offset != command->len)
4224 return false;
4225
4226 /* Allocate threads. */
4227 if (_bfd_mul_overflow (nflavours, sizeof (bfd_mach_o_thread_flavour), &amt))
4228 {
4229 bfd_set_error (bfd_error_file_too_big);
4230 return false;
4231 }
4232 cmd->flavours = bfd_alloc (abfd, amt);
4233 if (cmd->flavours == NULL)
4234 return false;
4235 cmd->nflavours = nflavours;
4236
4237 offset = 8;
4238 nflavours = 0;
4239 while (offset != command->len)
4240 {
4241 if (bfd_seek (abfd, command->offset + offset, SEEK_SET) != 0
4242 || bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4243 return false;
4244
4245 cmd->flavours[nflavours].flavour = bfd_h_get_32 (abfd, raw.flavour);
4246 cmd->flavours[nflavours].offset = command->offset + offset + sizeof (raw);
4247 cmd->flavours[nflavours].size = bfd_h_get_32 (abfd, raw.count) * 4;
4248 offset += cmd->flavours[nflavours].size + sizeof (raw);
4249 nflavours++;
4250 }
4251
4252 for (i = 0; i < nflavours; i++)
4253 {
4254 asection *bfdsec;
4255 size_t snamelen;
4256 char *sname;
4257 const char *flavourstr;
4258 const char *prefix = "LC_THREAD";
4259 unsigned int j = 0;
4260
4261 switch (mdata->header.cputype)
4262 {
4263 case BFD_MACH_O_CPU_TYPE_POWERPC:
4264 case BFD_MACH_O_CPU_TYPE_POWERPC_64:
4265 flavourstr =
4266 bfd_mach_o_ppc_flavour_string (cmd->flavours[i].flavour);
4267 break;
4268 case BFD_MACH_O_CPU_TYPE_I386:
4269 case BFD_MACH_O_CPU_TYPE_X86_64:
4270 flavourstr =
4271 bfd_mach_o_i386_flavour_string (cmd->flavours[i].flavour);
4272 break;
4273 default:
4274 flavourstr = "UNKNOWN_ARCHITECTURE";
4275 break;
4276 }
4277
4278 snamelen = strlen (prefix) + 1 + 20 + 1 + strlen (flavourstr) + 1;
4279 sname = bfd_alloc (abfd, snamelen);
4280 if (sname == NULL)
4281 return false;
4282
4283 for (;;)
4284 {
4285 sprintf (sname, "%s.%s.%u", prefix, flavourstr, j);
4286 if (bfd_get_section_by_name (abfd, sname) == NULL)
4287 break;
4288 j++;
4289 }
4290
4291 bfdsec = bfd_make_section_with_flags (abfd, sname, SEC_HAS_CONTENTS);
4292
4293 bfdsec->vma = 0;
4294 bfdsec->lma = 0;
4295 bfdsec->size = cmd->flavours[i].size;
4296 bfdsec->filepos = cmd->flavours[i].offset;
4297 bfdsec->alignment_power = 0x0;
4298
4299 cmd->section = bfdsec;
4300 }
4301
4302 return true;
4303 }
4304
4305 static bool
4306 bfd_mach_o_read_dysymtab (bfd *abfd, bfd_mach_o_load_command *command,
4307 ufile_ptr filesize)
4308 {
4309 bfd_mach_o_dysymtab_command *cmd = &command->command.dysymtab;
4310 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4311
4312 BFD_ASSERT (command->type == BFD_MACH_O_LC_DYSYMTAB);
4313
4314 {
4315 struct mach_o_dysymtab_command_external raw;
4316
4317 if (command->len < sizeof (raw) + 8)
4318 return false;
4319 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4320 return false;
4321
4322 cmd->ilocalsym = bfd_h_get_32 (abfd, raw.ilocalsym);
4323 cmd->nlocalsym = bfd_h_get_32 (abfd, raw.nlocalsym);
4324 cmd->iextdefsym = bfd_h_get_32 (abfd, raw.iextdefsym);
4325 cmd->nextdefsym = bfd_h_get_32 (abfd, raw.nextdefsym);
4326 cmd->iundefsym = bfd_h_get_32 (abfd, raw.iundefsym);
4327 cmd->nundefsym = bfd_h_get_32 (abfd, raw.nundefsym);
4328 cmd->tocoff = bfd_h_get_32 (abfd, raw.tocoff);
4329 cmd->ntoc = bfd_h_get_32 (abfd, raw.ntoc);
4330 cmd->modtaboff = bfd_h_get_32 (abfd, raw.modtaboff);
4331 cmd->nmodtab = bfd_h_get_32 (abfd, raw.nmodtab);
4332 cmd->extrefsymoff = bfd_h_get_32 (abfd, raw.extrefsymoff);
4333 cmd->nextrefsyms = bfd_h_get_32 (abfd, raw.nextrefsyms);
4334 cmd->indirectsymoff = bfd_h_get_32 (abfd, raw.indirectsymoff);
4335 cmd->nindirectsyms = bfd_h_get_32 (abfd, raw.nindirectsyms);
4336 cmd->extreloff = bfd_h_get_32 (abfd, raw.extreloff);
4337 cmd->nextrel = bfd_h_get_32 (abfd, raw.nextrel);
4338 cmd->locreloff = bfd_h_get_32 (abfd, raw.locreloff);
4339 cmd->nlocrel = bfd_h_get_32 (abfd, raw.nlocrel);
4340 }
4341
4342 if (cmd->nmodtab != 0)
4343 {
4344 unsigned int i;
4345 int wide = bfd_mach_o_wide_p (abfd);
4346 unsigned int module_len = wide ? 56 : 52;
4347 size_t amt;
4348
4349 if (cmd->modtaboff > filesize
4350 || cmd->nmodtab > (filesize - cmd->modtaboff) / module_len)
4351 {
4352 bfd_set_error (bfd_error_file_truncated);
4353 return false;
4354 }
4355 if (_bfd_mul_overflow (cmd->nmodtab,
4356 sizeof (bfd_mach_o_dylib_module), &amt))
4357 {
4358 bfd_set_error (bfd_error_file_too_big);
4359 return false;
4360 }
4361 cmd->dylib_module = bfd_alloc (abfd, amt);
4362 if (cmd->dylib_module == NULL)
4363 return false;
4364
4365 if (bfd_seek (abfd, cmd->modtaboff, SEEK_SET) != 0)
4366 return false;
4367
4368 for (i = 0; i < cmd->nmodtab; i++)
4369 {
4370 bfd_mach_o_dylib_module *module = &cmd->dylib_module[i];
4371 unsigned long v;
4372 unsigned char buf[56];
4373
4374 if (bfd_bread ((void *) buf, module_len, abfd) != module_len)
4375 return false;
4376
4377 module->module_name_idx = bfd_h_get_32 (abfd, buf + 0);
4378 module->iextdefsym = bfd_h_get_32 (abfd, buf + 4);
4379 module->nextdefsym = bfd_h_get_32 (abfd, buf + 8);
4380 module->irefsym = bfd_h_get_32 (abfd, buf + 12);
4381 module->nrefsym = bfd_h_get_32 (abfd, buf + 16);
4382 module->ilocalsym = bfd_h_get_32 (abfd, buf + 20);
4383 module->nlocalsym = bfd_h_get_32 (abfd, buf + 24);
4384 module->iextrel = bfd_h_get_32 (abfd, buf + 28);
4385 module->nextrel = bfd_h_get_32 (abfd, buf + 32);
4386 v = bfd_h_get_32 (abfd, buf +36);
4387 module->iinit = v & 0xffff;
4388 module->iterm = (v >> 16) & 0xffff;
4389 v = bfd_h_get_32 (abfd, buf + 40);
4390 module->ninit = v & 0xffff;
4391 module->nterm = (v >> 16) & 0xffff;
4392 if (wide)
4393 {
4394 module->objc_module_info_size = bfd_h_get_32 (abfd, buf + 44);
4395 module->objc_module_info_addr = bfd_h_get_64 (abfd, buf + 48);
4396 }
4397 else
4398 {
4399 module->objc_module_info_addr = bfd_h_get_32 (abfd, buf + 44);
4400 module->objc_module_info_size = bfd_h_get_32 (abfd, buf + 48);
4401 }
4402 }
4403 }
4404
4405 if (cmd->ntoc != 0)
4406 {
4407 unsigned long i;
4408 size_t amt;
4409 struct mach_o_dylib_table_of_contents_external raw;
4410
4411 if (cmd->tocoff > filesize
4412 || cmd->ntoc > (filesize - cmd->tocoff) / sizeof (raw))
4413 {
4414 bfd_set_error (bfd_error_file_truncated);
4415 return false;
4416 }
4417 if (_bfd_mul_overflow (cmd->ntoc,
4418 sizeof (bfd_mach_o_dylib_table_of_content), &amt))
4419 {
4420 bfd_set_error (bfd_error_file_too_big);
4421 return false;
4422 }
4423 cmd->dylib_toc = bfd_alloc (abfd, amt);
4424 if (cmd->dylib_toc == NULL)
4425 return false;
4426
4427 if (bfd_seek (abfd, cmd->tocoff, SEEK_SET) != 0)
4428 return false;
4429
4430 for (i = 0; i < cmd->ntoc; i++)
4431 {
4432 bfd_mach_o_dylib_table_of_content *toc = &cmd->dylib_toc[i];
4433
4434 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4435 return false;
4436
4437 toc->symbol_index = bfd_h_get_32 (abfd, raw.symbol_index);
4438 toc->module_index = bfd_h_get_32 (abfd, raw.module_index);
4439 }
4440 }
4441
4442 if (cmd->nindirectsyms != 0)
4443 {
4444 unsigned int i;
4445 size_t amt;
4446
4447 if (cmd->indirectsymoff > filesize
4448 || cmd->nindirectsyms > (filesize - cmd->indirectsymoff) / 4)
4449 {
4450 bfd_set_error (bfd_error_file_truncated);
4451 return false;
4452 }
4453 if (_bfd_mul_overflow (cmd->nindirectsyms, sizeof (unsigned int), &amt))
4454 {
4455 bfd_set_error (bfd_error_file_too_big);
4456 return false;
4457 }
4458 cmd->indirect_syms = bfd_alloc (abfd, amt);
4459 if (cmd->indirect_syms == NULL)
4460 return false;
4461
4462 if (bfd_seek (abfd, cmd->indirectsymoff, SEEK_SET) != 0)
4463 return false;
4464
4465 for (i = 0; i < cmd->nindirectsyms; i++)
4466 {
4467 unsigned char raw[4];
4468 unsigned int *is = &cmd->indirect_syms[i];
4469
4470 if (bfd_bread (raw, sizeof (raw), abfd) != sizeof (raw))
4471 return false;
4472
4473 *is = bfd_h_get_32 (abfd, raw);
4474 }
4475 }
4476
4477 if (cmd->nextrefsyms != 0)
4478 {
4479 unsigned long v;
4480 unsigned int i;
4481 size_t amt;
4482
4483 if (cmd->extrefsymoff > filesize
4484 || cmd->nextrefsyms > (filesize - cmd->extrefsymoff) / 4)
4485 {
4486 bfd_set_error (bfd_error_file_truncated);
4487 return false;
4488 }
4489 if (_bfd_mul_overflow (cmd->nextrefsyms,
4490 sizeof (bfd_mach_o_dylib_reference), &amt))
4491 {
4492 bfd_set_error (bfd_error_file_too_big);
4493 return false;
4494 }
4495 cmd->ext_refs = bfd_alloc (abfd, amt);
4496 if (cmd->ext_refs == NULL)
4497 return false;
4498
4499 if (bfd_seek (abfd, cmd->extrefsymoff, SEEK_SET) != 0)
4500 return false;
4501
4502 for (i = 0; i < cmd->nextrefsyms; i++)
4503 {
4504 unsigned char raw[4];
4505 bfd_mach_o_dylib_reference *ref = &cmd->ext_refs[i];
4506
4507 if (bfd_bread (raw, sizeof (raw), abfd) != sizeof (raw))
4508 return false;
4509
4510 /* Fields isym and flags are written as bit-fields, thus we need
4511 a specific processing for endianness. */
4512 v = bfd_h_get_32 (abfd, raw);
4513 if (bfd_big_endian (abfd))
4514 {
4515 ref->isym = (v >> 8) & 0xffffff;
4516 ref->flags = v & 0xff;
4517 }
4518 else
4519 {
4520 ref->isym = v & 0xffffff;
4521 ref->flags = (v >> 24) & 0xff;
4522 }
4523 }
4524 }
4525
4526 if (mdata->dysymtab)
4527 return false;
4528 mdata->dysymtab = cmd;
4529
4530 return true;
4531 }
4532
4533 static bool
4534 bfd_mach_o_read_symtab (bfd *abfd, bfd_mach_o_load_command *command,
4535 ufile_ptr filesize)
4536 {
4537 bfd_mach_o_symtab_command *symtab = &command->command.symtab;
4538 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4539 struct mach_o_symtab_command_external raw;
4540
4541 BFD_ASSERT (command->type == BFD_MACH_O_LC_SYMTAB);
4542
4543 if (command->len < sizeof (raw) + 8)
4544 return false;
4545 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4546 return false;
4547
4548 symtab->symoff = bfd_h_get_32 (abfd, raw.symoff);
4549 symtab->nsyms = bfd_h_get_32 (abfd, raw.nsyms);
4550 symtab->stroff = bfd_h_get_32 (abfd, raw.stroff);
4551 symtab->strsize = bfd_h_get_32 (abfd, raw.strsize);
4552 symtab->symbols = NULL;
4553 symtab->strtab = NULL;
4554
4555 if (symtab->symoff > filesize
4556 || symtab->nsyms > (filesize - symtab->symoff) / BFD_MACH_O_NLIST_SIZE
4557 || symtab->stroff > filesize
4558 || symtab->strsize > filesize - symtab->stroff)
4559 {
4560 bfd_set_error (bfd_error_file_truncated);
4561 return false;
4562 }
4563
4564 if (symtab->nsyms != 0)
4565 abfd->flags |= HAS_SYMS;
4566
4567 if (mdata->symtab)
4568 return false;
4569 mdata->symtab = symtab;
4570 return true;
4571 }
4572
4573 static bool
4574 bfd_mach_o_read_uuid (bfd *abfd, bfd_mach_o_load_command *command)
4575 {
4576 bfd_mach_o_uuid_command *cmd = &command->command.uuid;
4577
4578 BFD_ASSERT (command->type == BFD_MACH_O_LC_UUID);
4579
4580 if (command->len < 16 + 8)
4581 return false;
4582 if (bfd_bread (cmd->uuid, 16, abfd) != 16)
4583 return false;
4584
4585 return true;
4586 }
4587
4588 static bool
4589 bfd_mach_o_read_linkedit (bfd *abfd, bfd_mach_o_load_command *command)
4590 {
4591 bfd_mach_o_linkedit_command *cmd = &command->command.linkedit;
4592 struct mach_o_linkedit_data_command_external raw;
4593
4594 if (command->len < sizeof (raw) + 8)
4595 return false;
4596 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4597 return false;
4598
4599 cmd->dataoff = bfd_get_32 (abfd, raw.dataoff);
4600 cmd->datasize = bfd_get_32 (abfd, raw.datasize);
4601 return true;
4602 }
4603
4604 static bool
4605 bfd_mach_o_read_str (bfd *abfd, bfd_mach_o_load_command *command)
4606 {
4607 bfd_mach_o_str_command *cmd = &command->command.str;
4608 struct mach_o_str_command_external raw;
4609 unsigned long off;
4610
4611 if (command->len < sizeof (raw) + 8)
4612 return false;
4613 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4614 return false;
4615
4616 off = bfd_get_32 (abfd, raw.str);
4617 if (off > command->len)
4618 return false;
4619
4620 cmd->stroff = command->offset + off;
4621 cmd->str_len = command->len - off;
4622 cmd->str = (char *) bfd_mach_o_alloc_and_read (abfd, cmd->stroff,
4623 cmd->str_len, 1);
4624 return cmd->str != NULL;
4625 }
4626
4627 static bool
4628 bfd_mach_o_read_dyld_content (bfd *abfd, bfd_mach_o_dyld_info_command *cmd)
4629 {
4630 /* Read rebase content. */
4631 if (cmd->rebase_content == NULL && cmd->rebase_size != 0)
4632 {
4633 cmd->rebase_content
4634 = bfd_mach_o_alloc_and_read (abfd, cmd->rebase_off,
4635 cmd->rebase_size, 0);
4636 if (cmd->rebase_content == NULL)
4637 return false;
4638 }
4639
4640 /* Read bind content. */
4641 if (cmd->bind_content == NULL && cmd->bind_size != 0)
4642 {
4643 cmd->bind_content
4644 = bfd_mach_o_alloc_and_read (abfd, cmd->bind_off,
4645 cmd->bind_size, 0);
4646 if (cmd->bind_content == NULL)
4647 return false;
4648 }
4649
4650 /* Read weak bind content. */
4651 if (cmd->weak_bind_content == NULL && cmd->weak_bind_size != 0)
4652 {
4653 cmd->weak_bind_content
4654 = bfd_mach_o_alloc_and_read (abfd, cmd->weak_bind_off,
4655 cmd->weak_bind_size, 0);
4656 if (cmd->weak_bind_content == NULL)
4657 return false;
4658 }
4659
4660 /* Read lazy bind content. */
4661 if (cmd->lazy_bind_content == NULL && cmd->lazy_bind_size != 0)
4662 {
4663 cmd->lazy_bind_content
4664 = bfd_mach_o_alloc_and_read (abfd, cmd->lazy_bind_off,
4665 cmd->lazy_bind_size, 0);
4666 if (cmd->lazy_bind_content == NULL)
4667 return false;
4668 }
4669
4670 /* Read export content. */
4671 if (cmd->export_content == NULL && cmd->export_size != 0)
4672 {
4673 cmd->export_content
4674 = bfd_mach_o_alloc_and_read (abfd, cmd->export_off,
4675 cmd->export_size, 0);
4676 if (cmd->export_content == NULL)
4677 return false;
4678 }
4679
4680 return true;
4681 }
4682
4683 static bool
4684 bfd_mach_o_read_dyld_info (bfd *abfd, bfd_mach_o_load_command *command)
4685 {
4686 bfd_mach_o_dyld_info_command *cmd = &command->command.dyld_info;
4687 struct mach_o_dyld_info_command_external raw;
4688
4689 if (command->len < sizeof (raw) + 8)
4690 return false;
4691 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4692 return false;
4693
4694 cmd->rebase_off = bfd_get_32 (abfd, raw.rebase_off);
4695 cmd->rebase_size = bfd_get_32 (abfd, raw.rebase_size);
4696 cmd->rebase_content = NULL;
4697 cmd->bind_off = bfd_get_32 (abfd, raw.bind_off);
4698 cmd->bind_size = bfd_get_32 (abfd, raw.bind_size);
4699 cmd->bind_content = NULL;
4700 cmd->weak_bind_off = bfd_get_32 (abfd, raw.weak_bind_off);
4701 cmd->weak_bind_size = bfd_get_32 (abfd, raw.weak_bind_size);
4702 cmd->weak_bind_content = NULL;
4703 cmd->lazy_bind_off = bfd_get_32 (abfd, raw.lazy_bind_off);
4704 cmd->lazy_bind_size = bfd_get_32 (abfd, raw.lazy_bind_size);
4705 cmd->lazy_bind_content = NULL;
4706 cmd->export_off = bfd_get_32 (abfd, raw.export_off);
4707 cmd->export_size = bfd_get_32 (abfd, raw.export_size);
4708 cmd->export_content = NULL;
4709 return true;
4710 }
4711
4712 static bool
4713 bfd_mach_o_read_version_min (bfd *abfd, bfd_mach_o_load_command *command)
4714 {
4715 bfd_mach_o_version_min_command *cmd = &command->command.version_min;
4716 struct mach_o_version_min_command_external raw;
4717
4718 if (command->len < sizeof (raw) + 8)
4719 return false;
4720 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4721 return false;
4722
4723 cmd->version = bfd_get_32 (abfd, raw.version);
4724 cmd->sdk = bfd_get_32 (abfd, raw.sdk);
4725 return true;
4726 }
4727
4728 static bool
4729 bfd_mach_o_read_encryption_info (bfd *abfd, bfd_mach_o_load_command *command)
4730 {
4731 bfd_mach_o_encryption_info_command *cmd = &command->command.encryption_info;
4732 struct mach_o_encryption_info_command_external raw;
4733
4734 if (command->len < sizeof (raw) + 8)
4735 return false;
4736 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4737 return false;
4738
4739 cmd->cryptoff = bfd_get_32 (abfd, raw.cryptoff);
4740 cmd->cryptsize = bfd_get_32 (abfd, raw.cryptsize);
4741 cmd->cryptid = bfd_get_32 (abfd, raw.cryptid);
4742 return true;
4743 }
4744
4745 static bool
4746 bfd_mach_o_read_encryption_info_64 (bfd *abfd, bfd_mach_o_load_command *command)
4747 {
4748 bfd_mach_o_encryption_info_command *cmd = &command->command.encryption_info;
4749 struct mach_o_encryption_info_64_command_external raw;
4750
4751 if (command->len < sizeof (raw) + 8)
4752 return false;
4753 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4754 return false;
4755
4756 cmd->cryptoff = bfd_get_32 (abfd, raw.cryptoff);
4757 cmd->cryptsize = bfd_get_32 (abfd, raw.cryptsize);
4758 cmd->cryptid = bfd_get_32 (abfd, raw.cryptid);
4759 return true;
4760 }
4761
4762 static bool
4763 bfd_mach_o_read_main (bfd *abfd, bfd_mach_o_load_command *command)
4764 {
4765 bfd_mach_o_main_command *cmd = &command->command.main;
4766 struct mach_o_entry_point_command_external raw;
4767
4768 if (command->len < sizeof (raw) + 8)
4769 return false;
4770 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4771 return false;
4772
4773 cmd->entryoff = bfd_get_64 (abfd, raw.entryoff);
4774 cmd->stacksize = bfd_get_64 (abfd, raw.stacksize);
4775 return true;
4776 }
4777
4778 static bool
4779 bfd_mach_o_read_source_version (bfd *abfd, bfd_mach_o_load_command *command)
4780 {
4781 bfd_mach_o_source_version_command *cmd = &command->command.source_version;
4782 struct mach_o_source_version_command_external raw;
4783 uint64_t ver;
4784
4785 if (command->len < sizeof (raw) + 8)
4786 return false;
4787 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4788 return false;
4789
4790 ver = bfd_get_64 (abfd, raw.version);
4791 /* Note: we use a serie of shift to avoid shift > 32 (for which gcc
4792 generates warnings) in case of the host doesn't support 64 bit
4793 integers. */
4794 cmd->e = ver & 0x3ff;
4795 ver >>= 10;
4796 cmd->d = ver & 0x3ff;
4797 ver >>= 10;
4798 cmd->c = ver & 0x3ff;
4799 ver >>= 10;
4800 cmd->b = ver & 0x3ff;
4801 ver >>= 10;
4802 cmd->a = ver & 0xffffff;
4803 return true;
4804 }
4805
4806 static bool
4807 bfd_mach_o_read_note (bfd *abfd, bfd_mach_o_load_command *command)
4808 {
4809 bfd_mach_o_note_command *cmd = &command->command.note;
4810 struct mach_o_note_command_external raw;
4811
4812 if (command->len < sizeof (raw) + 8)
4813 return false;
4814 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4815 return false;
4816
4817 memcpy (cmd->data_owner, raw.data_owner, 16);
4818 cmd->offset = bfd_get_64 (abfd, raw.offset);
4819 cmd->size = bfd_get_64 (abfd, raw.size);
4820 return true;
4821 }
4822
4823 static bool
4824 bfd_mach_o_read_build_version (bfd *abfd, bfd_mach_o_load_command *command)
4825 {
4826 bfd_mach_o_build_version_command *cmd = &command->command.build_version;
4827 struct mach_o_build_version_command_external raw;
4828
4829 if (command->len < sizeof (raw) + 8)
4830 return false;
4831 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4832 return false;
4833
4834 cmd->platform = bfd_get_32 (abfd, raw.platform);
4835 cmd->minos = bfd_get_32 (abfd, raw.minos);
4836 cmd->sdk = bfd_get_32 (abfd, raw.sdk);
4837 cmd->ntools = bfd_get_32 (abfd, raw.ntools);
4838 return true;
4839 }
4840
4841 static bool
4842 bfd_mach_o_read_segment (bfd *abfd,
4843 bfd_mach_o_load_command *command,
4844 unsigned int wide)
4845 {
4846 bfd_mach_o_segment_command *seg = &command->command.segment;
4847 unsigned long i;
4848
4849 if (wide)
4850 {
4851 struct mach_o_segment_command_64_external raw;
4852
4853 BFD_ASSERT (command->type == BFD_MACH_O_LC_SEGMENT_64);
4854
4855 if (command->len < sizeof (raw) + 8)
4856 return false;
4857 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4858 return false;
4859
4860 memcpy (seg->segname, raw.segname, 16);
4861 seg->segname[16] = '\0';
4862
4863 seg->vmaddr = bfd_h_get_64 (abfd, raw.vmaddr);
4864 seg->vmsize = bfd_h_get_64 (abfd, raw.vmsize);
4865 seg->fileoff = bfd_h_get_64 (abfd, raw.fileoff);
4866 seg->filesize = bfd_h_get_64 (abfd, raw.filesize);
4867 seg->maxprot = bfd_h_get_32 (abfd, raw.maxprot);
4868 seg->initprot = bfd_h_get_32 (abfd, raw.initprot);
4869 seg->nsects = bfd_h_get_32 (abfd, raw.nsects);
4870 seg->flags = bfd_h_get_32 (abfd, raw.flags);
4871 }
4872 else
4873 {
4874 struct mach_o_segment_command_32_external raw;
4875
4876 BFD_ASSERT (command->type == BFD_MACH_O_LC_SEGMENT);
4877
4878 if (command->len < sizeof (raw) + 8)
4879 return false;
4880 if (bfd_bread (&raw, sizeof (raw), abfd) != sizeof (raw))
4881 return false;
4882
4883 memcpy (seg->segname, raw.segname, 16);
4884 seg->segname[16] = '\0';
4885
4886 seg->vmaddr = bfd_h_get_32 (abfd, raw.vmaddr);
4887 seg->vmsize = bfd_h_get_32 (abfd, raw.vmsize);
4888 seg->fileoff = bfd_h_get_32 (abfd, raw.fileoff);
4889 seg->filesize = bfd_h_get_32 (abfd, raw.filesize);
4890 seg->maxprot = bfd_h_get_32 (abfd, raw.maxprot);
4891 seg->initprot = bfd_h_get_32 (abfd, raw.initprot);
4892 seg->nsects = bfd_h_get_32 (abfd, raw.nsects);
4893 seg->flags = bfd_h_get_32 (abfd, raw.flags);
4894 }
4895 seg->sect_head = NULL;
4896 seg->sect_tail = NULL;
4897
4898 for (i = 0; i < seg->nsects; i++)
4899 {
4900 asection *sec;
4901
4902 sec = bfd_mach_o_read_section (abfd, seg->initprot, wide);
4903 if (sec == NULL)
4904 return false;
4905
4906 bfd_mach_o_append_section_to_segment
4907 (seg, bfd_mach_o_get_mach_o_section (sec));
4908 }
4909
4910 return true;
4911 }
4912
4913 static bool
4914 bfd_mach_o_read_segment_32 (bfd *abfd, bfd_mach_o_load_command *command)
4915 {
4916 return bfd_mach_o_read_segment (abfd, command, 0);
4917 }
4918
4919 static bool
4920 bfd_mach_o_read_segment_64 (bfd *abfd, bfd_mach_o_load_command *command)
4921 {
4922 return bfd_mach_o_read_segment (abfd, command, 1);
4923 }
4924
4925 static bool
4926 bfd_mach_o_read_command (bfd *abfd, bfd_mach_o_load_command *command,
4927 ufile_ptr filesize)
4928 {
4929 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
4930 struct mach_o_load_command_external raw;
4931 unsigned int cmd;
4932
4933 /* Read command type and length. */
4934 if (bfd_seek (abfd, mdata->hdr_offset + command->offset, SEEK_SET) != 0
4935 || bfd_bread (&raw, BFD_MACH_O_LC_SIZE, abfd) != BFD_MACH_O_LC_SIZE)
4936 return false;
4937
4938 cmd = bfd_h_get_32 (abfd, raw.cmd);
4939 command->type = cmd & ~BFD_MACH_O_LC_REQ_DYLD;
4940 command->type_required = (cmd & BFD_MACH_O_LC_REQ_DYLD) != 0;
4941 command->len = bfd_h_get_32 (abfd, raw.cmdsize);
4942 if (command->len < 8 || command->len % 4 != 0)
4943 return false;
4944
4945 switch (command->type)
4946 {
4947 case BFD_MACH_O_LC_SEGMENT:
4948 if (!bfd_mach_o_read_segment_32 (abfd, command))
4949 return false;
4950 break;
4951 case BFD_MACH_O_LC_SEGMENT_64:
4952 if (!bfd_mach_o_read_segment_64 (abfd, command))
4953 return false;
4954 break;
4955 case BFD_MACH_O_LC_SYMTAB:
4956 if (!bfd_mach_o_read_symtab (abfd, command, filesize))
4957 return false;
4958 break;
4959 case BFD_MACH_O_LC_SYMSEG:
4960 break;
4961 case BFD_MACH_O_LC_THREAD:
4962 case BFD_MACH_O_LC_UNIXTHREAD:
4963 if (!bfd_mach_o_read_thread (abfd, command))
4964 return false;
4965 break;
4966 case BFD_MACH_O_LC_LOAD_DYLINKER:
4967 case BFD_MACH_O_LC_ID_DYLINKER:
4968 case BFD_MACH_O_LC_DYLD_ENVIRONMENT:
4969 if (!bfd_mach_o_read_dylinker (abfd, command))
4970 return false;
4971 break;
4972 case BFD_MACH_O_LC_LOAD_DYLIB:
4973 case BFD_MACH_O_LC_LAZY_LOAD_DYLIB:
4974 case BFD_MACH_O_LC_ID_DYLIB:
4975 case BFD_MACH_O_LC_LOAD_WEAK_DYLIB:
4976 case BFD_MACH_O_LC_REEXPORT_DYLIB:
4977 case BFD_MACH_O_LC_LOAD_UPWARD_DYLIB:
4978 if (!bfd_mach_o_read_dylib (abfd, command))
4979 return false;
4980 break;
4981 case BFD_MACH_O_LC_PREBOUND_DYLIB:
4982 if (!bfd_mach_o_read_prebound_dylib (abfd, command))
4983 return false;
4984 break;
4985 case BFD_MACH_O_LC_LOADFVMLIB:
4986 case BFD_MACH_O_LC_IDFVMLIB:
4987 if (!bfd_mach_o_read_fvmlib (abfd, command))
4988 return false;
4989 break;
4990 case BFD_MACH_O_LC_IDENT:
4991 case BFD_MACH_O_LC_FVMFILE:
4992 case BFD_MACH_O_LC_PREPAGE:
4993 case BFD_MACH_O_LC_ROUTINES:
4994 case BFD_MACH_O_LC_ROUTINES_64:
4995 break;
4996 case BFD_MACH_O_LC_SUB_FRAMEWORK:
4997 case BFD_MACH_O_LC_SUB_UMBRELLA:
4998 case BFD_MACH_O_LC_SUB_LIBRARY:
4999 case BFD_MACH_O_LC_SUB_CLIENT:
5000 case BFD_MACH_O_LC_RPATH:
5001 if (!bfd_mach_o_read_str (abfd, command))
5002 return false;
5003 break;
5004 case BFD_MACH_O_LC_DYSYMTAB:
5005 if (!bfd_mach_o_read_dysymtab (abfd, command, filesize))
5006 return false;
5007 break;
5008 case BFD_MACH_O_LC_PREBIND_CKSUM:
5009 if (!bfd_mach_o_read_prebind_cksum (abfd, command))
5010 return false;
5011 break;
5012 case BFD_MACH_O_LC_TWOLEVEL_HINTS:
5013 if (!bfd_mach_o_read_twolevel_hints (abfd, command))
5014 return false;
5015 break;
5016 case BFD_MACH_O_LC_UUID:
5017 if (!bfd_mach_o_read_uuid (abfd, command))
5018 return false;
5019 break;
5020 case BFD_MACH_O_LC_CODE_SIGNATURE:
5021 case BFD_MACH_O_LC_SEGMENT_SPLIT_INFO:
5022 case BFD_MACH_O_LC_FUNCTION_STARTS:
5023 case BFD_MACH_O_LC_DATA_IN_CODE:
5024 case BFD_MACH_O_LC_DYLIB_CODE_SIGN_DRS:
5025 case BFD_MACH_O_LC_LINKER_OPTIMIZATION_HINT:
5026 case BFD_MACH_O_LC_DYLD_EXPORTS_TRIE:
5027 case BFD_MACH_O_LC_DYLD_CHAINED_FIXUPS:
5028 if (!bfd_mach_o_read_linkedit (abfd, command))
5029 return false;
5030 break;
5031 case BFD_MACH_O_LC_ENCRYPTION_INFO:
5032 if (!bfd_mach_o_read_encryption_info (abfd, command))
5033 return false;
5034 break;
5035 case BFD_MACH_O_LC_ENCRYPTION_INFO_64:
5036 if (!bfd_mach_o_read_encryption_info_64 (abfd, command))
5037 return false;
5038 break;
5039 case BFD_MACH_O_LC_DYLD_INFO:
5040 if (!bfd_mach_o_read_dyld_info (abfd, command))
5041 return false;
5042 break;
5043 case BFD_MACH_O_LC_VERSION_MIN_MACOSX:
5044 case BFD_MACH_O_LC_VERSION_MIN_IPHONEOS:
5045 case BFD_MACH_O_LC_VERSION_MIN_WATCHOS:
5046 case BFD_MACH_O_LC_VERSION_MIN_TVOS:
5047 if (!bfd_mach_o_read_version_min (abfd, command))
5048 return false;
5049 break;
5050 case BFD_MACH_O_LC_MAIN:
5051 if (!bfd_mach_o_read_main (abfd, command))
5052 return false;
5053 break;
5054 case BFD_MACH_O_LC_SOURCE_VERSION:
5055 if (!bfd_mach_o_read_source_version (abfd, command))
5056 return false;
5057 break;
5058 case BFD_MACH_O_LC_LINKER_OPTIONS:
5059 break;
5060 case BFD_MACH_O_LC_NOTE:
5061 if (!bfd_mach_o_read_note (abfd, command))
5062 return false;
5063 break;
5064 case BFD_MACH_O_LC_BUILD_VERSION:
5065 if (!bfd_mach_o_read_build_version (abfd, command))
5066 return false;
5067 break;
5068 default:
5069 command->len = 0;
5070 _bfd_error_handler (_("%pB: unknown load command %#x"),
5071 abfd, command->type);
5072 return false;
5073 }
5074
5075 return true;
5076 }
5077
5078 static bool
5079 bfd_mach_o_flatten_sections (bfd *abfd)
5080 {
5081 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
5082 bfd_mach_o_load_command *cmd;
5083 long csect = 0;
5084 size_t amt;
5085
5086 /* Count total number of sections. */
5087 mdata->nsects = 0;
5088
5089 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5090 {
5091 if (cmd->type == BFD_MACH_O_LC_SEGMENT
5092 || cmd->type == BFD_MACH_O_LC_SEGMENT_64)
5093 {
5094 bfd_mach_o_segment_command *seg = &cmd->command.segment;
5095
5096 mdata->nsects += seg->nsects;
5097 }
5098 }
5099
5100 /* Allocate sections array. */
5101 if (_bfd_mul_overflow (mdata->nsects, sizeof (bfd_mach_o_section *), &amt))
5102 {
5103 bfd_set_error (bfd_error_file_too_big);
5104 return false;
5105 }
5106 mdata->sections = bfd_alloc (abfd, amt);
5107 if (mdata->sections == NULL && mdata->nsects != 0)
5108 return false;
5109
5110 /* Fill the array. */
5111 csect = 0;
5112
5113 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5114 {
5115 if (cmd->type == BFD_MACH_O_LC_SEGMENT
5116 || cmd->type == BFD_MACH_O_LC_SEGMENT_64)
5117 {
5118 bfd_mach_o_segment_command *seg = &cmd->command.segment;
5119 bfd_mach_o_section *sec;
5120
5121 BFD_ASSERT (csect + seg->nsects <= mdata->nsects);
5122
5123 for (sec = seg->sect_head; sec != NULL; sec = sec->next)
5124 mdata->sections[csect++] = sec;
5125 }
5126 }
5127 return true;
5128 }
5129
5130 static bool
5131 bfd_mach_o_scan_start_address (bfd *abfd)
5132 {
5133 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
5134 bfd_mach_o_thread_command *thr = NULL;
5135 bfd_mach_o_load_command *cmd;
5136 unsigned long i;
5137
5138 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5139 if (cmd->type == BFD_MACH_O_LC_THREAD
5140 || cmd->type == BFD_MACH_O_LC_UNIXTHREAD)
5141 {
5142 thr = &cmd->command.thread;
5143 break;
5144 }
5145 else if (cmd->type == BFD_MACH_O_LC_MAIN && mdata->nsects > 1)
5146 {
5147 bfd_mach_o_main_command *main_cmd = &cmd->command.main;
5148 bfd_mach_o_section *text_sect = mdata->sections[0];
5149
5150 if (text_sect)
5151 {
5152 abfd->start_address = main_cmd->entryoff
5153 + (text_sect->addr - text_sect->offset);
5154 return true;
5155 }
5156 }
5157
5158 /* An object file has no start address, so do not fail if not found. */
5159 if (thr == NULL)
5160 return true;
5161
5162 /* FIXME: create a subtarget hook ? */
5163 for (i = 0; i < thr->nflavours; i++)
5164 {
5165 if ((mdata->header.cputype == BFD_MACH_O_CPU_TYPE_I386)
5166 && (thr->flavours[i].flavour == BFD_MACH_O_x86_THREAD_STATE32))
5167 {
5168 unsigned char buf[4];
5169
5170 if (bfd_seek (abfd, thr->flavours[i].offset + 40, SEEK_SET) != 0
5171 || bfd_bread (buf, 4, abfd) != 4)
5172 return false;
5173
5174 abfd->start_address = bfd_h_get_32 (abfd, buf);
5175 }
5176 else if ((mdata->header.cputype == BFD_MACH_O_CPU_TYPE_POWERPC)
5177 && (thr->flavours[i].flavour == BFD_MACH_O_PPC_THREAD_STATE))
5178 {
5179 unsigned char buf[4];
5180
5181 if (bfd_seek (abfd, thr->flavours[i].offset + 0, SEEK_SET) != 0
5182 || bfd_bread (buf, 4, abfd) != 4)
5183 return false;
5184
5185 abfd->start_address = bfd_h_get_32 (abfd, buf);
5186 }
5187 else if ((mdata->header.cputype == BFD_MACH_O_CPU_TYPE_POWERPC_64)
5188 && (thr->flavours[i].flavour == BFD_MACH_O_PPC_THREAD_STATE64))
5189 {
5190 unsigned char buf[8];
5191
5192 if (bfd_seek (abfd, thr->flavours[i].offset + 0, SEEK_SET) != 0
5193 || bfd_bread (buf, 8, abfd) != 8)
5194 return false;
5195
5196 abfd->start_address = bfd_h_get_64 (abfd, buf);
5197 }
5198 else if ((mdata->header.cputype == BFD_MACH_O_CPU_TYPE_X86_64)
5199 && (thr->flavours[i].flavour == BFD_MACH_O_x86_THREAD_STATE64))
5200 {
5201 unsigned char buf[8];
5202
5203 if (bfd_seek (abfd, thr->flavours[i].offset + (16 * 8), SEEK_SET) != 0
5204 || bfd_bread (buf, 8, abfd) != 8)
5205 return false;
5206
5207 abfd->start_address = bfd_h_get_64 (abfd, buf);
5208 }
5209 }
5210
5211 return true;
5212 }
5213
5214 bool
5215 bfd_mach_o_set_arch_mach (bfd *abfd,
5216 enum bfd_architecture arch,
5217 unsigned long machine)
5218 {
5219 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
5220
5221 /* If this isn't the right architecture for this backend, and this
5222 isn't the generic backend, fail. */
5223 if (arch != bed->arch
5224 && arch != bfd_arch_unknown
5225 && bed->arch != bfd_arch_unknown)
5226 return false;
5227
5228 return bfd_default_set_arch_mach (abfd, arch, machine);
5229 }
5230
5231 static bool
5232 bfd_mach_o_scan (bfd *abfd,
5233 bfd_mach_o_header *header,
5234 bfd_mach_o_data_struct *mdata)
5235 {
5236 unsigned int i;
5237 enum bfd_architecture cpu_type;
5238 unsigned long cpu_subtype;
5239 unsigned int hdrsize;
5240
5241 hdrsize = mach_o_wide_p (header) ?
5242 BFD_MACH_O_HEADER_64_SIZE : BFD_MACH_O_HEADER_SIZE;
5243
5244 mdata->header = *header;
5245
5246 abfd->flags = abfd->flags & BFD_IN_MEMORY;
5247 switch (header->filetype)
5248 {
5249 case BFD_MACH_O_MH_OBJECT:
5250 abfd->flags |= HAS_RELOC;
5251 break;
5252 case BFD_MACH_O_MH_EXECUTE:
5253 abfd->flags |= EXEC_P;
5254 break;
5255 case BFD_MACH_O_MH_DYLIB:
5256 case BFD_MACH_O_MH_BUNDLE:
5257 abfd->flags |= DYNAMIC;
5258 break;
5259 }
5260
5261 abfd->tdata.mach_o_data = mdata;
5262
5263 bfd_mach_o_convert_architecture (header->cputype, header->cpusubtype,
5264 &cpu_type, &cpu_subtype);
5265 if (cpu_type == bfd_arch_unknown)
5266 {
5267 _bfd_error_handler
5268 /* xgettext:c-format */
5269 (_("bfd_mach_o_scan: unknown architecture 0x%lx/0x%lx"),
5270 header->cputype, header->cpusubtype);
5271 return false;
5272 }
5273
5274 bfd_set_arch_mach (abfd, cpu_type, cpu_subtype);
5275
5276 if (header->ncmds != 0)
5277 {
5278 bfd_mach_o_load_command *cmd;
5279 size_t amt;
5280 ufile_ptr filesize = bfd_get_file_size (abfd);
5281
5282 if (filesize == 0)
5283 filesize = (ufile_ptr) -1;
5284
5285 mdata->first_command = NULL;
5286 mdata->last_command = NULL;
5287
5288 if (header->ncmds > (filesize - hdrsize) / BFD_MACH_O_LC_SIZE)
5289 {
5290 bfd_set_error (bfd_error_file_truncated);
5291 return false;
5292 }
5293 if (_bfd_mul_overflow (header->ncmds,
5294 sizeof (bfd_mach_o_load_command), &amt))
5295 {
5296 bfd_set_error (bfd_error_file_too_big);
5297 return false;
5298 }
5299 cmd = bfd_alloc (abfd, amt);
5300 if (cmd == NULL)
5301 return false;
5302
5303 for (i = 0; i < header->ncmds; i++)
5304 {
5305 bfd_mach_o_load_command *cur = &cmd[i];
5306
5307 bfd_mach_o_append_command (abfd, cur);
5308
5309 if (i == 0)
5310 cur->offset = hdrsize;
5311 else
5312 {
5313 bfd_mach_o_load_command *prev = &cmd[i - 1];
5314 cur->offset = prev->offset + prev->len;
5315 }
5316
5317 if (!bfd_mach_o_read_command (abfd, cur, filesize))
5318 return false;
5319 }
5320 }
5321
5322 /* Sections should be flatten before scanning start address. */
5323 if (!bfd_mach_o_flatten_sections (abfd))
5324 return false;
5325 if (!bfd_mach_o_scan_start_address (abfd))
5326 return false;
5327
5328 return true;
5329 }
5330
5331 bool
5332 bfd_mach_o_mkobject_init (bfd *abfd)
5333 {
5334 bfd_mach_o_data_struct *mdata = NULL;
5335
5336 mdata = bfd_zalloc (abfd, sizeof (bfd_mach_o_data_struct));
5337 if (mdata == NULL)
5338 return false;
5339 abfd->tdata.mach_o_data = mdata;
5340
5341 mdata->header.magic = 0;
5342 mdata->header.cputype = 0;
5343 mdata->header.cpusubtype = 0;
5344 mdata->header.filetype = 0;
5345 mdata->header.ncmds = 0;
5346 mdata->header.sizeofcmds = 0;
5347 mdata->header.flags = 0;
5348 mdata->header.byteorder = BFD_ENDIAN_UNKNOWN;
5349 mdata->first_command = NULL;
5350 mdata->last_command = NULL;
5351 mdata->nsects = 0;
5352 mdata->sections = NULL;
5353 mdata->dyn_reloc_cache = NULL;
5354
5355 return true;
5356 }
5357
5358 static bool
5359 bfd_mach_o_gen_mkobject (bfd *abfd)
5360 {
5361 bfd_mach_o_data_struct *mdata;
5362
5363 if (!bfd_mach_o_mkobject_init (abfd))
5364 return false;
5365
5366 mdata = bfd_mach_o_get_data (abfd);
5367 mdata->header.magic = BFD_MACH_O_MH_MAGIC;
5368 mdata->header.cputype = 0;
5369 mdata->header.cpusubtype = 0;
5370 mdata->header.byteorder = abfd->xvec->byteorder;
5371 mdata->header.version = 1;
5372
5373 return true;
5374 }
5375
5376 bfd_cleanup
5377 bfd_mach_o_header_p (bfd *abfd,
5378 file_ptr hdr_off,
5379 bfd_mach_o_filetype file_type,
5380 bfd_mach_o_cpu_type cpu_type)
5381 {
5382 bfd_mach_o_header header;
5383 bfd_mach_o_data_struct *mdata;
5384
5385 if (!bfd_mach_o_read_header (abfd, hdr_off, &header))
5386 goto wrong;
5387
5388 if (! (header.byteorder == BFD_ENDIAN_BIG
5389 || header.byteorder == BFD_ENDIAN_LITTLE))
5390 {
5391 _bfd_error_handler (_("unknown header byte-order value %#x"),
5392 header.byteorder);
5393 goto wrong;
5394 }
5395
5396 if (! ((header.byteorder == BFD_ENDIAN_BIG
5397 && abfd->xvec->byteorder == BFD_ENDIAN_BIG
5398 && abfd->xvec->header_byteorder == BFD_ENDIAN_BIG)
5399 || (header.byteorder == BFD_ENDIAN_LITTLE
5400 && abfd->xvec->byteorder == BFD_ENDIAN_LITTLE
5401 && abfd->xvec->header_byteorder == BFD_ENDIAN_LITTLE)))
5402 goto wrong;
5403
5404 /* Check cputype and filetype.
5405 In case of wildcard, do not accept magics that are handled by existing
5406 targets. */
5407 if (cpu_type)
5408 {
5409 if (header.cputype != cpu_type)
5410 goto wrong;
5411 }
5412 else
5413 {
5414 #ifndef BFD64
5415 /* Do not recognize 64 architectures if not configured for 64bit targets.
5416 This could happen only for generic targets. */
5417 if (mach_o_wide_p (&header))
5418 goto wrong;
5419 #endif
5420 }
5421
5422 if (file_type)
5423 {
5424 if (header.filetype != file_type)
5425 goto wrong;
5426 }
5427 else
5428 {
5429 switch (header.filetype)
5430 {
5431 case BFD_MACH_O_MH_CORE:
5432 /* Handled by core_p */
5433 goto wrong;
5434 default:
5435 break;
5436 }
5437 }
5438
5439 mdata = (bfd_mach_o_data_struct *) bfd_zalloc (abfd, sizeof (*mdata));
5440 if (mdata == NULL)
5441 goto fail;
5442 mdata->hdr_offset = hdr_off;
5443
5444 if (!bfd_mach_o_scan (abfd, &header, mdata))
5445 goto wrong;
5446
5447 return _bfd_no_cleanup;
5448
5449 wrong:
5450 bfd_set_error (bfd_error_wrong_format);
5451
5452 fail:
5453 return NULL;
5454 }
5455
5456 static bfd_cleanup
5457 bfd_mach_o_gen_object_p (bfd *abfd)
5458 {
5459 return bfd_mach_o_header_p (abfd, 0, 0, 0);
5460 }
5461
5462 static bfd_cleanup
5463 bfd_mach_o_gen_core_p (bfd *abfd)
5464 {
5465 return bfd_mach_o_header_p (abfd, 0, BFD_MACH_O_MH_CORE, 0);
5466 }
5467
5468 /* Return the base address of ABFD, ie the address at which the image is
5469 mapped. The possible initial pagezero is ignored. */
5470
5471 bfd_vma
5472 bfd_mach_o_get_base_address (bfd *abfd)
5473 {
5474 bfd_mach_o_data_struct *mdata;
5475 bfd_mach_o_load_command *cmd;
5476
5477 /* Check for Mach-O. */
5478 if (!bfd_mach_o_valid (abfd))
5479 return 0;
5480 mdata = bfd_mach_o_get_data (abfd);
5481
5482 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5483 {
5484 if ((cmd->type == BFD_MACH_O_LC_SEGMENT
5485 || cmd->type == BFD_MACH_O_LC_SEGMENT_64))
5486 {
5487 struct bfd_mach_o_segment_command *segcmd = &cmd->command.segment;
5488
5489 if (segcmd->initprot != 0)
5490 return segcmd->vmaddr;
5491 }
5492 }
5493 return 0;
5494 }
5495
5496 typedef struct mach_o_fat_archentry
5497 {
5498 unsigned long cputype;
5499 unsigned long cpusubtype;
5500 unsigned long offset;
5501 unsigned long size;
5502 unsigned long align;
5503 } mach_o_fat_archentry;
5504
5505 typedef struct mach_o_fat_data_struct
5506 {
5507 unsigned long magic;
5508 unsigned long nfat_arch;
5509 mach_o_fat_archentry *archentries;
5510 } mach_o_fat_data_struct;
5511
5512 /* Check for overlapping archive elements. Note that we can't allow
5513 multiple elements at the same offset even if one is empty, because
5514 bfd_mach_o_fat_openr_next_archived_file assume distinct offsets. */
5515 static bool
5516 overlap_previous (const mach_o_fat_archentry *elt, unsigned long i)
5517 {
5518 unsigned long j = i;
5519 while (j-- != 0)
5520 if (elt[i].offset == elt[j].offset
5521 || (elt[i].offset > elt[j].offset
5522 ? elt[i].offset - elt[j].offset < elt[j].size
5523 : elt[j].offset - elt[i].offset < elt[i].size))
5524 return true;
5525 return false;
5526 }
5527
5528 bfd_cleanup
5529 bfd_mach_o_fat_archive_p (bfd *abfd)
5530 {
5531 mach_o_fat_data_struct *adata = NULL;
5532 struct mach_o_fat_header_external hdr;
5533 unsigned long i;
5534 size_t amt;
5535 ufile_ptr filesize;
5536
5537 if (bfd_seek (abfd, 0, SEEK_SET) != 0
5538 || bfd_bread (&hdr, sizeof (hdr), abfd) != sizeof (hdr))
5539 goto error;
5540
5541 adata = bfd_alloc (abfd, sizeof (mach_o_fat_data_struct));
5542 if (adata == NULL)
5543 goto error;
5544
5545 adata->magic = bfd_getb32 (hdr.magic);
5546 adata->nfat_arch = bfd_getb32 (hdr.nfat_arch);
5547 if (adata->magic != 0xcafebabe)
5548 goto error;
5549 /* Avoid matching Java bytecode files, which have the same magic number.
5550 In the Java bytecode file format this field contains the JVM version,
5551 which starts at 43.0. */
5552 if (adata->nfat_arch > 30)
5553 goto error;
5554
5555 if (_bfd_mul_overflow (adata->nfat_arch,
5556 sizeof (mach_o_fat_archentry), &amt))
5557 {
5558 bfd_set_error (bfd_error_file_too_big);
5559 goto error;
5560 }
5561 adata->archentries = bfd_alloc (abfd, amt);
5562 if (adata->archentries == NULL)
5563 goto error;
5564
5565 filesize = bfd_get_file_size (abfd);
5566 for (i = 0; i < adata->nfat_arch; i++)
5567 {
5568 struct mach_o_fat_arch_external arch;
5569 if (bfd_bread (&arch, sizeof (arch), abfd) != sizeof (arch))
5570 goto error;
5571 adata->archentries[i].cputype = bfd_getb32 (arch.cputype);
5572 adata->archentries[i].cpusubtype = bfd_getb32 (arch.cpusubtype);
5573 adata->archentries[i].offset = bfd_getb32 (arch.offset);
5574 adata->archentries[i].size = bfd_getb32 (arch.size);
5575 adata->archentries[i].align = bfd_getb32 (arch.align);
5576 if ((filesize != 0
5577 && (adata->archentries[i].offset > filesize
5578 || (adata->archentries[i].size
5579 > filesize - adata->archentries[i].offset)))
5580 || (adata->archentries[i].offset
5581 < sizeof (hdr) + adata->nfat_arch * sizeof (arch))
5582 || overlap_previous (adata->archentries, i))
5583 {
5584 bfd_release (abfd, adata);
5585 bfd_set_error (bfd_error_malformed_archive);
5586 return NULL;
5587 }
5588 }
5589
5590 abfd->tdata.mach_o_fat_data = adata;
5591
5592 return _bfd_no_cleanup;
5593
5594 error:
5595 if (adata != NULL)
5596 bfd_release (abfd, adata);
5597 bfd_set_error (bfd_error_wrong_format);
5598 return NULL;
5599 }
5600
5601 /* Set the filename for a fat binary member ABFD, whose bfd architecture is
5602 ARCH_TYPE/ARCH_SUBTYPE and corresponding entry in header is ENTRY.
5603 Set arelt_data and origin fields too. */
5604
5605 static bool
5606 bfd_mach_o_fat_member_init (bfd *abfd,
5607 enum bfd_architecture arch_type,
5608 unsigned long arch_subtype,
5609 mach_o_fat_archentry *entry)
5610 {
5611 struct areltdata *areltdata;
5612 /* Create the member filename. Use ARCH_NAME. */
5613 const bfd_arch_info_type *ap = bfd_lookup_arch (arch_type, arch_subtype);
5614 const char *filename;
5615
5616 if (ap)
5617 {
5618 /* Use the architecture name if known. */
5619 filename = bfd_set_filename (abfd, ap->printable_name);
5620 }
5621 else
5622 {
5623 /* Forge a uniq id. */
5624 char buf[2 + 8 + 1 + 2 + 8 + 1];
5625 snprintf (buf, sizeof (buf), "0x%lx-0x%lx",
5626 entry->cputype, entry->cpusubtype);
5627 filename = bfd_set_filename (abfd, buf);
5628 }
5629 if (!filename)
5630 return false;
5631
5632 areltdata = bfd_zmalloc (sizeof (struct areltdata));
5633 if (areltdata == NULL)
5634 return false;
5635 areltdata->parsed_size = entry->size;
5636 abfd->arelt_data = areltdata;
5637 abfd->iostream = NULL;
5638 abfd->origin = entry->offset;
5639 return true;
5640 }
5641
5642 bfd *
5643 bfd_mach_o_fat_openr_next_archived_file (bfd *archive, bfd *prev)
5644 {
5645 mach_o_fat_data_struct *adata;
5646 mach_o_fat_archentry *entry = NULL;
5647 unsigned long i;
5648 bfd *nbfd;
5649 enum bfd_architecture arch_type;
5650 unsigned long arch_subtype;
5651
5652 adata = (mach_o_fat_data_struct *) archive->tdata.mach_o_fat_data;
5653 BFD_ASSERT (adata != NULL);
5654
5655 /* Find index of previous entry. */
5656 if (prev == NULL)
5657 {
5658 /* Start at first one. */
5659 i = 0;
5660 }
5661 else
5662 {
5663 /* Find index of PREV. */
5664 for (i = 0; i < adata->nfat_arch; i++)
5665 {
5666 if (adata->archentries[i].offset == prev->origin)
5667 break;
5668 }
5669
5670 if (i == adata->nfat_arch)
5671 {
5672 /* Not found. */
5673 bfd_set_error (bfd_error_bad_value);
5674 return NULL;
5675 }
5676
5677 /* Get next entry. */
5678 i++;
5679 }
5680
5681 if (i >= adata->nfat_arch)
5682 {
5683 bfd_set_error (bfd_error_no_more_archived_files);
5684 return NULL;
5685 }
5686
5687 entry = &adata->archentries[i];
5688 nbfd = _bfd_new_bfd_contained_in (archive);
5689 if (nbfd == NULL)
5690 return NULL;
5691
5692 bfd_mach_o_convert_architecture (entry->cputype, entry->cpusubtype,
5693 &arch_type, &arch_subtype);
5694
5695 if (!bfd_mach_o_fat_member_init (nbfd, arch_type, arch_subtype, entry))
5696 {
5697 bfd_close (nbfd);
5698 return NULL;
5699 }
5700
5701 bfd_set_arch_mach (nbfd, arch_type, arch_subtype);
5702
5703 return nbfd;
5704 }
5705
5706 /* Analogous to stat call. */
5707
5708 static int
5709 bfd_mach_o_fat_stat_arch_elt (bfd *abfd, struct stat *buf)
5710 {
5711 if (abfd->arelt_data == NULL)
5712 {
5713 bfd_set_error (bfd_error_invalid_operation);
5714 return -1;
5715 }
5716
5717 buf->st_mtime = 0;
5718 buf->st_uid = 0;
5719 buf->st_gid = 0;
5720 buf->st_mode = 0644;
5721 buf->st_size = arelt_size (abfd);
5722
5723 return 0;
5724 }
5725
5726 /* If ABFD format is FORMAT and architecture is ARCH, return it.
5727 If ABFD is a fat image containing a member that corresponds to FORMAT
5728 and ARCH, returns it.
5729 In other case, returns NULL.
5730 This function allows transparent uses of fat images. */
5731
5732 bfd *
5733 bfd_mach_o_fat_extract (bfd *abfd,
5734 bfd_format format,
5735 const bfd_arch_info_type *arch)
5736 {
5737 bfd *res;
5738 mach_o_fat_data_struct *adata;
5739 unsigned int i;
5740
5741 if (bfd_check_format (abfd, format))
5742 {
5743 if (bfd_get_arch_info (abfd) == arch)
5744 return abfd;
5745 return NULL;
5746 }
5747 if (!bfd_check_format (abfd, bfd_archive)
5748 || abfd->xvec != &mach_o_fat_vec)
5749 return NULL;
5750
5751 /* This is a Mach-O fat image. */
5752 adata = (mach_o_fat_data_struct *) abfd->tdata.mach_o_fat_data;
5753 BFD_ASSERT (adata != NULL);
5754
5755 for (i = 0; i < adata->nfat_arch; i++)
5756 {
5757 struct mach_o_fat_archentry *e = &adata->archentries[i];
5758 enum bfd_architecture cpu_type;
5759 unsigned long cpu_subtype;
5760
5761 bfd_mach_o_convert_architecture (e->cputype, e->cpusubtype,
5762 &cpu_type, &cpu_subtype);
5763 if (cpu_type != arch->arch || cpu_subtype != arch->mach)
5764 continue;
5765
5766 /* The architecture is found. */
5767 res = _bfd_new_bfd_contained_in (abfd);
5768 if (res == NULL)
5769 return NULL;
5770
5771 if (bfd_mach_o_fat_member_init (res, cpu_type, cpu_subtype, e)
5772 && bfd_check_format (res, format))
5773 {
5774 BFD_ASSERT (bfd_get_arch_info (res) == arch);
5775 return res;
5776 }
5777 bfd_close (res);
5778 return NULL;
5779 }
5780
5781 return NULL;
5782 }
5783
5784 static bool
5785 bfd_mach_o_fat_close_and_cleanup (bfd *abfd)
5786 {
5787 _bfd_unlink_from_archive_parent (abfd);
5788 return true;
5789 }
5790
5791 int
5792 bfd_mach_o_lookup_command (bfd *abfd,
5793 bfd_mach_o_load_command_type type,
5794 bfd_mach_o_load_command **mcommand)
5795 {
5796 struct mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
5797 struct bfd_mach_o_load_command *cmd;
5798 unsigned int num;
5799
5800 BFD_ASSERT (mdata != NULL);
5801 BFD_ASSERT (mcommand != NULL);
5802
5803 num = 0;
5804 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5805 {
5806 if (cmd->type != type)
5807 continue;
5808
5809 if (num == 0)
5810 *mcommand = cmd;
5811 num++;
5812 }
5813
5814 return num;
5815 }
5816
5817 unsigned long
5818 bfd_mach_o_stack_addr (enum bfd_mach_o_cpu_type type)
5819 {
5820 switch (type)
5821 {
5822 case BFD_MACH_O_CPU_TYPE_MC680x0:
5823 return 0x04000000;
5824 case BFD_MACH_O_CPU_TYPE_POWERPC:
5825 return 0xc0000000;
5826 case BFD_MACH_O_CPU_TYPE_I386:
5827 return 0xc0000000;
5828 case BFD_MACH_O_CPU_TYPE_SPARC:
5829 return 0xf0000000;
5830 case BFD_MACH_O_CPU_TYPE_HPPA:
5831 return 0xc0000000 - 0x04000000;
5832 default:
5833 return 0;
5834 }
5835 }
5836
5837 /* The following two tables should be kept, as far as possible, in order of
5838 most frequently used entries to optimize their use from gas. */
5839
5840 const bfd_mach_o_xlat_name bfd_mach_o_section_type_name[] =
5841 {
5842 { "regular", BFD_MACH_O_S_REGULAR},
5843 { "coalesced", BFD_MACH_O_S_COALESCED},
5844 { "zerofill", BFD_MACH_O_S_ZEROFILL},
5845 { "cstring_literals", BFD_MACH_O_S_CSTRING_LITERALS},
5846 { "4byte_literals", BFD_MACH_O_S_4BYTE_LITERALS},
5847 { "8byte_literals", BFD_MACH_O_S_8BYTE_LITERALS},
5848 { "16byte_literals", BFD_MACH_O_S_16BYTE_LITERALS},
5849 { "literal_pointers", BFD_MACH_O_S_LITERAL_POINTERS},
5850 { "mod_init_func_pointers", BFD_MACH_O_S_MOD_INIT_FUNC_POINTERS},
5851 { "mod_fini_func_pointers", BFD_MACH_O_S_MOD_FINI_FUNC_POINTERS},
5852 { "gb_zerofill", BFD_MACH_O_S_GB_ZEROFILL},
5853 { "interposing", BFD_MACH_O_S_INTERPOSING},
5854 { "dtrace_dof", BFD_MACH_O_S_DTRACE_DOF},
5855 { "non_lazy_symbol_pointers", BFD_MACH_O_S_NON_LAZY_SYMBOL_POINTERS},
5856 { "lazy_symbol_pointers", BFD_MACH_O_S_LAZY_SYMBOL_POINTERS},
5857 { "symbol_stubs", BFD_MACH_O_S_SYMBOL_STUBS},
5858 { "lazy_dylib_symbol_pointers", BFD_MACH_O_S_LAZY_DYLIB_SYMBOL_POINTERS},
5859 { NULL, 0}
5860 };
5861
5862 const bfd_mach_o_xlat_name bfd_mach_o_section_attribute_name[] =
5863 {
5864 { "pure_instructions", BFD_MACH_O_S_ATTR_PURE_INSTRUCTIONS },
5865 { "some_instructions", BFD_MACH_O_S_ATTR_SOME_INSTRUCTIONS },
5866 { "loc_reloc", BFD_MACH_O_S_ATTR_LOC_RELOC },
5867 { "ext_reloc", BFD_MACH_O_S_ATTR_EXT_RELOC },
5868 { "debug", BFD_MACH_O_S_ATTR_DEBUG },
5869 { "live_support", BFD_MACH_O_S_ATTR_LIVE_SUPPORT },
5870 { "no_dead_strip", BFD_MACH_O_S_ATTR_NO_DEAD_STRIP },
5871 { "strip_static_syms", BFD_MACH_O_S_ATTR_STRIP_STATIC_SYMS },
5872 { "no_toc", BFD_MACH_O_S_ATTR_NO_TOC },
5873 { "self_modifying_code", BFD_MACH_O_S_SELF_MODIFYING_CODE },
5874 { "modifying_code", BFD_MACH_O_S_SELF_MODIFYING_CODE },
5875 { NULL, 0}
5876 };
5877
5878 /* Get the section type from NAME. Return 256 if NAME is unknown. */
5879
5880 unsigned int
5881 bfd_mach_o_get_section_type_from_name (bfd *abfd, const char *name)
5882 {
5883 const bfd_mach_o_xlat_name *x;
5884 bfd_mach_o_backend_data *bed = bfd_mach_o_get_backend_data (abfd);
5885
5886 for (x = bfd_mach_o_section_type_name; x->name; x++)
5887 if (strcmp (x->name, name) == 0)
5888 {
5889 /* We found it... does the target support it? */
5890 if (bed->bfd_mach_o_section_type_valid_for_target == NULL
5891 || bed->bfd_mach_o_section_type_valid_for_target (x->val))
5892 return x->val; /* OK. */
5893 else
5894 break; /* Not supported. */
5895 }
5896 /* Maximum section ID = 0xff. */
5897 return 256;
5898 }
5899
5900 /* Get the section attribute from NAME. Return -1 if NAME is unknown. */
5901
5902 unsigned int
5903 bfd_mach_o_get_section_attribute_from_name (const char *name)
5904 {
5905 const bfd_mach_o_xlat_name *x;
5906
5907 for (x = bfd_mach_o_section_attribute_name; x->name; x++)
5908 if (strcmp (x->name, name) == 0)
5909 return x->val;
5910 return (unsigned int)-1;
5911 }
5912
5913 int
5914 bfd_mach_o_core_fetch_environment (bfd *abfd,
5915 unsigned char **rbuf,
5916 unsigned int *rlen)
5917 {
5918 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
5919 unsigned long stackaddr = bfd_mach_o_stack_addr (mdata->header.cputype);
5920 bfd_mach_o_load_command *cmd;
5921
5922 for (cmd = mdata->first_command; cmd != NULL; cmd = cmd->next)
5923 {
5924 bfd_mach_o_segment_command *seg;
5925
5926 if (cmd->type != BFD_MACH_O_LC_SEGMENT)
5927 continue;
5928
5929 seg = &cmd->command.segment;
5930
5931 if ((seg->vmaddr + seg->vmsize) == stackaddr)
5932 {
5933 unsigned long start = seg->fileoff;
5934 unsigned long end = seg->fileoff + seg->filesize;
5935 unsigned char *buf = bfd_malloc (1024);
5936 unsigned long size = 1024;
5937
5938 if (buf == NULL)
5939 return -1;
5940 for (;;)
5941 {
5942 bfd_size_type nread = 0;
5943 unsigned long offset;
5944 int found_nonnull = 0;
5945
5946 if (size > (end - start))
5947 size = (end - start);
5948
5949 buf = bfd_realloc_or_free (buf, size);
5950 if (buf == NULL)
5951 return -1;
5952
5953 if (bfd_seek (abfd, end - size, SEEK_SET) != 0)
5954 {
5955 free (buf);
5956 return -1;
5957 }
5958
5959 nread = bfd_bread (buf, size, abfd);
5960
5961 if (nread != size)
5962 {
5963 free (buf);
5964 return -1;
5965 }
5966
5967 for (offset = 4; offset <= size; offset += 4)
5968 {
5969 unsigned long val;
5970
5971 val = bfd_get_32(abfd, buf + size - offset);
5972
5973 if (! found_nonnull)
5974 {
5975 if (val != 0)
5976 found_nonnull = 1;
5977 }
5978 else if (val == 0x0)
5979 {
5980 unsigned long bottom;
5981 unsigned long top;
5982
5983 bottom = seg->fileoff + seg->filesize - offset;
5984 top = seg->fileoff + seg->filesize - 4;
5985 *rbuf = bfd_malloc (top - bottom);
5986 if (*rbuf == NULL)
5987 return -1;
5988 *rlen = top - bottom;
5989
5990 memcpy (*rbuf, buf + size - *rlen, *rlen);
5991 free (buf);
5992 return 0;
5993 }
5994 }
5995
5996 if (size == (end - start))
5997 break;
5998
5999 size *= 2;
6000 }
6001
6002 free (buf);
6003 }
6004 }
6005
6006 return -1;
6007 }
6008
6009 char *
6010 bfd_mach_o_core_file_failing_command (bfd *abfd)
6011 {
6012 unsigned char *buf = NULL;
6013 unsigned int len = 0;
6014 int ret;
6015
6016 ret = bfd_mach_o_core_fetch_environment (abfd, &buf, &len);
6017 if (ret < 0)
6018 return NULL;
6019
6020 return (char *) buf;
6021 }
6022
6023 int
6024 bfd_mach_o_core_file_failing_signal (bfd *abfd ATTRIBUTE_UNUSED)
6025 {
6026 return 0;
6027 }
6028
6029 static bfd_mach_o_uuid_command *
6030 bfd_mach_o_lookup_uuid_command (bfd *abfd)
6031 {
6032 bfd_mach_o_load_command *uuid_cmd = NULL;
6033 int ncmd = bfd_mach_o_lookup_command (abfd, BFD_MACH_O_LC_UUID, &uuid_cmd);
6034 if (ncmd != 1 || uuid_cmd == NULL)
6035 return false;
6036 return &uuid_cmd->command.uuid;
6037 }
6038
6039 /* Return true if ABFD is a dSYM file and its UUID matches UUID_CMD. */
6040
6041 static bool
6042 bfd_mach_o_dsym_for_uuid_p (bfd *abfd, const bfd_mach_o_uuid_command *uuid_cmd)
6043 {
6044 bfd_mach_o_uuid_command *dsym_uuid_cmd;
6045
6046 BFD_ASSERT (abfd);
6047 BFD_ASSERT (uuid_cmd);
6048
6049 if (!bfd_check_format (abfd, bfd_object))
6050 return false;
6051
6052 if (bfd_get_flavour (abfd) != bfd_target_mach_o_flavour
6053 || bfd_mach_o_get_data (abfd) == NULL
6054 || bfd_mach_o_get_data (abfd)->header.filetype != BFD_MACH_O_MH_DSYM)
6055 return false;
6056
6057 dsym_uuid_cmd = bfd_mach_o_lookup_uuid_command (abfd);
6058 if (dsym_uuid_cmd == NULL)
6059 return false;
6060
6061 if (memcmp (uuid_cmd->uuid, dsym_uuid_cmd->uuid,
6062 sizeof (uuid_cmd->uuid)) != 0)
6063 return false;
6064
6065 return true;
6066 }
6067
6068 /* Find a BFD in DSYM_FILENAME which matches ARCH and UUID_CMD.
6069 The caller is responsible for closing the returned BFD object and
6070 its my_archive if the returned BFD is in a fat dSYM. */
6071
6072 static bfd *
6073 bfd_mach_o_find_dsym (const char *dsym_filename,
6074 const bfd_mach_o_uuid_command *uuid_cmd,
6075 const bfd_arch_info_type *arch)
6076 {
6077 bfd *base_dsym_bfd, *dsym_bfd;
6078
6079 BFD_ASSERT (uuid_cmd);
6080
6081 base_dsym_bfd = bfd_openr (dsym_filename, NULL);
6082 if (base_dsym_bfd == NULL)
6083 return NULL;
6084
6085 dsym_bfd = bfd_mach_o_fat_extract (base_dsym_bfd, bfd_object, arch);
6086 if (bfd_mach_o_dsym_for_uuid_p (dsym_bfd, uuid_cmd))
6087 return dsym_bfd;
6088
6089 bfd_close (dsym_bfd);
6090 if (base_dsym_bfd != dsym_bfd)
6091 bfd_close (base_dsym_bfd);
6092
6093 return NULL;
6094 }
6095
6096 /* Return a BFD created from a dSYM file for ABFD.
6097 The caller is responsible for closing the returned BFD object, its
6098 filename, and its my_archive if the returned BFD is in a fat dSYM. */
6099
6100 static bfd *
6101 bfd_mach_o_follow_dsym (bfd *abfd)
6102 {
6103 char *dsym_filename;
6104 bfd_mach_o_uuid_command *uuid_cmd;
6105 bfd *dsym_bfd, *base_bfd = abfd;
6106 const char *base_basename;
6107
6108 if (abfd == NULL || bfd_get_flavour (abfd) != bfd_target_mach_o_flavour)
6109 return NULL;
6110
6111 if (abfd->my_archive && !bfd_is_thin_archive (abfd->my_archive))
6112 base_bfd = abfd->my_archive;
6113 /* BFD may have been opened from a stream. */
6114 if (bfd_get_filename (base_bfd) == NULL)
6115 {
6116 bfd_set_error (bfd_error_invalid_operation);
6117 return NULL;
6118 }
6119 base_basename = lbasename (bfd_get_filename (base_bfd));
6120
6121 uuid_cmd = bfd_mach_o_lookup_uuid_command (abfd);
6122 if (uuid_cmd == NULL)
6123 return NULL;
6124
6125 /* TODO: We assume the DWARF file has the same as the binary's.
6126 It seems apple's GDB checks all files in the dSYM bundle directory.
6127 http://opensource.apple.com/source/gdb/gdb-1708/src/gdb/macosx/macosx-tdep.c
6128 */
6129 dsym_filename = (char *)bfd_malloc (strlen (bfd_get_filename (base_bfd))
6130 + strlen (dsym_subdir) + 1
6131 + strlen (base_basename) + 1);
6132 if (dsym_filename == NULL)
6133 return NULL;
6134
6135 sprintf (dsym_filename, "%s%s/%s",
6136 bfd_get_filename (base_bfd), dsym_subdir, base_basename);
6137
6138 dsym_bfd = bfd_mach_o_find_dsym (dsym_filename, uuid_cmd,
6139 bfd_get_arch_info (abfd));
6140 if (dsym_bfd == NULL)
6141 free (dsym_filename);
6142
6143 return dsym_bfd;
6144 }
6145
6146 bool
6147 bfd_mach_o_find_nearest_line (bfd *abfd,
6148 asymbol **symbols,
6149 asection *section,
6150 bfd_vma offset,
6151 const char **filename_ptr,
6152 const char **functionname_ptr,
6153 unsigned int *line_ptr,
6154 unsigned int *discriminator_ptr)
6155 {
6156 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
6157 if (mdata == NULL)
6158 return false;
6159 switch (mdata->header.filetype)
6160 {
6161 case BFD_MACH_O_MH_OBJECT:
6162 break;
6163 case BFD_MACH_O_MH_EXECUTE:
6164 case BFD_MACH_O_MH_DYLIB:
6165 case BFD_MACH_O_MH_BUNDLE:
6166 case BFD_MACH_O_MH_KEXT_BUNDLE:
6167 if (mdata->dwarf2_find_line_info == NULL)
6168 {
6169 mdata->dsym_bfd = bfd_mach_o_follow_dsym (abfd);
6170 /* When we couldn't find dSYM for this binary, we look for
6171 the debug information in the binary itself. In this way,
6172 we won't try finding separated dSYM again because
6173 mdata->dwarf2_find_line_info will be filled. */
6174 if (! mdata->dsym_bfd)
6175 break;
6176 if (! _bfd_dwarf2_slurp_debug_info (abfd, mdata->dsym_bfd,
6177 dwarf_debug_sections, symbols,
6178 &mdata->dwarf2_find_line_info,
6179 false))
6180 return false;
6181 }
6182 break;
6183 default:
6184 return false;
6185 }
6186 return _bfd_dwarf2_find_nearest_line (abfd, symbols, NULL, section, offset,
6187 filename_ptr, functionname_ptr,
6188 line_ptr, discriminator_ptr,
6189 dwarf_debug_sections,
6190 &mdata->dwarf2_find_line_info);
6191 }
6192
6193 bool
6194 bfd_mach_o_close_and_cleanup (bfd *abfd)
6195 {
6196 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
6197 if (bfd_get_format (abfd) == bfd_object && mdata != NULL)
6198 {
6199 _bfd_dwarf2_cleanup_debug_info (abfd, &mdata->dwarf2_find_line_info);
6200 bfd_mach_o_free_cached_info (abfd);
6201 if (mdata->dsym_bfd != NULL)
6202 {
6203 bfd *fat_bfd = mdata->dsym_bfd->my_archive;
6204 #if 0
6205 /* FIXME: PR 19435: This calculation to find the memory allocated by
6206 bfd_mach_o_follow_dsym for the filename does not always end up
6207 selecting the correct pointer. Unfortunately this problem is
6208 very hard to reproduce on a non Mach-O native system, so until it
6209 can be traced and fixed on such a system, this code will remain
6210 commented out. This does mean that there will be a memory leak,
6211 but it is small, and happens when we are closing down, so it
6212 should not matter too much. */
6213 char *dsym_filename = (char *)(fat_bfd
6214 ? bfd_get_filename (fat_bfd)
6215 : bfd_get_filename (mdata->dsym_bfd));
6216 #endif
6217 bfd_close (mdata->dsym_bfd);
6218 mdata->dsym_bfd = NULL;
6219 if (fat_bfd)
6220 bfd_close (fat_bfd);
6221 #if 0
6222 free (dsym_filename);
6223 #endif
6224 }
6225 }
6226
6227 return _bfd_generic_close_and_cleanup (abfd);
6228 }
6229
6230 bool
6231 bfd_mach_o_free_cached_info (bfd *abfd)
6232 {
6233 bfd_mach_o_data_struct *mdata = bfd_mach_o_get_data (abfd);
6234 asection *asect;
6235 free (mdata->dyn_reloc_cache);
6236 mdata->dyn_reloc_cache = NULL;
6237 for (asect = abfd->sections; asect != NULL; asect = asect->next)
6238 {
6239 free (asect->relocation);
6240 asect->relocation = NULL;
6241 }
6242
6243 return true;
6244 }
6245
6246 #define bfd_mach_o_bfd_reloc_type_lookup _bfd_norelocs_bfd_reloc_type_lookup
6247 #define bfd_mach_o_bfd_reloc_name_lookup _bfd_norelocs_bfd_reloc_name_lookup
6248
6249 #define bfd_mach_o_canonicalize_one_reloc NULL
6250 #define bfd_mach_o_swap_reloc_out NULL
6251 #define bfd_mach_o_print_thread NULL
6252 #define bfd_mach_o_tgt_seg_table NULL
6253 #define bfd_mach_o_section_type_valid_for_tgt NULL
6254
6255 #define TARGET_NAME mach_o_be_vec
6256 #define TARGET_STRING "mach-o-be"
6257 #define TARGET_ARCHITECTURE bfd_arch_unknown
6258 #define TARGET_PAGESIZE 1
6259 #define TARGET_BIG_ENDIAN 1
6260 #define TARGET_ARCHIVE 0
6261 #define TARGET_PRIORITY 1
6262 #include "mach-o-target.c"
6263
6264 #undef TARGET_NAME
6265 #undef TARGET_STRING
6266 #undef TARGET_ARCHITECTURE
6267 #undef TARGET_PAGESIZE
6268 #undef TARGET_BIG_ENDIAN
6269 #undef TARGET_ARCHIVE
6270 #undef TARGET_PRIORITY
6271
6272 #define TARGET_NAME mach_o_le_vec
6273 #define TARGET_STRING "mach-o-le"
6274 #define TARGET_ARCHITECTURE bfd_arch_unknown
6275 #define TARGET_PAGESIZE 1
6276 #define TARGET_BIG_ENDIAN 0
6277 #define TARGET_ARCHIVE 0
6278 #define TARGET_PRIORITY 1
6279
6280 #include "mach-o-target.c"
6281
6282 #undef TARGET_NAME
6283 #undef TARGET_STRING
6284 #undef TARGET_ARCHITECTURE
6285 #undef TARGET_PAGESIZE
6286 #undef TARGET_BIG_ENDIAN
6287 #undef TARGET_ARCHIVE
6288 #undef TARGET_PRIORITY
6289
6290 /* Not yet handled: creating an archive. */
6291 #define bfd_mach_o_mkarchive _bfd_noarchive_mkarchive
6292
6293 #define bfd_mach_o_close_and_cleanup bfd_mach_o_fat_close_and_cleanup
6294
6295 /* Not used. */
6296 #define bfd_mach_o_generic_stat_arch_elt bfd_mach_o_fat_stat_arch_elt
6297 #define bfd_mach_o_openr_next_archived_file bfd_mach_o_fat_openr_next_archived_file
6298 #define bfd_mach_o_archive_p bfd_mach_o_fat_archive_p
6299
6300 #define TARGET_NAME mach_o_fat_vec
6301 #define TARGET_STRING "mach-o-fat"
6302 #define TARGET_ARCHITECTURE bfd_arch_unknown
6303 #define TARGET_PAGESIZE 1
6304 #define TARGET_BIG_ENDIAN 1
6305 #define TARGET_ARCHIVE 1
6306 #define TARGET_PRIORITY 0
6307
6308 #include "mach-o-target.c"
6309
6310 #undef TARGET_NAME
6311 #undef TARGET_STRING
6312 #undef TARGET_ARCHITECTURE
6313 #undef TARGET_PAGESIZE
6314 #undef TARGET_BIG_ENDIAN
6315 #undef TARGET_ARCHIVE
6316 #undef TARGET_PRIORITY
The GNU Binutils are a collection of binary tools.