sem_ch3.adb (Analyze_Declarations): Correct comments

2017-01-23  Justin Squirek  <squirek@adacore.com>

	* sem_ch3.adb (Analyze_Declarations): Correct comments
	* freeze.adb (Find_Constant): Add detection of deferred constants
	so they are not incorrectly flagged as premature.

From-SVN: r244785

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 8a676d89a61f9559665c44f9ce7da64b53daf9ab..c279bce30bd4fbcaa5acac8890f9625cd43abebe 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2017-01-23  Justin Squirek  <squirek@adacore.com>
+
+       * sem_ch3.adb (Analyze_Declarations): Correct comments
+       * freeze.adb (Find_Constant): Add detection of deferred constants
+       so they are not incorrectly flagged as premature.
+
 2017-01-23  Ed Schonberg  <schonberg@adacore.com>
 
        * scans.ads: New token At_Sign. Remove '@' from list of illegal

diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index c1dbd33c557e2eb599b585be483fd9ad094dd021..c8eef9c9ecbe4543c9cabc3d271c7bd690678ab9 100644 (file)
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -1356,6 +1356,7 @@ package body Freeze is
                                                          N_Object_Declaration
            and then not Is_Imported (Entity (Nod))
            and then not Has_Completion (Entity (Nod))
+           and then not Is_Frozen (Entity (Nod))
          then
             Error_Msg_NE
               ("premature use of& in call or instance", N, Entity (Nod));

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 9cc64b31725970e02b69e40801725a318ecdad82..fb42f6a0717f11e49983ee966cd3224e440eb5c8 100644 (file)
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -2637,7 +2637,7 @@ package body Sem_Ch3 is
             --  Check for an edge case that may cause premature freezing of a
             --  private type.
 
-            --  If there is an array type which uses a private type from an
+            --  If there is an type which depends on a private type from an
             --  enclosing package that is in the same scope as a non-completing
             --  expression function then we cannot freeze here.