Issue 3132 - WG21 CWG Issues
Title
Unclear disambiguation rule for condition
Status
tentatively ready
Section
8.1 [stmt.pre]
Submitter
CWG

Created on 2025-11-21.00:00:00 last changed 7 days ago

Messages

msg8409 (view)
Date: 2025-12-05.21:43:30

Proposed resolution (approved by CWG 2025-12-05):

  1. Change in 8.1 [stmt.pre] paragraph 1 as follows:

      condition :
      expression
      condition-declaration

  condition-declaration :
      attribute-specifier-seqopt decl-specifier-seq declarator brace-or-equal-initializer
      structured-binding-declaration initializer

  2. Change in 8.1 [stmt.pre] paragraph 7 as follows:

    If a condition can be syntactically resolved as either an expression expression or a declaration condition-declaration, it is interpreted as the latter.
msg8408 (view)
Date: 2025-11-21.00:00:00

The disambiguation rule in 8.1 [stmt.pre] paragraph 7 is unclear, because "declaration" is not a (uniquely defined) grammatical category.
History
Date User Action Args
2025-12-05 21:43:30adminsetstatus: open -> tentatively ready
2025-11-21 21:38:05adminsetmessages: + msg8409
2025-11-21 00:00:00admincreate