2011-08-02 Yannick Moy <moy@adacore.com>

	* sem_aggr.adb (Resolve_Aggregate): Fix thinko.

2011-08-02  Robert Dewar  <dewar@adacore.com>

	* impunit.adb: Add comment.

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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 2eae3c8..fdec71f 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,5 +1,13 @@
 2011-08-02  Yannick Moy  <moy@adacore.com>
 
+       * sem_aggr.adb (Resolve_Aggregate): Fix thinko.
+
+2011-08-02  Robert Dewar  <dewar@adacore.com>
+
+       * impunit.adb: Add comment.
+
+2011-08-02  Yannick Moy  <moy@adacore.com>
+
        * sem_aggr.adb (Check_Qualified_Aggregate): new procedure which checks
        qualification of aggregates in formal mode
        (Is_Top_Level_Aggregate): returns True for an aggregate not contained in

diff --git a/gcc/ada/a-cfdlli.adb b/gcc/ada/a-cfdlli.adb
index ed34d0e..4f70f81 100644 (file)
--- a/gcc/ada/a-cfdlli.adb
+++ b/gcc/ada/a-cfdlli.adb
@@ -8,10 +8,6 @@
 --                                                                          --
 --          Copyright (C) 2010, Free Software Foundation, Inc.              --
 --                                                                          --
--- This specification is derived from the Ada Reference Manual for use with --
--- GNAT. The copyright notice above, and the license provisions that follow --
--- apply solely to the  contents of the part following the private keyword. --
---                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --

diff --git a/gcc/ada/a-cfhama.adb b/gcc/ada/a-cfhama.adb
index bc83c9d..34a8a43 100644 (file)
--- a/gcc/ada/a-cfhama.adb
+++ b/gcc/ada/a-cfhama.adb
@@ -8,10 +8,6 @@
 --                                                                          --
 --          Copyright (C) 2010, Free Software Foundation, Inc.              --
 --                                                                          --
--- This specification is derived from the Ada Reference Manual for use with --
--- GNAT. The copyright notice above, and the license provisions that follow --
--- apply solely to the  contents of the part following the private keyword. --
---                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --

diff --git a/gcc/ada/a-cfhase.adb b/gcc/ada/a-cfhase.adb
index 0df686d..ed514c8 100644 (file)
--- a/gcc/ada/a-cfhase.adb
+++ b/gcc/ada/a-cfhase.adb
@@ -8,10 +8,6 @@
 --                                                                          --
 --          Copyright (C) 2010, Free Software Foundation, Inc.              --
 --                                                                          --
--- This specification is derived from the Ada Reference Manual for use with --
--- GNAT. The copyright notice above, and the license provisions that follow --
--- apply solely to the  contents of the part following the private keyword. --
---                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --

diff --git a/gcc/ada/a-cforma.adb b/gcc/ada/a-cforma.adb
index f451917..705fd61 100644 (file)
--- a/gcc/ada/a-cforma.adb
+++ b/gcc/ada/a-cforma.adb
@@ -8,10 +8,6 @@
 --                                                                          --
 --          Copyright (C) 2010, Free Software Foundation, Inc.              --
 --                                                                          --
--- This specification is derived from the Ada Reference Manual for use with --
--- GNAT. The copyright notice above, and the license provisions that follow --
--- apply solely to the  contents of the part following the private keyword. --
---                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --

diff --git a/gcc/ada/a-cforse.adb b/gcc/ada/a-cforse.adb
index 229af23..30a0f97 100644 (file)
--- a/gcc/ada/a-cforse.adb
+++ b/gcc/ada/a-cforse.adb
@@ -8,10 +8,6 @@
 --                                                                          --
 --          Copyright (C) 2010, Free Software Foundation, Inc.              --
 --                                                                          --
--- This specification is derived from the Ada Reference Manual for use with --
--- GNAT. The copyright notice above, and the license provisions that follow --
--- apply solely to the  contents of the part following the private keyword. --
---                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --

diff --git a/gcc/ada/a-cofove.adb b/gcc/ada/a-cofove.adb
index a0fddf9..fd30ca9 100644 (file)
--- a/gcc/ada/a-cofove.adb
+++ b/gcc/ada/a-cofove.adb
@@ -8,10 +8,6 @@
 --                                                                          --
 --          Copyright (C) 2010, Free Software Foundation, Inc.              --
 --                                                                          --
--- This specification is derived from the Ada Reference Manual for use with --
--- GNAT. The copyright notice above, and the license provisions that follow --
--- apply solely to the  contents of the part following the private keyword. --
---                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --

diff --git a/gcc/ada/impunit.adb b/gcc/ada/impunit.adb
index 788afa4..e911b0a 100644 (file)
--- a/gcc/ada/impunit.adb
+++ b/gcc/ada/impunit.adb
@@ -513,6 +513,11 @@ package body Impunit is
      "a-cborma",    -- Ada.Containers.Bounded_Ordered_Maps
      "a-cbhase",    -- Ada.Containers.Bounded_Hashed_Sets
      "a-cbhama",    -- Ada.Containers.Bounded_Hashed_Maps
+
+   -----------------------------------------
+   -- GNAT Defined Additions to Ada 20012 --
+   -----------------------------------------
+
      "a-cofove",    -- Ada.Containers.Formal_Vectors
      "a-cfdlli",    -- Ada.Containers.Formal_Doubly_Linked_Lists
      "a-cforse",    -- Ada.Containers.Formal_Ordered_Sets

diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index 566995d..131379f 100644 (file)
--- a/gcc/ada/sem_aggr.adb
+++ b/gcc/ada/sem_aggr.adb
@@ -993,10 +993,12 @@ package body Sem_Aggr is
          if Is_Array_Type (Typ)
            and then Nkind (Parent (N)) = N_Assignment_Statement
            and then not Is_Constrained (Etype (Name (Parent (N))))
-           and then not Is_Others_Aggregate (N)
          then
-            Check_Formal_Restriction
-              ("array aggregate should have only OTHERS", N);
+            if not Is_Others_Aggregate (N) then
+               Check_Formal_Restriction
+                 ("array aggregate should have only OTHERS", N);
+            end if;
+
          elsif Is_Top_Level_Aggregate (N) then
             Check_Formal_Restriction ("aggregate should be qualified", N);