comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Misleading Compiler Warning
Date: 03 Feb 2003 06:45:37 +0000
Date: 2003-02-03T06:45:37+00:00	[thread overview]
Message-ID: <x7vr8ap50by.fsf@smaug.pushface.org> (raw)
In-Reply-To: d37844cb.0302020658.44064e1e@posting.google.com

volkert@nivoba.de (Volkert) writes:

> The snippet is reproduced from a large application we currenty
> bringing from DEC Ada 83 to GNAT (OpenVMS).... the GNAT 3.16w 
> gives a Compiler-Warning whereas the DEC Compiler keeps silent. 
> 
> % gnat make wmain.adc
> gcc -c -x ada wmain.adc
> gcc -c -x ada pack.adc
> pack.adc:9:03: warning: in instantiation at Gen.adc:4
> pack.adc:9:03: warning: value not in range of type "Standard.Integer"
> pack.adc:9:03: warning: "Constraint_Error" will be raised at run time
> gnatbind -x wmain.ali
> gnatlink wmain.ali
> 
> The example runs on both compilers without raising a Constraint_Error.
> 
> Is it just a misleading warning message ... if so, i send a
> bug-report to act.

I'm sure this is a bad warning -- if only because there is nothing in
the regenerated code (-gnatdg) about constraint errors.

It also happens on Saturday's experimental GCC-3.4.

If you have 3.16w, you should be supported -- ACT are very quick to
respond to reports like this, IME, don't hold back!



  parent reply	other threads:[~2003-02-03  6:45 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 [this message]
2003-02-09  3:14   ` Robert I. Eachus
2003-02-09 15:31     ` Volkert
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox