search

cplusplus / nbballot

Handling of NB comments in response to ballots
14 stars 4 forks source link

FR-023-007 9.12.3 [dcl.attr.assume] Removing or ignoring assumes #425

Closed wg21bot closed 1 year ago

wg21bot commented 1 year ago

This facility introduces more problems than it solves, especially from implementation perspective. In particular, it has ABI change implications that raises concerns from implementors and effective deployment. The existing implementation-defined extensions serve the purposes they are defined for (with their limitations).

Either:

  1. Entirely revert P1774, or
  2. Amend it to be completely ignorable as sequence of tokens, without forcing any odr-use of entities (which might trigger template instantiations and so forth)
jfbastien commented 1 year ago

Paper: https://github.com/cplusplus/papers/issues/529 Related counter to this comment: https://github.com/cplusplus/papers/issues/1317

erichkeane commented 1 year ago

Revert P1774 for C++23 as proposed in the National Body comment.

SF F N A SA
7 4 12 14 15

Result: Consensus for no change

Amend the specification for [[assume]] to permit a conforming implementation to syntactically ignore the attribute(AKA token soup), as proposed in the National Body comment.

SF F N A SA
8 6 4 20 9

Result: Consensus for no change

Recommend to Reject