Re: Interesting and possible buggy behavior in GNAT regarding Annex E pragmas.

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Shark8 writes on comp.lang.ada:
> Hi everyone.

> I was experimenting with partitioning-pragmas trying to decide on a
> good way to set up my PostScript interpreter so that the parser could
> be a remote object possibly servicing multiple clients and I came
> across a possible bug that is bothering me. In certain instances using
> one of the pragmas will cause the compiler to error-out, as is
> expected, but in other cases the compiler does not error out.
>
> The only way I can see this happening is if, by WITH-ing these
> children units, the parent units are LIMITED WITH-ed; but that is
> counter-intuitive and does not allow for USES (which still compile) of
> the parent unit.
>
> I have reduced things to the minimal compilable example and the source
> is as follows:

I've been able to reproduce this with gnat-4.4 (=4.4.6-1) on Debian
unstable.  This looks like a genuine bug to me; please report it on
http://gcc.gnu.org/bugzilla/.  What version of GNAT are you using?

-- 
Ludovic Brenta.