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.

Reply via email to