OpenE2K
/
binutils-gdb
12
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix regression introduced by fix for PR 18703. 

When a user object overrides a versioned definition in a shared object,
it's possible to trigger an internal error because the versioned
definition we saw didn't override the unversioned definition. This
was introduced by the fix for PR 18703. This patch fixes the problem
by reordering the tests so that we do not check ret->is_default()
until we're confident that the symbol is in fact versioned.

gold/
	PR gold/18866
	PR gold/18703
	* symtab.cc (Symbol_table): Reorder conditions to avoid internal error.
This commit is contained in:
Cary Coutant 2015-08-25 17:53:53 -07:00
parent dc72bf948a
commit 3ac0a36c29
2 changed files with 23 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gold/ChangeLog
View File

@ -1,3 +1,9 @@
2015-08-25 Cary Coutant <ccoutant@gmail.com>
PR gold/18866
PR gold/18703
* symtab.cc (Symbol_table): Reorder conditions to avoid internal error.
2015-08-20 Alan Modra <amodra@gmail.com>
PR gold/18846

32
gold/symtab.cc
View File

@ -998,26 +998,28 @@ Symbol_table::add_from_object(Object* object,
if (is_default_version)
this->define_default_version<size, big_endian>(ret, insdefault.second,
insdefault.first);
else if (version != NULL && ret->is_default())
else
{
// We have seen NAME/VERSION already, and marked it as the
// default version, but now we see a definition for
// NAME/VERSION that is not the default version. This can
// happen when the assembler generates two symbols for
// a symbol as a result of a ".symver foo,foo@VER"
// directive. We see the first unversioned symbol and
// we may mark it as the default version (from a
// version script); then we see the second versioned
// symbol and we need to override the first.
// In any other case, the two symbols should have generated
// a multiple definition error.
// (See PR gold/18703.)
bool dummy;
if (ret->source() == Symbol::FROM_OBJECT
if (version != NULL
&& ret->source() == Symbol::FROM_OBJECT
&& ret->object() == object
&& is_ordinary
&& ret->shndx(&dummy) == st_shndx)
&& ret->shndx(&dummy) == st_shndx
&& ret->is_default())
{
// We have seen NAME/VERSION already, and marked it as the
// default version, but now we see a definition for
// NAME/VERSION that is not the default version. This can
// happen when the assembler generates two symbols for
// a symbol as a result of a ".symver foo,foo@VER"
// directive. We see the first unversioned symbol and
// we may mark it as the default version (from a
// version script); then we see the second versioned
// symbol and we need to override the first.
// In any other case, the two symbols should have generated
// a multiple definition error.
// (See PR gold/18703.)
ret->set_is_not_default();
const Stringpool::Key vnull_key = 0;
this->table_.erase(std::make_pair(name_key, vnull_key));