From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: Hi-Lite high integrity showcase and overflow errors
Date: Tue, 04 Sep 2012 22:21:29 +0200
Date: 2012-09-04T22:21:29+02:00 [thread overview]
Message-ID: <878vcplet2.fsf@mid.deneb.enyo.de> (raw)
In-Reply-To: 5045278b$0$6576$9b4e6d93@newsspool3.arcor-online.net
* Georg Bauhaus:
> Or am I just incorrectly assuming thing and X * Y will make the tools
> complain fiercely about possible overflow?
The base range of My_Int could be sufficiently large so that the
multiplication wouldn't overflow, ever. In this regard, integer types
aren't very portable.
On your architecture, you might see different behavior if My_Int is
defined like this:
type My_Int is range 0 .. 40_000;
And the check is performed against 40_000 as well.
Eventually, you'll have to accept that a lot of Ada marketing material
is poorly prepared at best, and downright intellectually dishonest at
worst. This is rather sad.
next prev parent reply other threads:[~2012-09-12 0:17 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-09-03 21:56 Hi-Lite high integrity showcase and overflow errors Georg Bauhaus
2012-09-04 2:53 ` Shark8
2012-09-04 3:05 ` Shark8
2012-09-04 8:30 ` Georg Bauhaus
2012-09-04 18:45 ` Shark8
2012-09-04 20:21 ` Florian Weimer [this message]
2012-09-04 21:24 ` Shark8
2012-09-05 9:25 ` yannick.moy
2012-09-05 9:19 ` yannick.moy
2012-09-05 11:15 ` Georg Bauhaus
2012-10-03 10:47 ` Florian Weimer
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox