maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Additional testing for fixes in r158289 and r158290 to allow implicitly-declared 

constructors for non-literal types to be constexpr in some circumstances.

llvm-svn: 159513
This commit is contained in:
Richard Smith 2012-07-02 06:15:40 +00:00
parent f4462fa3ca
commit 1355465227
1 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
clang/test/SemaCXX/constant-expression-cxx11.cpp
View File

@ -1270,6 +1270,31 @@ namespace InvalidClasses {
} }
} }
// Constructors can be implicitly constexpr, even for a non-literal type.
namespace ImplicitConstexpr {
struct Q { Q() = default; Q(const Q&) = default; Q(Q&&) = default; ~Q(); }; // expected-note 3{{here}}
struct R { constexpr R(); constexpr R(const R&); constexpr R(R&&); ~R(); };
struct S { R r; }; // expected-note 3{{here}}
struct T { T(const T&); T(T &&); ~T(); };
struct U { T t; }; // expected-note 3{{here}}
static_assert(!__is_literal_type(Q), "");
static_assert(!__is_literal_type(R), "");
static_assert(!__is_literal_type(S), "");
static_assert(!__is_literal_type(T), "");
static_assert(!__is_literal_type(U), "");
struct Test {
friend Q::Q() noexcept; // expected-error {{follows constexpr}}
friend Q::Q(Q&&) noexcept; // expected-error {{follows constexpr}}
friend Q::Q(const Q&) noexcept; // expected-error {{follows constexpr}}
friend S::S() noexcept; // expected-error {{follows constexpr}}
friend S::S(S&&) noexcept; // expected-error {{follows constexpr}}
friend S::S(const S&) noexcept; // expected-error {{follows constexpr}}
friend constexpr U::U() noexcept; // expected-error {{follows non-constexpr}}
friend constexpr U::U(U&&) noexcept; // expected-error {{follows non-constexpr}}
friend constexpr U::U(const U&) noexcept; // expected-error {{follows non-constexpr}}
};
}
// Indirectly test that an implicit lvalue to xvalue conversion performed for // Indirectly test that an implicit lvalue to xvalue conversion performed for
// an NRVO move operation isn't implemented as CK_LValueToRValue. // an NRVO move operation isn't implemented as CK_LValueToRValue.
namespace PR12826 { namespace PR12826 {