Skip to content

Add language about bit-fields #743

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 2 commits into
base: main
Choose a base branch
from
Open

Add language about bit-fields #743

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
7ea3245
language about bit-fields
spall Sep 15, 2025
e2f6878
specify bit-field is named
spall Nov 24, 2025
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
14 changes: 14 additions & 0 deletions specs/language/conversions.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,9 @@
\p If the glvalue refers to an array of type \texttt{T}, the prvalue will refer
to a copy of the array, not memory referred to by the glvalue.

\p If the glvalue refers to a bit-field of type \texttt{T}, the conversion
produces an object of the underlying type of the bit-field.

\Sec{Array-to-pointer conversion}{Conv.array}

\p An lvalue or rvalue of type \texttt{T[]} (unsized array), can be converted to
Expand Down Expand Up @@ -118,6 +121,17 @@
of boolean type. A zero value is converted to \texttt{false}; all other values
are converted to \texttt{true}.

\Sec{Bit-field conversion}{Conv.bitfield}

\p A glvalue of a named bit-field with underlying type \texttt{T} can be converted
to a cxvalue of type \texttt{T$^\prime$} if there exists an implicit conversion
from \texttt{T} to \texttt{T$^\prime$}.

\p A glvalue or a prvalue of a type \texttt{T} can be converted to a glvalue
of a named bit-field of type \texttt{T$^\prime$} if there exists an implicit
conversion from \texttt{T} to \texttt{T$^\prime$}. After the conversion from
\texttt{T} to \texttt{T$^\prime$} the value is truncated to the size of the bit-field.

\Sec{Elementwise conversion}{Conv.flat}

\p For a given aggregate \texttt{A}, there is a flattened order of subojects, \texttt{A$^\prime$},
Expand Down