[Bug ada/16095] Illegal program not detected, X'Access of wrong type

[sam at gcc dot gnu dot org]

------- Comment #2 from sam at gcc dot gnu dot org  2008-11-17 19:56 -------
>From what I understand:

  - "access T1" is an access_definition and thus a general access type (RM
3.10(12/2))
  - "Y'Access" is of the type of its context, which should be a general access
type  (RM 3.10.2(24/1))
  - An equality operator exists for anonymous access types and is visible
because it is defined in Standard (RM 4.5.2(7.2/2))

Note that the current GCC gives no error even on the line you marked with
"error detected".

Do you agree that this bug can be closed?


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |sam at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-06-14 04:48:37         |2008-11-17 19:56:37
               date|                            |


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