Open
Description
[defns.undefined] Note 1 states:
Evaluation of a constant expression ([expr.const]) never exhibits behavior explicitly specified as undefined in [intro] through [cpp].
This is incorrect or at least incomplete. The sentence is in reference to [expr.const] p5.8:
an operation that would have undefined or erroneous behavior as specified in [intro] through [cpp], excluding [dcl.attr.assume] and [dcl.attr.noreturn];
Either we should remove the last sentence from the [defns.undefined] note (in older standards, that note didn't exist anyway, and I don't think it's all that important to have it there), or we should complete it by mentioning the exclusion of [dcl.attr.assume] and [dcl.attr.noreturn].
Activity