Re: Preventing private procedure visibility being made public through extension

[Simon Wright <simon@pushface.org>]

"Randy Brukardt" <randy@rrsoftware.com> writes:

> Ah, a subtype. GNAT has (or had?)a bug having to do with making things
> visible because of a subtype declaration (I recall someone else
> running across that and having verified it myself). That's just plain
> wrong, a subtype has no effect on what's visible in a prefixed call
> (or anywhere else for that matter, in particular with "use all type").
>
> You ought to have an ambiguity if you tried to call Something in the
> body of More_Derived, but it should be OK in the main subprogram.
>
> I'd skip the subtype and just use the real name of the type. And
> possibly make a bug report to AdaCore.
> You could also use a traditional call (More_Derived.Something (M, P);)
> which would avoid the buggy part of GNAT.

Quite right, Randy (GCC 7.1.0, still; has anyone reported this?)