1 // RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++11
2 // expected-no-diagnostics
3 
4 class Trivial { int n; void f(); };
5 class NonTrivial1 { NonTrivial1(const NonTrivial1 &); };
6 class NonTrivial2 { NonTrivial2(NonTrivial2 &&); };
7 class NonTrivial3 { NonTrivial3 operator=(const NonTrivial3 &); };
8 class NonTrivial4 { NonTrivial4 operator=(NonTrivial4 &&); };
9 class NonTrivial5 { ~NonTrivial5(); };
10 
11 static_assert(__is_trivial(Trivial), "Trivial is not trivial");
12 static_assert(!__is_trivial(NonTrivial1), "NonTrivial1 is trivial");
13 static_assert(!__is_trivial(NonTrivial2), "NonTrivial2 is trivial");
14 static_assert(!__is_trivial(NonTrivial3), "NonTrivial3 is trivial");
15 static_assert(!__is_trivial(NonTrivial4), "NonTrivial4 is trivial");
16 static_assert(!__is_trivial(NonTrivial5), "NonTrivial5 is trivial");
17 
18 struct Trivial2 {
19   Trivial2() = default;
20   Trivial2(const Trivial2 &) = default;
21   Trivial2(Trivial2 &&) = default;
22   Trivial2 &operator=(const Trivial2 &) = default;
23   Trivial2 &operator=(Trivial2 &&) = default;
24   ~Trivial2() = default;
25 };
26 
27 class NonTrivial6 { ~NonTrivial6(); };
28 
29 NonTrivial6::~NonTrivial6() = default;
30 
31 static_assert(!__is_trivial(NonTrivial6), "NonTrivial6 is trivial");
32