Title
Glvalues of void type
Status
cd4
Section
7.2.1 [basic.lval]
Submitter
CWG

Created on 2015-05-05.00:00:00 last changed 49 months ago

Messages

Date: 2016-01-15.00:00:00

Proposed resolution (January, 2016):

Change 7.2.1 [basic.lval] paragraph 4 as follows:

Unless otherwise indicated (7.6.1.3 [expr.call]), prvalues a prvalue shall always have complete types type or the void type; in addition to these types, glvalues can also have incomplete types. A glvalue shall not have type cv void. [Note: class A glvalue may have complete or incomplete non-void type. Class and array prvalues can have cv-qualified types; other prvalues always have cv-unqualified types. See Clause Clause 7 [expr]. —end note]
Date: 2016-02-15.00:00:00

[Adopted at the February, 2016 meeting.]

According to 7.2.1 [basic.lval] paragraph 4,

Unless otherwise indicated (7.6.1.3 [expr.call]), prvalues shall always have complete types or the void type; in addition to these types, glvalues can also have incomplete types.

This wording inadvertently implies that glvalues can have type void, which is not correct.

History
Date User Action Args
2017-02-06 00:00:00adminsetstatus: tentatively ready -> cd4
2016-02-15 00:00:00adminsetmessages: + msg5693
2016-02-15 00:00:00adminsetstatus: drafting -> tentatively ready
2015-11-10 00:00:00adminsetstatus: open -> drafting
2015-05-05 00:00:00admincreate