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: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!mx05.eternal-september.org!feeder.eternal-september.org!nuzba.szn.dk!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Gnat 2013 is out!
Date: Wed, 29 May 2013 17:39:44 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <ko603g$dde$1@loke.gir.dk>
References: <ko500n$a4v$1@dont-email.me> <lyhahl96b5.fsf@pushface.org>
 <lyd2s99324.fsf@pushface.org>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1369867185 13742 69.95.181.76 (29 May 2013 22:39:45 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 29 May 2013 22:39:45 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:15668
Date: 2013-05-29T17:39:44-05:00
List-Id: <comp.lang.ada>

"Simon Wright" <simon@pushface.org> wrote in message 
news:lyd2s99324.fsf@pushface.org...
> Simon Wright <simon@pushface.org> writes:
>
>> But it's reporting a problem with my Ada 2005 Math Extensions .. not
>> so good (for me).
>
> Turned out to be a warning new to GNAT GPL 2013 (also in GCC 4.8.0): I
> had a subprogram with two out parameters that designated the same
> object. It was a dummy, though, so no harm done.
>
>   ada_numerics-generic_arrays.adb:325:28: warning: writable actual for
>   "V_L" overlaps with actual for "V_R"

You do know that's illegal in some cases in Ada 2012? (A known and intended 
incompatibility.) I wouldn't be surprised if GNAT is putting out a warning 
in other modes in order to reduce the incompatibility. (Or, perhaps, they're 
using the code they had to write to make the Ada 2012 check to issue 
warnings in other cases.) I'd suggest getting rid of any such code.

                                       Randy.