namespace tidy {
namespace modernize {
+namespace {
+AST_MATCHER_P(InitListExpr, initCountIs, unsigned, N) {
+ return Node.getNumInits() == N;
+}
+} // namespace
+
static StringRef getValueOfValueInit(const QualType InitType) {
switch (InitType->getScalarTypeKind()) {
case Type::STK_CPointer:
}
void UseDefaultMemberInitCheck::registerMatchers(MatchFinder *Finder) {
- auto Init =
+ auto InitBase =
anyOf(stringLiteral(), characterLiteral(), integerLiteral(),
unaryOperator(hasAnyOperatorName("+", "-"),
hasUnaryOperand(integerLiteral())),
unaryOperator(hasAnyOperatorName("+", "-"),
hasUnaryOperand(floatLiteral())),
cxxBoolLiteral(), cxxNullPtrLiteralExpr(), implicitValueInitExpr(),
- initListExpr(), declRefExpr(to(enumConstantDecl())));
+ declRefExpr(to(enumConstantDecl())));
+
+ auto Init =
+ anyOf(initListExpr(anyOf(
+ allOf(initCountIs(1), hasInit(0, ignoringImplicit(InitBase))),
+ initCountIs(0))),
+ InitBase);
Finder->addMatcher(
cxxConstructorDecl(
// CHECK-MESSAGES: :[[@LINE-2]]:10: warning: use default member initializer for 'k' [modernize-use-default-member-init]
// CHECK-FIXES: int i{5}, k{8};
};
+
+struct PR45363 {
+ // Ensure no warning is emitted here
+ PR45363(int i = 0) : m_i{i} {}
+ int m_i;
+};
+
+struct EmptyBracedIntDefault {
+ EmptyBracedIntDefault() : m_i{} {}
+ int m_i;
+ // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: use default member initializer for 'm_i' [modernize-use-default-member-init]
+ // CHECK-FIXES: {{^ }}EmptyBracedIntDefault() {}
+ // CHECK-FIXES-NEXT: {{^ }}int m_i{};
+};