From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 822 invoked by alias); 27 Sep 2005 18:44:21 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 14033 invoked by uid 48); 27 Sep 2005 18:24:26 -0000 Date: Tue, 27 Sep 2005 18:44:00 -0000 Message-ID: <20050927182426.14032.qmail@sourceware.org> From: "laurent at guerby dot net" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20050927090115.24079.kat-zygfryd@o2.pl> References: <20050927090115.24079.kat-zygfryd@o2.pl> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug ada/24079] Ada FE ICE on protected procedure with default argument (invalid?) X-Bugzilla-Reason: CC X-SW-Source: 2005-09/txt/msg03410.txt.bz2 List-Id: ------- Additional Comments From laurent at guerby dot net 2005-09-27 18:24 ------- ICE on all versions including HEAD. I would say this is not legal Ada since RM 6.4.1(5) allows a default_expression to be a variable name but here you put a protected object component name, so for now I set this PR as ice-on-invalid. On the other hand, I'm not sure this would pose implementation issues (just copy after taking the lock) or semantic constraints (once lock taken value can't change) to allow this construct (may be AI?). | 3.3.5 20050117 (prerelease) (SUSE Linux) (i586-suse-linux-gnu) | | Assert_Failure atree.adb:677 | | Error detected at bug.adb:15:50 | | 3.4.4 (i686-pc-linux-gnu) Assert_Failure atree.adb:703 | | Error detected at bug.adb:15:50 | | 4.0.1 (i686-pc-linux-gnu) Assert_Failure atree.adb:812 | | Error detected at bug.adb:15:50 | | 4.1.0 20050925 (experimental) (i686-pc-linux-gnu) Assert_Failure atree.adb:812| | Error detected at bug.adb:15:50 | -- What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever Confirmed| |1 Keywords| |ice-on-invalid-code Last reconfirmed|0000-00-00 00:00:00 |2005-09-27 18:24:22 date| | Summary|Bug box: Assert_Failure |Ada FE ICE on protected |atree.adb:812 |procedure with default | |argument (invalid?) http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24079