[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 24 Mar 2015 12:21:37 +0000 (13:21 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 24 Mar 2015 12:21:37 +0000 (13:21 +0100)
2015-03-24  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Rep_Item_Too_Early): allow pragma Convention
on generic type.

2015-03-24  Gary Dismukes  <dismukes@adacore.com>

* inline.adb: Minor typo fix.

From-SVN: r221629

gcc/ada/ChangeLog
gcc/ada/inline.adb
gcc/ada/sem_ch13.adb

index dc0f8537f9d133a1e488c812cd847dea462cb5d8..e0613e527eb561efe78b6d5347a9b809e55cd262 100644 (file)
@@ -1,3 +1,12 @@
+2015-03-24  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch13.adb (Rep_Item_Too_Early): allow pragma Convention
+       on generic type.
+
+2015-03-24  Gary Dismukes  <dismukes@adacore.com>
+
+       * inline.adb: Minor typo fix.
+
 2015-03-24  Arnaud Charlet  <charlet@adacore.com>
 
        * doc/gnat_ugn/building_executable_programs_with_gnat.rst,
index 936b056d6da3a4052617081779b5c385157b0146..cf53aae810a9635c9338259497cb850ec5d3acba 100644 (file)
@@ -1337,7 +1337,7 @@ package body Inline is
    is
       function Has_Formal_With_Discriminant_Dependent_Fields
         (Id : Entity_Id) return Boolean;
-      --  Returns true if the subprogram has at least one formal parameters of
+      --  Returns true if the subprogram has at least one formal parameter of
       --  an unconstrained record type with per-object constraints on component
       --  types.
 
index fc230109044a48e8c9269cf0aa9e2fe314d1c9be..6f68e9afbfbfd12437b92916e7b3fc720b589d64 100644 (file)
@@ -11738,6 +11738,8 @@ package body Sem_Ch13 is
 
       elsif Is_Type (T)
         and then Is_Generic_Type (Root_Type (T))
+        and then (Nkind (N) /= N_Pragma
+                   or else Get_Pragma_Id (N) /= Pragma_Convention)
       then
          Error_Msg_N ("representation item not allowed for generic type", N);
          return True;