From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Weird error with Dynamic_Predicate
Date: Tue, 13 May 2014 21:50:15 +0100
Organization: A noiseless patient Spider
Message-ID: <lylhu5mmig.fsf@pushface.org>
References: <e4d8e3db-99b6-49d4-85f3-839f178d4047@googlegroups.com>
 <3f9e21b4-868d-44de-9673-824eefb9e79e@googlegroups.com>
 <lkrhaa$e6n$1@loke.gir.dk> <ly1tvynvex.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx05.eternal-september.org;
 posting-host="942b5624700b15f09a730d9ed9406bd7";
 logging-data="8441"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX19VOzht9a8cTfhTypmjNr2H3IzZjnxnV+U="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:Hs5DJgR5h+pXh9CLQsPtgpCp1FE=
 sha1:geWMFJ6bOcGOYPum/sqniwzlm38=
X-Original-Bytes: 1743
Xref: number.nntp.dca.giganews.com comp.lang.ada:186396
Date: 2014-05-13T21:50:15+01:00
List-Id: <comp.lang.ada>

Simon Wright <simon@pushface.org> writes:

> "Randy Brukardt" <randy@rrsoftware.com> writes:
>
>> "Adam Beneschan" <adambeneschan@gmail.com> wrote in message 
>
>>> This is with GCC 4.5.4 (20120510).
>
>> Similarly, the OP's code sample compiles without errors with that GNAT.
>>
>> Ergo, this is a GNAT bug that's been fixed sometime in the past two
>> years.  The OP needs a compiler upgrade (whether its available at this
>> time is an unknown question).
>
> The OP's code fails to compile with GNAT GPL 2013 and FSF GCC 4.8.1. It
> compiles without error messages with FSF GCC 4.9.0.
>
> Likewise Adam's (after Randy's fix).

Both OK with GNAT GPL 2014.