This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/24079] Ada FE ICE on protected procedure with default argument (invalid?)
- From: "laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 27 Sep 2005 18:24:26 -0000
- Subject: [Bug ada/24079] Ada FE ICE on protected procedure with default argument (invalid?)
- References: <20050927090115.24079.kat-zygfryd@o2.pl>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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