Title
Undefined behavior when lexing unmatched quotes
Status
drwp
Section
5.4 [lex.pptoken]
Submitter
US

Created on 2019-10-23.00:00:00 last changed 4 months ago

Messages

Date: 2023-01-15.00:00:00

Additional notes (January, 2023):

Forwarded to SG12 with paper issue 1406, by decision of the CWG and SG12 chairs.

Date: 2023-09-22.05:34:15

[ Resolved by paper P2621R2 (Undefined behavior in the lexer), adopted in June, 2023. ]

(From National Body comment US 027 on the C++20 DIS.)

Subclause 5.4 [lex.pptoken] paragraph 2 specifies:

If a U+0027 apostrophe or a U+0022 quotation mark character matches the last category, the behavior is undefined.

Undefined behavior during lexing is not acceptable. This ought to be ill-formed.

History
Date User Action Args
2023-12-19 10:15:28adminsetstatus: dr -> drwp
2023-09-22 05:34:15adminsetstatus: open -> dr
2023-01-05 08:22:04adminsetmessages: + msg7108
2019-10-23 00:00:00admincreate