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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,3617c6f2e0cf48d2
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
X-Received: by 10.224.18.132 with SMTP id w4mr6879761qaa.1.1364225655493;
        Mon, 25 Mar 2013 08:34:15 -0700 (PDT)
Path: 
 k8ni22269qas.0!nntp.google.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!exi-in1.telstra.net!news.telstra.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: =?UTF-8?B?QmrDtnJu?= Persson <bjorn@xn--rombobjrn-67a.se>
Newsgroups: comp.lang.ada
Subject: Re: New Version of the PragmAda Reusable Components Available
Date: Sun, 17 Mar 2013 11:32:38 +0100
Message-ID: <20130317113238.1f6819eb@hactar.xn--rombobjrn-67a.se>
References: <513E3515.1010807@pragmada.x10hosting.com>
	<20130317005428.3173ed32@hactar.xn--rombobjrn-67a.se>
	<ki35ev$q56$2@dont-email.me>
Mime-Version: 1.0
X-Trace: individual.net pYjaNyymEdyxwpPJKzAUXQtCgvyE4ujFBFTpVFxs5g6cxKuHEI
Cancel-Lock: sha1:U8z8OAZ0IpmLfjOFDBI+jjD5MQg=
X-Newsreader: Claws Mail 3.9.0 (GTK+ 2.24.13; x86_64-redhat-linux-gnu)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Date: 2013-03-17T11:32:38+01:00
List-Id: <comp.lang.ada>

Jeffrey Carter wrote:
> On 03/16/2013 04:54 PM, Bj=C3=B6rn Persson wrote:
>  > =C2=B7 GCC 4.7 and 4.8 emit four instances of this warning:
>  >
>  > pragmarc-list_bounded.ads:23:04: warning: in instantiation at=20
> pragmarc-list_bounded_unprotected.adb:279
>  > pragmarc-list_bounded.ads:23:04: warning: cannot return a local value =
by=20
> reference
>  > pragmarc-list_bounded.ads:23:04: warning: "Program_Error" will be rais=
ed at=20
> run time
>  >
>  > I haven't examined it further but I figured you might want to look into
>  > it.
>=20
> The PragmARCs are Ada 95, and return limited values. Compiling them with =
a=20
> compiler for a more recent version of the language is expected not to wor=
k.

If I try to compile without any special switches I get the hard error
"(Ada 2005) cannot copy object of a limited type (RM-2005 6.5(5.5/2))"
in seven different places. The warning above is when I use -gnat95,
which is supposed to make GNAT compile Ada 95, and it happens only at
pragmarc-list_bounded_unprotected.adb:279, though in four
instantiations.

I'm not saying it's not a compiler bug though.

Bj=C3=B6rn Persson