Skip to content

CWG Poll 5: P3684R1 Fix erroneous behaviour termination semantics for C++26 #8511

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

CWG Poll 5: P3684R1 Fix erroneous behaviour termination semantics for C++26 #8511

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 6 additions & 1 deletion source/basic.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4160,12 +4160,17 @@
\end{note}

\pnum
If any operand of a built-in operator that produces a prvalue
is evaluated,
is not a discarded-value expression\iref{expr.context}, and
produces an erroneous value,
then the value produced by that operator is erroneous.
Except in the following cases,
if an indeterminate value is produced by an evaluation,
the behavior is undefined, and
if an erroneous value is produced by an evaluation,
the behavior is erroneous and
the result of the evaluation is the value so produced but is not erroneous:
the result of the evaluation is that erroneous value:
\begin{itemize}
\item
If an indeterminate or erroneous value of
Expand Down
5 changes: 2 additions & 3 deletions source/intro.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -986,10 +986,9 @@
If the selected execution contains an undefined operation,
the implementation executing that program with that input
may produce arbitrary additional observable behavior afterwards.
If the execution contains an operation specified as having erroneous behavior,
If the execution of an operation is specified as having erroneous behavior,
the implementation is permitted to issue a diagnostic and
is permitted to terminate the execution
at an unspecified time after that operation.
is permitted to terminate the execution of the program.

\pnum
\recommended
Expand Down