This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

RE: malloc attributes and realloc

From: "Joseph S. Myers" <jsm at polyomino dot org dot uk>
To: Bruce Korb <bkorb at veritas dot com>
Cc: gcc at gcc dot gnu dot org
Date: Fri, 2 Jan 2004 11:21:33 +0000 (UTC)
Subject: RE: malloc attributes and realloc
References: <3FF4EB4F.E8115D24@veritas.com>

On Thu, 1 Jan 2004, Bruce Korb wrote:

> Even if what was addressed by 'p' is no longer valid, it is certainly
> still valid to test to see if 'q' differs from 'p'.

No; 6.2.4#2 says that "The value of a pointer becomes indeterminate when
the object it points to reaches the end of its lifetime."; 3.17.2#1
defines an indeterminate value as "either an unspecified value or a trap
representation" and 6.2.6.1#5 says of trap representations that "If the
stored value of an object has such a representation and is read by an
lvalue expression that does not have character type, the behavior is
undefined.".

-- 
Joseph S. Myers
jsm@polyomino.org.uk

Follow-Ups:
- Re: malloc attributes and realloc
  - From: Bruce Korb

References:
- RE: malloc attributes and realloc
  - From: Bruce Korb

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]