Created on 2001-05-15.00:00:00 last changed 164 months ago
Proposed resolution:
In [new.delete.single] Para 12 Change:
Required behavior: accept a value of ptr that is null or that was returned by an earlier call ...
to:
Requires: the value of ptr is null or the value returned by an earlier call ...
In [new.delete.array] Para 11 Change:
Required behavior: accept a value of ptr that is null or that was returned by an earlier call ...
to:
Requires: the value of ptr is null or the value returned by an earlier call ...
The standard specifies [structure.specifications] that "Required behavior" elements describe "the semantics of a function definition provided by either the implementation or a C++ program."
The standard specifies [structure.specifications] that "Requires" elements describe "the preconditions for calling the function."
In the sections noted below, the current wording specifies "Required Behavior" for what are actually preconditions, and thus should be specified as "Requires".
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2010-10-21 18:28:33 | admin | set | messages: + msg2220 |
| 2001-05-15 00:00:00 | admin | create | |