comp.lang.ada
 help / color / mirror / Atom feed
From: "Lurker" <nowhere@nothing.com>
Subject: Re: Division by zero
Date: Mon, 13 Jun 2005 20:47:39 +1200
Date: 2005-06-13T20:47:39+12:00	[thread overview]
Message-ID: <EIbre.6944$U4.993408@news.xtra.co.nz> (raw)
In-Reply-To: JNZqe.3031$NX4.2109@newsread1.news.pas.earthlink.net

"Jeffrey Carter" <spam@spam.com> wrote in message
news:JNZqe.3031$NX4.2109@newsread1.news.pas.earthlink.net...

> The problem, it seems to me, is that the developer may deliberately
> write a division of a variable by static zero for a number of reasons.
> He may want it to raise Constraint_Error at run time, or may have
> redefined "/" for the type of the variable to do something meaningful if
> the divisor is zero.

Sorry, that doesn't qualify. In my case there was no redifinition
of "/" function. Compiler, of course, knows that since it has to
resolve the reference anyway. So it did know that the "/" in
question was your regular pre-defined division. Since it knows
that, then the only reason to allow that to pass would be for
intentional exception raising. But as someone else pointed
out you can just go ahead and use "raise exception" statement
if you really want that. Basically, it seems to me very hard to
think of a situation where that division would be a bona-fide,
intended thing.






  parent reply	other threads:[~2005-06-13  8:47 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 [this message]
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
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