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
