Title
"Program point" is not defined
Status
tentatively ready
Section
6.5.1 [basic.lookup.general]
Submitter
Alisdair Meredith

Created on 2025-08-13.00:00:00 last changed 1 week ago

Messages

Date: 2025-12-05.21:43:30

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

There is a program point before the first token of the translation unit, at least one between every pair of adjacent tokens, and at least one after the last token of the translation unit. A program point P is said to follow any declaration in the same translation unit whose locus (6.4.2 [basic.scope.pdecl]) is before P. [Note 1: The declaration might appear in a scope that does not contain P . —end note] ...
Date: 2025-11-21.20:47:34

Suggested resolution [SUPERSEDED]:

There is a program point before the first token of the translation unit, an arbitrary number between every pair of adjacent tokens, and an arbitrary number after the last token of the translation unit. A program point P is said to follow any declaration in the same translation unit whose locus (6.4.2 [basic.scope.pdecl]) is before P. [Note 1: The declaration might appear in a scope that does not contain P . —end note] ...
Date: 2025-11-07.07:33:50

Suggested resolution [SUPERSEDED]:

Change in 6.5.1 [basic.lookup.general] paragraph 2 as follows:

There is a program point before the first token of the translation unit, between every pair of adjacent tokens, and after the last token of the translation unit. A program point P is said to follow any declaration in the same translation unit whose locus (6.4.2 [basic.scope.pdecl]) is before P. [Note 1: The declaration might appear in a scope that does not contain P . —end note] ...
Date: 2025-10-10.06:36:14
N5028 comment US 14-029

(From submission #749.)

There is no definition for the term "program point".

History
Date User Action Args
2025-12-05 21:43:30adminsetstatus: review -> tentatively ready
2025-11-21 20:47:34adminsetmessages: + msg8407
2025-11-21 20:47:34adminsetstatus: open -> review
2025-11-07 07:33:50adminsetmessages: + msg8372
2025-09-10 18:54:25adminsetmessages: + msg8083
2025-08-13 00:00:00admincreate