[Bug ada/24019] Run-time error not detected, deallocating busy protected object, RM 9.4(20)

[charlet at gcc dot gnu dot org]

------- Comment #1 from charlet at gcc dot gnu dot org  2007-05-02 13:25 -------
The program is erroneous here.

RN 9.4(20) is about protected entry queues, not about protected procedures
being executed while the object is deallocated.

Arno


-- 

charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID
   Target Milestone|---                         |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24019