https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102586
--- Comment #20 from Thomas Rodgers <rodgertq at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #17) ... > I don't remember the std::bit_cast case right now, OpenMP atomics are about Not sure if this is what you are talking about (frankly most of this is well above my grokability) but, for std::bit_cast<To, From>, the standard says - "Constraints: —(1.1) sizeof(To) == sizeof(From) is true; —(1.2) is_trivially_copyable_v<To> is true; and —(1.3) is_trivially_copyable_v<From> is true" So same as for <atomic>