From a17af3e12a43930d4b93b80837920226a4c90a39 Mon Sep 17 00:00:00 2001 From: Hubert Tong Date: Thu, 18 Dec 2025 15:06:10 -0500 Subject: [PATCH 1/3] [expr.const] Fix index: "usable in constant expressions" definition domains --- source/expressions.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/expressions.tex b/source/expressions.tex index ca57b3226b..d1aa10d2e0 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -8432,7 +8432,7 @@ \pnum A constant-initialized potentially-constant variable $V$ is -\defn{usable in constant expressions} at a point $P$ if +\defnx{usable in constant expressions}{usable in constant expressions!variable} at a point $P$ if $V$'s initializing declaration $D$ is reachable from $P$ and \begin{itemize} \item $V$ is constexpr, @@ -8458,7 +8458,7 @@ \item a reference member of any of the above. \end{itemize} -An object or reference is \defn{usable in constant expressions} at point $P$ +An object or reference is \defnx{usable in constant expressions}{usable in constant expressions!object or reference} at point $P$ if it is an object or reference that is potentially usable in constant expressions at $P$ and is constexpr-representable at $P$. From f60570c32ede666c97ee23943aa3ba89994d3c71 Mon Sep 17 00:00:00 2001 From: Hubert Tong Date: Thu, 18 Dec 2025 15:25:32 -0500 Subject: [PATCH 2/3] [expr.const] Fix (variable) "usable in constant expressions" definition domain --- source/expressions.tex | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/source/expressions.tex b/source/expressions.tex index d1aa10d2e0..9ebb3d1d17 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -8431,9 +8431,10 @@ it has reference or non-volatile const-qualified integral or enumeration type. \pnum -A constant-initialized potentially-constant variable $V$ is +A variable $V$ is \defnx{usable in constant expressions}{usable in constant expressions!variable} at a point $P$ if -$V$'s initializing declaration $D$ is reachable from $P$ and +$V$ is constant-initialized and potentially-constant, +$V$'s initializing declaration $D$ is reachable from $P$, and \begin{itemize} \item $V$ is constexpr, \item $V$ is not initialized to a TU-local value, or From 5b65d57355b6573243554ab6c93b408e20ea061a Mon Sep 17 00:00:00 2001 From: Hubert Tong Date: Fri, 19 Dec 2025 03:04:27 -0400 Subject: [PATCH 3/3] Review suggestion: Split long source line Co-authored-by: Jan Schultke --- source/expressions.tex | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/source/expressions.tex b/source/expressions.tex index 9ebb3d1d17..b1ace59831 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -8459,7 +8459,9 @@ \item a reference member of any of the above. \end{itemize} -An object or reference is \defnx{usable in constant expressions}{usable in constant expressions!object or reference} at point $P$ +An object or reference is +\defnx{usable in constant expressions}{usable in constant expressions!object or reference} +at point $P$ if it is an object or reference that is potentially usable in constant expressions at $P$ and is constexpr-representable at $P$.