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&>()));
}


Do you make errors in the code?

Check your code
with PVS-Studio

Static code analysis
for C, C++ and C#

goto PVS-Studio;