From: Marius Amado Alves <amado.alves@netcabo.pt>
To: comp.lang.ada@ada-france.org
Subject: Re: Division by zero
Date: Mon, 13 Jun 2005 09:54:44 +0100
Date: 2005-06-13T09:54:44+01:00 [thread overview]
Message-ID: <mailman.18.1118652929.17633.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <9wbre.6940$U4.992923@news.xtra.co.nz>
On 13 Jun 2005, at 09:34, Lurker wrote:
> "Georg Bauhaus" <bauhaus@futureapps.de> wrote in message
> news:42aca05a$0$24379$9b4e6d93@newsread2.arcor-online.net...
>> You could request more warnings:
>>
>> $ gnatgcc -c -gnatv -gnatwa x.adb
>>
>> GNAT 3.4.4 20050314 (prerelease) (Debian 3.4.3-13) Copyright 1992-2004
> Free Software Foundation, Inc.
>>
>> Compiling: x.adb (source file time stamp: 2005-06-12 22:47:07)
>>
>> 9. return a/some_constant; -- line 2
>> |
>>>>> warning: division by zero
>>>>> warning: "Constraint_Error" will be raised at run time
>
> That's a new one for me. Yes - that's exactly what I would expect.
> However, not everyone is running Debian and there were other
> posters in this group who confirmed that Windows version doesn't
> flag it as a warning even with full warnings on.
Indeed. *Mac* version.
$ gnatmake -gnatv -gnatwa x -f
gcc -c -gnatv -gnatwa x.adb
GNAT 3.3 20040913 (GNAT for Mac OS X build 1650)
Copyright 1992-2002 Free Software Foundation, Inc.
Compiling: x.adb (source file time stamp: 2005-06-13 08:47:40)
11 lines: No errors
$
next prev parent reply other threads:[~2005-06-13 8:54 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-06-11 21:03 Division by zero Lurker
2005-06-12 2:00 ` David C. Hoos, Sr.
2005-06-12 3:04 ` Lurker
2005-06-12 8:39 ` Dmitry A. Kazakov
2005-06-12 9:43 ` Lurker
2005-06-12 10:36 ` Marius Amado Alves
2005-06-12 11:53 ` Dmitry A. Kazakov
2005-06-13 8:03 ` Ole-Hjalmar Kristensen
2005-06-12 13:10 ` Robert A Duff
2005-06-12 16:55 ` Jeffrey Carter
2005-06-13 3:22 ` Keith Thompson
2005-06-14 2:14 ` Jeffrey Carter
2005-06-13 8:47 ` Lurker
2005-06-14 2:19 ` Jeffrey Carter
2005-06-14 8:35 ` Keith Thompson
2005-06-13 12:19 ` Robert A Duff
2005-06-14 2:31 ` Jeffrey Carter
2005-06-14 8:21 ` Lurker
2005-06-14 20:22 ` Randy Brukardt
2005-06-28 21:22 ` Robert A Duff
2005-06-29 5:50 ` Lurker
2005-06-29 13:27 ` Robert A Duff
2005-06-29 13:54 ` Dmitry A. Kazakov
2005-06-29 16:03 ` Robert A Duff
2005-06-30 1:19 ` Lurker
2005-06-30 11:16 ` Stuart Palin
2005-06-29 13:50 ` Dmitry A. Kazakov
2005-06-29 16:07 ` Robert A Duff
2005-06-30 8:27 ` Dmitry A. Kazakov
2005-06-29 9:20 ` Lurker
2005-06-29 9:49 ` Christoph Grein
2005-06-29 10:40 ` Lurker
2005-06-29 11:04 ` Jeff Creem
2005-06-29 12:28 ` Martin Dowie
2005-06-29 13:40 ` Robert A Duff
[not found] ` <5sana1pm436l6vboifijqblu0irf84afkr@4ax.com>
2005-06-12 17:38 ` Simon Wright
2005-06-12 12:21 ` Robert A Duff
2005-06-12 22:53 ` Georg Bauhaus
2005-06-13 8:34 ` Lurker
2005-06-13 8:54 ` Marius Amado Alves [this message]
2005-06-13 17:59 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox