1*fae548d3Szrj // reduced_debug_output.cc -- output reduced debugging information to save space
2*fae548d3Szrj
3*fae548d3Szrj // Copyright (C) 2008-2020 Free Software Foundation, Inc.
4*fae548d3Szrj // Written by Caleb Howe <cshowe@google.com>.
5*fae548d3Szrj
6*fae548d3Szrj // This file is part of gold.
7*fae548d3Szrj
8*fae548d3Szrj // This program is free software; you can redistribute it and/or modify
9*fae548d3Szrj // it under the terms of the GNU General Public License as published by
10*fae548d3Szrj // the Free Software Foundation; either version 3 of the License, or
11*fae548d3Szrj // (at your option) any later version.
12*fae548d3Szrj
13*fae548d3Szrj // This program is distributed in the hope that it will be useful,
14*fae548d3Szrj // but WITHOUT ANY WARRANTY; without even the implied warranty of
15*fae548d3Szrj // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16*fae548d3Szrj // GNU General Public License for more details.
17*fae548d3Szrj
18*fae548d3Szrj // You should have received a copy of the GNU General Public License
19*fae548d3Szrj // along with this program; if not, write to the Free Software
20*fae548d3Szrj // Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
21*fae548d3Szrj // MA 02110-1301, USA.
22*fae548d3Szrj
23*fae548d3Szrj #include "gold.h"
24*fae548d3Szrj
25*fae548d3Szrj #include "parameters.h"
26*fae548d3Szrj #include "options.h"
27*fae548d3Szrj #include "dwarf.h"
28*fae548d3Szrj #include "dwarf_reader.h"
29*fae548d3Szrj #include "reduced_debug_output.h"
30*fae548d3Szrj #include "int_encoding.h"
31*fae548d3Szrj
32*fae548d3Szrj #include <vector>
33*fae548d3Szrj
34*fae548d3Szrj namespace gold
35*fae548d3Szrj {
36*fae548d3Szrj
37*fae548d3Szrj // Given a pointer to the beginning of a die and the beginning of the associated
38*fae548d3Szrj // abbreviation fills in die_end with the end of the information entry. If
39*fae548d3Szrj // successful returns true. Get_die_end also takes a pointer to the end of the
40*fae548d3Szrj // buffer containing the die. If die_end would be beyond the end of the
41*fae548d3Szrj // buffer, or if an unsupported dwarf form is encountered returns false.
42*fae548d3Szrj bool
get_die_end(unsigned char * die,unsigned char * abbrev,unsigned char ** die_end,unsigned char * buffer_end,int address_size,bool is64)43*fae548d3Szrj Output_reduced_debug_info_section::get_die_end(
44*fae548d3Szrj unsigned char* die, unsigned char* abbrev, unsigned char** die_end,
45*fae548d3Szrj unsigned char* buffer_end, int address_size, bool is64)
46*fae548d3Szrj {
47*fae548d3Szrj size_t LEB_size;
48*fae548d3Szrj uint64_t LEB_decoded;
49*fae548d3Szrj for(;;)
50*fae548d3Szrj {
51*fae548d3Szrj uint64_t attribute = read_unsigned_LEB_128(abbrev, &LEB_size);
52*fae548d3Szrj abbrev += LEB_size;
53*fae548d3Szrj elfcpp::DW_FORM form =
54*fae548d3Szrj static_cast<elfcpp::DW_FORM>(read_unsigned_LEB_128(abbrev,
55*fae548d3Szrj &LEB_size));
56*fae548d3Szrj abbrev += LEB_size;
57*fae548d3Szrj if (!(attribute || form))
58*fae548d3Szrj break;
59*fae548d3Szrj if (die >= buffer_end)
60*fae548d3Szrj return false;
61*fae548d3Szrj switch(form)
62*fae548d3Szrj {
63*fae548d3Szrj case elfcpp::DW_FORM_flag_present:
64*fae548d3Szrj break;
65*fae548d3Szrj case elfcpp::DW_FORM_strp:
66*fae548d3Szrj case elfcpp::DW_FORM_sec_offset:
67*fae548d3Szrj die += is64 ? 8 : 4;
68*fae548d3Szrj break;
69*fae548d3Szrj case elfcpp::DW_FORM_addr:
70*fae548d3Szrj case elfcpp::DW_FORM_ref_addr:
71*fae548d3Szrj die += address_size;
72*fae548d3Szrj break;
73*fae548d3Szrj case elfcpp::DW_FORM_block1:
74*fae548d3Szrj die += *die;
75*fae548d3Szrj die += 1;
76*fae548d3Szrj break;
77*fae548d3Szrj case elfcpp::DW_FORM_block2:
78*fae548d3Szrj {
79*fae548d3Szrj uint16_t block_size;
80*fae548d3Szrj block_size = read_from_pointer<16>(&die);
81*fae548d3Szrj die += block_size;
82*fae548d3Szrj break;
83*fae548d3Szrj }
84*fae548d3Szrj case elfcpp::DW_FORM_block4:
85*fae548d3Szrj {
86*fae548d3Szrj uint32_t block_size;
87*fae548d3Szrj block_size = read_from_pointer<32>(&die);
88*fae548d3Szrj die += block_size;
89*fae548d3Szrj break;
90*fae548d3Szrj }
91*fae548d3Szrj case elfcpp::DW_FORM_block:
92*fae548d3Szrj case elfcpp::DW_FORM_exprloc:
93*fae548d3Szrj LEB_decoded = read_unsigned_LEB_128(die, &LEB_size);
94*fae548d3Szrj die += (LEB_decoded + LEB_size);
95*fae548d3Szrj break;
96*fae548d3Szrj case elfcpp::DW_FORM_data1:
97*fae548d3Szrj case elfcpp::DW_FORM_ref1:
98*fae548d3Szrj case elfcpp::DW_FORM_flag:
99*fae548d3Szrj die += 1;
100*fae548d3Szrj break;
101*fae548d3Szrj case elfcpp::DW_FORM_data2:
102*fae548d3Szrj case elfcpp::DW_FORM_ref2:
103*fae548d3Szrj die += 2;
104*fae548d3Szrj break;
105*fae548d3Szrj case elfcpp::DW_FORM_data4:
106*fae548d3Szrj case elfcpp::DW_FORM_ref4:
107*fae548d3Szrj die += 4;
108*fae548d3Szrj break;
109*fae548d3Szrj case elfcpp::DW_FORM_data8:
110*fae548d3Szrj case elfcpp::DW_FORM_ref8:
111*fae548d3Szrj case elfcpp::DW_FORM_ref_sig8:
112*fae548d3Szrj die += 8;
113*fae548d3Szrj break;
114*fae548d3Szrj case elfcpp::DW_FORM_ref_udata:
115*fae548d3Szrj case elfcpp::DW_FORM_udata:
116*fae548d3Szrj read_unsigned_LEB_128(die, &LEB_size);
117*fae548d3Szrj die += LEB_size;
118*fae548d3Szrj break;
119*fae548d3Szrj case elfcpp::DW_FORM_sdata:
120*fae548d3Szrj read_signed_LEB_128(die, &LEB_size);
121*fae548d3Szrj die += LEB_size;
122*fae548d3Szrj break;
123*fae548d3Szrj case elfcpp::DW_FORM_string:
124*fae548d3Szrj {
125*fae548d3Szrj size_t length = strlen(reinterpret_cast<char*>(die));
126*fae548d3Szrj die += length + 1;
127*fae548d3Szrj break;
128*fae548d3Szrj }
129*fae548d3Szrj case elfcpp::DW_FORM_indirect:
130*fae548d3Szrj case elfcpp::DW_FORM_GNU_addr_index:
131*fae548d3Szrj case elfcpp::DW_FORM_GNU_str_index:
132*fae548d3Szrj default:
133*fae548d3Szrj return false;
134*fae548d3Szrj }
135*fae548d3Szrj }
136*fae548d3Szrj *die_end = die;
137*fae548d3Szrj return true;
138*fae548d3Szrj }
139*fae548d3Szrj
140*fae548d3Szrj void
set_final_data_size()141*fae548d3Szrj Output_reduced_debug_abbrev_section::set_final_data_size()
142*fae548d3Szrj {
143*fae548d3Szrj if (this->sized_ || this->failed_)
144*fae548d3Szrj return;
145*fae548d3Szrj
146*fae548d3Szrj uint64_t abbrev_number;
147*fae548d3Szrj size_t LEB_size;
148*fae548d3Szrj unsigned char* abbrev_data = this->postprocessing_buffer();
149*fae548d3Szrj unsigned char* abbrev_end = this->postprocessing_buffer() +
150*fae548d3Szrj this->postprocessing_buffer_size();
151*fae548d3Szrj this->write_to_postprocessing_buffer();
152*fae548d3Szrj while(abbrev_data < abbrev_end)
153*fae548d3Szrj {
154*fae548d3Szrj uint64_t abbrev_offset = abbrev_data - this->postprocessing_buffer();
155*fae548d3Szrj while((abbrev_number = read_unsigned_LEB_128(abbrev_data, &LEB_size)))
156*fae548d3Szrj {
157*fae548d3Szrj if (abbrev_data >= abbrev_end)
158*fae548d3Szrj {
159*fae548d3Szrj failed("Debug abbreviations extend beyond .debug_abbrev "
160*fae548d3Szrj "section; failed to reduce debug abbreviations");
161*fae548d3Szrj return;
162*fae548d3Szrj }
163*fae548d3Szrj abbrev_data += LEB_size;
164*fae548d3Szrj
165*fae548d3Szrj // Together with the abbreviation number these fields make up
166*fae548d3Szrj // the header for each abbreviation.
167*fae548d3Szrj uint64_t abbrev_type = read_unsigned_LEB_128(abbrev_data, &LEB_size);
168*fae548d3Szrj abbrev_data += LEB_size;
169*fae548d3Szrj
170*fae548d3Szrj // This would ordinarily be the has_children field of the
171*fae548d3Szrj // abbreviation. But it's going to be false after reducing the
172*fae548d3Szrj // information, so there's no point in storing it.
173*fae548d3Szrj abbrev_data++;
174*fae548d3Szrj
175*fae548d3Szrj // Read to the end of the current abbreviation.
176*fae548d3Szrj // This is indicated by two zero unsigned LEBs in a row. We don't
177*fae548d3Szrj // need to parse the data yet, so we just scan through the data
178*fae548d3Szrj // looking for two consecutive 0 bytes indicating the end of the
179*fae548d3Szrj // abbreviation.
180*fae548d3Szrj unsigned char* current_abbrev;
181*fae548d3Szrj for (current_abbrev = abbrev_data;
182*fae548d3Szrj current_abbrev[0] || current_abbrev[1];
183*fae548d3Szrj current_abbrev++)
184*fae548d3Szrj {
185*fae548d3Szrj if (current_abbrev >= abbrev_end)
186*fae548d3Szrj {
187*fae548d3Szrj this->failed(_("Debug abbreviations extend beyond "
188*fae548d3Szrj ".debug_abbrev section; failed to reduce "
189*fae548d3Szrj "debug abbreviations"));
190*fae548d3Szrj return;
191*fae548d3Szrj }
192*fae548d3Szrj }
193*fae548d3Szrj // Account for the two nulls and advance to the start of the
194*fae548d3Szrj // next abbreviation.
195*fae548d3Szrj current_abbrev += 2;
196*fae548d3Szrj
197*fae548d3Szrj // We're eliminating every entry except for compile units, so we
198*fae548d3Szrj // only need to store abbreviations that describe them
199*fae548d3Szrj if (abbrev_type == elfcpp::DW_TAG_compile_unit)
200*fae548d3Szrj {
201*fae548d3Szrj write_unsigned_LEB_128(&this->data_, ++this->abbrev_count_);
202*fae548d3Szrj write_unsigned_LEB_128(&this->data_, abbrev_type);
203*fae548d3Szrj // has_children is false for all entries
204*fae548d3Szrj this->data_.push_back(0);
205*fae548d3Szrj this->abbrev_mapping_[std::make_pair(abbrev_offset,
206*fae548d3Szrj abbrev_number)] =
207*fae548d3Szrj std::make_pair(abbrev_count_, this->data_.size());
208*fae548d3Szrj this->data_.insert(this->data_.end(), abbrev_data,
209*fae548d3Szrj current_abbrev);
210*fae548d3Szrj }
211*fae548d3Szrj abbrev_data = current_abbrev;
212*fae548d3Szrj }
213*fae548d3Szrj gold_assert(LEB_size == 1);
214*fae548d3Szrj abbrev_data += LEB_size;
215*fae548d3Szrj }
216*fae548d3Szrj // Null terminate the list of abbreviations
217*fae548d3Szrj this->data_.push_back(0);
218*fae548d3Szrj this->set_data_size(data_.size());
219*fae548d3Szrj this->sized_ = true;
220*fae548d3Szrj }
221*fae548d3Szrj
222*fae548d3Szrj void
do_write(Output_file * of)223*fae548d3Szrj Output_reduced_debug_abbrev_section::do_write(Output_file* of)
224*fae548d3Szrj {
225*fae548d3Szrj off_t offset = this->offset();
226*fae548d3Szrj off_t data_size = this->data_size();
227*fae548d3Szrj unsigned char* view = of->get_output_view(offset, data_size);
228*fae548d3Szrj if (this->failed_)
229*fae548d3Szrj memcpy(view, this->postprocessing_buffer(),
230*fae548d3Szrj this->postprocessing_buffer_size());
231*fae548d3Szrj else
232*fae548d3Szrj memcpy(view, &this->data_.front(), data_size);
233*fae548d3Szrj of->write_output_view(offset, data_size, view);
234*fae548d3Szrj }
235*fae548d3Szrj
236*fae548d3Szrj // Locates the abbreviation with abbreviation_number abbrev_number in the
237*fae548d3Szrj // abbreviation table at offset abbrev_offset. abbrev_number is updated with
238*fae548d3Szrj // its new abbreviation number and a pointer to the beginning of the
239*fae548d3Szrj // abbreviation is returned.
240*fae548d3Szrj unsigned char*
get_new_abbrev(uint64_t * abbrev_number,uint64_t abbrev_offset)241*fae548d3Szrj Output_reduced_debug_abbrev_section::get_new_abbrev(
242*fae548d3Szrj uint64_t* abbrev_number, uint64_t abbrev_offset)
243*fae548d3Szrj {
244*fae548d3Szrj set_final_data_size();
245*fae548d3Szrj std::pair<uint64_t, uint64_t> abbrev_info =
246*fae548d3Szrj this->abbrev_mapping_[std::make_pair(abbrev_offset, *abbrev_number)];
247*fae548d3Szrj *abbrev_number = abbrev_info.first;
248*fae548d3Szrj return &this->data_[abbrev_info.second];
249*fae548d3Szrj }
250*fae548d3Szrj
set_final_data_size()251*fae548d3Szrj void Output_reduced_debug_info_section::set_final_data_size()
252*fae548d3Szrj {
253*fae548d3Szrj if (this->failed_)
254*fae548d3Szrj return;
255*fae548d3Szrj unsigned char* debug_info = this->postprocessing_buffer();
256*fae548d3Szrj unsigned char* debug_info_end = (this->postprocessing_buffer()
257*fae548d3Szrj + this->postprocessing_buffer_size());
258*fae548d3Szrj unsigned char* next_compile_unit;
259*fae548d3Szrj this->write_to_postprocessing_buffer();
260*fae548d3Szrj
261*fae548d3Szrj while (debug_info < debug_info_end)
262*fae548d3Szrj {
263*fae548d3Szrj uint32_t compile_unit_start = read_from_pointer<32>(&debug_info);
264*fae548d3Szrj // The first 4 bytes of each compile unit determine whether or
265*fae548d3Szrj // not we're using dwarf32 or dwarf64. This is not necessarily
266*fae548d3Szrj // related to whether the binary is 32 or 64 bits.
267*fae548d3Szrj if (compile_unit_start == 0xFFFFFFFF)
268*fae548d3Szrj {
269*fae548d3Szrj // Technically the size can be up to 96 bits. Rather than handle
270*fae548d3Szrj // 96/128 bit integers we just truncate the size at 64 bits.
271*fae548d3Szrj if (0 != read_from_pointer<32>(&debug_info))
272*fae548d3Szrj {
273*fae548d3Szrj this->failed(_("Extremely large compile unit in debug info; "
274*fae548d3Szrj "failed to reduce debug info"));
275*fae548d3Szrj return;
276*fae548d3Szrj }
277*fae548d3Szrj const int dwarf64_header_size = sizeof(uint64_t) + sizeof(uint16_t) +
278*fae548d3Szrj sizeof(uint64_t) + sizeof(uint8_t);
279*fae548d3Szrj if (debug_info + dwarf64_header_size >= debug_info_end)
280*fae548d3Szrj {
281*fae548d3Szrj this->failed(_("Debug info extends beyond .debug_info section;"
282*fae548d3Szrj "failed to reduce debug info"));
283*fae548d3Szrj return;
284*fae548d3Szrj }
285*fae548d3Szrj
286*fae548d3Szrj uint64_t compile_unit_size = read_from_pointer<64>(&debug_info);
287*fae548d3Szrj next_compile_unit = debug_info + compile_unit_size;
288*fae548d3Szrj uint16_t version = read_from_pointer<16>(&debug_info);
289*fae548d3Szrj uint64_t abbrev_offset = read_from_pointer<64>(&debug_info);
290*fae548d3Szrj uint8_t address_size = read_from_pointer<8>(&debug_info);
291*fae548d3Szrj size_t LEB_size;
292*fae548d3Szrj uint64_t abbreviation_number = read_unsigned_LEB_128(debug_info,
293*fae548d3Szrj &LEB_size);
294*fae548d3Szrj debug_info += LEB_size;
295*fae548d3Szrj unsigned char* die_abbrev = this->associated_abbrev_->get_new_abbrev(
296*fae548d3Szrj &abbreviation_number, abbrev_offset);
297*fae548d3Szrj unsigned char* die_end;
298*fae548d3Szrj if (!this->get_die_end(debug_info, die_abbrev, &die_end,
299*fae548d3Szrj debug_info_end, address_size, true))
300*fae548d3Szrj {
301*fae548d3Szrj this->failed(_("Invalid DIE in debug info; "
302*fae548d3Szrj "failed to reduce debug info"));
303*fae548d3Szrj return;
304*fae548d3Szrj }
305*fae548d3Szrj
306*fae548d3Szrj insert_into_vector<32>(&this->data_, 0xFFFFFFFF);
307*fae548d3Szrj insert_into_vector<32>(&this->data_, 0);
308*fae548d3Szrj insert_into_vector<64>(
309*fae548d3Szrj &this->data_,
310*fae548d3Szrj (11 + get_length_as_unsigned_LEB_128(abbreviation_number)
311*fae548d3Szrj + die_end - debug_info));
312*fae548d3Szrj insert_into_vector<16>(&this->data_, version);
313*fae548d3Szrj insert_into_vector<64>(&this->data_, 0);
314*fae548d3Szrj insert_into_vector<8>(&this->data_, address_size);
315*fae548d3Szrj write_unsigned_LEB_128(&this->data_, abbreviation_number);
316*fae548d3Szrj this->data_.insert(this->data_.end(), debug_info, die_end);
317*fae548d3Szrj }
318*fae548d3Szrj else
319*fae548d3Szrj {
320*fae548d3Szrj const int dwarf32_header_size =
321*fae548d3Szrj sizeof(uint16_t) + sizeof(uint32_t) + sizeof(uint8_t);
322*fae548d3Szrj if (debug_info + dwarf32_header_size >= debug_info_end)
323*fae548d3Szrj {
324*fae548d3Szrj this->failed(_("Debug info extends beyond .debug_info section; "
325*fae548d3Szrj "failed to reduce debug info"));
326*fae548d3Szrj return;
327*fae548d3Szrj }
328*fae548d3Szrj uint32_t compile_unit_size = compile_unit_start;
329*fae548d3Szrj next_compile_unit = debug_info + compile_unit_size;
330*fae548d3Szrj uint16_t version = read_from_pointer<16>(&debug_info);
331*fae548d3Szrj uint32_t abbrev_offset = read_from_pointer<32>(&debug_info);
332*fae548d3Szrj uint8_t address_size = read_from_pointer<8>(&debug_info);
333*fae548d3Szrj size_t LEB_size;
334*fae548d3Szrj uint64_t abbreviation_number = read_unsigned_LEB_128(debug_info,
335*fae548d3Szrj &LEB_size);
336*fae548d3Szrj debug_info += LEB_size;
337*fae548d3Szrj unsigned char* die_abbrev = this->associated_abbrev_->get_new_abbrev(
338*fae548d3Szrj &abbreviation_number, abbrev_offset);
339*fae548d3Szrj unsigned char* die_end;
340*fae548d3Szrj if (!this->get_die_end(debug_info, die_abbrev, &die_end,
341*fae548d3Szrj debug_info_end, address_size, false))
342*fae548d3Szrj {
343*fae548d3Szrj this->failed(_("Invalid DIE in debug info; "
344*fae548d3Szrj "failed to reduce debug info"));
345*fae548d3Szrj return;
346*fae548d3Szrj }
347*fae548d3Szrj
348*fae548d3Szrj insert_into_vector<32>(
349*fae548d3Szrj &this->data_,
350*fae548d3Szrj (7 + get_length_as_unsigned_LEB_128(abbreviation_number)
351*fae548d3Szrj + die_end - debug_info));
352*fae548d3Szrj insert_into_vector<16>(&this->data_, version);
353*fae548d3Szrj insert_into_vector<32>(&this->data_, 0);
354*fae548d3Szrj insert_into_vector<8>(&this->data_, address_size);
355*fae548d3Szrj write_unsigned_LEB_128(&this->data_, abbreviation_number);
356*fae548d3Szrj this->data_.insert(this->data_.end(), debug_info, die_end);
357*fae548d3Szrj }
358*fae548d3Szrj debug_info = next_compile_unit;
359*fae548d3Szrj }
360*fae548d3Szrj this->set_data_size(data_.size());
361*fae548d3Szrj }
362*fae548d3Szrj
do_write(Output_file * of)363*fae548d3Szrj void Output_reduced_debug_info_section::do_write(Output_file* of)
364*fae548d3Szrj {
365*fae548d3Szrj off_t offset = this->offset();
366*fae548d3Szrj off_t data_size = this->data_size();
367*fae548d3Szrj unsigned char* view = of->get_output_view(offset, data_size);
368*fae548d3Szrj if (this->failed_)
369*fae548d3Szrj memcpy(view, this->postprocessing_buffer(),
370*fae548d3Szrj this->postprocessing_buffer_size());
371*fae548d3Szrj else
372*fae548d3Szrj memcpy(view, &this->data_.front(), data_size);
373*fae548d3Szrj of->write_output_view(offset, data_size, view);
374*fae548d3Szrj }
375*fae548d3Szrj
376*fae548d3Szrj } // End namespace gold.
377