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

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

From-SVN: r207072

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index dceaa99..3c6bf0d 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c
index 25e2e78..4180e59 100644 (file)
--- a/gcc/ada/gcc-interface/decl.c
+++ b/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)