decl.c (gnat_to_gnu_entity): Do not build a specific type for the object if it is...

	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Do not build
	a specific type for the object if it is deemed a constant.

From-SVN: r236283

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 246c7703490b73525cacd98ac8e23143d08aee57..49c463a848a55f1e17839e2011ea4d49b50eeb07 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2016-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Do not build
+       a specific type for the object if it is deemed a constant.
+
 2016-05-16  Eric Botcazou  <ebotcazou@adacore.com>
 
        * freeze.adb (Freeze_Record_Type): Extend pragma Implicit_Packing to

diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c
index 8f2be234f8a993ff86f6f24dd14a8ac2f7b22faf..b51200f3c8faeb9961897d2c4718353ef93aa896 100644 (file)
--- a/gcc/ada/gcc-interface/decl.c
+++ b/gcc/ada/gcc-interface/decl.c
@@ -1437,9 +1437,6 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, bool definition)
              = build_reference_type (TYPE_OBJECT_RECORD_TYPE (gnu_array));
          }
 
-       if (const_flag)
-         gnu_type = change_qualified_type (gnu_type, TYPE_QUAL_CONST);
-
        /* Convert the expression to the type of the object if need be.  */
        if (gnu_expr && initial_value_needs_conversion (gnu_type, gnu_expr))
          gnu_expr = convert (gnu_type, gnu_expr);