Use a symbol flag bit to mark linker defined symbols

Trying to use the SEC_LINKER_CREATED section flag to determine whether
a symbol is linker defined fails to work on targets like alpha that
define special SEC_COMMON sections.  These might contain symbols that
originated in an object file.

include/
	* bfdlink.h (struct bfd_link_hash_entry): Comment non_ir_ref.  Add
	linker_def.
bfd/
	* elflink.c (_bfd_elf_define_linkage_sym): Set linker_def.
	* linker.c (_bfd_generic_link_add_one_symbol): Clear linker_def
	for CDEF, DEF, DEFW, COM.
ld/
	* ldexp.c (exp_fold_tree_1 <etree_provide>): Test linker_def.
ld/testsuite/
	* ld-powerpc/sdabase.s,
	* ld-powerpc/sdabase.t,
	* ld-powerpc/sdabase.d: New test.
	* ld-powerpc/sdabase2.t,
	* ld-powerpc/sdabase2.d: New test.
	* ld-powerpc/powerpc.exp: Run them.

bfd/ChangeLog

@@ -1,3 +1,9 @@
+2014-12-23  Alan Modra  <amodra@gmail.com>
+
+	* elflink.c (_bfd_elf_define_linkage_sym): Set linker_def.
+	* linker.c (_bfd_generic_link_add_one_symbol): Clear linker_def
+	for CDEF, DEF, DEFW, COM.
+
 2014-12-22  Nick Clifton  <nickc@redhat.com>
 
 	PR binutils/17512

bfd/elflink.c

@@ -85,6 +85,7 @@ _bfd_elf_define_linkage_sym (bfd *abfd,
   h = (struct elf_link_hash_entry *) bh;
   h->def_regular = 1;
   h->non_elf = 0;
+  h->root.linker_def = 1;
   h->type = STT_OBJECT;
   if (ELF_ST_VISIBILITY (h->other) != STV_INTERNAL)
     h->other = (h->other & ~ELF_ST_VISIBILITY (-1)) | STV_HIDDEN;

bfd/linker.c

@@ -1560,6 +1560,7 @@ _bfd_generic_link_add_one_symbol (struct bfd_link_info *info,
 	      h->type = bfd_link_hash_defined;
 	    h->u.def.section = section;
 	    h->u.def.value = value;
+	    h->linker_def = 0;
 
 	    /* If we have been asked to, we act like collect2 and
 	       identify all functions that might be global
@@ -1659,6 +1660,7 @@ _bfd_generic_link_add_one_symbol (struct bfd_link_info *info,
 	    }
 	  else
 	    h->u.c.p->section = section;
+	  h->linker_def = 0;
 	  break;
 
 	case REF:

include/ChangeLog

@@ -1,3 +1,8 @@
+2014-12-23  Alan Modra  <amodra@gmail.com>
+
+	* bfdlink.h (struct bfd_link_hash_entry): Comment non_ir_ref.  Add
+	linker_def.
+
 2014-12-12  Phil Muldoon  <pmuldoon@redhat.com>
 	    Jan Kratochvil  <jan.kratochvil@redhat.com>
 	    Tom Tromey  <tromey@redhat.com>

include/bfdlink.h

@@ -91,8 +91,14 @@ struct bfd_link_hash_entry
   /* Type of this entry.  */
   ENUM_BITFIELD (bfd_link_hash_type) type : 8;
 
+  /* Symbol is referenced in a normal object file, as distict from a LTO
+     IR object file.  */
   unsigned int non_ir_ref : 1;
 
+  /* Symbol is a built-in define.  These will be overridden by PROVIDE
+     in a linker script.  */
+  unsigned int linker_def : 1;
+
   /* A union of information depending upon the type.  */
   union
     {

ld/ChangeLog

@@ -1,3 +1,7 @@
+2014-12-23  Alan Modra  <amodra@gmail.com>
+
+	* ldexp.c (exp_fold_tree_1 <etree_provide>): Test linker_def.
+
 2014-12-23  Alan Modra  <amodra@gmail.com>
 
 	* ldexp.c (exp_fold_tree_1 <etree_provide>): Leave bfd_link_hash_common

ld/ldexp.c

@@ -1072,9 +1072,7 @@ exp_fold_tree_1 (etree_type *tree)
 	      if (h == NULL
 		  || !(h->type == bfd_link_hash_new
 		       || h->type == bfd_link_hash_undefined
-		       || (h->type == bfd_link_hash_defined
-			   && (h->u.def.section->flags
-			       & SEC_LINKER_CREATED) != 0)))
+		       || h->linker_def))
 		{
 		  /* Do nothing.  The symbol was never referenced, or
 		     was defined in some object file.  Undefined weak

ld/testsuite/ChangeLog

@@ -1,3 +1,12 @@
+2014-12-23  Alan Modra  <amodra@gmail.com>
+
+	* ld-powerpc/sdabase.s,
+	* ld-powerpc/sdabase.t,
+	* ld-powerpc/sdabase.d: New test.
+	* ld-powerpc/sdabase2.t,
+	* ld-powerpc/sdabase2.d: New test.
+	* ld-powerpc/powerpc.exp: Run them.
+
 2014-12-23  Alan Modra  <amodra@gmail.com>
 
 	* ld-elf/endsym.s, *ld-elf/endsym.d: New test.

ld/testsuite/ld-powerpc/powerpc.exp

@@ -289,6 +289,8 @@ if { [istarget "powerpc*-eabi*"] } {
 }
 
 run_dump_test "plt1"
+run_dump_test "sdabase"
+run_dump_test "sdabase2"
 
 run_dump_test "attr-gnu-4-00"
 run_dump_test "attr-gnu-4-01"

ld/testsuite/ld-powerpc/sdabase.d

@@ -0,0 +1,10 @@
+#source: sdabase.s
+#as: -a32
+#ld: -melf32ppc -T sdabase.t
+#objdump: -s
+#target: powerpc*-*-*
+
+.*:     file format .*
+
+Contents of section \.sdata:
+ 0400 (00008400|00840000) (00000400|00040000) .*

ld/testsuite/ld-powerpc/sdabase.s

@@ -0,0 +1,9 @@
+	.text
+	.globl _start
+_start:
+
+	.section .sdata,"aw",@progbits
+	.globl my_sdata
+my_sdata:
+	.dc.a	_SDA_BASE_
+	.dc.a	my_sdata

ld/testsuite/ld-powerpc/sdabase.t

@@ -0,0 +1,6 @@
+SECTIONS
+{
+  .text 0x100 : { *(.text) }
+  .sdata 0x400 : { *(.sdata) }
+  /DISCARD/ : { *(*) }
+}

ld/testsuite/ld-powerpc/sdabase2.d

@@ -0,0 +1,10 @@
+#source: sdabase.s
+#as: -a32
+#ld: -melf32ppc -T sdabase2.t
+#objdump: -s
+#target: powerpc*-*-*
+
+.*:     file format .*
+
+Contents of section \.sdata:
+ 0400 (00000400|00040000) (00000400|00040000) .*

ld/testsuite/ld-powerpc/sdabase2.t

@@ -0,0 +1,6 @@
+SECTIONS
+{
+  .text 0x100 : { *(.text) }
+  .sdata 0x400 : { PROVIDE (_SDA_BASE_ = .); *(.sdata) }
+  /DISCARD/ : { *(*) }
+}