comp.lang.ada
 help / color / mirror / Atom feed
From: bbalfour@std.caci.com (Brad Balfour)
Subject: Re: Q: on redefinition of equal
Date: 1996/04/05
Date: 1996-04-05T00:00:00+00:00	[thread overview]
Message-ID: <bbalfour-0504961227320001@stmac0088.std.caci.com> (raw)
In-Reply-To: 4k131kINN2ac@thalamus.cis.ohio-state.edu

In article <4k131kINN2ac@thalamus.cis.ohio-state.edu>,
dgibson@thalamus.cis.ohio-state.edu (david scott gibson) wrote:

>If I wanted to modify the compiler, all I'd need to do is change the
>Normalize_Scalars pragma to initialize all scalars with valid
>representations. 

Perhaps I've missed something in all of the preceeding articles, but is
all of your work to overload Booalean and the associated operations is in
order to detected unitialized variables which contain "invalid" bit
patterns?

If so, is there a reason that you aren't using the 'valid attribute?

Brad
--
Brad Balfour                            SIGAda WWW Server
CACI, Inc.                                http://www.acm.org/sigada/
(703) 277-6767                          and also try:
bbalfour@std.caci.com                     http://lglwww.epfl.ch/Ada/
bbalfour@sw-eng.falls-church.va.us
bbalfour@acm.org
**new address: 3930 Pender Drive * Fairfax, VA 22030 * 703/277-6767 **




  reply	other threads:[~1996-04-05  0:00 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-04-03  0:00 Q: on redefinition of equal W. Wesley Groleau (Wes)
1996-04-04  0:00 ` david scott gibson
1996-04-05  0:00   ` Brad Balfour [this message]
1996-04-05  0:00     ` david scott gibson
1996-04-05  0:00   ` Robert I. Eachus
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox