P0881R7 ("stacktrace") does not define "actual file name", "actual line number"
Thomas Köppe

Created on 2020-12-02.00:00:00 last changed 2 weeks ago


Date: 2023-01-15.00:00:00

[ 2023-01-11; LWG telecon ]

We want to know the original intended meaning of "actual line number" here. Presumably debuginfo stored in binaries uses a real line number in the source, not one that might have been set by a #line directive. The "presumed or actual" wording was added in R2 of the paper, possibly as a result of LWG review.

Date: 2021-01-15.00:00:00

[ 2021-01-15; Telecon prioritization ]

Set priority to 2 following reflector and telecon discussions.

Date: 2020-12-02.00:00:00

The specification of [stacktrace.entry.query] uses the terms "presumed or actual name of the source file" and "actual line number". It makes reference to [cpp.predefined], which introduces the term "presumed". It does not clearly define the term, but it describes how the presumed values can be modified with preprocessor directives. However, there is no definition whatsoever of "actual".

The term should either be defined, or we should strike the "actual" parts of the stacktrace wording. We should consult implementers about this.

I don't have a proposed resolution, but if we want to keep "actual", then perhaps we should define both "presumed" and "actual" in [cpp.predefined].

Date User Action Args
2023-01-11 18:22:42adminsetmessages: + msg13199
2023-01-11 18:22:42adminsetstatus: new -> open
2021-01-15 21:45:23adminsetmessages: + msg11650
2020-12-02 00:00:00admincreate