[defns.undefined] Incorrect/incomplete note referencing [expr.const]

[Eisenwave]

[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].