From: Simon Wright <simon@pogner.demon.co.uk>
Subject: Re: Constraint checking of actuals passed to Attributes
Date: 2000/05/14
Date: 2000-05-14T00:00:00+00:00 [thread overview]
Message-ID: <x7vpuqp2jpa.fsf@pogner.demon.co.uk> (raw)
In-Reply-To: wccr9bak1zc.fsf@world.std.com
Robert A Duff <bobduff@world.std.com> writes:
> In the run-time model the AverStar compiler chooses, the compiler can
> prove validity quite often. For example, an 'in' parameter of an
> integer type is always valid, because it was constraint checked at the
> call site.
Presumably this isn't true if the subprogram was exported ..
next prev parent reply other threads:[~2000-05-14 0:00 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-05-05 0:00 Constraint checking of actuals passed to Attributes Matt Brennan
2000-05-05 0:00 ` Keith Thompson
2000-05-08 0:00 ` Tucker Taft
2000-05-09 0:00 ` Robert Dewar
2000-05-09 0:00 ` Robert A Duff
2000-05-09 0:00 ` Robert Dewar
2000-05-09 0:00 ` Robert A Duff
2000-05-09 0:00 ` Keith Thompson
2000-05-10 0:00 ` Robert A Duff
2000-05-14 0:00 ` Simon Wright [this message]
2000-05-17 0:00 ` Robert A Duff
2000-05-12 0:00 ` Tucker Taft
2000-05-12 0:00 ` Ted Dennison
2000-05-12 0:00 ` Robert A Duff
2000-05-12 0:00 ` Ted Dennison
2000-05-16 0:00 ` Robert A Duff
2000-05-16 0:00 ` Ted Dennison
2000-05-17 0:00 ` Robert Dewar
2000-05-10 0:00 ` David C. Hoos, Sr.
2000-05-10 0:00 ` Robert Dewar
2000-05-10 0:00 ` Robert A Duff
2000-05-15 0:00 ` Bill Greene
2000-05-22 0:00 ` Kenneth Almquist
2000-05-09 0:00 ` Ted Dennison
2000-05-09 0:00 ` Robert Dewar
2000-05-09 0:00 ` Ted Dennison
2000-05-09 0:00 ` Robert Dewar
2000-05-09 0:00 ` Ted Dennison
2000-05-09 0:00 ` Robert A Duff
2000-05-10 0:00 ` Matt Brennan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox