From: sam <sam@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Fri, 7 Dec 2007 14:37:36 +0000 (+0000)
Subject:     gcc/ada/
X-Git-Url: http://git.sourceforge.jp/view?p=pf3gnuchains%2Fgcc-fork.git;a=commitdiff_plain;h=af4565b381fae63fa5c2ebd1f0499c0f46df1472

gcc/ada/
	* sem_ch3.adb (Analyze_Object_Declaration): Signal an error
	when an access to constant is used to initialize an access
	value.

    gcc/testsuite/
	* gnat.dg/specs/access_constant_decl.ads: New test.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@130677 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 9ddc6da809f..cd4e3a07d14 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -4,6 +4,10 @@
 	* sem_ch6.adb (Process_Formals): Prevent an access type formal
 	to be initialized with an access to constant object.
 
+	* sem_ch3.adb (Analyze_Object_Declaration): Signal an error
+	when an access to constant is used to initialize an access
+	value.
+
 2007-12-07  Olivier Hainque  <hainque@adacore.com>
 
 	PR ada/34173
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 5c61d00943f..c16b4066d84 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -2364,6 +2364,20 @@ package body Sem_Ch3 is
 
          Set_Is_True_Constant (Id, True);
 
+         --  If the initialization expression is an access to constant,
+         --  it cannot be used with an access type.
+
+         if Is_Access_Type (Etype (E))
+           and then Is_Access_Constant (Etype (E))
+           and then Is_Access_Type (T)
+           and then not Is_Access_Constant (T)
+         then
+            Error_Msg_NE ("object of type& cannot be initialized with " &
+                          "an access-to-constant expression",
+                          E,
+                          T);
+         end if;
+
          --  If we are analyzing a constant declaration, set its completion
          --  flag after analyzing the expression.
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 2342e5e3aed..2dcabc16d61 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -3,6 +3,8 @@
 	PR ada/15805
 	* gnat.dg/specs/access_constants.ads: New test.
 
+	* gnat.dg/specs/access_constant_decl.ads: New test.
+
 2007-12-07  Olivier Hainque  <hainque@adacore.com>
 
 	PR ada/34173
diff --git a/gcc/testsuite/gnat.dg/specs/access_constant_decl.ads b/gcc/testsuite/gnat.dg/specs/access_constant_decl.ads
new file mode 100644
index 00000000000..aec40e6db82
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/access_constant_decl.ads
@@ -0,0 +1,11 @@
+-- { dg-do compile }
+package Access_Constant_Decl is
+
+   c: aliased constant integer := 3;
+
+   type const_ptr is access constant integer;
+   cp : const_ptr := c'access;
+
+   x : access integer := cp; -- { dg-error "access-to-constant" }
+
+end Access_Constant_Decl;