clang/test/CXX/special/class.copy/p15-0x.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -std=c++11 -verify %s
   2 // expected-no-diagnostics
   3
   4 namespace PR10622 {
   5   struct foo {
   6     const int first;
   7     foo(const foo&) = default;
   8   };
   9   void find_or_insert(const foo& __obj) {
  10     foo x(__obj);
  11   }
  12
  13   struct bar : foo {
  14     bar(const bar&) = default;
  15   };
  16   void test_bar(const bar &obj) {
  17     bar obj2(obj);
  18   }
  19 }
  20
  21 namespace PR11418 {
  22   template<typename T>
  23   T may_throw() {
  24     return T();
  25   }
  26
  27   template<typename T> T &&declval() noexcept;
  28
  29   struct NonPOD {
  30     NonPOD();
  31     NonPOD(const NonPOD &) noexcept;
  32     NonPOD(NonPOD &&) noexcept;
  33   };
  34
  35   struct X {
  36     NonPOD np = may_throw<NonPOD>();
  37   };
  38
  39   static_assert(noexcept(declval<X>()), "noexcept isn't working at all");
  40   static_assert(noexcept(X(declval<X&>())), "copy constructor can't throw");
  41   static_assert(noexcept(X(declval<X>())), "move constructor can't throw");
  42 }