https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122267
--- Comment #2 from Tomasz KamiĆski <tkaminsk at gcc dot gnu.org> ---
For a non-template function, the statement is always compiled, but I do not
think it is always evaluated, i.e. the following should be equivalent:
if constexpr (std::atomic_ref<double>::is_always_lock_free)
VERIFY( ok );
And:
if (std::atomic_ref<double>::is_always_lock_free)
VERIFY( ok );
Neither of them should evaluate VERIFY( ok ) if is_always_lock_free is false.
