Submitter: Nick Stoughton (US)
Submission Date: 2011-10-24
Source: Austin Group
Version: 1.1
Date: 2011-10-24
Subject: realloc
with size zero
problems
Summary
There are at least three existing realloc
behaviors when NULL
is returned; the differences
only occur for a size of 0 (for non-zero size, all three
implementations set errno
to ENOMEM
when returning NULL
, even though that is not
required by C99).
realloc(NULL,0)
always returns NULL, errno
is EINVALrealloc(ptr,0)
always returns NULL, ptr freed,
errno is EINVALrealloc(NULL,0)
only gives NULL on alloc
failure, errno is ENOMEMrealloc(ptr,0)
only gives NULL on alloc failure,
ptr unchanged, errno is ENOMEMrealloc(NULL,0)
only gives NULL on alloc
failure, errno is ENOMEMrealloc(ptr,0)
always returns NULL, ptr freed,
errno unchangedThe Austin Group raised this matter with WG14 during earlier meetings (most notably during the London 2011 meeting). The direction from WG14 has led to The Austin Group aligning the POSIX text more closely to that in C99 and C1x as a part of TC1.
The behavior now required in POSIX is that implemented by BSD above. However, C99 has a loophole in implementation-defined behavior that still appears to permit AIX and glibc behaviors. The C1x draft carries the same wording loophole, so the planned course of action is to raise a defect against C1x once it completes standardization, where the outcome of that defect will either be that C1x tightens the wording to eliminate the loophole or relaxes the wording to align with existing practice. Therefore, the behavior of errno in Issue 8 should be deferred until after any C1x defect has been resolved.
If the size of the space requested is zero, the behavior is implementation-defined: either a null pointer is returned, or the behavior is as if the size were some nonzero value, except that the returned pointer shall not be used to access an object.
An implementation should not be allowed to define the behavior of returning a null pointer as a successful reallocation; if a null pointer is returned, then the orignal pointer has not been freed.
Suggested Change
At 7.22.3, para 1, change:
If the size of the space requested is zero, the behavior is implementation-defined: either a null pointer is returned, or the behavior is as if the size were some nonzero value, except that the returned pointer shall not be used to access an object.to
If the size of the space requested is zero, the behavior is implementation-defined: either a null pointer is returned and errno set to indicate the error, or the behavior is as if the size were some nonzero value, except that the returned pointer shall not be used to access an object.
Add a footnote to this sentence stating:
Note Memory allocated by these functions should be freed via a call tofree
, and not by means of arealoc(p, 0)
.
Committee discussion