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

[Shark8 <onewingedshark@gmail.com>]

On May 25, 3:21 pm, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:
> 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 onhttp://gcc.gnu.org/bugzilla/.  What version of GNAT are you using?
>
> --
> Ludovic Brenta.

I'm using 4.4