diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-25 10:42:04 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-25 10:42:04 +0000 |
| commit | 393920187a47744b9a53d9ab013ba7648da8d2cf (patch) | |
| tree | 743b29a5767ec0bff826422fed4e65f40aef224e /gcc | |
| parent | c0f3417205ddfe46660cbfb48eee7fdcd2ac6658 (diff) | |
| download | ppe42-gcc-393920187a47744b9a53d9ab013ba7648da8d2cf.tar.gz ppe42-gcc-393920187a47744b9a53d9ab013ba7648da8d2cf.zip | |
* gcc-interface/decl.c (gnat_to_gnu_entity): Always build a variable
for E_Variable with a pragma Linker_Section.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207072 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/decl.c | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index dceaa9995db..3c6bf0dddb6 100644 --- 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 25e2e781cee..4180e59f6d8 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) |
