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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,fc8384b47d495708
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news2.google.com!proxad.net!newsfeed.stueberl.de!newsfeed01.sul.t-online.de!newsmm00.sul.t-online.de!t-online.de!news.t-online.com!not-for-mail
From: Martin Krischik <krischik@users.sourceforge.net>
Newsgroups: comp.lang.ada
Subject: Re: Should be getting a constraint error in this code
Date: Sun, 25 Jul 2004 15:54:09 +0200
Organization: AdaCL
Message-ID: <5281838.OJeT1fiqLc@linux1.krischik.com>
References: <gTjMc.2800$q9.4134490@news4.srv.hcvlny.cv.net>
 <BXuMc.99254$dP1.338757@newsc.telia.net>
Reply-To: krischik@users.sourceforge.net
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-15
Content-Transfer-Encoding: 8Bit
X-Trace: news.t-online.com 1090764996 07 3946 7FnOXgZOrOv6S9F4 040725 14:16:36
X-Complaints-To: usenet-abuse@t-online.de
X-ID: TlYQFkZCZeQAQET-SqPFYgk76AhCfXjOO4Z4G72CoRztRRdgzHYAgB
User-Agent: KNode/0.7.7
Xref: g2news1.google.com comp.lang.ada:2377
Date: 2004-07-25T15:54:09+02:00
List-Id: <comp.lang.ada>

Bj�rn Persson wrote:

> Keith Boruff wrote:
> 
>> Secondly, where in the heck did 243 come from?
> 
> 216 interpreted as a signed 8-bit integer is -40, -40 / 3 = -13 (integer
> division), and signed 8-bit -13 interpreted as unsigned is 243.

Well observed!

But since he used a range and not a mod I would consider it a bug within the
GNAT compiler.

With Regards

Martin

-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com