[Bug ada/16095] Illegal program not detected, accessibility levels, RM 3.10.2(28)

["adam at irvine dot com" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #4 from adam at irvine dot com  2010-01-08 00:46 -------
(In reply to comment #2)
> 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?

I know this is rather delayed but my attention just got drawn to this bug
report.  In any case, Samuel is wrong.  There is no equality operator on
anonymous access types.  RM 4.5.2(7.2/2) says there is an "=" operator on
universal_access, *for* *use* *with* anonymous access types; but the parameters
of the "=" subprogram have type universal_access, and an 'Access cannot be used
when the expected type is universal_access.  See AC-00164.


-- 


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