diff options
| author | cor3ntin <corentinjabot@gmail.com> | 2024-08-05 14:22:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-05 14:22:07 +0200 |
| commit | da380b26e4748ade5a8dba85b7df5e1c4eded8bc (patch) | |
| tree | ae7e11dd97a15022ff63aae74313b78a27a0ca08 /clang/lib/Sema/SemaConcept.cpp | |
| parent | 69c6a3faafe8fa3fa8d7554e0ebe64aae3c3d10b (diff) | |
| download | llvm-da380b26e4748ade5a8dba85b7df5e1c4eded8bc.zip llvm-da380b26e4748ade5a8dba85b7df5e1c4eded8bc.tar.gz llvm-da380b26e4748ade5a8dba85b7df5e1c4eded8bc.tar.bz2 | |
[Clang] SFINAE on mismatching pack length during constraint satisfaction checking (#101879)
If a fold expanded constraint would expand packs of different size, it
is not a valid pack expansion and it is not satisfied. This should not
produce an error.
Fixes #99430
Diffstat (limited to 'clang/lib/Sema/SemaConcept.cpp')
| -rw-r--r-- | clang/lib/Sema/SemaConcept.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clang/lib/Sema/SemaConcept.cpp b/clang/lib/Sema/SemaConcept.cpp index 75ccefa..d4c9d04 100644 --- a/clang/lib/Sema/SemaConcept.cpp +++ b/clang/lib/Sema/SemaConcept.cpp @@ -532,6 +532,10 @@ static ExprResult calculateConstraintSatisfaction( std::optional<unsigned> EvaluateFoldExpandedConstraintSize(const CXXFoldExpr *FE) const { + + // We should ignore errors in the presence of packs of different size. + Sema::SFINAETrap Trap(S); + Expr *Pattern = FE->getPattern(); SmallVector<UnexpandedParameterPack, 2> Unexpanded; |