class Input_objects;
class Input_group;
class Input_file;
-class Target;
+class Output_segment;
class Task_token;
class Workqueue;
struct Version_dependency_list;
virtual ~Expression()
{ }
- // Return the value of the expression.
+ // Return the value of the expression which is not permitted to
+ // refer to the dot symbol. CHECK_ASSERTIONS is true if we should
+ // check whether assertions are true.
uint64_t
- eval(const Symbol_table*, const Layout*);
+ eval(const Symbol_table*, const Layout*, bool check_assertions);
+
+ // Return the value of an expression which is permitted to refer to
+ // the dot symbol. DOT_VALUE is the absolute value of the dot
+ // symbol. DOT_SECTION is the section in which dot is defined; it
+ // should be NULL if the dot symbol has an absolute value (e.g., is
+ // defined in a SECTIONS clause outside of any output section
+ // definition). This sets *RESULT_SECTION to indicate where the
+ // value is defined. If the value is absolute *RESULT_SECTION will
+ // be NULL. Note that the returned value is still an absolute
+ // value; to get a section relative value the caller must subtract
+ // the section address.
+ uint64_t
+ eval_with_dot(const Symbol_table*, const Layout*, bool check_assertions,
+ uint64_t dot_value, Output_section* dot_section,
+ Output_section** result_section);
+
+ // Return the value of an expression which may or may not be
+ // permitted to refer to the dot symbol, depending on
+ // is_dot_available.
+ uint64_t
+ eval_maybe_dot(const Symbol_table*, const Layout*, bool check_assertions,
+ bool is_dot_available, uint64_t dot_value,
+ Output_section* dot_section,
+ Output_section** result_section);
// Print the expression to the FILE. This is for debugging.
virtual void
public:
~Version_script_info();
+ // Clear everything.
+ void
+ clear();
+
// Return whether any version were defined in the version script.
bool
empty() const
{ return get_symbol_version_helper(symbol, true); }
// Return whether this symbol matches the local: section of a
- // version script (it doesn't matter which). This test is only
- // valid if get_symbol_version() returns the empty string, as we
- // don't test that here.
+ // version script (it doesn't matter which).
bool
symbol_is_local(const char* symbol) const
- { return !get_symbol_version_helper(symbol, false).empty(); }
+ {
+ return (get_symbol_version(symbol).empty()
+ && !get_symbol_version_helper(symbol, false).empty());
+ }
// Return the names of versions defined in the version script.
// Strings are allocated out of the stringpool given in the
// Add the symbol to the symbol table.
void
- add_to_table(Symbol_table*, const Target*);
+ add_to_table(Symbol_table*);
// Finalize the symbol value.
- void finalize(Symbol_table*, const Layout*);
+ void
+ finalize(Symbol_table*, const Layout*);
+
+ // Finalize the symbol value when it can refer to the dot symbol.
+ void
+ finalize_with_dot(Symbol_table*, const Layout*, uint64_t dot_value,
+ Output_section* dot_section);
+
+ // Set the symbol value, but only if the value is absolute. This is
+ // used while processing a SECTIONS clause. We assume that dot is
+ // an absolute value here. We do not check assertions.
+ void
+ set_if_absolute(Symbol_table*, const Layout*, bool is_dot_available,
+ uint64_t dot_value);
// Print the assignment to the FILE. This is for debugging.
void
print(FILE*) const;
private:
+ // Shared by finalize and finalize_with_dot.
+ void
+ finalize_maybe_dot(Symbol_table*, const Layout*, bool is_dot_available,
+ uint64_t dot_value, Output_section* dot_section);
+
// Sized version of finalize.
template<int size>
void
- sized_finalize(Symbol_table*, const Layout*);
+ sized_finalize(Symbol_table*, const Layout*, bool is_dot_available,
+ uint64_t dot_value, Output_section*);
// Symbol name.
std::string name_;
public:
Script_options();
- // The entry address.
- const char*
- entry() const
- { return this->entry_.empty() ? NULL : this->entry_.c_str(); }
-
- // Set the entry address.
- void
- set_entry(const char* entry, size_t length)
- { this->entry_.assign(entry, length); }
-
// Add a symbol to be defined.
void
add_symbol_assignment(const char* name, size_t length, Expression* value,
bool
define_symbol(const char* definition);
+ // Create sections required by any linker scripts.
+ void
+ create_script_sections(Layout*);
+
// Add all symbol definitions to the symbol table.
void
- add_symbols_to_table(Symbol_table*, const Target*);
+ add_symbols_to_table(Symbol_table*);
- // Finalize the symbol values.
+ // Finalize the symbol values. Also check assertions.
void
finalize_symbols(Symbol_table*, const Layout*);
version_script_info()
{ return &this->version_script_info_; }
+ const Version_script_info*
+ version_script_info() const
+ { return &this->version_script_info_; }
+
// A SECTIONS clause parsed from a linker script. Everything else
// has a pointer to this object.
Script_sections*
script_sections()
{ return &this->script_sections_; }
+ const Script_sections*
+ script_sections() const
+ { return &this->script_sections_; }
+
+ // Whether we saw a SECTIONS clause.
+ bool
+ saw_sections_clause() const
+ { return this->script_sections_.saw_sections_clause(); }
+
+ // Whether we saw a PHDRS clause.
+ bool
+ saw_phdrs_clause() const
+ { return this->script_sections_.saw_phdrs_clause(); }
+
+ // Set section addresses using a SECTIONS clause. Return the
+ // segment which should hold the file header and segment headers;
+ // this may return NULL, in which case the headers are not in a
+ // loadable segment.
+ Output_segment*
+ set_section_addresses(Symbol_table*, Layout*);
+
// Print the script to the FILE. This is for debugging.
void
print(FILE*) const;
};
// FILE was found as an argument on the command line, but was not
-// recognized as an ELF file. Try to read it as a script. We've
-// already read BYTES of data into P. Return true if the file was
-// handled. This has to handle /usr/lib/libc.so on a GNU/Linux
-// system.
+// recognized as an ELF file. Try to read it as a script. Return
+// true if the file was handled. This has to handle /usr/lib/libc.so
+// on a GNU/Linux system. *USED_NEXT_BLOCKER is set to indicate
+// whether the function took over NEXT_BLOCKER.
bool
read_input_script(Workqueue*, const General_options&, Symbol_table*, Layout*,
Dirsearch*, Input_objects*, Input_group*,
- const Input_argument*, Input_file*, const unsigned char* p,
- off_t bytes, Task_token* this_blocker,
- Task_token* next_blocker);
+ const Input_argument*, Input_file*,
+ Task_token* next_blocker, bool* used_next_blocker);
// FILE was found as an argument to --script (-T).
// Read it as a script, and execute its contents immediately.
projects / deliverable / binutils-gdb.git / blobdiff