https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114663
Nina Ranns <dinka.ranns at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dinka.ranns at gmail dot com
--- Comment #1 from Nina Ranns <dinka.ranns at gmail dot com> ---
>From N4820 [dcl.attr.contract.check]/ p4
"it is unspecified whether the predicate for a contract that is not checked
under the current build level is evaluated; if the predicate of such a contract
would evaluate to false, the behavior is undefined."
Other thanthat, N4820 doesn't say much about axiom level, other than a note
that says "An axiom contract-level is expected to be used for those contracts
that are formal comments and are not evaluated at run-time."
[dcl.attr.contract.check]/ p1
>From that note, it is possible that the intention was to have axiom level
contracts not evaluated at compile time. However, notes are not normative
wording. My reading of N4820 is that the current behaviour matches the last
version of the normative wording.
