Skip to content

[expr.const] Disambiguate 'it' by introducing the name V. #4160

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Sep 18, 2020
Merged

[expr.const] Disambiguate 'it' by introducing the name V. #4160

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
8 changes: 4 additions & 4 deletions source/expressions.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6850,12 +6850,12 @@
it has reference or const-qualified integral or enumeration type.

\pnum
A constant-initialized potentially-constant variable is
A constant-initialized potentially-constant variable $V$ is
\defn{usable in constant expressions} at a point $P$ if
its initializing declaration $D$ is reachable from $P$ and
$V$'s initializing declaration $D$ is reachable from $P$ and
\begin{itemize}
\item it is constexpr,
\item it is not initialized to a TU-local value, or
\item $V$ is constexpr,
\item $V$ is not initialized to a TU-local value, or
\item $P$ is in the same translation unit as $D$.
\end{itemize}
An object or reference is \defn{usable in constant expressions} if it is
Expand Down