------- 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
