This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.

3906. "Undefined address" is undefined

Section: 32.5.8.5 [atomics.types.pointer], 32.5.7.5 [atomics.ref.pointer] Status: New Submitter: Jiang An Opened: 2023-03-18 Last modified: 2023-05-24

Priority: 3

View all issues with New status.

Discussion:

This was originally editorial issue #6185.

The term "undefined address" is used in 32.5.8.5 [atomics.types.pointer]/8 and 32.5.7.5 [atomics.ref.pointer]/6, however, it seems not properly defined and the intended meaning is unclear. The term originally appeared in the paper N2393 and was reused by P0019R8, but no explanation can be found in these papers.

Perhaps "undefined address" is related to the undefined behavior specified in 7.6.6 [expr.add].

[2023-05-24; Reflector poll]

Set priority to 3 after reflector poll.

Proposed resolution: