From b23610e853b7a447aa05741026139bcdb836c496 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Fri, 10 Apr 2026 10:33:49 +0800 Subject: [PATCH] Unhyphenate "potentially-evaluated" Currently we define unhyphenated "_potentially evaluated_" in [basic.def.odr]/3 for expressions and conversions, but also define hyphenated "_potentially-evaluated subexpressions_" in [intro.execution]/4. It's probably better to use a single form, and the hyphen shouldn't b used for compounds modifying a noun if an adverb ending in "ly" is used. --- source/basic.tex | 2 +- source/classes.tex | 2 +- source/declarations.tex | 4 ++-- source/expressions.tex | 8 ++++---- source/meta.tex | 4 ++-- 5 files changed, 10 insertions(+), 10 deletions(-) diff --git a/source/basic.tex b/source/basic.tex index 40766d74a1..97db112bfb 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -6463,7 +6463,7 @@ Expressions appearing in the \grammarterm{compound-statement} of a \grammarterm{lambda-expression} are not subexpressions of the \grammarterm{lambda-expression}. \end{note} -The \defnadjx{potentially-evaluated}{subexpressions}{subexpression} of +The \defnadjx{potentially evaluated}{subexpressions}{subexpression} of an expression, conversion, or \grammarterm{initializer} $E$ are \begin{itemize} \item diff --git a/source/classes.tex b/source/classes.tex index 2349cbc816..b26af0ff69 100644 --- a/source/classes.tex +++ b/source/classes.tex @@ -722,7 +722,7 @@ defaulted default constructor for the enclosing class or the exception specification of that constructor. An immediate invocation\iref{expr.const.imm} that -is a potentially-evaluated subexpression\iref{intro.execution} +is a potentially evaluated subexpression\iref{intro.execution} of a default member initializer is neither evaluated nor checked for whether it is a constant expression at the point where the subexpression appears. diff --git a/source/declarations.tex b/source/declarations.tex index d3821debca..38fd3060bc 100644 --- a/source/declarations.tex +++ b/source/declarations.tex @@ -4449,7 +4449,7 @@ default argument are looked up, and the semantic constraints are checked, at the point where the default argument appears, except that an immediate invocation\iref{expr.const.imm} that -is a potentially-evaluated subexpression\iref{intro.execution} of +is a potentially evaluated subexpression\iref{intro.execution} of the \grammarterm{initializer-clause} in a \grammarterm{parameter-declaration} is neither evaluated nor checked for whether it is a constant expression at that point. @@ -5955,7 +5955,7 @@ \pnum If a member has a default member initializer -and a potentially-evaluated subexpression thereof is an aggregate +and a potentially evaluated subexpression thereof is an aggregate initialization that would use that default member initializer, the program is ill-formed. \begin{example} diff --git a/source/expressions.tex b/source/expressions.tex index d91fac60e0..c5ca7c87ac 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -5625,7 +5625,7 @@ An \grammarterm{await-expression} shall not appear in the initializer of a block variable with static or thread storage duration. An \grammarterm{await-expression} shall not be -a potentially-evaluated subexpression +a potentially evaluated subexpression of the predicate of a contract assertion\iref{basic.contract}. A context within a function where an \grammarterm{await-expression} can appear is called a \term{suspension context} of the function. @@ -9738,7 +9738,7 @@ is the program point $P$ determined as follows: \begin{itemize} \item -If $E$ is a potentially-evaluated subexpression of +If $E$ is a potentially evaluated subexpression of a default member initializer $I$, and $V$ is the evaluation of $E$ in the evaluation of $I$ as an immediate subexpression of a (possibly aggregate) initialization, then @@ -9751,7 +9751,7 @@ \item Otherwise, -if $E$ is a potentially-evaluated subexpression of +if $E$ is a potentially evaluated subexpression of a default argument $A$\iref{dcl.fct.default}, and $V$ is the evaluation of $E$ in the evaluation of $A$ as an immediate subexpression of a function call\iref{expr.call}, then @@ -9893,7 +9893,7 @@ or \item -a potentially-evaluated subexpression\iref{intro.execution} of one of the above. +a potentially evaluated subexpression\iref{intro.execution} of one of the above. \end{itemize} \indextext{function!needed for constant evaluation}% diff --git a/source/meta.tex b/source/meta.tex index 08052036a3..67f9f35b6f 100644 --- a/source/meta.tex +++ b/source/meta.tex @@ -4951,7 +4951,7 @@ let \tcode{\exposid{eval-point}($P$)} be the following program point: \begin{itemize} \item - If a potentially-evaluated subexpression\iref{intro.execution} + If a potentially evaluated subexpression\iref{intro.execution} of a default member initializer $I$ for a member of class $C$\iref{class.mem.general} appears at $P$, @@ -4971,7 +4971,7 @@ corresponding to the constructor definition that is using $I$. \end{itemize} \item - Otherwise, if a potentially-evaluated subexpression + Otherwise, if a potentially evaluated subexpression of a default argument\iref{dcl.fct.default} appears at $P$, \tcode{\exposid{eval-point}($Q$)}, where $Q$ is the point at which the invocation of the function\iref{expr.call}