On Tue, 7 Dec 1999, Mark Hattarki wrote:

> The answer to the "trivia question" that I was looking for was that
> according to the language specs, dereferencing a free'd pointer is
> undefined... So, technically, whatever happens is correct.

   You are mixing up specification and implementation.  It is undefined
because it is NOT mentioned in the language specification.  free () allows
the space to be made available for further allocation.  Nowhere does is
set policy on this space.

   Adam

---------------------------------------------------------------------------
Send administrative requests to [EMAIL PROTECTED]

Reply via email to