------- Comment #6 from charlet at gcc dot gnu dot org 2007-12-19 16:24 ------- Subject: Bug 15803
Author: charlet Date: Wed Dec 19 16:24:34 2007 New Revision: 131079 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131079 Log: 2007-12-19 Ed Schonberg <[EMAIL PROTECTED]> Gary Dismukes <[EMAIL PROTECTED]> PR ada/15803, ada/15805 * sem_ch6.adb, sem_ch3.adb (Constrain_Access): In Ada2005, diagnose illegal access subtypes when there is a constrained partial view. (Check_For_Premature_Usage): New procedure inside Access_Subprogram_Declaration for checking that an access-to-subprogram type doesn't reference its own name within any formal parameters or result type (including within nested anonymous access types). (Access_Subprogram_Declaration): Add call to Check_For_Premature_Usage. (Sem_Ch3.Analyze_Object_Declaration, Sem_ch6.Process_Formals): if the context is an access_to_variable, the expression cannot be an access_to_constant. Modified: trunk/gcc/ada/sem_ch3.adb trunk/gcc/ada/sem_ch6.adb -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15803
