From 48cb3f505422d81e96a6b04cbc117f93dd9b1380 Mon Sep 17 00:00:00 2001 From: "Daniel M. Katz" Date: Sun, 12 Jan 2025 21:57:16 -0500 Subject: [PATCH] Davis-y nitpick. (#223) --- 2996_reflection/p2996r9.html | 2 +- 2996_reflection/reflection.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/2996_reflection/p2996r9.html b/2996_reflection/p2996r9.html index 0eb4bd01..81e9e2b1 100644 --- a/2996_reflection/p2996r9.html +++ b/2996_reflection/p2996r9.html @@ -5352,7 +5352,7 @@

5.2 constant-evaluated expression within a declaration D, constructs appearing at a program point P are -analyzed in a context where every side effect of that expression is +analyzed in a context where each side effect of that expression is complete if and only if D is reachable from either P or a point immediately following the diff --git a/2996_reflection/reflection.md b/2996_reflection/reflection.md index 8c33db10..98410245 100644 --- a/2996_reflection/reflection.md +++ b/2996_reflection/reflection.md @@ -3152,7 +3152,7 @@ Modify the wording for phases 7-8 of [lex.phases]{.sref} as follows: [[Constructs that are separately subject to instantiation are specified in ([temp.spec.general]).]{.note}]{.addu} - [During the analysis and translation of tokens, certain expressions are evaluated ([expr.const]). For each plainly constant-evaluated expression within a declaration `$D$`, constructs appearing at a program point `$P$` are analyzed in a context where every side effect of that expression is complete if and only if `$D$` is reachable from either `$P$` or a point immediately following the `$class-specifier$` of a class for which `$P$` is in a complete-class context.]{.addu} + [During the analysis and translation of tokens, certain expressions are evaluated ([expr.const]). For each plainly constant-evaluated expression within a declaration `$D$`, constructs appearing at a program point `$P$` are analyzed in a context where each side effect of that expression is complete if and only if `$D$` is reachable from either `$P$` or a point immediately following the `$class-specifier$` of a class for which `$P$` is in a complete-class context.]{.addu} [8]{.pnum} [All]{.rm} [Translated translation units are combined and all]{.addu} external entity references are resolved. Library components are linked to satisfy external references to entities not defined in the current translation. All such translator output is collected into a program image which contains information needed for execution in its execution environment.