diff options
| author | Robert Dewar <dewar@adacore.com> | 2007-08-14 10:40:59 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-08-14 10:40:59 +0200 |
| commit | dc06abecbb3a0353d5c95bd9d5a8afb6081e6230 (patch) | |
| tree | bf59c4f2cd07a8656d33d6936e5898573c1bc4c8 /gcc/ada/sem_ch3.ads | |
| parent | 442ade9dfe3e9ddf837174e548c8e248e9312c39 (diff) | |
| download | gcc-dc06abecbb3a0353d5c95bd9d5a8afb6081e6230.zip gcc-dc06abecbb3a0353d5c95bd9d5a8afb6081e6230.tar.gz gcc-dc06abecbb3a0353d5c95bd9d5a8afb6081e6230.tar.bz2 | |
sem_ch11.adb: Improved warnings for unused variables
2007-08-14 Robert Dewar <dewar@adacore.com>
Ed Schonberg <schonberg@adacore.com>
* sem_ch11.adb: Improved warnings for unused variables
* sem_ch3.ads, sem_ch3.adb (Build_Derived_Record_Type): If the ancestor
is a synchronized interface, the derived type is limited.
(Analyze_Object_Declaration): Mark the potential coextensions in the
definition and expression of an object declaration node.
(Build_Derived_Type): For the completion of a private type declaration
with a derived type declaration, chain the parent type's representation
items to the last representation item of the derived type (not the
first one) if they are not present already.
(Analyze_Object_Declaration, Constant_Redeclaration): Allow incomplete
object declaration of forward references to tags.
(Access_Subprogram_Declaration): In Ada2005, anonymous access to
subprogram types can appear as access discriminants of synchronized
types.
(OK_For_Limited_Init_In_05): The initialization is legal is it is a call
given in prefixed form as a selected component.
(Process_Discriminants): If not all discriminants have defaults, place
error message on a default that is present.
(Analyze_Private_Extension_Declaration): Diagnose properly an attempt to
extend a synchronized tagged type.
Improved warnings for unused variables
(Is_Visible_Component): Fix a visibility hole on a component inherited
by a private extension when parent is itself declared as a private
extension, and the derivation is in a child unit.
(Find_Hidden_Interface): Move spec from the package body.
From-SVN: r127426
Diffstat (limited to 'gcc/ada/sem_ch3.ads')
| -rw-r--r-- | gcc/ada/sem_ch3.ads | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch3.ads b/gcc/ada/sem_ch3.ads index 2d5fabc..5079e7b 100644 --- a/gcc/ada/sem_ch3.ads +++ b/gcc/ada/sem_ch3.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2006, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2007, 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- -- @@ -137,6 +137,13 @@ package Sem_Ch3 is -- Note: one might expect this to be private to the package body, but -- there is one rather unusual usage in package Exp_Dist. + function Find_Hidden_Interface + (Src : Elist_Id; + Dest : Elist_Id) return Entity_Id; + -- Ada 2005: Determine whether the interfaces in list Src are all present + -- in the list Dest. Return the first differing interface, or Empty + -- otherwise. + function Find_Type_Of_Subtype_Indic (S : Node_Id) return Entity_Id; -- Given a subtype indication S (which is really an N_Subtype_Indication -- node or a plain N_Identifier), find the type of the subtype mark. |