From: Arnaud Charlet Date: Tue, 2 Aug 2011 09:28:26 +0000 (+0200) Subject: [multiple changes] X-Git-Tag: upstream/12.2.0~82496 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=5f7747af34b7daca7f1f39c9e80888d89a6112cc;p=platform%2Fupstream%2Fgcc.git [multiple changes] 2011-08-02 Yannick Moy * sem_aggr.adb (Resolve_Aggregate): Fix thinko. 2011-08-02 Robert Dewar * impunit.adb: Add comment. From-SVN: r177108 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 2eae3c8..fdec71f 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,13 @@ 2011-08-02 Yannick Moy + * sem_aggr.adb (Resolve_Aggregate): Fix thinko. + +2011-08-02 Robert Dewar + + * impunit.adb: Add comment. + +2011-08-02 Yannick Moy + * 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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);