Skip to content

[Clang][C++20] Implement constexpr std::bit_cast for bit-fields #74775

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

[Clang][C++20] Implement constexpr std::bit_cast for bit-fields #74775

Show file tree
Hide file tree
Changes from 2 commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
f281d34
[Clang][Sema] Print more static_assert exprs
sethp Dec 7, 2023
f9785e4
[Clang][C++20] Implement constexpr std::bit_cast for bit-fields
sethp Dec 7, 2023
2e0d3f8
refactor: BitCastBuffer with APInt, fix for bools
sethp Jan 4, 2024
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: 6 additions & 2 deletions clang/include/clang/Basic/DiagnosticASTKinds.td
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -316,10 +316,14 @@ def note_constexpr_memcpy_unsupported : Note<
"size to copy (%4) is not a multiple of size of element type %3 (%5)|"
"source is not a contiguous array of at least %4 elements of type %3|"
"destination is not a contiguous array of at least %4 elements of type %3}2">;
def note_constexpr_bit_cast_bad_bits : Note<
"bit_cast source expression (type %5) does not produce a constant value for "
"%select{bit|byte}0 [%1] (of {%2%plural{0:|:..0}2}) which are required by "
"target type %4 %select{|(subobject %3)}6">;
def note_constexpr_bit_cast_unsupported_type : Note<
"constexpr bit cast involving type %0 is not yet supported">;
def note_constexpr_bit_cast_unsupported_bitfield : Note<
"constexpr bit_cast involving bit-field is not yet supported">;
def note_constexpr_bit_cast_invalid_decl : Note<
"bit_cast here %select{from|to}0 invalid declaration %0">;
def note_constexpr_bit_cast_invalid_type : Note<
"bit_cast %select{from|to}0 a %select{|type with a }1"
"%select{union|pointer|member pointer|volatile|reference}2 "
Expand Down
Loading