From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 3297 invoked by alias); 19 Dec 2007 16:25:10 -0000 Received: (qmail 2875 invoked by alias); 19 Dec 2007 16:24:52 -0000 Date: Wed, 19 Dec 2007 16:25:00 -0000 Message-ID: <20071219162452.2874.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug ada/15803] Illegal program not detected, RM 8.3(19) In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "charlet at gcc dot gnu dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2007-12/txt/msg01825.txt.bz2 ------- 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 Gary Dismukes 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