From: mheaney@ni.net (Matthew Heaney)
Subject: Re: Rules for Representation of Subtypes
Date: 1996/09/29
Date: 1996-09-29T00:00:00+00:00 [thread overview]
Message-ID: <mheaney-ya023180002909961026240001@news.ni.net> (raw)
In-Reply-To: DyGyFv.JA1@world.std.com
In article <DyGyFv.JA1@world.std.com>, bobduff@world.std.com (Robert A
Duff) wrote:
>Anyway, are you saying that GNAT fails to optimize cases like this:
>
> X: Integer range 1..10 := 1;
> ...
> if X < 10 then -- must be true
>
>But what if the "..." contains an unchecked conversion that sets X to
>11?
That's easy: program execution is erroneous. Very likely the compiler
*will* make that optimization. s
If one leaves the language (via unchecked_conversion) and violates the type
constraints, then he the programmer is at fault. Who can say what the
compiler does, because program behaviour is in fact undefined.
>- Bob
Matt
--------------------------------------------------------------------
Matthew Heaney
Software Development Consultant
mheaney@ni.net
(818) 985-1271
next prev parent reply other threads:[~1996-09-29 0:00 UTC|newest]
Thread overview: 61+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-09-28 0:00 Rules for Representation of Subtypes Robert Dewar
1996-09-29 0:00 ` Robert A Duff
1996-09-29 0:00 ` Matthew Heaney [this message]
-- strict thread matches above, loose matches on Subject: below --
1996-10-10 0:00 W. Wesley Groleau (Wes)
1996-10-10 0:00 ` Robert Dewar
1996-10-11 0:00 ` Ken Garlington
1996-10-03 0:00 Franco Mazzanti
1996-10-03 0:00 ` Robert A Duff
1996-10-02 0:00 Franco Mazzanti
1996-10-03 0:00 ` Robert A Duff
1996-09-28 0:00 Robert Dewar
1996-09-30 0:00 ` Keith Thompson
1996-09-28 0:00 Robert Dewar
1996-09-29 0:00 ` Robert A Duff
1996-09-29 0:00 ` Matthew Heaney
1996-09-29 0:00 ` Robert Dewar
1996-09-30 0:00 ` Art Schwarz
1996-09-30 0:00 ` Robert A Duff
1996-10-01 0:00 ` Larry Kilgallen
1996-10-01 0:00 ` Robert A Duff
1996-10-01 0:00 ` Brian R. Hanson
1996-09-22 0:00 Matthew Heaney
1996-09-23 0:00 ` David C. Hoos, Sr.
1996-09-23 0:00 ` Robert A Duff
1996-09-23 0:00 ` Samuel T. Harris
1996-09-26 0:00 ` David C. Hoos, Sr.
1996-09-24 0:00 ` Robert Dewar
1996-09-26 0:00 ` Keith Thompson
1996-09-26 0:00 ` Matthew Heaney
1996-09-27 0:00 ` Robert Dewar
1996-09-27 0:00 ` Robert A Duff
1996-09-27 0:00 ` Robert Dewar
1996-09-27 0:00 ` Robert A Duff
1996-09-24 0:00 ` Robert Dewar
1996-09-23 0:00 ` Robert A Duff
1996-09-24 0:00 ` Matthew Heaney
1996-09-26 0:00 ` Robert A Duff
1996-09-26 0:00 ` Larry Kilgallen
1996-09-27 0:00 ` Robert A Duff
1996-09-27 0:00 ` Mark A Biggar
1996-09-30 0:00 ` Robert A Duff
1996-10-01 0:00 ` Larry Kilgallen
1996-10-01 0:00 ` Robert A Duff
1996-10-01 0:00 ` Samuel Tardieu
1996-10-01 0:00 ` Ken Garlington
1996-09-28 0:00 ` Larry Kilgallen
1996-09-29 0:00 ` Robert A Duff
1996-09-29 0:00 ` Larry Kilgallen
1996-09-29 0:00 ` Matthew Heaney
1996-09-30 0:00 ` Robert A Duff
1996-10-01 0:00 ` Ken Garlington
1996-10-02 0:00 ` Robert A Duff
1996-10-02 0:00 ` Ken Garlington
1996-10-06 0:00 ` Robert Dewar
1996-09-29 0:00 ` Matthew Heaney
1996-09-30 0:00 ` Robert A Duff
1996-09-30 0:00 ` Robert Dewar
1996-09-30 0:00 ` Matthew Heaney
1996-10-03 0:00 ` Robert Dewar
1996-09-27 0:00 ` Matthew Heaney
1996-09-27 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox