From: martin.dowie@btopenworld.com (Martin Dowie)
Subject: Re: Ada style of passing 'in' parameters considered dangerous?
Date: 9 Feb 2003 20:40:54 -0800
Date: 2003-02-10T04:40:54+00:00 [thread overview]
Message-ID: <af783afe.0302092040.7ca9084d@posting.google.com> (raw)
In-Reply-To: 3E45FFCB.90109@attbi.com
"Robert I. Eachus" <rieachus@attbi.com> wrote in message
> > Reciprocal(Foo, Foo);
I think I'm right in saying that SPARK would catch this.
It would be nice if compilers at least warned of this
(simple) case. I imagine that the work involved in spotting
aliased versions of this problem might be a bit expensive($)
to get compiler implementor to include. :-(
next prev parent reply other threads:[~2003-02-10 4:40 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-02-08 22:24 Ada style of passing 'in' parameters considered dangerous? Antti Sykari
2003-02-09 0:41 ` James S. Rogers
2003-02-09 2:11 ` Robert A Duff
2003-02-09 2:25 ` Jeffrey Carter
2003-02-11 8:39 ` Gautier
2003-02-09 2:01 ` Robert A Duff
2003-02-09 2:33 ` Vinzent Hoefler
2003-02-09 6:07 ` Richard Riehle
2003-02-09 7:13 ` Robert I. Eachus
2003-02-10 4:40 ` Martin Dowie [this message]
2003-02-09 2:08 ` Jeffrey Carter
2003-02-10 0:13 ` Leif Holmgren
2003-02-10 9:49 ` Rod Chapman
2003-02-11 9:14 ` Gautier
2003-02-11 13:49 ` Antti Sykari
2003-02-11 17:18 ` Gautier
2003-02-11 17:29 ` Vinzent Hoefler
2003-02-12 1:09 ` Richard Riehle
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox