This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r177172 - in /trunk/gcc/ada: ChangeLog sem_ch6....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 02 Aug 2011 15:00:08 -0000
- Subject: r177172 - in /trunk/gcc/ada: ChangeLog sem_ch6....
Author: charlet
Date: Tue Aug 2 15:00:07 2011
New Revision: 177172
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177172
Log:
2011-08-02 Gary Dismukes <dismukes@adacore.com>
* sem_ch6.adb (Check_Conformance): Revise the check for nonconforming
null exclusions to test Can_Never_Be_Null on the anonymous access types
of the formals rather than testing the formals themselves. Exclude this
check in cases where the Old_Formal is marked as a controlling formal,
to avoid issuing spurious errors for bodies completing dispatching
operations (due to the flag not getting set on controlling access
formals in body specs).
(Find_Corresponding_Spec): When checking full and subtype conformance of
subprogram bodies in instances, pass Designated and E in that order, for
consistency with the expected order of the formals (New_Id followed by
Old_Id).
2011-08-02 Robert Dewar <dewar@adacore.com>
* sem_ch8.adb: Minor reformatting.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_ch8.adb