3906. "Undefined address" is undefined

Section: 33.5.8.5 [atomics.types.pointer], 33.5.7.5 [atomics.ref.pointer] Status: New Submitter: Jiang An Opened: 2023-03-18 Last modified: 2023-05-24 14:33:00 UTC

Priority: 3

View all issues with New status.

Discussion:

This was originally editorial issue #6185.

The term "undefined address" is used in 33.5.8.5 [atomics.types.pointer]/8 and 33.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: