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
10 changes: 5 additions & 5 deletions source/basic.tex
Original file line number Diff line number Diff line change
Expand Up @@ -492,7 +492,7 @@
\grammarterm{splice-expression}\iref{expr.prim.splice}
that designates it.
A variable \tcode{x} that is named by a
potentially-evaluated expression $N$
potentially evaluated expression $N$
that appears at a point $P$
is \defnx{odr-used}{odr-use} by $N$ unless
\begin{itemize}
Expand Down Expand Up @@ -552,18 +552,18 @@
a \grammarterm{splice-expression}
that designates that structured binding.
A structured binding is odr-used
if it is named by a potentially-evaluated expression.
if it is named by a potentially evaluated expression.

\pnum
\tcode{*\keyword{this}} is odr-used if \keyword{this} appears as a potentially-evaluated expression
\tcode{*\keyword{this}} is odr-used if \keyword{this} appears as a potentially evaluated expression
(including as the result of any implicit transformation to
a class member access expression\iref{expr.prim.id.general}).

\pnum
A virtual member
function is odr-used if it is not pure.
A function is odr-used if it is named by
a potentially-evaluated expression or conversion.
a potentially evaluated expression or conversion.
A non-placement allocation or deallocation
function for a class is odr-used by the definition of a constructor of that
class. A non-placement deallocation function for a class is odr-used by the
Expand Down Expand Up @@ -4743,7 +4743,7 @@

\pnum
When an object of type \tcode{X}
is passed to or returned from a potentially-evaluated function call,
is passed to or returned from a potentially evaluated function call,
if \tcode{X} is
\begin{itemize}
\item
Expand Down
6 changes: 3 additions & 3 deletions source/declarations.tex
Original file line number Diff line number Diff line change
Expand Up @@ -4476,7 +4476,7 @@
A default argument is evaluated each time the function is called
with no argument for the corresponding parameter.
\indextext{argument!scope of default}%
A parameter shall not appear as a potentially-evaluated expression
A parameter shall not appear as a potentially evaluated expression
in a default argument.
\indextext{argument and name hiding!default}%
\begin{note}
Expand Down Expand Up @@ -7144,7 +7144,7 @@
This includes calling the function
implicitly or explicitly and forming a pointer or pointer-to-member to the
function. It applies even for references in expressions that are not
potentially-evaluated. For an overload set, only the
potentially evaluated. For an overload set, only the
function selected by overload resolution is referenced. The implicit
odr-use\iref{term.odr.use} of a virtual function does not, by itself,
constitute a reference.
Expand Down Expand Up @@ -10081,7 +10081,7 @@
\pnum
\recommended
Appearance of a nodiscard call as
a potentially-evaluated discarded-value expression\iref{expr.prop}
a potentially evaluated discarded-value expression\iref{expr.prop}
of non-void type
is discouraged unless explicitly cast to \keyword{void}.
Implementations should issue a warning in such cases.
Expand Down
14 changes: 7 additions & 7 deletions source/expressions.tex
Original file line number Diff line number Diff line change
Expand Up @@ -4045,7 +4045,7 @@
After these conversions, if the
argument does not have arithmetic, enumeration, pointer, pointer-to-member,
or class type, the program is ill-formed.
Passing a potentially-evaluated argument
Passing a potentially evaluated argument
of a scoped enumeration type\iref{dcl.enum} or
of a class type\iref{class} having
an eligible non-trivial copy constructor\iref{special,class.copy.ctor},
Expand Down Expand Up @@ -5449,7 +5449,7 @@
\end{bnf}

\pnum
An \grammarterm{await-expression} shall appear only as a potentially-evaluated
An \grammarterm{await-expression} shall appear only as a potentially evaluated
expression within the \grammarterm{compound-statement} of a
\grammarterm{function-body} or \grammarterm{lambda-expression},
in either case
Expand Down Expand Up @@ -5981,7 +5981,7 @@
If the value of the \grammarterm{expression} is invalid after converting to \tcode{std::size_t}:
\begin{itemize}
\item
if the \grammarterm{expression} is a potentially-evaluated core constant expression,
if the \grammarterm{expression} is a potentially evaluated core constant expression,
the program is ill-formed;
\item
otherwise, an allocation function is not called; instead
Expand All @@ -6005,7 +6005,7 @@
the \grammarterm{new-initializer} is a \grammarterm{braced-init-list}
or a parenthesized \grammarterm{expression-list}, and
the \grammarterm{expression}
is potentially-evaluated and not a core constant expression,
is potentially evaluated and not a core constant expression,
the semantic constraints of initializing a hypothetical element of
the array are checked as follows:
\begin{itemize}
Expand Down Expand Up @@ -9127,7 +9127,7 @@
the \grammarterm{compound-statement} of a consteval if statement\iref{stmt.if}.
\end{itemize}
An invocation is an \defn{immediate invocation}
if it is a potentially-evaluated explicit or implicit invocation of
if it is a potentially evaluated explicit or implicit invocation of
an immediate function and
is not in an immediate function context.
An aggregate initialization is an immediate invocation
Expand All @@ -9139,7 +9139,7 @@
\indexdefn{conversion!immediate-escalating}%
\indexdefn{immediate-escalating!expression|see{expression, immediate-escalating}}%
\indexdefn{immediate-escalating!conversion|see{conversion, immediate-escalating}}%
A potentially-evaluated expression or conversion is \defn{immediate-escalating}
A potentially evaluated expression or conversion is \defn{immediate-escalating}
if it is neither initially in an immediate function context
nor a subexpression of an immediate invocation, and
\begin{itemize}
Expand Down Expand Up @@ -9456,7 +9456,7 @@
a manifestly constant-evaluated expression,

\item
a potentially-evaluated expression\iref{basic.def.odr},
a potentially evaluated expression\iref{basic.def.odr},

\item
an immediate subexpression of a \grammarterm{braced-init-list},
Expand Down
2 changes: 1 addition & 1 deletion source/templates.tex
Original file line number Diff line number Diff line change
Expand Up @@ -4288,7 +4288,7 @@
\end{codeblock}
\end{example}
\indextext{expression!functionally equivalent|see{functionally equivalent, expressions}}%
Two potentially-evaluated expressions involving template parameters that are not equivalent are
Two potentially evaluated expressions involving template parameters that are not equivalent are
\defnx{functionally equivalent}{functionally equivalent!expressions}
if, for any given set of template arguments, the evaluation of the
expression results in the same value.
Expand Down