[Bug ada/24079] Ada FE ICE on protected procedure with default argument (invalid?)

[laurent at guerby dot net]

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