https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94419
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |NEW
Summary|accepting wrong programs |missing errors for
|because compiler error |constraints on access types
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Recently I test gcc 9.3.0 and it report some errors in the example code. But
> I modify it slightly and it works with no errors.
> I think the code is enough clear to see what exact clauses RM are violated.
> For example there is conversion from access to constrained to access to
> unconstrained type, and the type have a constrained partial view, while
> legality rules for conversions requires for such case that any partial view
> were unconstrained. There is also assignments of different subtypes (which
> have no common values).
Yes, some errors are indeed missing. The thing is, constraints on access types
have been historically problematic in Ada from an implementation point of view
and there even have been talks about removing them.
