decl.c (gnat_to_gnu_entity): Always build a variable for E_Variable with a pragma Linker_Section.

	* gcc-interface/decl.c (gnat_to_gnu_entity): Always build a variable
	for E_Variable with a pragma Linker_Section.

From-SVN: r207072

gcc/ada/ChangeLog

+2014-01-25  Tristan Gingold  <gingold@adacore.com>
+
+	* gcc-interface/decl.c (gnat_to_gnu_entity): Always build a variable
+	for E_Variable with a pragma Linker_Section.
+
 2014-01-25  Robert Dewar  <dewar@adacore.com>
 
 	* gcc-interface/decl.c (gnat_to_gnu_param): Make sure an Out parameter

gcc/ada/gcc-interface/decl.c

@@ -575,9 +575,13 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition)
       /* Simple variables, loop variables, Out parameters and exceptions.  */
     object:
       {
+	/* Always create a variable for volatile objects and variables seen
+	   constant but with a Linker_Section pragma.  */
 	bool const_flag
 	  = ((kind == E_Constant || kind == E_Variable)
 	     && Is_True_Constant (gnat_entity)
+	     && !(kind == E_Variable
+		  && Present (Linker_Section_Pragma (gnat_entity)))
 	     && !Treat_As_Volatile (gnat_entity)
 	     && (((Nkind (Declaration_Node (gnat_entity))
 		   == N_Object_Declaration)