https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99637
m.cencora at gmail dot com changed:
What|Removed |Added
CC||m.cencora at gmail dot com
-
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99637
--- Comment #7 from Jonathan Wakely ---
Yes. If the result type is a class type and the padding bits in the input
correspond to unsigned char or std::byte subobjects in the result, that's OK
(because the only parts with indeterminate values are b
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99637
--- Comment #6 from Jakub Jelinek ---
(In reply to Jonathan Wakely from comment #5)
> (In reply to Jonathan Wakely from comment #4)
> > So the result cannot be created.
>
> Not during constant evaluation, anyway.
And outside of constant evaluat
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99637
--- Comment #5 from Jonathan Wakely ---
(In reply to Jonathan Wakely from comment #4)
> So the result cannot be created.
Not during constant evaluation, anyway.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99637
--- Comment #4 from Jonathan Wakely ---
I think the relevant sentence is "Each bit of the value representation of the
result is equal to the corresponding bit in the object representation of from."
For one of the bits in the result, there is no
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99637
Jakub Jelinek changed:
What|Removed |Added
CC||jason at gcc dot gnu.org,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99637
--- Comment #2 from Hana Dusíková ---
I know this is not an argument but MSVC accepts this code, meanwhile I'm asking
Richard what to do about it.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99637
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #1