From: cis.ohio-state.edu!news.sei.cmu.edu!ajpo.sei.cmu.edu!falis@ucbvax.Berkele y.EDU (Edward Falis)
Subject: Re: Uninitialized subtype variables
Date: 23 Oct 92 16:49:54 GMT [thread overview]
Message-ID: <1992Oct23.164954.1695@sei.cmu.edu> (raw)
My limited understanding is that there's no requirement for an uninitialized
variable to be in bounds. This is why we provide an analysis of reads
of unitialized variables in our high level optimizer. In many,
but not all, cases, we print a warning. The redundant check eliminator
in our technology would require an explicit bounds check for the case
of the subprogram you cited as an example.
- Ed Falis, Alsys
next reply other threads:[~1992-10-23 16:49 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
1992-10-23 16:49 cis.ohio-state.edu!news.sei.cmu.edu!ajpo.sei.cmu.edu!falis [this message]
-- strict thread matches above, loose matches on Subject: below --
1992-10-27 1:26 Uninitialized subtype variables Robert I. Eachus
1992-10-27 1:22 munnari.oz.au!ariel!ucsvc.ucs.unimelb.edu.au!phillip.edu.au!dale
1992-10-25 11:37 math.fu-berlin.de!news.netmbx.de!Germany.EU.net!mcsun!sunic!seunet!enea!s
1992-10-24 18:44 Alex Blakemore
1992-10-23 20:43 Michael Feldman
1992-10-22 17:38 bloom-picayune.mit.edu!enterpoop.mit.edu!snorkelwacker.mit.edu!tamsun.tam
1992-10-22 13:46 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!wupost!micro-heart-of-gold.m
1992-10-21 23:47 Richard Pattis
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox