https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122267
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- Yes, I misread what the code is doing, the VERIFY(ok) isn't discarded but still won't be executed. As discussed elsewhere, the problem is the atomic_ref<double>::required_alignment value.
