diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2017-01-24 19:18:04 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2017-01-24 19:18:04 +0000 |
commit | 865493b10990f9932c79d135eef448ff418792ab (patch) | |
tree | 37718471b885f5ff7effe1fcbcdf114f20b8638b /test/SemaCXX/cxx11-default-member-initializers.cpp | |
parent | 5df539a1004bc4db5c38b33ba3e219595a10ae3c (diff) | |
download | src-vendor/clang/clang-release_40-r292951.tar.gz src-vendor/clang/clang-release_40-r292951.zip |
Vendor import of clang release_40 branch r292951:vendor/clang/clang-release_40-r292951
Diffstat (limited to 'test/SemaCXX/cxx11-default-member-initializers.cpp')
-rw-r--r-- | test/SemaCXX/cxx11-default-member-initializers.cpp | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/SemaCXX/cxx11-default-member-initializers.cpp b/test/SemaCXX/cxx11-default-member-initializers.cpp new file mode 100644 index 000000000000..9353e633fafb --- /dev/null +++ b/test/SemaCXX/cxx11-default-member-initializers.cpp @@ -0,0 +1,14 @@ +// RUN: %clang_cc1 -std=c++11 -verify %s -pedantic + +namespace PR31692 { + struct A { + struct X { int n = 0; } x; + // Trigger construction of X() from a SFINAE context. This must not mark + // any part of X as invalid. + static_assert(!__is_constructible(X), ""); + // Check that X::n is not marked invalid. + double &r = x.n; // expected-error {{non-const lvalue reference to type 'double' cannot bind to a value of unrelated type 'int'}} + }; + // A::X can now be default-constructed. + static_assert(__is_constructible(A::X), ""); +} |