Title
Address constant expression designating the one-past-the-end address
Status
cd3
Section
7.7 [expr.const]
Submitter
Richard Smith

Created on 2012-01-14.00:00:00 last changed 123 months ago

Messages

Date: 2013-04-15.00:00:00

[Moved to DR at the April, 2013 meeting.]

Date: 2012-08-15.00:00:00

Proposed resolution (August, 2012):

Change 7.7 [expr.const] paragraph 3 as follows:

...An address constant expression is a prvalue core constant expression of pointer type that evaluates to the address of an object with static storage duration, to the address one past the last element of an array with static storage duration, to the address of a function, or to a null pointer value, or a prvalue core constant expression of type std::nullptr_t...
Date: 2012-01-14.00:00:00

Currently an address constant expression cannot designate the address one past the end of an array. This seems unfortunate.

History
Date User Action Args
2014-03-03 00:00:00adminsetstatus: drwp -> cd3
2013-10-14 00:00:00adminsetstatus: dr -> drwp
2013-05-03 00:00:00adminsetmessages: + msg4393
2013-05-03 00:00:00adminsetstatus: ready -> dr
2012-11-03 00:00:00adminsetstatus: tentatively ready -> ready
2012-09-24 00:00:00adminsetmessages: + msg3880
2012-09-24 00:00:00adminsetstatus: drafting -> tentatively ready
2012-01-14 00:00:00admincreate