Add const to Object::read and Object::sized_target.
[deliverable/binutils-gdb.git] / gold / readsyms.cc
CommitLineData
bae7f79e
ILT
1// readsyms.cc -- read input file symbols for gold
2
6cb15b7f
ILT
3// Copyright 2006, 2007 Free Software Foundation, Inc.
4// Written by Ian Lance Taylor <iant@google.com>.
5
6// This file is part of gold.
7
8// This program is free software; you can redistribute it and/or modify
9// it under the terms of the GNU General Public License as published by
10// the Free Software Foundation; either version 3 of the License, or
11// (at your option) any later version.
12
13// This program is distributed in the hope that it will be useful,
14// but WITHOUT ANY WARRANTY; without even the implied warranty of
15// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16// GNU General Public License for more details.
17
18// You should have received a copy of the GNU General Public License
19// along with this program; if not, write to the Free Software
20// Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
21// MA 02110-1301, USA.
22
bae7f79e
ILT
23#include "gold.h"
24
25#include <cstring>
26
27#include "elfcpp.h"
28#include "options.h"
29#include "dirsearch.h"
f6ce93d6 30#include "symtab.h"
a2fb1b05 31#include "object.h"
61ba1cf9 32#include "archive.h"
dbe717ef 33#include "script.h"
61ba1cf9 34#include "readsyms.h"
bae7f79e
ILT
35
36namespace gold
37{
38
ee6d2efe
ILT
39// If we fail to open the object, then we won't create an Add_symbols
40// task. However, we still need to unblock the token, or else the
41// link won't proceed to generate more error messages. We can only
42// unblock tokens in the main thread, so we need a dummy task to do
43// that. The dummy task has to maintain the right sequence of blocks,
44// so we need both this_blocker and next_blocker.
45
46class Unblock_token : public Task
47{
48 public:
49 Unblock_token(Task_token* this_blocker, Task_token* next_blocker)
50 : this_blocker_(this_blocker), next_blocker_(next_blocker)
51 { }
52
53 ~Unblock_token()
54 {
55 if (this->this_blocker_ != NULL)
56 delete this->this_blocker_;
57 }
58
59 Is_runnable_type
60 is_runnable(Workqueue*)
61 {
62 if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked())
63 return IS_BLOCKED;
64 return IS_RUNNABLE;
65 }
66
67 Task_locker*
68 locks(Workqueue* workqueue)
69 { return new Task_locker_block(*this->next_blocker_, workqueue); }
70
71 void
72 run(Workqueue*)
73 { }
74
c7912668
ILT
75 std::string
76 get_name() const
77 { return "Unblock_token"; }
78
ee6d2efe
ILT
79 private:
80 Task_token* this_blocker_;
81 Task_token* next_blocker_;
82};
83
bae7f79e
ILT
84// Class read_symbols.
85
86Read_symbols::~Read_symbols()
87{
88 // The this_blocker_ and next_blocker_ pointers are passed on to the
89 // Add_symbols task.
90}
91
ead1e424
ILT
92// Return whether a Read_symbols task is runnable. We can read an
93// ordinary input file immediately. For an archive specified using
94// -l, we have to wait until the search path is complete.
bae7f79e
ILT
95
96Task::Is_runnable_type
97Read_symbols::is_runnable(Workqueue*)
98{
dbe717ef 99 if (this->input_argument_->is_file()
51dee2fe 100 && this->input_argument_->file().may_need_search()
ead1e424 101 && this->dirpath_.token().is_blocked())
bae7f79e
ILT
102 return IS_BLOCKED;
103
104 return IS_RUNNABLE;
105}
106
107// Return a Task_locker for a Read_symbols task. We don't need any
108// locks here.
109
110Task_locker*
111Read_symbols::locks(Workqueue*)
112{
113 return NULL;
114}
115
ee6d2efe 116// Run a Read_symbols task.
bae7f79e
ILT
117
118void
119Read_symbols::run(Workqueue* workqueue)
ee6d2efe
ILT
120{
121 // If we didn't queue a new task, then we need to explicitly unblock
122 // the token.
123 if (!this->do_read_symbols(workqueue))
124 workqueue->queue_front(new Unblock_token(this->this_blocker_,
125 this->next_blocker_));
126}
127
128// Open the file and read the symbols. Return true if a new task was
129// queued, false if that could not happen due to some error.
130
131bool
132Read_symbols::do_read_symbols(Workqueue* workqueue)
bae7f79e 133{
dbe717ef 134 if (this->input_argument_->is_group())
ead1e424 135 {
a3ad94ed 136 gold_assert(this->input_group_ == NULL);
ead1e424 137 this->do_group(workqueue);
ee6d2efe 138 return true;
ead1e424
ILT
139 }
140
5a6f7e2d 141 Input_file* input_file = new Input_file(&this->input_argument_->file());
75f2446e 142 if (!input_file->open(this->options_, this->dirpath_))
ee6d2efe 143 return false;
bae7f79e
ILT
144
145 // Read enough of the file to pick up the entire ELF header.
146
82dcae9d 147 off_t filesize = input_file->file().filesize();
bae3688d 148
82dcae9d
ILT
149 if (filesize == 0)
150 {
75f2446e
ILT
151 gold_error(_("%s: file is empty"),
152 input_file->file().filename().c_str());
ee6d2efe 153 return false;
82dcae9d
ILT
154 }
155
156 unsigned char ehdr_buf[elfcpp::Elf_sizes<64>::ehdr_size];
157
158 int read_size = elfcpp::Elf_sizes<64>::ehdr_size;
159 if (filesize < read_size)
160 read_size = filesize;
161
162 input_file->file().read(0, read_size, ehdr_buf);
163
164 if (read_size >= 4)
bae7f79e
ILT
165 {
166 static unsigned char elfmagic[4] =
167 {
168 elfcpp::ELFMAG0, elfcpp::ELFMAG1,
169 elfcpp::ELFMAG2, elfcpp::ELFMAG3
170 };
bae3688d 171 if (memcmp(ehdr_buf, elfmagic, 4) == 0)
bae7f79e
ILT
172 {
173 // This is an ELF object.
a2fb1b05 174
dbe717ef 175 Object* obj = make_elf_object(input_file->filename(),
82dcae9d 176 input_file, 0, ehdr_buf, read_size);
75f2446e 177 if (obj == NULL)
ee6d2efe 178 return false;
dbe717ef
ILT
179
180 // We don't have a way to record a non-archive in an input
181 // group. If this is an ordinary object file, we can't
182 // include it more than once anyhow. If this is a dynamic
183 // object, then including it a second time changes nothing.
184 if (this->input_group_ != NULL && !obj->is_dynamic())
ead1e424 185 {
75f2446e
ILT
186 gold_error(_("%s: ordinary object found in input group"),
187 input_file->name());
ee6d2efe 188 return false;
ead1e424
ILT
189 }
190
12e14209
ILT
191 Read_symbols_data* sd = new Read_symbols_data;
192 obj->read_symbols(sd);
7e1edb90 193 workqueue->queue_front(new Add_symbols(this->input_objects_,
ead1e424 194 this->symtab_, this->layout_,
92e059d8
ILT
195 obj, sd,
196 this->this_blocker_,
197 this->next_blocker_));
bae7f79e
ILT
198
199 // Opening the file locked it, so now we need to unlock it.
200 input_file->file().unlock();
201
ee6d2efe 202 return true;
bae7f79e
ILT
203 }
204 }
205
82dcae9d 206 if (read_size >= Archive::sarmag)
61ba1cf9 207 {
bae3688d 208 if (memcmp(ehdr_buf, Archive::armag, Archive::sarmag) == 0)
61ba1cf9
ILT
209 {
210 // This is an archive.
dbe717ef
ILT
211 Archive* arch = new Archive(this->input_argument_->file().name(),
212 input_file);
61ba1cf9 213 arch->setup();
7e1edb90 214 workqueue->queue(new Add_archive_symbols(this->symtab_,
12e14209 215 this->layout_,
61ba1cf9
ILT
216 this->input_objects_,
217 arch,
ead1e424 218 this->input_group_,
61ba1cf9
ILT
219 this->this_blocker_,
220 this->next_blocker_));
ee6d2efe 221 return true;
61ba1cf9
ILT
222 }
223 }
224
dbe717ef
ILT
225 // Try to parse this file as a script.
226 if (read_input_script(workqueue, this->options_, this->symtab_,
227 this->layout_, this->dirpath_, this->input_objects_,
228 this->input_group_, this->input_argument_, input_file,
82dcae9d 229 ehdr_buf, read_size, this->this_blocker_,
bae3688d 230 this->next_blocker_))
ee6d2efe 231 return true;
dbe717ef 232
92e059d8 233 // Here we have to handle any other input file types we need.
75f2446e
ILT
234 gold_error(_("%s: not an object or archive"),
235 input_file->file().filename().c_str());
ee6d2efe
ILT
236
237 return false;
bae7f79e
ILT
238}
239
ead1e424
ILT
240// Handle a group. We need to walk through the arguments over and
241// over until we don't see any new undefined symbols. We do this by
242// setting off Read_symbols Tasks as usual, but recording the archive
243// entries instead of deleting them. We also start a Finish_group
244// Task which runs after we've read all the symbols. In that task we
245// process the archives in a loop until we are done.
246
247void
248Read_symbols::do_group(Workqueue* workqueue)
249{
250 Input_group* input_group = new Input_group();
251
dbe717ef 252 const Input_file_group* group = this->input_argument_->group();
ead1e424
ILT
253 Task_token* this_blocker = this->this_blocker_;
254 for (Input_file_group::const_iterator p = group->begin();
255 p != group->end();
256 ++p)
257 {
dbe717ef 258 const Input_argument* arg = &*p;
a3ad94ed 259 gold_assert(arg->is_file());
ead1e424
ILT
260
261 Task_token* next_blocker = new Task_token();
262 next_blocker->add_blocker();
263 workqueue->queue(new Read_symbols(this->options_, this->input_objects_,
264 this->symtab_, this->layout_,
265 this->dirpath_, arg, input_group,
266 this_blocker, next_blocker));
267 this_blocker = next_blocker;
268 }
269
270 const int saw_undefined = this->symtab_->saw_undefined();
7e1edb90 271 workqueue->queue(new Finish_group(this->input_objects_,
ead1e424
ILT
272 this->symtab_,
273 this->layout_,
274 input_group,
275 saw_undefined,
276 this_blocker,
277 this->next_blocker_));
278}
279
c7912668
ILT
280// Return a debugging name for a Read_symbols task.
281
282std::string
283Read_symbols::get_name() const
284{
285 if (!this->input_argument_->is_group())
286 {
287 std::string ret("Read_symbols ");
288 if (this->input_argument_->file().is_lib())
289 ret += "-l";
290 ret += this->input_argument_->file().name();
291 return ret;
292 }
293
294 std::string ret("Read_symbols group (");
295 bool add_space = false;
296 const Input_file_group* group = this->input_argument_->group();
297 for (Input_file_group::const_iterator p = group->begin();
298 p != group->end();
299 ++p)
300 {
301 if (add_space)
302 ret += ' ';
303 ret += p->file().name();
304 add_space = true;
305 }
306 return ret + ')';
307}
308
bae7f79e
ILT
309// Class Add_symbols.
310
311Add_symbols::~Add_symbols()
312{
313 if (this->this_blocker_ != NULL)
314 delete this->this_blocker_;
315 // next_blocker_ is deleted by the task associated with the next
316 // input file.
317}
318
a2fb1b05
ILT
319// We are blocked by this_blocker_. We block next_blocker_. We also
320// lock the file.
bae7f79e
ILT
321
322Task::Is_runnable_type
323Add_symbols::is_runnable(Workqueue*)
324{
325 if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked())
326 return IS_BLOCKED;
a2fb1b05
ILT
327 if (this->object_->is_locked())
328 return IS_LOCKED;
bae7f79e
ILT
329 return IS_RUNNABLE;
330}
331
a2fb1b05
ILT
332class Add_symbols::Add_symbols_locker : public Task_locker
333{
334 public:
335 Add_symbols_locker(Task_token& token, Workqueue* workqueue,
336 Object* object)
337 : blocker_(token, workqueue), objlock_(*object)
338 { }
339
340 private:
341 Task_locker_block blocker_;
342 Task_locker_obj<Object> objlock_;
343};
344
bae7f79e
ILT
345Task_locker*
346Add_symbols::locks(Workqueue* workqueue)
347{
a2fb1b05
ILT
348 return new Add_symbols_locker(*this->next_blocker_, workqueue,
349 this->object_);
bae7f79e
ILT
350}
351
ead1e424
ILT
352// Add the symbols in the object to the symbol table.
353
bae7f79e
ILT
354void
355Add_symbols::run(Workqueue*)
356{
008db82e
ILT
357 if (!this->input_objects_->add_object(this->object_))
358 {
359 // FIXME: We need to close the descriptor here.
360 delete this->object_;
361 }
362 else
363 {
7e1edb90 364 this->object_->layout(this->symtab_, this->layout_, this->sd_);
008db82e
ILT
365 this->object_->add_symbols(this->symtab_, this->sd_);
366 }
12e14209
ILT
367 delete this->sd_;
368 this->sd_ = NULL;
bae7f79e
ILT
369}
370
ead1e424
ILT
371// Class Finish_group.
372
373Finish_group::~Finish_group()
374{
375 if (this->this_blocker_ != NULL)
376 delete this->this_blocker_;
377 // next_blocker_ is deleted by the task associated with the next
378 // input file following the group.
379}
380
381// We need to wait for THIS_BLOCKER_ and unblock NEXT_BLOCKER_.
382
383Task::Is_runnable_type
384Finish_group::is_runnable(Workqueue*)
385{
386 if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked())
387 return IS_BLOCKED;
388 return IS_RUNNABLE;
389}
390
391Task_locker*
392Finish_group::locks(Workqueue* workqueue)
393{
394 return new Task_locker_block(*this->next_blocker_, workqueue);
395}
396
397// Loop over the archives until there are no new undefined symbols.
398
399void
400Finish_group::run(Workqueue*)
401{
402 int saw_undefined = this->saw_undefined_;
403 while (saw_undefined != this->symtab_->saw_undefined())
404 {
405 saw_undefined = this->symtab_->saw_undefined();
406
407 for (Input_group::const_iterator p = this->input_group_->begin();
408 p != this->input_group_->end();
409 ++p)
410 {
411 Task_lock_obj<Archive> tl(**p);
412
7e1edb90 413 (*p)->add_symbols(this->symtab_, this->layout_,
ead1e424
ILT
414 this->input_objects_);
415 }
416 }
417
418 // Delete all the archives now that we no longer need them.
419 for (Input_group::const_iterator p = this->input_group_->begin();
420 p != this->input_group_->end();
421 ++p)
422 delete *p;
423 delete this->input_group_;
424}
425
bae7f79e 426} // End namespace gold.
This page took 0.085586 seconds and 4 git commands to generate.