Title
Incorrect wording applied by P2738R1
Status
drwp
Section
7.7 [expr.const]
Submitter
Jens Maurer

Created on 2023-06-28.00:00:00 last changed 6 months ago

Messages

Date: 2023-07-14.22:46:13

Proposed resolution (approved by CWG 2023-07-14):

Change in 7.7 [expr.const] bullet 5.14 as follows:

  • ...
  • a conversion from a prvalue P of type ”pointer to cv void” to a pointer-to-object type T "cv1 pointer to T", where T is not cv2 void, unless P points to an object whose type is similar to T;
  • ...
Date: 2023-11-15.00:00:00

[Accepted as a DR at the November, 2023 meeting.]

P2738R1 (constexpr cast from void*: towards constexpr type-erasure) applied incorrect wording to 7.7 [expr.const] bullet 5.14:

  • ...
  • a conversion from a prvalue P of type ”pointer to cv void” to a pointer-to-object type T unless P points to an object whose type is similar to T;
  • ...

The issue is that T is defined to be a pointer type, but the "similar to" phrasing uses it as the pointee type.

History
Date User Action Args
2024-04-05 21:43:46adminsetstatus: dr -> drwp
2023-12-19 10:15:28adminsetstatus: ready -> dr
2023-07-14 22:46:13adminsetmessages: + msg7369
2023-07-14 22:46:13adminsetstatus: open -> ready
2023-06-28 00:00:00admincreate