diff --git a/clang/lib/AST/Type.cpp b/clang/lib/AST/Type.cpp index 646eba90973f5..7ffed145c5fe5 100644 --- a/clang/lib/AST/Type.cpp +++ b/clang/lib/AST/Type.cpp @@ -2667,7 +2667,7 @@ HasNonDeletedDefaultedEqualityComparison(const CXXRecordDecl *Decl) { return llvm::all_of(Decl->bases(), [](const CXXBaseSpecifier &BS) { if (const auto *RD = BS.getType()->getAsCXXRecordDecl()) - HasNonDeletedDefaultedEqualityComparison(RD); + return HasNonDeletedDefaultedEqualityComparison(RD); return true; }) && llvm::all_of(Decl->fields(), [](const FieldDecl *FD) { diff --git a/clang/test/SemaCXX/type-traits.cpp b/clang/test/SemaCXX/type-traits.cpp index 9bb093e985cfc..ba52ca748fed7 100644 --- a/clang/test/SemaCXX/type-traits.cpp +++ b/clang/test/SemaCXX/type-traits.cpp @@ -3264,6 +3264,21 @@ struct NotTriviallyEqualityComparableHasReferenceMember { }; static_assert(!__is_trivially_equality_comparable(NotTriviallyEqualityComparableHasReferenceMember)); +struct NotTriviallyEqualityComparableNonTriviallyComparableBaseBase { + int i; + + bool operator==(const NotTriviallyEqualityComparableNonTriviallyComparableBaseBase&) const { + return true; + } +}; + +struct NotTriviallyEqualityComparableNonTriviallyComparableBase : NotTriviallyEqualityComparableNonTriviallyComparableBaseBase { + int i; + + bool operator==(const NotTriviallyEqualityComparableNonTriviallyComparableBase&) const = default; +}; +static_assert(!__is_trivially_equality_comparable(NotTriviallyEqualityComparableNonTriviallyComparableBase)); + enum E { a, b