Fix a new warning on Cygwin
[binutils-gdb.git] / gdb / dwarf2 / index-write.c
1 /* DWARF index writing support for GDB.
2
3 Copyright (C) 1994-2022 Free Software Foundation, Inc.
4
5 This file is part of GDB.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
19
20 #include "defs.h"
21
22 #include "dwarf2/index-write.h"
23
24 #include "addrmap.h"
25 #include "cli/cli-decode.h"
26 #include "gdbsupport/byte-vector.h"
27 #include "gdbsupport/filestuff.h"
28 #include "gdbsupport/gdb_unlinker.h"
29 #include "gdbsupport/pathstuff.h"
30 #include "gdbsupport/scoped_fd.h"
31 #include "complaints.h"
32 #include "dwarf2/index-common.h"
33 #include "dwarf2.h"
34 #include "dwarf2/read.h"
35 #include "dwarf2/dwz.h"
36 #include "gdb/gdb-index.h"
37 #include "gdbcmd.h"
38 #include "objfiles.h"
39 #include "ada-lang.h"
40 #include "dwarf2/tag.h"
41
42 #include <algorithm>
43 #include <cmath>
44 #include <forward_list>
45 #include <set>
46 #include <unordered_map>
47 #include <unordered_set>
48
49 /* Ensure only legit values are used. */
50 #define DW2_GDB_INDEX_SYMBOL_STATIC_SET_VALUE(cu_index, value) \
51 do { \
52 gdb_assert ((unsigned int) (value) <= 1); \
53 GDB_INDEX_SYMBOL_STATIC_SET_VALUE((cu_index), (value)); \
54 } while (0)
55
56 /* Ensure only legit values are used. */
57 #define DW2_GDB_INDEX_SYMBOL_KIND_SET_VALUE(cu_index, value) \
58 do { \
59 gdb_assert ((value) >= GDB_INDEX_SYMBOL_KIND_TYPE \
60 && (value) <= GDB_INDEX_SYMBOL_KIND_OTHER); \
61 GDB_INDEX_SYMBOL_KIND_SET_VALUE((cu_index), (value)); \
62 } while (0)
63
64 /* Ensure we don't use more than the allotted number of bits for the CU. */
65 #define DW2_GDB_INDEX_CU_SET_VALUE(cu_index, value) \
66 do { \
67 gdb_assert (((value) & ~GDB_INDEX_CU_MASK) == 0); \
68 GDB_INDEX_CU_SET_VALUE((cu_index), (value)); \
69 } while (0)
70
71 /* The "save gdb-index" command. */
72
73 /* Write SIZE bytes from the buffer pointed to by DATA to FILE, with
74 error checking. */
75
76 static void
77 file_write (FILE *file, const void *data, size_t size)
78 {
79 if (fwrite (data, 1, size, file) != size)
80 error (_("couldn't data write to file"));
81 }
82
83 /* Write the contents of VEC to FILE, with error checking. */
84
85 template<typename Elem, typename Alloc>
86 static void
87 file_write (FILE *file, const std::vector<Elem, Alloc> &vec)
88 {
89 if (!vec.empty ())
90 file_write (file, vec.data (), vec.size () * sizeof (vec[0]));
91 }
92
93 /* In-memory buffer to prepare data to be written later to a file. */
94 class data_buf
95 {
96 public:
97 /* Copy ARRAY to the end of the buffer. */
98 void append_array (gdb::array_view<const gdb_byte> array)
99 {
100 std::copy (array.begin (), array.end (), grow (array.size ()));
101 }
102
103 /* Copy CSTR (a zero-terminated string) to the end of buffer. The
104 terminating zero is appended too. */
105 void append_cstr0 (const char *cstr)
106 {
107 const size_t size = strlen (cstr) + 1;
108 std::copy (cstr, cstr + size, grow (size));
109 }
110
111 /* Store INPUT as ULEB128 to the end of buffer. */
112 void append_unsigned_leb128 (ULONGEST input)
113 {
114 for (;;)
115 {
116 gdb_byte output = input & 0x7f;
117 input >>= 7;
118 if (input)
119 output |= 0x80;
120 m_vec.push_back (output);
121 if (input == 0)
122 break;
123 }
124 }
125
126 /* Accept a host-format integer in VAL and append it to the buffer
127 as a target-format integer which is LEN bytes long. */
128 void append_uint (size_t len, bfd_endian byte_order, ULONGEST val)
129 {
130 ::store_unsigned_integer (grow (len), len, byte_order, val);
131 }
132
133 /* Copy VALUE to the end of the buffer, little-endian. */
134 void append_offset (offset_type value)
135 {
136 append_uint (sizeof (value), BFD_ENDIAN_LITTLE, value);
137 }
138
139 /* Return the size of the buffer. */
140 size_t size () const
141 {
142 return m_vec.size ();
143 }
144
145 /* Return true iff the buffer is empty. */
146 bool empty () const
147 {
148 return m_vec.empty ();
149 }
150
151 /* Write the buffer to FILE. */
152 void file_write (FILE *file) const
153 {
154 ::file_write (file, m_vec);
155 }
156
157 private:
158 /* Grow SIZE bytes at the end of the buffer. Returns a pointer to
159 the start of the new block. */
160 gdb_byte *grow (size_t size)
161 {
162 m_vec.resize (m_vec.size () + size);
163 return &*(m_vec.end () - size);
164 }
165
166 gdb::byte_vector m_vec;
167 };
168
169 /* An entry in the symbol table. */
170 struct symtab_index_entry
171 {
172 /* The name of the symbol. */
173 const char *name;
174 /* The offset of the name in the constant pool. */
175 offset_type index_offset;
176 /* A sorted vector of the indices of all the CUs that hold an object
177 of this name. */
178 std::vector<offset_type> cu_indices;
179 };
180
181 /* The symbol table. This is a power-of-2-sized hash table. */
182 struct mapped_symtab
183 {
184 mapped_symtab ()
185 {
186 data.resize (1024);
187 }
188
189 offset_type n_elements = 0;
190 std::vector<symtab_index_entry> data;
191
192 /* Temporary storage for names. */
193 auto_obstack m_string_obstack;
194 };
195
196 /* Find a slot in SYMTAB for the symbol NAME. Returns a reference to
197 the slot.
198
199 Function is used only during write_hash_table so no index format backward
200 compatibility is needed. */
201
202 static symtab_index_entry &
203 find_slot (struct mapped_symtab *symtab, const char *name)
204 {
205 offset_type index, step, hash = mapped_index_string_hash (INT_MAX, name);
206
207 index = hash & (symtab->data.size () - 1);
208 step = ((hash * 17) & (symtab->data.size () - 1)) | 1;
209
210 for (;;)
211 {
212 if (symtab->data[index].name == NULL
213 || strcmp (name, symtab->data[index].name) == 0)
214 return symtab->data[index];
215 index = (index + step) & (symtab->data.size () - 1);
216 }
217 }
218
219 /* Expand SYMTAB's hash table. */
220
221 static void
222 hash_expand (struct mapped_symtab *symtab)
223 {
224 auto old_entries = std::move (symtab->data);
225
226 symtab->data.clear ();
227 symtab->data.resize (old_entries.size () * 2);
228
229 for (auto &it : old_entries)
230 if (it.name != NULL)
231 {
232 auto &ref = find_slot (symtab, it.name);
233 ref = std::move (it);
234 }
235 }
236
237 /* Add an entry to SYMTAB. NAME is the name of the symbol.
238 CU_INDEX is the index of the CU in which the symbol appears.
239 IS_STATIC is one if the symbol is static, otherwise zero (global). */
240
241 static void
242 add_index_entry (struct mapped_symtab *symtab, const char *name,
243 int is_static, gdb_index_symbol_kind kind,
244 offset_type cu_index)
245 {
246 offset_type cu_index_and_attrs;
247
248 ++symtab->n_elements;
249 if (4 * symtab->n_elements / 3 >= symtab->data.size ())
250 hash_expand (symtab);
251
252 symtab_index_entry &slot = find_slot (symtab, name);
253 if (slot.name == NULL)
254 {
255 slot.name = name;
256 /* index_offset is set later. */
257 }
258
259 cu_index_and_attrs = 0;
260 DW2_GDB_INDEX_CU_SET_VALUE (cu_index_and_attrs, cu_index);
261 DW2_GDB_INDEX_SYMBOL_STATIC_SET_VALUE (cu_index_and_attrs, is_static);
262 DW2_GDB_INDEX_SYMBOL_KIND_SET_VALUE (cu_index_and_attrs, kind);
263
264 /* We don't want to record an index value twice as we want to avoid the
265 duplication.
266 We process all global symbols and then all static symbols
267 (which would allow us to avoid the duplication by only having to check
268 the last entry pushed), but a symbol could have multiple kinds in one CU.
269 To keep things simple we don't worry about the duplication here and
270 sort and uniquify the list after we've processed all symbols. */
271 slot.cu_indices.push_back (cu_index_and_attrs);
272 }
273
274 /* Sort and remove duplicates of all symbols' cu_indices lists. */
275
276 static void
277 uniquify_cu_indices (struct mapped_symtab *symtab)
278 {
279 for (auto &entry : symtab->data)
280 {
281 if (entry.name != NULL && !entry.cu_indices.empty ())
282 {
283 auto &cu_indices = entry.cu_indices;
284 std::sort (cu_indices.begin (), cu_indices.end ());
285 auto from = std::unique (cu_indices.begin (), cu_indices.end ());
286 cu_indices.erase (from, cu_indices.end ());
287 }
288 }
289 }
290
291 /* A form of 'const char *' suitable for container keys. Only the
292 pointer is stored. The strings themselves are compared, not the
293 pointers. */
294 class c_str_view
295 {
296 public:
297 c_str_view (const char *cstr)
298 : m_cstr (cstr)
299 {}
300
301 bool operator== (const c_str_view &other) const
302 {
303 return strcmp (m_cstr, other.m_cstr) == 0;
304 }
305
306 /* Return the underlying C string. Note, the returned string is
307 only a reference with lifetime of this object. */
308 const char *c_str () const
309 {
310 return m_cstr;
311 }
312
313 private:
314 friend class c_str_view_hasher;
315 const char *const m_cstr;
316 };
317
318 /* A std::unordered_map::hasher for c_str_view that uses the right
319 hash function for strings in a mapped index. */
320 class c_str_view_hasher
321 {
322 public:
323 size_t operator () (const c_str_view &x) const
324 {
325 return mapped_index_string_hash (INT_MAX, x.m_cstr);
326 }
327 };
328
329 /* A std::unordered_map::hasher for std::vector<>. */
330 template<typename T>
331 class vector_hasher
332 {
333 public:
334 size_t operator () (const std::vector<T> &key) const
335 {
336 return iterative_hash (key.data (),
337 sizeof (key.front ()) * key.size (), 0);
338 }
339 };
340
341 /* Write the mapped hash table SYMTAB to the data buffer OUTPUT, with
342 constant pool entries going into the data buffer CPOOL. */
343
344 static void
345 write_hash_table (mapped_symtab *symtab, data_buf &output, data_buf &cpool)
346 {
347 {
348 /* Elements are sorted vectors of the indices of all the CUs that
349 hold an object of this name. */
350 std::unordered_map<std::vector<offset_type>, offset_type,
351 vector_hasher<offset_type>>
352 symbol_hash_table;
353
354 /* We add all the index vectors to the constant pool first, to
355 ensure alignment is ok. */
356 for (symtab_index_entry &entry : symtab->data)
357 {
358 if (entry.name == NULL)
359 continue;
360 gdb_assert (entry.index_offset == 0);
361
362 /* Finding before inserting is faster than always trying to
363 insert, because inserting always allocates a node, does the
364 lookup, and then destroys the new node if another node
365 already had the same key. C++17 try_emplace will avoid
366 this. */
367 const auto found
368 = symbol_hash_table.find (entry.cu_indices);
369 if (found != symbol_hash_table.end ())
370 {
371 entry.index_offset = found->second;
372 continue;
373 }
374
375 symbol_hash_table.emplace (entry.cu_indices, cpool.size ());
376 entry.index_offset = cpool.size ();
377 cpool.append_offset (entry.cu_indices.size ());
378 for (const auto index : entry.cu_indices)
379 cpool.append_offset (index);
380 }
381 }
382
383 /* Now write out the hash table. */
384 std::unordered_map<c_str_view, offset_type, c_str_view_hasher> str_table;
385 for (const auto &entry : symtab->data)
386 {
387 offset_type str_off, vec_off;
388
389 if (entry.name != NULL)
390 {
391 const auto insertpair = str_table.emplace (entry.name, cpool.size ());
392 if (insertpair.second)
393 cpool.append_cstr0 (entry.name);
394 str_off = insertpair.first->second;
395 vec_off = entry.index_offset;
396 }
397 else
398 {
399 /* While 0 is a valid constant pool index, it is not valid
400 to have 0 for both offsets. */
401 str_off = 0;
402 vec_off = 0;
403 }
404
405 output.append_offset (str_off);
406 output.append_offset (vec_off);
407 }
408 }
409
410 typedef std::unordered_map<dwarf2_per_cu_data *, unsigned int> cu_index_map;
411
412 /* Helper struct for building the address table. */
413 struct addrmap_index_data
414 {
415 addrmap_index_data (data_buf &addr_vec_, cu_index_map &cu_index_htab_)
416 : addr_vec (addr_vec_),
417 cu_index_htab (cu_index_htab_)
418 {}
419
420 data_buf &addr_vec;
421 cu_index_map &cu_index_htab;
422
423 int operator() (CORE_ADDR start_addr, void *obj);
424
425 /* True if the previous_* fields are valid.
426 We can't write an entry until we see the next entry (since it is only then
427 that we know the end of the entry). */
428 bool previous_valid = false;
429 /* Index of the CU in the table of all CUs in the index file. */
430 unsigned int previous_cu_index = 0;
431 /* Start address of the CU. */
432 CORE_ADDR previous_cu_start = 0;
433 };
434
435 /* Write an address entry to ADDR_VEC. */
436
437 static void
438 add_address_entry (data_buf &addr_vec,
439 CORE_ADDR start, CORE_ADDR end, unsigned int cu_index)
440 {
441 addr_vec.append_uint (8, BFD_ENDIAN_LITTLE, start);
442 addr_vec.append_uint (8, BFD_ENDIAN_LITTLE, end);
443 addr_vec.append_offset (cu_index);
444 }
445
446 /* Worker function for traversing an addrmap to build the address table. */
447
448 int
449 addrmap_index_data::operator() (CORE_ADDR start_addr, void *obj)
450 {
451 dwarf2_per_cu_data *per_cu = (dwarf2_per_cu_data *) obj;
452
453 if (previous_valid)
454 add_address_entry (addr_vec,
455 previous_cu_start, start_addr,
456 previous_cu_index);
457
458 previous_cu_start = start_addr;
459 if (per_cu != NULL)
460 {
461 const auto it = cu_index_htab.find (per_cu);
462 gdb_assert (it != cu_index_htab.cend ());
463 previous_cu_index = it->second;
464 previous_valid = true;
465 }
466 else
467 previous_valid = false;
468
469 return 0;
470 }
471
472 /* Write PER_BFD's address map to ADDR_VEC.
473 CU_INDEX_HTAB is used to map addrmap entries to their CU indices
474 in the index file. */
475
476 static void
477 write_address_map (struct addrmap *addrmap, data_buf &addr_vec,
478 cu_index_map &cu_index_htab)
479 {
480 struct addrmap_index_data addrmap_index_data (addr_vec, cu_index_htab);
481
482 addrmap_foreach (addrmap, addrmap_index_data);
483
484 /* It's highly unlikely the last entry (end address = 0xff...ff)
485 is valid, but we should still handle it.
486 The end address is recorded as the start of the next region, but that
487 doesn't work here. To cope we pass 0xff...ff, this is a rare situation
488 anyway. */
489 if (addrmap_index_data.previous_valid)
490 add_address_entry (addr_vec,
491 addrmap_index_data.previous_cu_start, (CORE_ADDR) -1,
492 addrmap_index_data.previous_cu_index);
493 }
494
495 /* DWARF-5 .debug_names builder. */
496 class debug_names
497 {
498 public:
499 debug_names (dwarf2_per_objfile *per_objfile, bool is_dwarf64,
500 bfd_endian dwarf5_byte_order)
501 : m_dwarf5_byte_order (dwarf5_byte_order),
502 m_dwarf32 (dwarf5_byte_order),
503 m_dwarf64 (dwarf5_byte_order),
504 m_dwarf (is_dwarf64
505 ? static_cast<dwarf &> (m_dwarf64)
506 : static_cast<dwarf &> (m_dwarf32)),
507 m_name_table_string_offs (m_dwarf.name_table_string_offs),
508 m_name_table_entry_offs (m_dwarf.name_table_entry_offs),
509 m_debugstrlookup (per_objfile)
510 {}
511
512 int dwarf5_offset_size () const
513 {
514 const bool dwarf5_is_dwarf64 = &m_dwarf == &m_dwarf64;
515 return dwarf5_is_dwarf64 ? 8 : 4;
516 }
517
518 /* Is this symbol from DW_TAG_compile_unit or DW_TAG_type_unit? */
519 enum class unit_kind { cu, tu };
520
521 /* Insert one symbol. */
522 void insert (int dwarf_tag, const char *name, int cu_index, bool is_static,
523 unit_kind kind, enum language lang)
524 {
525 if (lang == language_ada)
526 {
527 /* We want to ensure that the Ada main function's name appears
528 verbatim in the index. However, this name will be of the
529 form "_ada_mumble", and will be rewritten by ada_decode.
530 So, recognize it specially here and add it to the index by
531 hand. */
532 if (strcmp (main_name (), name) == 0)
533 {
534 const auto insertpair
535 = m_name_to_value_set.emplace (c_str_view (name),
536 std::set<symbol_value> ());
537 std::set<symbol_value> &value_set = insertpair.first->second;
538 value_set.emplace (symbol_value (dwarf_tag, cu_index, is_static,
539 kind));
540 }
541
542 /* In order for the index to work when read back into gdb, it
543 has to supply a funny form of the name: it should be the
544 encoded name, with any suffixes stripped. Using the
545 ordinary encoded name will not work properly with the
546 searching logic in find_name_components_bounds; nor will
547 using the decoded name. Furthermore, an Ada "verbatim"
548 name (of the form "<MumBle>") must be entered without the
549 angle brackets. Note that the current index is unusual,
550 see PR symtab/24820 for details. */
551 std::string decoded = ada_decode (name);
552 if (decoded[0] == '<')
553 name = (char *) obstack_copy0 (&m_string_obstack,
554 decoded.c_str () + 1,
555 decoded.length () - 2);
556 else
557 name = obstack_strdup (&m_string_obstack,
558 ada_encode (decoded.c_str ()));
559 }
560
561 const auto insertpair
562 = m_name_to_value_set.emplace (c_str_view (name),
563 std::set<symbol_value> ());
564 std::set<symbol_value> &value_set = insertpair.first->second;
565 value_set.emplace (symbol_value (dwarf_tag, cu_index, is_static, kind));
566 }
567
568 void insert (const cooked_index_entry *entry)
569 {
570 const auto it = m_cu_index_htab.find (entry->per_cu);
571 gdb_assert (it != m_cu_index_htab.cend ());
572 const char *name = entry->full_name (&m_string_obstack);
573
574 /* This is incorrect but it mirrors gdb's historical behavior; and
575 because the current .debug_names generation is also incorrect,
576 it seems better to follow what was done before, rather than
577 introduce a mismatch between the newer and older gdb. */
578 dwarf_tag tag = entry->tag;
579 if (tag != DW_TAG_typedef && tag_is_type (tag))
580 tag = DW_TAG_structure_type;
581 else if (tag == DW_TAG_enumerator || tag == DW_TAG_constant)
582 tag = DW_TAG_variable;
583
584 insert (tag, name, it->second, (entry->flags & IS_STATIC) != 0,
585 entry->per_cu->is_debug_types ? unit_kind::tu : unit_kind::cu,
586 entry->per_cu->lang);
587 }
588
589 /* Build all the tables. All symbols must be already inserted.
590 This function does not call file_write, caller has to do it
591 afterwards. */
592 void build ()
593 {
594 /* Verify the build method has not be called twice. */
595 gdb_assert (m_abbrev_table.empty ());
596 const size_t name_count = m_name_to_value_set.size ();
597 m_bucket_table.resize
598 (std::pow (2, std::ceil (std::log2 (name_count * 4 / 3))));
599 m_hash_table.reserve (name_count);
600 m_name_table_string_offs.reserve (name_count);
601 m_name_table_entry_offs.reserve (name_count);
602
603 /* Map each hash of symbol to its name and value. */
604 struct hash_it_pair
605 {
606 uint32_t hash;
607 decltype (m_name_to_value_set)::const_iterator it;
608 };
609 std::vector<std::forward_list<hash_it_pair>> bucket_hash;
610 bucket_hash.resize (m_bucket_table.size ());
611 for (decltype (m_name_to_value_set)::const_iterator it
612 = m_name_to_value_set.cbegin ();
613 it != m_name_to_value_set.cend ();
614 ++it)
615 {
616 const char *const name = it->first.c_str ();
617 const uint32_t hash = dwarf5_djb_hash (name);
618 hash_it_pair hashitpair;
619 hashitpair.hash = hash;
620 hashitpair.it = it;
621 auto &slot = bucket_hash[hash % bucket_hash.size()];
622 slot.push_front (std::move (hashitpair));
623 }
624 for (size_t bucket_ix = 0; bucket_ix < bucket_hash.size (); ++bucket_ix)
625 {
626 const std::forward_list<hash_it_pair> &hashitlist
627 = bucket_hash[bucket_ix];
628 if (hashitlist.empty ())
629 continue;
630 uint32_t &bucket_slot = m_bucket_table[bucket_ix];
631 /* The hashes array is indexed starting at 1. */
632 store_unsigned_integer (reinterpret_cast<gdb_byte *> (&bucket_slot),
633 sizeof (bucket_slot), m_dwarf5_byte_order,
634 m_hash_table.size () + 1);
635 for (const hash_it_pair &hashitpair : hashitlist)
636 {
637 m_hash_table.push_back (0);
638 store_unsigned_integer (reinterpret_cast<gdb_byte *>
639 (&m_hash_table.back ()),
640 sizeof (m_hash_table.back ()),
641 m_dwarf5_byte_order, hashitpair.hash);
642 const c_str_view &name = hashitpair.it->first;
643 const std::set<symbol_value> &value_set = hashitpair.it->second;
644 m_name_table_string_offs.push_back_reorder
645 (m_debugstrlookup.lookup (name.c_str ()));
646 m_name_table_entry_offs.push_back_reorder (m_entry_pool.size ());
647 gdb_assert (!value_set.empty ());
648 for (const symbol_value &value : value_set)
649 {
650 int &idx = m_indexkey_to_idx[index_key (value.dwarf_tag,
651 value.is_static,
652 value.kind)];
653 if (idx == 0)
654 {
655 idx = m_idx_next++;
656 m_abbrev_table.append_unsigned_leb128 (idx);
657 m_abbrev_table.append_unsigned_leb128 (value.dwarf_tag);
658 m_abbrev_table.append_unsigned_leb128
659 (value.kind == unit_kind::cu ? DW_IDX_compile_unit
660 : DW_IDX_type_unit);
661 m_abbrev_table.append_unsigned_leb128 (DW_FORM_udata);
662 m_abbrev_table.append_unsigned_leb128 (value.is_static
663 ? DW_IDX_GNU_internal
664 : DW_IDX_GNU_external);
665 m_abbrev_table.append_unsigned_leb128 (DW_FORM_flag_present);
666
667 /* Terminate attributes list. */
668 m_abbrev_table.append_unsigned_leb128 (0);
669 m_abbrev_table.append_unsigned_leb128 (0);
670 }
671
672 m_entry_pool.append_unsigned_leb128 (idx);
673 m_entry_pool.append_unsigned_leb128 (value.cu_index);
674 }
675
676 /* Terminate the list of CUs. */
677 m_entry_pool.append_unsigned_leb128 (0);
678 }
679 }
680 gdb_assert (m_hash_table.size () == name_count);
681
682 /* Terminate tags list. */
683 m_abbrev_table.append_unsigned_leb128 (0);
684 }
685
686 /* Return .debug_names bucket count. This must be called only after
687 calling the build method. */
688 uint32_t bucket_count () const
689 {
690 /* Verify the build method has been already called. */
691 gdb_assert (!m_abbrev_table.empty ());
692 const uint32_t retval = m_bucket_table.size ();
693
694 /* Check for overflow. */
695 gdb_assert (retval == m_bucket_table.size ());
696 return retval;
697 }
698
699 /* Return .debug_names names count. This must be called only after
700 calling the build method. */
701 uint32_t name_count () const
702 {
703 /* Verify the build method has been already called. */
704 gdb_assert (!m_abbrev_table.empty ());
705 const uint32_t retval = m_hash_table.size ();
706
707 /* Check for overflow. */
708 gdb_assert (retval == m_hash_table.size ());
709 return retval;
710 }
711
712 /* Return number of bytes of .debug_names abbreviation table. This
713 must be called only after calling the build method. */
714 uint32_t abbrev_table_bytes () const
715 {
716 gdb_assert (!m_abbrev_table.empty ());
717 return m_abbrev_table.size ();
718 }
719
720 /* Return number of bytes the .debug_names section will have. This
721 must be called only after calling the build method. */
722 size_t bytes () const
723 {
724 /* Verify the build method has been already called. */
725 gdb_assert (!m_abbrev_table.empty ());
726 size_t expected_bytes = 0;
727 expected_bytes += m_bucket_table.size () * sizeof (m_bucket_table[0]);
728 expected_bytes += m_hash_table.size () * sizeof (m_hash_table[0]);
729 expected_bytes += m_name_table_string_offs.bytes ();
730 expected_bytes += m_name_table_entry_offs.bytes ();
731 expected_bytes += m_abbrev_table.size ();
732 expected_bytes += m_entry_pool.size ();
733 return expected_bytes;
734 }
735
736 /* Write .debug_names to FILE_NAMES and .debug_str addition to
737 FILE_STR. This must be called only after calling the build
738 method. */
739 void file_write (FILE *file_names, FILE *file_str) const
740 {
741 /* Verify the build method has been already called. */
742 gdb_assert (!m_abbrev_table.empty ());
743 ::file_write (file_names, m_bucket_table);
744 ::file_write (file_names, m_hash_table);
745 m_name_table_string_offs.file_write (file_names);
746 m_name_table_entry_offs.file_write (file_names);
747 m_abbrev_table.file_write (file_names);
748 m_entry_pool.file_write (file_names);
749 m_debugstrlookup.file_write (file_str);
750 }
751
752 void add_cu (dwarf2_per_cu_data *per_cu, offset_type index)
753 {
754 m_cu_index_htab.emplace (per_cu, index);
755 }
756
757 private:
758
759 /* Storage for symbol names mapping them to their .debug_str section
760 offsets. */
761 class debug_str_lookup
762 {
763 public:
764
765 /* Object constructor to be called for current DWARF2_PER_OBJFILE.
766 All .debug_str section strings are automatically stored. */
767 debug_str_lookup (dwarf2_per_objfile *per_objfile)
768 : m_abfd (per_objfile->objfile->obfd),
769 m_per_objfile (per_objfile)
770 {
771 per_objfile->per_bfd->str.read (per_objfile->objfile);
772 if (per_objfile->per_bfd->str.buffer == NULL)
773 return;
774 for (const gdb_byte *data = per_objfile->per_bfd->str.buffer;
775 data < (per_objfile->per_bfd->str.buffer
776 + per_objfile->per_bfd->str.size);)
777 {
778 const char *const s = reinterpret_cast<const char *> (data);
779 const auto insertpair
780 = m_str_table.emplace (c_str_view (s),
781 data - per_objfile->per_bfd->str.buffer);
782 if (!insertpair.second)
783 complaint (_("Duplicate string \"%s\" in "
784 ".debug_str section [in module %s]"),
785 s, bfd_get_filename (m_abfd));
786 data += strlen (s) + 1;
787 }
788 }
789
790 /* Return offset of symbol name S in the .debug_str section. Add
791 such symbol to the section's end if it does not exist there
792 yet. */
793 size_t lookup (const char *s)
794 {
795 const auto it = m_str_table.find (c_str_view (s));
796 if (it != m_str_table.end ())
797 return it->second;
798 const size_t offset = (m_per_objfile->per_bfd->str.size
799 + m_str_add_buf.size ());
800 m_str_table.emplace (c_str_view (s), offset);
801 m_str_add_buf.append_cstr0 (s);
802 return offset;
803 }
804
805 /* Append the end of the .debug_str section to FILE. */
806 void file_write (FILE *file) const
807 {
808 m_str_add_buf.file_write (file);
809 }
810
811 private:
812 std::unordered_map<c_str_view, size_t, c_str_view_hasher> m_str_table;
813 bfd *const m_abfd;
814 dwarf2_per_objfile *m_per_objfile;
815
816 /* Data to add at the end of .debug_str for new needed symbol names. */
817 data_buf m_str_add_buf;
818 };
819
820 /* Container to map used DWARF tags to their .debug_names abbreviation
821 tags. */
822 class index_key
823 {
824 public:
825 index_key (int dwarf_tag_, bool is_static_, unit_kind kind_)
826 : dwarf_tag (dwarf_tag_), is_static (is_static_), kind (kind_)
827 {
828 }
829
830 bool
831 operator== (const index_key &other) const
832 {
833 return (dwarf_tag == other.dwarf_tag && is_static == other.is_static
834 && kind == other.kind);
835 }
836
837 const int dwarf_tag;
838 const bool is_static;
839 const unit_kind kind;
840 };
841
842 /* Provide std::unordered_map::hasher for index_key. */
843 class index_key_hasher
844 {
845 public:
846 size_t
847 operator () (const index_key &key) const
848 {
849 return (std::hash<int>() (key.dwarf_tag) << 1) | key.is_static;
850 }
851 };
852
853 /* Parameters of one symbol entry. */
854 class symbol_value
855 {
856 public:
857 const int dwarf_tag, cu_index;
858 const bool is_static;
859 const unit_kind kind;
860
861 symbol_value (int dwarf_tag_, int cu_index_, bool is_static_,
862 unit_kind kind_)
863 : dwarf_tag (dwarf_tag_), cu_index (cu_index_), is_static (is_static_),
864 kind (kind_)
865 {}
866
867 bool
868 operator< (const symbol_value &other) const
869 {
870 #define X(n) \
871 do \
872 { \
873 if (n < other.n) \
874 return true; \
875 if (n > other.n) \
876 return false; \
877 } \
878 while (0)
879 X (dwarf_tag);
880 X (is_static);
881 X (kind);
882 X (cu_index);
883 #undef X
884 return false;
885 }
886 };
887
888 /* Abstract base class to unify DWARF-32 and DWARF-64 name table
889 output. */
890 class offset_vec
891 {
892 protected:
893 const bfd_endian dwarf5_byte_order;
894 public:
895 explicit offset_vec (bfd_endian dwarf5_byte_order_)
896 : dwarf5_byte_order (dwarf5_byte_order_)
897 {}
898
899 /* Call std::vector::reserve for NELEM elements. */
900 virtual void reserve (size_t nelem) = 0;
901
902 /* Call std::vector::push_back with store_unsigned_integer byte
903 reordering for ELEM. */
904 virtual void push_back_reorder (size_t elem) = 0;
905
906 /* Return expected output size in bytes. */
907 virtual size_t bytes () const = 0;
908
909 /* Write name table to FILE. */
910 virtual void file_write (FILE *file) const = 0;
911 };
912
913 /* Template to unify DWARF-32 and DWARF-64 output. */
914 template<typename OffsetSize>
915 class offset_vec_tmpl : public offset_vec
916 {
917 public:
918 explicit offset_vec_tmpl (bfd_endian dwarf5_byte_order_)
919 : offset_vec (dwarf5_byte_order_)
920 {}
921
922 /* Implement offset_vec::reserve. */
923 void reserve (size_t nelem) override
924 {
925 m_vec.reserve (nelem);
926 }
927
928 /* Implement offset_vec::push_back_reorder. */
929 void push_back_reorder (size_t elem) override
930 {
931 m_vec.push_back (elem);
932 /* Check for overflow. */
933 gdb_assert (m_vec.back () == elem);
934 store_unsigned_integer (reinterpret_cast<gdb_byte *> (&m_vec.back ()),
935 sizeof (m_vec.back ()), dwarf5_byte_order, elem);
936 }
937
938 /* Implement offset_vec::bytes. */
939 size_t bytes () const override
940 {
941 return m_vec.size () * sizeof (m_vec[0]);
942 }
943
944 /* Implement offset_vec::file_write. */
945 void file_write (FILE *file) const override
946 {
947 ::file_write (file, m_vec);
948 }
949
950 private:
951 std::vector<OffsetSize> m_vec;
952 };
953
954 /* Base class to unify DWARF-32 and DWARF-64 .debug_names output
955 respecting name table width. */
956 class dwarf
957 {
958 public:
959 offset_vec &name_table_string_offs, &name_table_entry_offs;
960
961 dwarf (offset_vec &name_table_string_offs_,
962 offset_vec &name_table_entry_offs_)
963 : name_table_string_offs (name_table_string_offs_),
964 name_table_entry_offs (name_table_entry_offs_)
965 {
966 }
967 };
968
969 /* Template to unify DWARF-32 and DWARF-64 .debug_names output
970 respecting name table width. */
971 template<typename OffsetSize>
972 class dwarf_tmpl : public dwarf
973 {
974 public:
975 explicit dwarf_tmpl (bfd_endian dwarf5_byte_order_)
976 : dwarf (m_name_table_string_offs, m_name_table_entry_offs),
977 m_name_table_string_offs (dwarf5_byte_order_),
978 m_name_table_entry_offs (dwarf5_byte_order_)
979 {}
980
981 private:
982 offset_vec_tmpl<OffsetSize> m_name_table_string_offs;
983 offset_vec_tmpl<OffsetSize> m_name_table_entry_offs;
984 };
985
986 /* Store value of each symbol. */
987 std::unordered_map<c_str_view, std::set<symbol_value>, c_str_view_hasher>
988 m_name_to_value_set;
989
990 /* Tables of DWARF-5 .debug_names. They are in object file byte
991 order. */
992 std::vector<uint32_t> m_bucket_table;
993 std::vector<uint32_t> m_hash_table;
994
995 const bfd_endian m_dwarf5_byte_order;
996 dwarf_tmpl<uint32_t> m_dwarf32;
997 dwarf_tmpl<uint64_t> m_dwarf64;
998 dwarf &m_dwarf;
999 offset_vec &m_name_table_string_offs, &m_name_table_entry_offs;
1000 debug_str_lookup m_debugstrlookup;
1001
1002 /* Map each used .debug_names abbreviation tag parameter to its
1003 index value. */
1004 std::unordered_map<index_key, int, index_key_hasher> m_indexkey_to_idx;
1005
1006 /* Next unused .debug_names abbreviation tag for
1007 m_indexkey_to_idx. */
1008 int m_idx_next = 1;
1009
1010 /* .debug_names abbreviation table. */
1011 data_buf m_abbrev_table;
1012
1013 /* .debug_names entry pool. */
1014 data_buf m_entry_pool;
1015
1016 /* Temporary storage for Ada names. */
1017 auto_obstack m_string_obstack;
1018
1019 cu_index_map m_cu_index_htab;
1020 };
1021
1022 /* Return iff any of the needed offsets does not fit into 32-bit
1023 .debug_names section. */
1024
1025 static bool
1026 check_dwarf64_offsets (dwarf2_per_objfile *per_objfile)
1027 {
1028 for (const auto &per_cu : per_objfile->per_bfd->all_comp_units)
1029 {
1030 if (to_underlying (per_cu->sect_off)
1031 >= (static_cast<uint64_t> (1) << 32))
1032 return true;
1033 }
1034 return false;
1035 }
1036
1037 /* Assert that FILE's size is EXPECTED_SIZE. Assumes file's seek
1038 position is at the end of the file. */
1039
1040 static void
1041 assert_file_size (FILE *file, size_t expected_size)
1042 {
1043 const auto file_size = ftell (file);
1044 if (file_size == -1)
1045 perror_with_name (("ftell"));
1046 gdb_assert (file_size == expected_size);
1047 }
1048
1049 /* Write a gdb index file to OUT_FILE from all the sections passed as
1050 arguments. */
1051
1052 static void
1053 write_gdbindex_1 (FILE *out_file,
1054 const data_buf &cu_list,
1055 const data_buf &types_cu_list,
1056 const data_buf &addr_vec,
1057 const data_buf &symtab_vec,
1058 const data_buf &constant_pool)
1059 {
1060 data_buf contents;
1061 const offset_type size_of_header = 6 * sizeof (offset_type);
1062 offset_type total_len = size_of_header;
1063
1064 /* The version number. */
1065 contents.append_offset (8);
1066
1067 /* The offset of the CU list from the start of the file. */
1068 contents.append_offset (total_len);
1069 total_len += cu_list.size ();
1070
1071 /* The offset of the types CU list from the start of the file. */
1072 contents.append_offset (total_len);
1073 total_len += types_cu_list.size ();
1074
1075 /* The offset of the address table from the start of the file. */
1076 contents.append_offset (total_len);
1077 total_len += addr_vec.size ();
1078
1079 /* The offset of the symbol table from the start of the file. */
1080 contents.append_offset (total_len);
1081 total_len += symtab_vec.size ();
1082
1083 /* The offset of the constant pool from the start of the file. */
1084 contents.append_offset (total_len);
1085 total_len += constant_pool.size ();
1086
1087 gdb_assert (contents.size () == size_of_header);
1088
1089 contents.file_write (out_file);
1090 cu_list.file_write (out_file);
1091 types_cu_list.file_write (out_file);
1092 addr_vec.file_write (out_file);
1093 symtab_vec.file_write (out_file);
1094 constant_pool.file_write (out_file);
1095
1096 assert_file_size (out_file, total_len);
1097 }
1098
1099 /* Write the contents of the internal "cooked" index. */
1100
1101 static void
1102 write_cooked_index (cooked_index_vector *table,
1103 const cu_index_map &cu_index_htab,
1104 struct mapped_symtab *symtab)
1105 {
1106 /* We track type names and only enter a given type once. */
1107 htab_up type_names (htab_create_alloc (10, htab_hash_string, htab_eq_string,
1108 nullptr, xcalloc, xfree));
1109 /* Same with variable names. However, if a type and variable share
1110 a name, we want both, which is why there are two hash tables
1111 here. */
1112 htab_up var_names (htab_create_alloc (10, htab_hash_string, htab_eq_string,
1113 nullptr, xcalloc, xfree));
1114
1115 for (const cooked_index_entry *entry : table->all_entries ())
1116 {
1117 /* GDB never put linkage names into .gdb_index. The theory here
1118 is that a linkage name will normally be in the minimal
1119 symbols anyway, so including it in the index is usually
1120 redundant -- and the cases where it would not be redundant
1121 are rare and not worth supporting. */
1122 if ((entry->flags & IS_LINKAGE) != 0)
1123 continue;
1124
1125 const auto it = cu_index_htab.find (entry->per_cu);
1126 gdb_assert (it != cu_index_htab.cend ());
1127
1128 const char *name = entry->full_name (&symtab->m_string_obstack);
1129
1130 gdb_index_symbol_kind kind;
1131 if (entry->tag == DW_TAG_subprogram)
1132 kind = GDB_INDEX_SYMBOL_KIND_FUNCTION;
1133 else if (entry->tag == DW_TAG_variable
1134 || entry->tag == DW_TAG_constant
1135 || entry->tag == DW_TAG_enumerator)
1136 {
1137 kind = GDB_INDEX_SYMBOL_KIND_VARIABLE;
1138 void **slot = htab_find_slot (var_names.get (), name, INSERT);
1139 if (*slot != nullptr)
1140 continue;
1141 *slot = (void *) name;
1142 }
1143 else if (entry->tag == DW_TAG_module
1144 || entry->tag == DW_TAG_common_block)
1145 kind = GDB_INDEX_SYMBOL_KIND_OTHER;
1146 else
1147 {
1148 kind = GDB_INDEX_SYMBOL_KIND_TYPE;
1149 void **slot = htab_find_slot (type_names.get (), name, INSERT);
1150 if (*slot != nullptr)
1151 continue;
1152 *slot = (void *) name;
1153 }
1154
1155 add_index_entry (symtab, name, (entry->flags & IS_STATIC) != 0,
1156 kind, it->second);
1157 }
1158 }
1159
1160 /* Write contents of a .gdb_index section for OBJFILE into OUT_FILE.
1161 If OBJFILE has an associated dwz file, write contents of a .gdb_index
1162 section for that dwz file into DWZ_OUT_FILE. If OBJFILE does not have an
1163 associated dwz file, DWZ_OUT_FILE must be NULL. */
1164
1165 static void
1166 write_gdbindex (dwarf2_per_objfile *per_objfile,
1167 cooked_index_vector *table,
1168 FILE *out_file, FILE *dwz_out_file)
1169 {
1170 mapped_symtab symtab;
1171 data_buf objfile_cu_list;
1172 data_buf dwz_cu_list;
1173
1174 /* While we're scanning CU's create a table that maps a dwarf2_per_cu_data
1175 (which is what addrmap records) to its index (which is what is recorded
1176 in the index file). This will later be needed to write the address
1177 table. */
1178 cu_index_map cu_index_htab;
1179 cu_index_htab.reserve (per_objfile->per_bfd->all_comp_units.size ());
1180
1181 /* Store out the .debug_type CUs, if any. */
1182 data_buf types_cu_list;
1183
1184 /* The CU list is already sorted, so we don't need to do additional
1185 work here. Also, the debug_types entries do not appear in
1186 all_comp_units, but only in their own hash table. */
1187
1188 int counter = 0;
1189 int types_counter = 0;
1190 for (int i = 0; i < per_objfile->per_bfd->all_comp_units.size (); ++i)
1191 {
1192 dwarf2_per_cu_data *per_cu
1193 = per_objfile->per_bfd->all_comp_units[i].get ();
1194
1195 int &this_counter = per_cu->is_debug_types ? types_counter : counter;
1196
1197 const auto insertpair = cu_index_htab.emplace (per_cu, this_counter);
1198 gdb_assert (insertpair.second);
1199
1200 /* The all_comp_units list contains CUs read from the objfile as well as
1201 from the eventual dwz file. We need to place the entry in the
1202 corresponding index. */
1203 data_buf &cu_list = (per_cu->is_debug_types
1204 ? types_cu_list
1205 : per_cu->is_dwz ? dwz_cu_list : objfile_cu_list);
1206 cu_list.append_uint (8, BFD_ENDIAN_LITTLE,
1207 to_underlying (per_cu->sect_off));
1208 if (per_cu->is_debug_types)
1209 {
1210 signatured_type *sig_type = (signatured_type *) per_cu;
1211 cu_list.append_uint (8, BFD_ENDIAN_LITTLE,
1212 to_underlying (sig_type->type_offset_in_tu));
1213 cu_list.append_uint (8, BFD_ENDIAN_LITTLE,
1214 sig_type->signature);
1215 }
1216 else
1217 cu_list.append_uint (8, BFD_ENDIAN_LITTLE, per_cu->length);
1218
1219 ++this_counter;
1220 }
1221
1222 write_cooked_index (table, cu_index_htab, &symtab);
1223
1224 /* Dump the address map. */
1225 data_buf addr_vec;
1226 for (auto map : table->get_addrmaps ())
1227 write_address_map (map, addr_vec, cu_index_htab);
1228
1229 /* Now that we've processed all symbols we can shrink their cu_indices
1230 lists. */
1231 uniquify_cu_indices (&symtab);
1232
1233 data_buf symtab_vec, constant_pool;
1234 if (symtab.n_elements == 0)
1235 symtab.data.resize (0);
1236
1237 write_hash_table (&symtab, symtab_vec, constant_pool);
1238
1239 write_gdbindex_1(out_file, objfile_cu_list, types_cu_list, addr_vec,
1240 symtab_vec, constant_pool);
1241
1242 if (dwz_out_file != NULL)
1243 write_gdbindex_1 (dwz_out_file, dwz_cu_list, {}, {}, {}, {});
1244 else
1245 gdb_assert (dwz_cu_list.empty ());
1246 }
1247
1248 /* DWARF-5 augmentation string for GDB's DW_IDX_GNU_* extension. */
1249 static const gdb_byte dwarf5_gdb_augmentation[] = { 'G', 'D', 'B', 0 };
1250
1251 /* Write a new .debug_names section for OBJFILE into OUT_FILE, write
1252 needed addition to .debug_str section to OUT_FILE_STR. Return how
1253 many bytes were expected to be written into OUT_FILE. */
1254
1255 static void
1256 write_debug_names (dwarf2_per_objfile *per_objfile,
1257 cooked_index_vector *table,
1258 FILE *out_file, FILE *out_file_str)
1259 {
1260 const bool dwarf5_is_dwarf64 = check_dwarf64_offsets (per_objfile);
1261 struct objfile *objfile = per_objfile->objfile;
1262 const enum bfd_endian dwarf5_byte_order
1263 = gdbarch_byte_order (objfile->arch ());
1264
1265 /* The CU list is already sorted, so we don't need to do additional
1266 work here. Also, the debug_types entries do not appear in
1267 all_comp_units, but only in their own hash table. */
1268 data_buf cu_list;
1269 data_buf types_cu_list;
1270 debug_names nametable (per_objfile, dwarf5_is_dwarf64, dwarf5_byte_order);
1271 int counter = 0;
1272 int types_counter = 0;
1273 for (int i = 0; i < per_objfile->per_bfd->all_comp_units.size (); ++i)
1274 {
1275 dwarf2_per_cu_data *per_cu
1276 = per_objfile->per_bfd->all_comp_units[i].get ();
1277
1278 int &this_counter = per_cu->is_debug_types ? types_counter : counter;
1279 data_buf &this_list = per_cu->is_debug_types ? types_cu_list : cu_list;
1280
1281 nametable.add_cu (per_cu, this_counter);
1282 this_list.append_uint (nametable.dwarf5_offset_size (),
1283 dwarf5_byte_order,
1284 to_underlying (per_cu->sect_off));
1285 ++this_counter;
1286 }
1287
1288 /* Verify that all units are represented. */
1289 gdb_assert (counter == (per_objfile->per_bfd->all_comp_units.size ()
1290 - per_objfile->per_bfd->tu_stats.nr_tus));
1291 gdb_assert (types_counter == per_objfile->per_bfd->tu_stats.nr_tus);
1292
1293 for (const cooked_index_entry *entry : table->all_entries ())
1294 nametable.insert (entry);
1295
1296 nametable.build ();
1297
1298 /* No addr_vec - DWARF-5 uses .debug_aranges generated by GCC. */
1299
1300 const offset_type bytes_of_header
1301 = ((dwarf5_is_dwarf64 ? 12 : 4)
1302 + 2 + 2 + 7 * 4
1303 + sizeof (dwarf5_gdb_augmentation));
1304 size_t expected_bytes = 0;
1305 expected_bytes += bytes_of_header;
1306 expected_bytes += cu_list.size ();
1307 expected_bytes += types_cu_list.size ();
1308 expected_bytes += nametable.bytes ();
1309 data_buf header;
1310
1311 if (!dwarf5_is_dwarf64)
1312 {
1313 const uint64_t size64 = expected_bytes - 4;
1314 gdb_assert (size64 < 0xfffffff0);
1315 header.append_uint (4, dwarf5_byte_order, size64);
1316 }
1317 else
1318 {
1319 header.append_uint (4, dwarf5_byte_order, 0xffffffff);
1320 header.append_uint (8, dwarf5_byte_order, expected_bytes - 12);
1321 }
1322
1323 /* The version number. */
1324 header.append_uint (2, dwarf5_byte_order, 5);
1325
1326 /* Padding. */
1327 header.append_uint (2, dwarf5_byte_order, 0);
1328
1329 /* comp_unit_count - The number of CUs in the CU list. */
1330 header.append_uint (4, dwarf5_byte_order, counter);
1331
1332 /* local_type_unit_count - The number of TUs in the local TU
1333 list. */
1334 header.append_uint (4, dwarf5_byte_order, types_counter);
1335
1336 /* foreign_type_unit_count - The number of TUs in the foreign TU
1337 list. */
1338 header.append_uint (4, dwarf5_byte_order, 0);
1339
1340 /* bucket_count - The number of hash buckets in the hash lookup
1341 table. */
1342 header.append_uint (4, dwarf5_byte_order, nametable.bucket_count ());
1343
1344 /* name_count - The number of unique names in the index. */
1345 header.append_uint (4, dwarf5_byte_order, nametable.name_count ());
1346
1347 /* abbrev_table_size - The size in bytes of the abbreviations
1348 table. */
1349 header.append_uint (4, dwarf5_byte_order, nametable.abbrev_table_bytes ());
1350
1351 /* augmentation_string_size - The size in bytes of the augmentation
1352 string. This value is rounded up to a multiple of 4. */
1353 static_assert (sizeof (dwarf5_gdb_augmentation) % 4 == 0, "");
1354 header.append_uint (4, dwarf5_byte_order, sizeof (dwarf5_gdb_augmentation));
1355 header.append_array (dwarf5_gdb_augmentation);
1356
1357 gdb_assert (header.size () == bytes_of_header);
1358
1359 header.file_write (out_file);
1360 cu_list.file_write (out_file);
1361 types_cu_list.file_write (out_file);
1362 nametable.file_write (out_file, out_file_str);
1363
1364 assert_file_size (out_file, expected_bytes);
1365 }
1366
1367 /* This represents an index file being written (work-in-progress).
1368
1369 The data is initially written to a temporary file. When the finalize method
1370 is called, the file is closed and moved to its final location.
1371
1372 On failure (if this object is being destroyed with having called finalize),
1373 the temporary file is closed and deleted. */
1374
1375 struct index_wip_file
1376 {
1377 index_wip_file (const char *dir, const char *basename,
1378 const char *suffix)
1379 {
1380 filename = (std::string (dir) + SLASH_STRING + basename
1381 + suffix);
1382
1383 filename_temp = make_temp_filename (filename);
1384
1385 scoped_fd out_file_fd = gdb_mkostemp_cloexec (filename_temp.data (),
1386 O_BINARY);
1387 if (out_file_fd.get () == -1)
1388 perror_with_name (("mkstemp"));
1389
1390 out_file = out_file_fd.to_file ("wb");
1391
1392 if (out_file == nullptr)
1393 error (_("Can't open `%s' for writing"), filename_temp.data ());
1394
1395 unlink_file.emplace (filename_temp.data ());
1396 }
1397
1398 void finalize ()
1399 {
1400 /* We want to keep the file. */
1401 unlink_file->keep ();
1402
1403 /* Close and move the str file in place. */
1404 unlink_file.reset ();
1405 if (rename (filename_temp.data (), filename.c_str ()) != 0)
1406 perror_with_name (("rename"));
1407 }
1408
1409 std::string filename;
1410 gdb::char_vector filename_temp;
1411
1412 /* Order matters here; we want FILE to be closed before
1413 FILENAME_TEMP is unlinked, because on MS-Windows one cannot
1414 delete a file that is still open. So, we wrap the unlinker in an
1415 optional and emplace it once we know the file name. */
1416 gdb::optional<gdb::unlinker> unlink_file;
1417
1418 gdb_file_up out_file;
1419 };
1420
1421 /* See dwarf-index-write.h. */
1422
1423 void
1424 write_dwarf_index (dwarf2_per_objfile *per_objfile, const char *dir,
1425 const char *basename, const char *dwz_basename,
1426 dw_index_kind index_kind)
1427 {
1428 struct objfile *objfile = per_objfile->objfile;
1429
1430 if (per_objfile->per_bfd->index_table == nullptr)
1431 error (_("No debugging symbols"));
1432 cooked_index_vector *table
1433 = per_objfile->per_bfd->index_table->index_for_writing ();
1434
1435 if (per_objfile->per_bfd->types.size () > 1)
1436 error (_("Cannot make an index when the file has multiple .debug_types sections"));
1437
1438
1439 gdb_assert ((objfile->flags & OBJF_NOT_FILENAME) == 0);
1440
1441 const char *index_suffix = (index_kind == dw_index_kind::DEBUG_NAMES
1442 ? INDEX5_SUFFIX : INDEX4_SUFFIX);
1443
1444 index_wip_file objfile_index_wip (dir, basename, index_suffix);
1445 gdb::optional<index_wip_file> dwz_index_wip;
1446
1447 if (dwz_basename != NULL)
1448 dwz_index_wip.emplace (dir, dwz_basename, index_suffix);
1449
1450 if (index_kind == dw_index_kind::DEBUG_NAMES)
1451 {
1452 index_wip_file str_wip_file (dir, basename, DEBUG_STR_SUFFIX);
1453
1454 write_debug_names (per_objfile, table, objfile_index_wip.out_file.get (),
1455 str_wip_file.out_file.get ());
1456
1457 str_wip_file.finalize ();
1458 }
1459 else
1460 write_gdbindex (per_objfile, table, objfile_index_wip.out_file.get (),
1461 (dwz_index_wip.has_value ()
1462 ? dwz_index_wip->out_file.get () : NULL));
1463
1464 objfile_index_wip.finalize ();
1465
1466 if (dwz_index_wip.has_value ())
1467 dwz_index_wip->finalize ();
1468 }
1469
1470 /* Implementation of the `save gdb-index' command.
1471
1472 Note that the .gdb_index file format used by this command is
1473 documented in the GDB manual. Any changes here must be documented
1474 there. */
1475
1476 static void
1477 save_gdb_index_command (const char *arg, int from_tty)
1478 {
1479 const char dwarf5space[] = "-dwarf-5 ";
1480 dw_index_kind index_kind = dw_index_kind::GDB_INDEX;
1481
1482 if (!arg)
1483 arg = "";
1484
1485 arg = skip_spaces (arg);
1486 if (strncmp (arg, dwarf5space, strlen (dwarf5space)) == 0)
1487 {
1488 index_kind = dw_index_kind::DEBUG_NAMES;
1489 arg += strlen (dwarf5space);
1490 arg = skip_spaces (arg);
1491 }
1492
1493 if (!*arg)
1494 error (_("usage: save gdb-index [-dwarf-5] DIRECTORY"));
1495
1496 for (objfile *objfile : current_program_space->objfiles ())
1497 {
1498 /* If the objfile does not correspond to an actual file, skip it. */
1499 if ((objfile->flags & OBJF_NOT_FILENAME) != 0)
1500 continue;
1501
1502 dwarf2_per_objfile *per_objfile = get_dwarf2_per_objfile (objfile);
1503
1504 if (per_objfile != NULL)
1505 {
1506 try
1507 {
1508 const char *basename = lbasename (objfile_name (objfile));
1509 const dwz_file *dwz = dwarf2_get_dwz_file (per_objfile->per_bfd);
1510 const char *dwz_basename = NULL;
1511
1512 if (dwz != NULL)
1513 dwz_basename = lbasename (dwz->filename ());
1514
1515 write_dwarf_index (per_objfile, arg, basename, dwz_basename,
1516 index_kind);
1517 }
1518 catch (const gdb_exception_error &except)
1519 {
1520 exception_fprintf (gdb_stderr, except,
1521 _("Error while writing index for `%s': "),
1522 objfile_name (objfile));
1523 }
1524 }
1525
1526 }
1527 }
1528
1529 void _initialize_dwarf_index_write ();
1530 void
1531 _initialize_dwarf_index_write ()
1532 {
1533 cmd_list_element *c = add_cmd ("gdb-index", class_files,
1534 save_gdb_index_command, _("\
1535 Save a gdb-index file.\n\
1536 Usage: save gdb-index [-dwarf-5] DIRECTORY\n\
1537 \n\
1538 No options create one file with .gdb-index extension for pre-DWARF-5\n\
1539 compatible .gdb_index section. With -dwarf-5 creates two files with\n\
1540 extension .debug_names and .debug_str for DWARF-5 .debug_names section."),
1541 &save_cmdlist);
1542 set_cmd_completer (c, filename_completer);
1543 }