From 8f480b23c44b47498dad811f56fe40a53bf58d8b Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Wed, 30 Aug 2023 22:39:24 +0200
Subject: [PATCH 1/2] [expr.unary.noexcept] replace informative wording
---
source/expressions.tex | 13 ++++++-------
1 file changed, 6 insertions(+), 7 deletions(-)
diff --git a/source/expressions.tex b/source/expressions.tex
index f2e68f2f8a..e7a6fc361c 100644
--- a/source/expressions.tex
+++ b/source/expressions.tex
@@ -5042,14 +5042,16 @@
\pnum
\indextext{\idxcode{noexcept}}%
\indextext{expression!\idxcode{noexcept}}%
-The \keyword{noexcept} operator determines whether the evaluation of its operand,
-which is an unevaluated operand\iref{term.unevaluated.operand}, can throw an
-exception\iref{except.throw}.
-
+The \keyword{noexcept} operator
\begin{bnf}
\nontermdef{noexcept-expression}\br
\keyword{noexcept} \terminal{(} expression \terminal{)}
\end{bnf}
+has an \grammarterm{expression} \term{operand}
+which is an unevaluated operand\iref{term.unevaluated.operand}.
+The \keyword{noexcept} operator yields \keyword{true}
+unless the full-expression of the operand
+is potentially-throwing\iref{except.spec}.
\pnum
The result of the \keyword{noexcept} operator is a prvalue of type \keyword{bool}.
@@ -5061,9 +5063,6 @@
\pnum
If the operand is a prvalue,
the temporary materialization conversion\iref{conv.rval} is applied.
-The result of the \keyword{noexcept} operator is \keyword{true}
-unless the full-expression of the operand
-is potentially-throwing\iref{except.spec}.
\indextext{expression!unary|)}
\rSec3[expr.new]{New}
From c980fb0e5df711545e33a1b6dd7eacf3718d6fb9 Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Thu, 31 Aug 2023 22:40:54 +0200
Subject: [PATCH 2/2] [expr.unary.noexcept] move note into first paragraph
---
source/expressions.tex | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/source/expressions.tex b/source/expressions.tex
index e7a6fc361c..dc2107b233 100644
--- a/source/expressions.tex
+++ b/source/expressions.tex
@@ -5052,14 +5052,14 @@
The \keyword{noexcept} operator yields \keyword{true}
unless the full-expression of the operand
is potentially-throwing\iref{except.spec}.
-
-\pnum
-The result of the \keyword{noexcept} operator is a prvalue of type \keyword{bool}.
\begin{note}
A \grammarterm{noexcept-expression}
is an integral constant expression\iref{expr.const}.
\end{note}
+\pnum
+The result of the \keyword{noexcept} operator is a prvalue of type \keyword{bool}.
+
\pnum
If the operand is a prvalue,
the temporary materialization conversion\iref{conv.rval} is applied.