Issue 2559 - WG21 LWG Issues
Title
Error in LWG 2234's resolution
Status
c++17
Section
[assertions]
Submitter
Tim Song

Created on 2015-11-07.00:00:00 last changed 90 months ago

Messages

msg7958 (view)
Date: 2016-02-07.20:24:45

Proposed resolution:

This wording is relative to N4567.

  1. Change [assertions] p2 as indicated:

    An expression assert(E) is a constant subexpression ([defns.const.subexpr]), if

    • NDEBUG is defined at the point where assert(E) appearsassert is last defined or redefined, or

    • […]
msg7634 (view)
Date: 2016-02-07.20:24:45

[ 2016-02, Issues Telecon ]

P0; move to Tentatively Ready.

msg7633 (view)
Date: 2015-11-07.00:00:00

The resolution of LWG 2234 says that assert(E) is a constant subexpression if "NDEBUG is defined at the point where assert(E) appears".

This is incorrect, as noted in one of STL's comments in that issue's discussion, but was apparently overlooked.

The proposed resolution below just borrows STL's phrasing from the discussion.

History
Date User Action Args
2017-07-30 20:15:43adminsetstatus: wp -> c++17
2016-03-07 04:11:48adminsetstatus: ready -> wp
2016-02-07 20:24:45adminsetmessages: + msg7958
2016-02-07 20:24:45adminsetstatus: new -> ready
2015-12-09 20:52:28adminsetmessages: + msg7634
2015-11-07 00:00:00admincreate