2010-10-07 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 7 Oct 2010 12:52:01 +0000 (12:52 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 7 Oct 2010 12:52:01 +0000 (12:52 +0000)
* sem_ch12.adb: Add comment.
* sem_ch6.adb: Minor reformatting.

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

gcc/ada/ChangeLog
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch6.adb

index 68b651d..06e0556 100644 (file)
@@ -1,3 +1,8 @@
+2010-10-07  Robert Dewar  <dewar@adacore.com>
+
+       * sem_ch12.adb: Add comment.
+       * sem_ch6.adb: Minor reformatting.
+
 2010-10-07  Robert Dewar  <dewar@adacore.com>
 
        * par-ch3.adb, par-ch6.adb, par-ch7.adb, par-ch9.adb, par-ch10.adb: Add
index 7a2208e..0857991 100644 (file)
@@ -2801,9 +2801,12 @@ package body Sem_Ch12 is
             Result_Type := Access_Definition (Spec, Result_Definition (Spec));
             Set_Etype (Id, Result_Type);
 
-            --  Check restriction imposed by AI05-073 : a generic function
+            --  Check restriction imposed by AI05-073: a generic function
             --  cannot return an abstract type or an access to such.
 
+            --  This is a binding interpreration should it apply to earlier
+            --  versions of Ada as well as Ada 2012???
+
             if Is_Abstract_Type (Designated_Type (Result_Type))
               and then Ada_Version >= Ada_12
             then
index 7be427e..fab0ba8 100644 (file)
@@ -2957,13 +2957,13 @@ package body Sem_Ch6 is
          --  Ada 2005 (AI-251): If the return type is abstract, verify that
          --  the subprogram is abstract also. This does not apply to renaming
          --  declarations, where abstractness is inherited.
+
          --  In case of primitives associated with abstract interface types
          --  the check is applied later (see Analyze_Subprogram_Declaration).
 
-         if not Nkind_In (Parent (N),
-             N_Subprogram_Renaming_Declaration,
-             N_Abstract_Subprogram_Declaration,
-             N_Formal_Abstract_Subprogram_Declaration)
+         if not Nkind_In (Parent (N), N_Subprogram_Renaming_Declaration,
+                                      N_Abstract_Subprogram_Declaration,
+                                      N_Formal_Abstract_Subprogram_Declaration)
          then
             if Is_Abstract_Type (Etype (Designator))
               and then not Is_Interface (Etype (Designator))
@@ -2971,7 +2971,7 @@ package body Sem_Ch6 is
                Error_Msg_N
                  ("function that returns abstract type must be abstract", N);
 
-            --  Ada 2012 (AI-0073) : extend this test to subprograms with an
+            --  Ada 2012 (AI-0073): extend this test to subprograms with an
             --  access result whose designated type is abstract.
 
             elsif Nkind (Result_Definition (N)) = N_Access_Definition