Examples of errors detected by the V671 diagnostic


V671. It is possible that the 'swap' function interchanges a variable with itself.


Haiku Operation System

V671 It is possible that the 'swap' function interchanges the 'std::declval < _Alloc & > ()' variable with itself. alloc_traits.h 191


static constexpr bool _S_nothrow_swap()
{
  using std::swap;
  return !_S_propagate_on_swap()
    || noexcept(
         swap(std::declval<_Alloc&>(), std::declval<_Alloc&>()));
}


Bugs Found

Checked Projects
334
Collected Errors
12 668