Skip to content

[basic.lval] Dynamic type is not a property of objects #3934

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

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[basic.lval] Dynamic type is not a property of objects #3934

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
6 changes: 3 additions & 3 deletions source/expressions.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -289,15 +289,15 @@
\pnum
If a program attempts to access\iref{defns.access}
the stored value of an object through a glvalue
whose type is not similar\iref{conv.qual} to
whose static type is not similar\iref{conv.qual} to
one of the following types the behavior is
undefined:\footnote{The intent of this list is to specify those circumstances in which an
object may or may not be aliased.}
\begin{itemize}
\item the dynamic type of the object,
\item the type of the object,

\item a type that is the signed or unsigned type corresponding to the
dynamic type of the object, or
type of the object, or

\item a \tcode{char}, \tcode{unsigned char}, or \tcode{std::byte} type.
\end{itemize}
Expand Down