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   };
find_or_insert(const foo & __obj)9   void find_or_insert(const foo& __obj) {
10     foo x(__obj);
11   }
12 
13   struct bar : foo {
14     bar(const bar&) = default;
15   };
test_bar(const bar & obj)16   void test_bar(const bar &obj) {
17     bar obj2(obj);
18   }
19 }
20 
21 namespace PR11418 {
22   template<typename T>
may_throw()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 }
43