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: 
 border1.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 23 Jan 2014 10:42:56 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:24.0) Gecko/20100101 Thunderbird/24.2.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: How to round to the nearest fixed-point value?
References: <slrnldvtim.1lme.lithiumcat@sigil.instinctive.eu>
 <f37cea1f-6c68-483b-8097-cca566a5d8a2@googlegroups.com>
 <lbq9c0$7sd$1@dont-email.me>
In-Reply-To: <lbq9c0$7sd$1@dont-email.me>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <52e0e420$0$6570$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 23 Jan 2014 10:42:56 CET
NNTP-Posting-Host: 6844dd1f.newsspool4.arcor-online.net
X-Trace: DXC=VBRGH_@GG]2n`gW2MTm]<34IUK<Cl32<14Fo<]lROoR18kF<OcfhCO;
 ?4B]c\D1V0:PCY\c7>ejV8L`Po; 4Z7IV?I33Pc; iG6l1
X-Complaints-To: usenet-abuse@arcor.de
Xref: number.nntp.dca.giganews.com comp.lang.ada:184519
Date: 2014-01-23T10:42:56+01:00
List-Id: <comp.lang.ada>

On 23.01.14 06:29, J-P. Rosen wrote:
> Le 22/01/2014 23:45, adambeneschan@gmail.com a écrit :
>>>   1.00
>>>>   0.99
>> I'm pretty sure this is a compiler bug.
>
> I concurr. Most likely, the first expression is evaluated at compile
> time and there is a bug in 'round of the static evaluator.

When the value is read from input, the effect is still present, though.

I don't really know how to read -gnatdg, thus superficial observation
yields the follow as the way that Convert computes the returned object:

   T2b : constant lib__TlowB :=
     lib__TlowB?({lib__TlowB?(value #/ 1.00E-1)});