From: Tristan Gingold Date: Sat, 25 Jan 2014 10:42:04 +0000 (+0000) Subject: decl.c (gnat_to_gnu_entity): Always build a variable for E_Variable with a pragma... X-Git-Tag: releases/gcc-4.9.0~1367 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=ae56e44284592b1e8cca35f870e0240e65e141c5;p=thirdparty%2Fgcc.git 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 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index dceaa9995db7..3c6bf0dddb67 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2014-01-25 Tristan Gingold + + * 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 * 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 25e2e781cee0..4180e59f6d87 100644 --- 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)