|
5464 | 5464 | An \grammarterm{await-expression} shall not appear in the initializer of |
5465 | 5465 | a block variable with static or thread storage duration. |
5466 | 5466 | An \grammarterm{await-expression} shall not be |
5467 | | -a potentially-evaluated subexpression |
| 5467 | +a potentially evaluated subexpression |
5468 | 5468 | of the predicate of a contract assertion\iref{basic.contract}. |
5469 | 5469 | A context within a function where an \grammarterm{await-expression} can appear |
5470 | 5470 | is called a \term{suspension context} of the function. |
|
9387 | 9387 | is a point $R$ determined as follows: |
9388 | 9388 | \begin{itemize} |
9389 | 9389 | \item |
9390 | | -If a potentially-evaluated subexpression\iref{intro.execution} of |
| 9390 | +If a potentially evaluated subexpression\iref{intro.execution} of |
9391 | 9391 | a default member initializer $I$ appears at $P$, and |
9392 | 9392 | a (possibly aggregate) initialization during $V$ is using $I$, |
9393 | 9393 | then $R$ is $\textit{EVAL-PT}(Q)$ |
9394 | 9394 | where $Q$ is the point at which that initialization appears. |
9395 | 9395 | \item |
9396 | | -Otherwise, if a potentially-evaluated subexpression of |
| 9396 | +Otherwise, if a potentially evaluated subexpression of |
9397 | 9397 | a default argument\iref{dcl.fct.default} appears at $P$, and |
9398 | 9398 | an invocation of a function\iref{expr.call} during $V$ |
9399 | 9399 | is using that default argument, |
|
9482 | 9482 | or |
9483 | 9483 |
|
9484 | 9484 | \item |
9485 | | -a potentially-evaluated subexpression\iref{intro.execution} of one of the above. |
| 9485 | +a potentially evaluated subexpression\iref{intro.execution} of one of the above. |
9486 | 9486 | \end{itemize} |
9487 | 9487 |
|
9488 | 9488 | \indextext{function!needed for constant evaluation}% |
|
0 commit comments