aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Lance Taylor <ian@airs.com>2010-01-11 07:09:48 +0000
committerIan Lance Taylor <ian@airs.com>2010-01-11 07:09:48 +0000
commitba4d53bf2b70e0c5adf55bd3e4f815651d372c14 (patch)
treee95a4a70368c4d465941289464806aaf0a46e5cb
parent7198066bc1e788f08e3a3fd1435ea50a610b8999 (diff)
downloadgdb-ba4d53bf2b70e0c5adf55bd3e4f815651d372c14.zip
gdb-ba4d53bf2b70e0c5adf55bd3e4f815651d372c14.tar.gz
gdb-ba4d53bf2b70e0c5adf55bd3e4f815651d372c14.tar.bz2
* resolve.cc (Symbol_table::resolve): Add symbols to list of ODR
candidates before doing symbol resolution.
-rw-r--r--gold/ChangeLog3
-rw-r--r--gold/resolve.cc64
2 files changed, 35 insertions, 32 deletions
diff --git a/gold/ChangeLog b/gold/ChangeLog
index 77df2b8..ddf5090 100644
--- a/gold/ChangeLog
+++ b/gold/ChangeLog
@@ -1,5 +1,8 @@
2010-01-10 Ian Lance Taylor <iant@google.com>
+ * resolve.cc (Symbol_table::resolve): Add symbols to list of ODR
+ candidates before doing symbol resolution.
+
* resolve.cc (Symbol_table::resolve): Add symbols to the list of
ODR candidates if only one is weak.
diff --git a/gold/resolve.cc b/gold/resolve.cc
index 408e83b..3c7c7a8 100644
--- a/gold/resolve.cc
+++ b/gold/resolve.cc
@@ -297,6 +297,38 @@ Symbol_table::resolve(Sized_symbol<size>* to,
}
}
+ // A new weak undefined reference, merging with an old weak
+ // reference, could be a One Definition Rule (ODR) violation --
+ // especially if the types or sizes of the references differ. We'll
+ // store such pairs and look them up later to make sure they
+ // actually refer to the same lines of code. We also check
+ // combinations of weak and strong, which might occur if one case is
+ // inline and the other is not. (Note: not all ODR violations can
+ // be found this way, and not everything this finds is an ODR
+ // violation. But it's helpful to warn about.)
+ bool to_is_ordinary;
+ if (parameters->options().detect_odr_violations()
+ && (sym.get_st_bind() == elfcpp::STB_WEAK
+ || to->binding() == elfcpp::STB_WEAK)
+ && orig_st_shndx != elfcpp::SHN_UNDEF
+ && to->shndx(&to_is_ordinary) != elfcpp::SHN_UNDEF
+ && to_is_ordinary
+ && sym.get_st_size() != 0 // Ignore weird 0-sized symbols.
+ && to->symsize() != 0
+ && (sym.get_st_type() != to->type()
+ || sym.get_st_size() != to->symsize())
+ // C does not have a concept of ODR, so we only need to do this
+ // on C++ symbols. These have (mangled) names starting with _Z.
+ && to->name()[0] == '_' && to->name()[1] == 'Z')
+ {
+ Symbol_location fromloc
+ = { object, orig_st_shndx, sym.get_st_value() };
+ Symbol_location toloc = { to->object(), to->shndx(&to_is_ordinary),
+ to->value() };
+ this->candidate_odr_violations_[to->name()].insert(fromloc);
+ this->candidate_odr_violations_[to->name()].insert(toloc);
+ }
+
unsigned int frombits = symbol_to_bits(sym.get_st_bind(),
object->is_dynamic(),
st_shndx, is_ordinary,
@@ -337,38 +369,6 @@ Symbol_table::resolve(Sized_symbol<size>* to,
_("multiple common of '%s'"),
to, OBJECT, object);
}
-
- // A new weak undefined reference, merging with an old weak
- // reference, could be a One Definition Rule (ODR) violation --
- // especially if the types or sizes of the references differ. We'll
- // store such pairs and look them up later to make sure they
- // actually refer to the same lines of code. We also check
- // combinations of weak and strong, which might occur if one case is
- // inline and the other is not. (Note: not all ODR violations can
- // be found this way, and not everything this finds is an ODR
- // violation. But it's helpful to warn about.)
- bool to_is_ordinary;
- if (parameters->options().detect_odr_violations()
- && (sym.get_st_bind() == elfcpp::STB_WEAK
- || to->binding() == elfcpp::STB_WEAK)
- && orig_st_shndx != elfcpp::SHN_UNDEF
- && to->shndx(&to_is_ordinary) != elfcpp::SHN_UNDEF
- && to_is_ordinary
- && sym.get_st_size() != 0 // Ignore weird 0-sized symbols.
- && to->symsize() != 0
- && (sym.get_st_type() != to->type()
- || sym.get_st_size() != to->symsize())
- // C does not have a concept of ODR, so we only need to do this
- // on C++ symbols. These have (mangled) names starting with _Z.
- && to->name()[0] == '_' && to->name()[1] == 'Z')
- {
- Symbol_location fromloc
- = { object, orig_st_shndx, sym.get_st_value() };
- Symbol_location toloc = { to->object(), to->shndx(&to_is_ordinary),
- to->value() };
- this->candidate_odr_violations_[to->name()].insert(fromloc);
- this->candidate_odr_violations_[to->name()].insert(toloc);
- }
}
// Handle the core of symbol resolution. This is called with the