diff options
| author | Olivier Hainque <hainque@adacore.com> | 2008-09-22 10:29:29 +0000 |
|---|---|---|
| committer | Olivier Hainque <hainque@gcc.gnu.org> | 2008-09-22 10:29:29 +0000 |
| commit | 22868cbf560231317a5c82348c08d396fa29f471 (patch) | |
| tree | 5e64426e997f556d62e9350e72dd76e3c4b421ad /gcc/ada/gcc-interface/decl.c | |
| parent | 5e038cad0bb468177c7adad1faebf3465ecda0fd (diff) | |
| download | gcc-22868cbf560231317a5c82348c08d396fa29f471.zip gcc-22868cbf560231317a5c82348c08d396fa29f471.tar.gz gcc-22868cbf560231317a5c82348c08d396fa29f471.tar.bz2 | |
decl.c (gnat_to_gnu_entity): Even when they are never assigned...
* gcc-interface/decl.c (gnat_to_gnu_entity): Even when they
are never assigned, volatile entities are not constant for code
generation purposes.
* gnat.dg/volatile3.adb: New test.
From-SVN: r140545
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
| -rw-r--r-- | gcc/ada/gcc-interface/decl.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index a8fa1ba..d343b14 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -548,6 +548,7 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition) bool const_flag = ((kind == E_Constant || kind == E_Variable) && Is_True_Constant (gnat_entity) + && !Treat_As_Volatile (gnat_entity) && (((Nkind (Declaration_Node (gnat_entity)) == N_Object_Declaration) && Present (Expression (Declaration_Node (gnat_entity)))) |