Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
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
2 changes: 1 addition & 1 deletion source/basic.tex
Original file line number Diff line number Diff line change
Expand Up @@ -6449,7 +6449,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
Expand Down
2 changes: 1 addition & 1 deletion source/classes.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
4 changes: 2 additions & 2 deletions source/declarations.tex
Original file line number Diff line number Diff line change
Expand Up @@ -4393,7 +4393,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.
Expand Down Expand Up @@ -5800,7 +5800,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}
Expand Down
8 changes: 4 additions & 4 deletions source/expressions.tex
Original file line number Diff line number Diff line change
Expand Up @@ -5480,7 +5480,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.
Expand Down Expand Up @@ -9513,7 +9513,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
Expand All @@ -9526,7 +9526,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
Expand Down Expand Up @@ -9668,7 +9668,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}%
Expand Down
4 changes: 2 additions & 2 deletions source/meta.tex
Original file line number Diff line number Diff line change
Expand Up @@ -5219,7 +5219,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$,
Expand All @@ -5239,7 +5239,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}
Expand Down
Loading