diff options
author | Hans Wennborg <hans@hanshq.net> | 2019-08-26 16:04:59 +0000 |
---|---|---|
committer | Hans Wennborg <hans@hanshq.net> | 2019-08-26 16:04:59 +0000 |
commit | 11ec863dd73e67c337478df1cd825cfb8a910f76 (patch) | |
tree | e9496db4179a8ea27d4ad97841d7c6e2e92a1d30 | |
parent | f1b7ab3fd3e9dab82f01a15b2e867a4e5940991c (diff) |
Merging r369829:
------------------------------------------------------------------------
r369829 | rsmith | 2019-08-24 03:23:57 +0200 (Sat, 24 Aug 2019) | 3 lines
PR40674: fix assertion failure if a structured binding declaration has a
tuple-like decomposition that produces value-dependent reference
bindings.
------------------------------------------------------------------------
git-svn-id: https://llvm.org/svn/llvm-project/cfe/branches/release_90@369921 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/Sema/SemaDeclCXX.cpp | 3 | ||||
-rw-r--r-- | test/CXX/dcl.decl/dcl.decomp/p3.cpp | 8 |
2 files changed, 9 insertions, 2 deletions
diff --git a/lib/Sema/SemaDeclCXX.cpp b/lib/Sema/SemaDeclCXX.cpp index 15984f89e2..2f9e4f961f 100644 --- a/lib/Sema/SemaDeclCXX.cpp +++ b/lib/Sema/SemaDeclCXX.cpp @@ -1225,7 +1225,8 @@ static bool checkTupleLikeDecomposition(Sema &S, if (E.isInvalid()) return true; RefVD->setInit(E.get()); - RefVD->checkInitIsICE(); + if (!E.get()->isValueDependent()) + RefVD->checkInitIsICE(); E = S.BuildDeclarationNameExpr(CXXScopeSpec(), DeclarationNameInfo(B->getDeclName(), Loc), diff --git a/test/CXX/dcl.decl/dcl.decomp/p3.cpp b/test/CXX/dcl.decl/dcl.decomp/p3.cpp index 9b030c1a2e..ce5eefc6bf 100644 --- a/test/CXX/dcl.decl/dcl.decomp/p3.cpp +++ b/test/CXX/dcl.decl/dcl.decomp/p3.cpp @@ -127,7 +127,7 @@ void referenced_type() { using ConstInt3 = decltype(bcr2); } -struct C { template<int> int get(); }; +struct C { template<int> int get() const; }; template<> struct std::tuple_size<C> { static const int value = 1; }; template<> struct std::tuple_element<0, C> { typedef int type; }; @@ -138,6 +138,12 @@ int member_get() { return c; } +constexpr C c = C(); +template<const C *p> void dependent_binding_PR40674() { + const auto &[c] = *p; + (void)c; +} + struct D { // FIXME: Emit a note here explaining why this was ignored. template<int> struct get {}; |