Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!purdue!haven!adm!smoke!gwyn
From: gwyn@smoke.BRL.MIL (Doug Gwyn)
Newsgroups: comp.std.c
Subject: Re: Out-of-bounds pointers
Message-ID: <11265@smoke.BRL.MIL>
Date: 12 Oct 89 02:00:43 GMT
References: <1009@mtxinu.UUCP> <12570028@hpclwjm.HP.COM> <868@crdos1.crd.ge.COM> <217@bbxsda.UUCP> <1989Oct7.131404.656@jarvis.csri.toronto.edu> <220@bbxsda.UUCP> <1989Oct10.163732.3241@jarvis.csri.toronto.edu> <240@bbxsda.UUCP>
Reply-To: gwyn@brl.arpa (Doug Gwyn)
Organization: Ballistic Research Lab (BRL), APG, MD.
Lines: 6

In article <240@bbxsda.UUCP> scott@bbxsda.UUCP (Scott Amspoker) writes:
>Since free() is probably the only possible way for a *valid* pointer to
>suddenly become *invalid* ...

Not at all.  In any block-structured language with pointers,
it is obvious how to have a valid pointer suddenly become invalid.