[llvm-branch-commits] [cfe-branch] r369921 - Merging r369829:
Hans Wennborg via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Mon Aug 26 09:05:00 PDT 2019
Author: hans
Date: Mon Aug 26 09:04:59 2019
New Revision: 369921
URL: http://llvm.org/viewvc/llvm-project?rev=369921&view=rev
Log:
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.
------------------------------------------------------------------------
Modified:
cfe/branches/release_90/ (props changed)
cfe/branches/release_90/lib/Sema/SemaDeclCXX.cpp
cfe/branches/release_90/test/CXX/dcl.decl/dcl.decomp/p3.cpp
Propchange: cfe/branches/release_90/
------------------------------------------------------------------------------
--- svn:mergeinfo (original)
+++ svn:mergeinfo Mon Aug 26 09:04:59 2019
@@ -1,4 +1,4 @@
/cfe/branches/type-system-rewrite:134693-134817
-/cfe/trunk:366429,366447-366448,366457,366474,366480,366483,366511,366670,366694,366699,366878,367008,367039,367055,367103,367134,367301,367305,367323,367387,367403,367520,367530,367661,367675,367802,367823,367906,368104,368202,368552,368561,368874,368940,369043,369093,369251,369641
+/cfe/trunk:366429,366447-366448,366457,366474,366480,366483,366511,366670,366694,366699,366878,367008,367039,367055,367103,367134,367301,367305,367323,367387,367403,367520,367530,367661,367675,367802,367823,367906,368104,368202,368552,368561,368874,368940,369043,369093,369251,369641,369829
/cfe/trunk/test:170344
/cfe/trunk/test/SemaTemplate:126920
Modified: cfe/branches/release_90/lib/Sema/SemaDeclCXX.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/release_90/lib/Sema/SemaDeclCXX.cpp?rev=369921&r1=369920&r2=369921&view=diff
==============================================================================
--- cfe/branches/release_90/lib/Sema/SemaDeclCXX.cpp (original)
+++ cfe/branches/release_90/lib/Sema/SemaDeclCXX.cpp Mon Aug 26 09:04:59 2019
@@ -1225,7 +1225,8 @@ static bool checkTupleLikeDecomposition(
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),
Modified: cfe/branches/release_90/test/CXX/dcl.decl/dcl.decomp/p3.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/release_90/test/CXX/dcl.decl/dcl.decomp/p3.cpp?rev=369921&r1=369920&r2=369921&view=diff
==============================================================================
--- cfe/branches/release_90/test/CXX/dcl.decl/dcl.decomp/p3.cpp (original)
+++ cfe/branches/release_90/test/CXX/dcl.decl/dcl.decomp/p3.cpp Mon Aug 26 09:04:59 2019
@@ -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 {};
More information about the llvm-branch-commits
mailing list