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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c840deaa6965e67a X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-01-30 09:06:07 PST Path: nntp.gmd.de!newsserver.jvnc.net!news.cac.psu.edu!news.pop.psu.edu!hudson.lm.com!godot.cc.duq.edu!news.duke.edu!news.mathworks.com!uhog.mit.edu!bloom-beacon.mit.edu!boulder!news.coop.net!news.den.mmc.com!iplmail.orl.mmc.com!usenet From: "Theodore E. Dennison" Newsgroups: comp.lang.ada Subject: Re: Memory overwrite? Date: 30 Jan 1995 17:06:07 GMT Organization: IPL InterNetNews site Message-ID: <3gj69v$1he@theopolis.orl.mmc.com> References: <3g2stg$i0u@miranda.gmrc.gecm.com> NNTP-Posting-Host: milkyway.orl.mmc.com Date: 1995-01-30T17:06:07+00:00 List-Id: bill@valiant (R.A.L Williams) wrote: > > In article <1995Jan18.182039.7324@wdl.loral.com> Mark Biggar wrote: > > [original post and a reply deleted] > > : Actually the most likely reason for this is an uninitialized variable used > OK, I can see how an optimiser *could* do that, and, of course, RM9x > section 3.3.1 says that 'There is no implicit initial value defined > for a scalar subtype ... might have a value which does not belong to > that subtype' (para 21). I'm a little suprised, however, that the > compiler isn't expected to perform a simple data flow analysis and > generate a warning about use of uninitialised variables. You're quite > right though, I can't find anything in RM9x which says it should, and > I'm pretty sure there was nothing in the Ada83 LRM. You are right that Ada 83 did not REQUIRE this. Howerver, all four Ada compilers that I have used generated warnings when uninitialized variables were read or passed as "in" or "in out" parameters. Unless you are the type that ignores compiler warnings, this situation is unlikely to arise. It is still worth checking out, but I would hardly call it the "most likely reason" for the crashing behavior. My vote is still on misuse of either a "for use at" clause or address-access UNCHECKED_CONVERSION. Did you ever figure it out, Mark? T.E.D.