libstdc++-v3/testsuite/25_algorithms/copy_n/114817.cc

   1 // { dg-do run { target c++11 } }
   2
   3 // Bug libstdc++/114817 - Wrong codegen for std::copy of
   4 // "trivially copyable but not trivially assignable" type
   5
   6 #include <algorithm>
   7 #include <testsuite_hooks.h>
   8
   9 int assignments = 0;
  10
  11 struct NonTrivialAssignment
  12 {
  13   NonTrivialAssignment(int v) : val(v) { }
  14   NonTrivialAssignment(const NonTrivialAssignment&) = default;
  15   void operator=(const volatile NonTrivialAssignment&) = delete;
  16   template<class = void>
  17     NonTrivialAssignment&
  18     operator=(const NonTrivialAssignment& o)
  19     {
  20       ++assignments;
  21       val = o.val;
  22       return *this;
  23     }
  24
  25   int val;
  26 };
  27
  28 static_assert(std::is_trivially_copyable<NonTrivialAssignment>::value);
  29
  30 int main()
  31 {
  32   NonTrivialAssignment src[2]{1, 2};
  33   NonTrivialAssignment dst[2]{3, 4};
  34   std::copy_n(src, 2, dst);
  35   VERIFY( assignments == 2 );
  36   VERIFY( dst[0].val == src[0].val );
  37   VERIFY( dst[1].val == src[1].val );
  38 }