From: volkert@nivoba.de (Volkert)
Subject: Re: Misleading Compiler Warning
Date: 9 Feb 2003 07:31:38 -0800
Date: 2003-02-09T15:31:38+00:00 [thread overview]
Message-ID: <d37844cb.0302090731.d02cc20@posting.google.com> (raw)
In-Reply-To: 3E45C7D3.3020601@attbi.com
> Definitely not a bug, or the bug is not where you expect. You are
> apparently compiling with integer range checking off. So the warning is
> right, but of course, Constraint_Error will not be raised with these
> compiler options.
>
> Try recompiling with -gnato
> Enable numeric overflow checking (which is not normally enabled by default).
We have send a bug report to ACT and they have confirmed
that it is a bug.
Volkert
prev parent reply other threads:[~2003-02-09 15:31 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-02-02 14:58 Misleading Compiler Warning Volkert
2003-02-02 19:03 ` Jeffrey Carter
2003-02-03 6:04 ` Volkert
2003-02-03 16:54 ` Jeffrey Carter
2003-02-03 6:45 ` Simon Wright
2003-02-09 3:14 ` Robert I. Eachus
2003-02-09 15:31 ` Volkert [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox