diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 15:17:04 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 15:17:04 +0100 |
| commit | f2d9ae209afbf4486850f531ebe091953f1f72f9 (patch) | |
| tree | 23946da77ac012517c919c88e1f139b85752566e /gcc | |
| parent | ad1048a5287c73ce13fac4183dfc01811943e791 (diff) | |
| download | gcc-f2d9ae209afbf4486850f531ebe091953f1f72f9.zip gcc-f2d9ae209afbf4486850f531ebe091953f1f72f9.tar.gz gcc-f2d9ae209afbf4486850f531ebe091953f1f72f9.tar.bz2 | |
[multiple changes]
2014-11-20 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb: Minor reformatting.
* exp_util.adb (Following_Address_Clause): Handle case of
package private part.
2014-11-20 Arnaud Charlet <charlet@adacore.com>
* a-cdlili.adb, a-cihama.adb, a-coinve.adb, a-cusyqu.adb, a-ciorse.adb,
a-coorma.adb, a-cborma.adb, a-cidlli.adb, a-cimutr.adb, a-ciormu.adb,
a-cbprqu.adb, a-cihase.adb, a-cohama.adb, a-coorse.adb, a-coboho.adb,
a-cuprqu.adb, a-cbhama.adb, a-rbtgbo.adb, a-cborse.adb, a-comutr.adb,
a-ciorma.adb, a-cobove.adb, a-coormu.adb, a-convec.adb, a-cohase.adb,
a-coinho.adb, a-coinho-shared.adb, a-cbdlli.adb, a-cbsyqu.adb,
a-cbmutr.adb, a-cbhase.adb: Add pragma Annotate to prevent codepeer
from analyzing these bodies.
From-SVN: r217854
Diffstat (limited to 'gcc')
34 files changed, 152 insertions, 32 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f24e4fd..f93275b 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,20 @@ +2014-11-20 Robert Dewar <dewar@adacore.com> + + * sem_ch13.adb: Minor reformatting. + * exp_util.adb (Following_Address_Clause): Handle case of + package private part. + +2014-11-20 Arnaud Charlet <charlet@adacore.com> + + * a-cdlili.adb, a-cihama.adb, a-coinve.adb, a-cusyqu.adb, a-ciorse.adb, + a-coorma.adb, a-cborma.adb, a-cidlli.adb, a-cimutr.adb, a-ciormu.adb, + a-cbprqu.adb, a-cihase.adb, a-cohama.adb, a-coorse.adb, a-coboho.adb, + a-cuprqu.adb, a-cbhama.adb, a-rbtgbo.adb, a-cborse.adb, a-comutr.adb, + a-ciorma.adb, a-cobove.adb, a-coormu.adb, a-convec.adb, a-cohase.adb, + a-coinho.adb, a-coinho-shared.adb, a-cbdlli.adb, a-cbsyqu.adb, + a-cbmutr.adb, a-cbhase.adb: Add pragma Annotate to prevent codepeer + from analyzing these bodies. + 2014-11-20 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not apply diff --git a/gcc/ada/a-cbdlli.adb b/gcc/ada/a-cbdlli.adb index 796d87b..c4e4945 100644 --- a/gcc/ada/a-cbdlli.adb +++ b/gcc/ada/a-cbdlli.adb @@ -31,6 +31,8 @@ with System; use type System.Address; package body Ada.Containers.Bounded_Doubly_Linked_Lists is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------- -- Local Subprograms -- ----------------------- diff --git a/gcc/ada/a-cbhama.adb b/gcc/ada/a-cbhama.adb index eb53e75..3772c77 100644 --- a/gcc/ada/a-cbhama.adb +++ b/gcc/ada/a-cbhama.adb @@ -39,6 +39,8 @@ with System; use type System.Address; package body Ada.Containers.Bounded_Hashed_Maps is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------- -- Local Subprograms -- ----------------------- diff --git a/gcc/ada/a-cbhase.adb b/gcc/ada/a-cbhase.adb index 331087b..5f87c29 100644 --- a/gcc/ada/a-cbhase.adb +++ b/gcc/ada/a-cbhase.adb @@ -39,6 +39,8 @@ with System; use type System.Address; package body Ada.Containers.Bounded_Hashed_Sets is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------- -- Local Subprograms -- ----------------------- diff --git a/gcc/ada/a-cbmutr.adb b/gcc/ada/a-cbmutr.adb index 26b0085..2a07542 100644 --- a/gcc/ada/a-cbmutr.adb +++ b/gcc/ada/a-cbmutr.adb @@ -31,6 +31,8 @@ with System; use type System.Address; package body Ada.Containers.Bounded_Multiway_Trees is + pragma Annotate (CodePeer, Skip_Analysis); + -------------------- -- Root_Iterator -- -------------------- diff --git a/gcc/ada/a-cborma.adb b/gcc/ada/a-cborma.adb index 68b6bef..c45bf9a 100644 --- a/gcc/ada/a-cborma.adb +++ b/gcc/ada/a-cborma.adb @@ -39,6 +39,8 @@ with System; use type System.Address; package body Ada.Containers.Bounded_Ordered_Maps is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------------- -- Node Access Subprograms -- ----------------------------- diff --git a/gcc/ada/a-cborse.adb b/gcc/ada/a-cborse.adb index 979357d..af894ee 100644 --- a/gcc/ada/a-cborse.adb +++ b/gcc/ada/a-cborse.adb @@ -42,6 +42,8 @@ with System; use type System.Address; package body Ada.Containers.Bounded_Ordered_Sets is + pragma Annotate (CodePeer, Skip_Analysis); + ------------------------------ -- Access to Fields of Node -- ------------------------------ diff --git a/gcc/ada/a-cbprqu.adb b/gcc/ada/a-cbprqu.adb index ce2fd69..61b9e72 100644 --- a/gcc/ada/a-cbprqu.adb +++ b/gcc/ada/a-cbprqu.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2011, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2014, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -29,6 +29,8 @@ package body Ada.Containers.Bounded_Priority_Queues is + pragma Annotate (CodePeer, Skip_Analysis); + package body Implementation is ------------- diff --git a/gcc/ada/a-cbsyqu.adb b/gcc/ada/a-cbsyqu.adb index 462d6f4..e918a9a 100644 --- a/gcc/ada/a-cbsyqu.adb +++ b/gcc/ada/a-cbsyqu.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2011, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2014, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -29,6 +29,8 @@ package body Ada.Containers.Bounded_Synchronized_Queues is + pragma Annotate (CodePeer, Skip_Analysis); + package body Implementation is ------------- diff --git a/gcc/ada/a-cdlili.adb b/gcc/ada/a-cdlili.adb index eae608c..02a4c39 100644 --- a/gcc/ada/a-cdlili.adb +++ b/gcc/ada/a-cdlili.adb @@ -33,6 +33,8 @@ with System; use type System.Address; package body Ada.Containers.Doubly_Linked_Lists is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------- -- Local Subprograms -- ----------------------- diff --git a/gcc/ada/a-cidlli.adb b/gcc/ada/a-cidlli.adb index c41be78..6e296e80 100644 --- a/gcc/ada/a-cidlli.adb +++ b/gcc/ada/a-cidlli.adb @@ -33,6 +33,8 @@ with System; use type System.Address; package body Ada.Containers.Indefinite_Doubly_Linked_Lists is + pragma Annotate (CodePeer, Skip_Analysis); + procedure Free is new Ada.Unchecked_Deallocation (Element_Type, Element_Access); diff --git a/gcc/ada/a-cihama.adb b/gcc/ada/a-cihama.adb index 7f99789..98798a2 100644 --- a/gcc/ada/a-cihama.adb +++ b/gcc/ada/a-cihama.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2004-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2014, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -39,6 +39,8 @@ with System; use type System.Address; package body Ada.Containers.Indefinite_Hashed_Maps is + pragma Annotate (CodePeer, Skip_Analysis); + procedure Free_Key is new Ada.Unchecked_Deallocation (Key_Type, Key_Access); diff --git a/gcc/ada/a-cihase.adb b/gcc/ada/a-cihase.adb index 7d50366..4cc0f46 100644 --- a/gcc/ada/a-cihase.adb +++ b/gcc/ada/a-cihase.adb @@ -41,6 +41,8 @@ with System; use type System.Address; package body Ada.Containers.Indefinite_Hashed_Sets is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------- -- Local Subprograms -- ----------------------- diff --git a/gcc/ada/a-cimutr.adb b/gcc/ada/a-cimutr.adb index 0d3f164..e0b4b96 100644 --- a/gcc/ada/a-cimutr.adb +++ b/gcc/ada/a-cimutr.adb @@ -33,6 +33,8 @@ with System; use type System.Address; package body Ada.Containers.Indefinite_Multiway_Trees is + pragma Annotate (CodePeer, Skip_Analysis); + -------------------- -- Root_Iterator -- -------------------- diff --git a/gcc/ada/a-ciorma.adb b/gcc/ada/a-ciorma.adb index d62f607..3dde307 100644 --- a/gcc/ada/a-ciorma.adb +++ b/gcc/ada/a-ciorma.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2004-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2014, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -40,6 +40,8 @@ with System; use type System.Address; package body Ada.Containers.Indefinite_Ordered_Maps is pragma Suppress (All_Checks); + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------------- -- Node Access Subprograms -- ----------------------------- diff --git a/gcc/ada/a-ciormu.adb b/gcc/ada/a-ciormu.adb index 2bc1200..1b562d7 100644 --- a/gcc/ada/a-ciormu.adb +++ b/gcc/ada/a-ciormu.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2004-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2014, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -42,6 +42,8 @@ with System; use type System.Address; package body Ada.Containers.Indefinite_Ordered_Multisets is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------------- -- Node Access Subprograms -- ----------------------------- diff --git a/gcc/ada/a-ciorse.adb b/gcc/ada/a-ciorse.adb index 7c14cac..218ab8a 100644 --- a/gcc/ada/a-ciorse.adb +++ b/gcc/ada/a-ciorse.adb @@ -42,6 +42,8 @@ with System; use type System.Address; package body Ada.Containers.Indefinite_Ordered_Sets is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------- -- Local Subprograms -- ----------------------- diff --git a/gcc/ada/a-coboho.adb b/gcc/ada/a-coboho.adb index 23beaea..4ea0fa0 100644 --- a/gcc/ada/a-coboho.adb +++ b/gcc/ada/a-coboho.adb @@ -30,6 +30,8 @@ with Ada.Assertions; use Ada.Assertions; package body Ada.Containers.Bounded_Holders is + pragma Annotate (CodePeer, Skip_Analysis); + function Size_In_Storage_Elements (Element : Element_Type) return Natural is (Element'Size / System.Storage_Unit) with Pre => diff --git a/gcc/ada/a-cobove.adb b/gcc/ada/a-cobove.adb index a7e7a76..80437de 100644 --- a/gcc/ada/a-cobove.adb +++ b/gcc/ada/a-cobove.adb @@ -33,6 +33,8 @@ with System; use type System.Address; package body Ada.Containers.Bounded_Vectors is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------- -- Local Subprograms -- ----------------------- diff --git a/gcc/ada/a-cohama.adb b/gcc/ada/a-cohama.adb index 70e7758..ba6b998 100644 --- a/gcc/ada/a-cohama.adb +++ b/gcc/ada/a-cohama.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2004-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2014, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -39,6 +39,8 @@ with System; use type System.Address; package body Ada.Containers.Hashed_Maps is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------- -- Local Subprograms -- ----------------------- diff --git a/gcc/ada/a-cohase.adb b/gcc/ada/a-cohase.adb index f7f49aa..56376e1 100644 --- a/gcc/ada/a-cohase.adb +++ b/gcc/ada/a-cohase.adb @@ -41,6 +41,8 @@ with System; use type System.Address; package body Ada.Containers.Hashed_Sets is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------- -- Local Subprograms -- ----------------------- diff --git a/gcc/ada/a-coinho-shared.adb b/gcc/ada/a-coinho-shared.adb index cf9d1cc..783121c 100644 --- a/gcc/ada/a-coinho-shared.adb +++ b/gcc/ada/a-coinho-shared.adb @@ -36,6 +36,8 @@ with Ada.Unchecked_Deallocation; package body Ada.Containers.Indefinite_Holders is + pragma Annotate (CodePeer, Skip_Analysis); + procedure Free is new Ada.Unchecked_Deallocation (Element_Type, Element_Access); diff --git a/gcc/ada/a-coinho.adb b/gcc/ada/a-coinho.adb index 2cdba99..0135ea5 100644 --- a/gcc/ada/a-coinho.adb +++ b/gcc/ada/a-coinho.adb @@ -29,6 +29,8 @@ with Ada.Unchecked_Deallocation; package body Ada.Containers.Indefinite_Holders is + pragma Annotate (CodePeer, Skip_Analysis); + procedure Free is new Ada.Unchecked_Deallocation (Element_Type, Element_Access); diff --git a/gcc/ada/a-coinve.adb b/gcc/ada/a-coinve.adb index 3234f5e..bb7b283 100644 --- a/gcc/ada/a-coinve.adb +++ b/gcc/ada/a-coinve.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2004-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2014, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -34,6 +34,8 @@ with System; use type System.Address; package body Ada.Containers.Indefinite_Vectors is + pragma Annotate (CodePeer, Skip_Analysis); + procedure Free is new Ada.Unchecked_Deallocation (Elements_Type, Elements_Access); diff --git a/gcc/ada/a-comutr.adb b/gcc/ada/a-comutr.adb index f45a27a..14d879e 100644 --- a/gcc/ada/a-comutr.adb +++ b/gcc/ada/a-comutr.adb @@ -34,6 +34,8 @@ with System; use type System.Address; package body Ada.Containers.Multiway_Trees is + pragma Annotate (CodePeer, Skip_Analysis); + -------------------- -- Root_Iterator -- -------------------- diff --git a/gcc/ada/a-convec.adb b/gcc/ada/a-convec.adb index ef4d754..8731060 100644 --- a/gcc/ada/a-convec.adb +++ b/gcc/ada/a-convec.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2004-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2014, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -34,6 +34,8 @@ with System; use type System.Address; package body Ada.Containers.Vectors is + pragma Annotate (CodePeer, Skip_Analysis); + procedure Free is new Ada.Unchecked_Deallocation (Elements_Type, Elements_Access); diff --git a/gcc/ada/a-coorma.adb b/gcc/ada/a-coorma.adb index e451ec6..0794ba3 100644 --- a/gcc/ada/a-coorma.adb +++ b/gcc/ada/a-coorma.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2004-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2014, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -39,6 +39,8 @@ with System; use type System.Address; package body Ada.Containers.Ordered_Maps is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------------- -- Node Access Subprograms -- ----------------------------- diff --git a/gcc/ada/a-coormu.adb b/gcc/ada/a-coormu.adb index a3c5ab5..06dfe94 100644 --- a/gcc/ada/a-coormu.adb +++ b/gcc/ada/a-coormu.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2004-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2014, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -42,6 +42,8 @@ with System; use type System.Address; package body Ada.Containers.Ordered_Multisets is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------------- -- Node Access Subprograms -- ----------------------------- diff --git a/gcc/ada/a-coorse.adb b/gcc/ada/a-coorse.adb index 0f45308..34e562e 100644 --- a/gcc/ada/a-coorse.adb +++ b/gcc/ada/a-coorse.adb @@ -42,6 +42,8 @@ with System; use type System.Address; package body Ada.Containers.Ordered_Sets is + pragma Annotate (CodePeer, Skip_Analysis); + ------------------------------ -- Access to Fields of Node -- ------------------------------ diff --git a/gcc/ada/a-cuprqu.adb b/gcc/ada/a-cuprqu.adb index 4f6966d..dfb7868 100644 --- a/gcc/ada/a-cuprqu.adb +++ b/gcc/ada/a-cuprqu.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2011, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2014, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -31,6 +31,8 @@ with Ada.Unchecked_Deallocation; package body Ada.Containers.Unbounded_Priority_Queues is + pragma Annotate (CodePeer, Skip_Analysis); + package body Implementation is ----------------------- diff --git a/gcc/ada/a-cusyqu.adb b/gcc/ada/a-cusyqu.adb index 7fc01cc..3a87306 100644 --- a/gcc/ada/a-cusyqu.adb +++ b/gcc/ada/a-cusyqu.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2011, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2014, Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -31,6 +31,8 @@ with Ada.Unchecked_Deallocation; package body Ada.Containers.Unbounded_Synchronized_Queues is + pragma Annotate (CodePeer, Skip_Analysis); + package body Implementation is ----------------------- diff --git a/gcc/ada/a-rbtgbo.adb b/gcc/ada/a-rbtgbo.adb index 99a2edc..100881b 100644 --- a/gcc/ada/a-rbtgbo.adb +++ b/gcc/ada/a-rbtgbo.adb @@ -39,6 +39,8 @@ with System; use type System.Address; package body Ada.Containers.Red_Black_Trees.Generic_Bounded_Operations is + pragma Annotate (CodePeer, Skip_Analysis); + ----------------------- -- Local Subprograms -- ----------------------- diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index 3888071..c855936 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -2916,31 +2916,73 @@ package body Exp_Util is -- Following_Address_Clause -- ------------------------------ - -- Should this function check the private part in a package ??? - function Following_Address_Clause (D : Node_Id) return Node_Id is - Id : constant Entity_Id := Defining_Identifier (D); - Decl : Node_Id; + Id : constant Entity_Id := Defining_Identifier (D); + Result : Node_Id; + Par : Node_Id; + + function Check_Decls (D : Node_Id) return Node_Id; + -- This internal function differs from the main function in that it + -- gets called to deal with a following package private part, and + -- it checks declarations starting with D (the main function checks + -- declarations following D). If D is Empty, then Empty is returned. + + ----------------- + -- Check_Decls -- + ----------------- + + function Check_Decls (D : Node_Id) return Node_Id is + Decl : Node_Id; + + begin + Decl := D; + while Present (Decl) loop + if Nkind (Decl) = N_At_Clause + and then Chars (Identifier (Decl)) = Chars (Id) + then + return Decl; + + elsif Nkind (Decl) = N_Attribute_Definition_Clause + and then Chars (Decl) = Name_Address + and then Chars (Name (Decl)) = Chars (Id) + then + return Decl; + end if; + + Next (Decl); + end loop; + + -- Otherwise not found, return Empty + + return Empty; + end Check_Decls; + + -- Start of processing for Following_Address_Clause begin - Decl := Next (D); - while Present (Decl) loop - if Nkind (Decl) = N_At_Clause - and then Chars (Identifier (Decl)) = Chars (Id) - then - return Decl; + Result := Check_Decls (Next (D)); - elsif Nkind (Decl) = N_Attribute_Definition_Clause - and then Chars (Decl) = Name_Address - and then Chars (Name (Decl)) = Chars (Id) - then - return Decl; - end if; + if Present (Result) then + return Result; + end if; - Next (Decl); - end loop; + -- Check for possible package private part following - return Empty; + Par := Parent (D); + + if Nkind (Par) = N_Package_Specification + and then Visible_Declarations (Par) = List_Containing (D) + and then Present (Private_Declarations (Par)) + then + -- Private part present, check declarations there + + return Check_Decls (First (Private_Declarations (Par))); + + else + -- No private part, clause not found, return Empty + + return Empty; + end if; end Following_Address_Clause; ---------------------- diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index fe358b3..8a0ac8c 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -2853,7 +2853,6 @@ package body Sem_Ch13 is begin if A_Id = Aspect_Pre or else A_Id = Aspect_Precondition then Pname := Name_Precondition; - else Pname := Name_Postcondition; end if; |