From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,183a4dcac8cf6632 X-Google-Attributes: gid103376,public From: bbalfour@std.caci.com (Brad Balfour) Subject: Re: Q: on redefinition of equal Date: 1996/04/05 Message-ID: #1/1 X-Deja-AN: 145973186 references: <9604031559.AA05644@most> <4k131kINN2ac@thalamus.cis.ohio-state.edu> organization: CACI, Inc. newsgroups: comp.lang.ada Date: 1996-04-05T00:00:00+00:00 List-Id: 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 **