[clang-tools-extra] [clang-tidy][modernize-return-braced-init-list]fix false-positives (PR #68491)
Congcong Cai via cfe-commits
cfe-commits at lists.llvm.org
Sat Oct 7 15:34:59 PDT 2023
https://github.com/HerrCai0907 updated https://github.com/llvm/llvm-project/pull/68491
>From d1b76f7649e1b1239ad328c7da9b1f9d8fb2c5f3 Mon Sep 17 00:00:00 2001
From: Congcong Cai <congcongcai0907 at 163.com>
Date: Sun, 8 Oct 2023 01:00:15 +0800
Subject: [PATCH 1/2] [clang-tidy][modernize-return-braced-init-list]fix
false-positives
when constructing the container with ``count`` copies of
elements with value ``value``
(e.g., ``vector(size_type count, const T& value);``).
Fixes: #68159
---
.../modernize/ReturnBracedInitListCheck.cpp | 16 +++++++++++---
clang-tools-extra/docs/ReleaseNotes.rst | 6 ++++++
.../modernize/return-braced-init-list.cpp | 21 ++++++++++++++++---
3 files changed, 37 insertions(+), 6 deletions(-)
diff --git a/clang-tools-extra/clang-tidy/modernize/ReturnBracedInitListCheck.cpp b/clang-tools-extra/clang-tidy/modernize/ReturnBracedInitListCheck.cpp
index 407de610d13a79f..edb0468d2914600 100644
--- a/clang-tools-extra/clang-tidy/modernize/ReturnBracedInitListCheck.cpp
+++ b/clang-tools-extra/clang-tidy/modernize/ReturnBracedInitListCheck.cpp
@@ -17,11 +17,21 @@ using namespace clang::ast_matchers;
namespace clang::tidy::modernize {
void ReturnBracedInitListCheck::registerMatchers(MatchFinder *Finder) {
- // Skip list initialization and constructors with an initializer list.
+ auto SemanticallyDifferentContainer = allOf(
+ argumentCountIs(2), hasArgument(0, hasType(isInteger())),
+ hasType(cxxRecordDecl(hasAnyName("::std::vector", "::std::deque",
+ "::std::forward_list", "::std::list"))));
+
auto ConstructExpr =
cxxConstructExpr(
- unless(anyOf(hasDeclaration(cxxConstructorDecl(isExplicit())),
- isListInitialization(), hasDescendant(initListExpr()))))
+ unless(anyOf(
+ // Skip explicit constructor.
+ hasDeclaration(cxxConstructorDecl(isExplicit())),
+ // Skip list initialization and constructors with an initializer
+ // list.
+ isListInitialization(), hasDescendant(initListExpr()),
+ // Skip container `vector(size_type, const T&)`.
+ SemanticallyDifferentContainer)))
.bind("ctor");
Finder->addMatcher(
diff --git a/clang-tools-extra/docs/ReleaseNotes.rst b/clang-tools-extra/docs/ReleaseNotes.rst
index c1b926b296b055a..053d6b20a6fe875 100644
--- a/clang-tools-extra/docs/ReleaseNotes.rst
+++ b/clang-tools-extra/docs/ReleaseNotes.rst
@@ -269,6 +269,12 @@ Changes in existing checks
<clang-tidy/checks/modernize/loop-convert>` to support for-loops with
iterators initialized by free functions like ``begin``, ``end``, or ``size``.
+- Improved :doc:`modernize-return-braced-init-list
+ <clang-tidy/checks/modernize/return-braced-init-list>` check to ignore
+ false-positives when constructing the container with ``count`` copies of
+ elements with value ``value``
+ (e.g., ``vector(size_type count, const T& value);``).
+
- Improved :doc:`modernize-use-equals-delete
<clang-tidy/checks/modernize/use-equals-delete>` check to ignore
false-positives when special member function is actually used or implicit.
diff --git a/clang-tools-extra/test/clang-tidy/checkers/modernize/return-braced-init-list.cpp b/clang-tools-extra/test/clang-tidy/checkers/modernize/return-braced-init-list.cpp
index 4db1d49da2ea8b9..b9526ce5746dec2 100644
--- a/clang-tools-extra/test/clang-tidy/checkers/modernize/return-braced-init-list.cpp
+++ b/clang-tools-extra/test/clang-tidy/checkers/modernize/return-braced-init-list.cpp
@@ -32,8 +32,9 @@ class initializer_list {
template <typename T>
class vector {
public:
- vector(T) {}
- vector(std::initializer_list<T>) {}
+ vector(T);
+ vector(size_t, T);
+ vector(std::initializer_list<T>);
};
}
@@ -98,12 +99,26 @@ Foo f6() {
return Foo(b6, 1);
}
-std::vector<int> f7() {
+std::vector<int> vectorWithOneParameter() {
int i7 = 1;
return std::vector<int>(i7);
// CHECK-MESSAGES: :[[@LINE-1]]:10: warning: avoid repeating the return type
}
+std::vector<int> vectorIntWithTwoParameter() {
+ return std::vector<int>(1, 2);
+}
+
+std::vector<double> vectorDoubleWithTwoParameter() {
+ return std::vector<double>(1, 2.1);
+}
+struct A {};
+std::vector<A> vectorRecordWithTwoParameter() {
+ A a{};
+ return std::vector<A>(1, a);
+}
+
+
Bar f8() {
return {};
}
>From 6734f61505040694d71a9c31ab5178b6b2eb3127 Mon Sep 17 00:00:00 2001
From: Congcong Cai <congcongcai0907 at 163.com>
Date: Sun, 8 Oct 2023 06:34:22 +0800
Subject: [PATCH 2/2] fix comments
---
.../modernize/ReturnBracedInitListCheck.cpp | 15 +++++++++++----
clang-tools-extra/docs/ReleaseNotes.rst | 3 +--
.../modernize/return-braced-init-list.cpp | 7 +++++--
3 files changed, 17 insertions(+), 8 deletions(-)
diff --git a/clang-tools-extra/clang-tidy/modernize/ReturnBracedInitListCheck.cpp b/clang-tools-extra/clang-tidy/modernize/ReturnBracedInitListCheck.cpp
index edb0468d2914600..d7796666d0db252 100644
--- a/clang-tools-extra/clang-tidy/modernize/ReturnBracedInitListCheck.cpp
+++ b/clang-tools-extra/clang-tidy/modernize/ReturnBracedInitListCheck.cpp
@@ -9,6 +9,7 @@
#include "ReturnBracedInitListCheck.h"
#include "clang/AST/ASTContext.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
+#include "clang/ASTMatchers/ASTMatchers.h"
#include "clang/Lex/Lexer.h"
#include "clang/Tooling/FixIt.h"
@@ -18,9 +19,15 @@ namespace clang::tidy::modernize {
void ReturnBracedInitListCheck::registerMatchers(MatchFinder *Finder) {
auto SemanticallyDifferentContainer = allOf(
- argumentCountIs(2), hasArgument(0, hasType(isInteger())),
- hasType(cxxRecordDecl(hasAnyName("::std::vector", "::std::deque",
- "::std::forward_list", "::std::list"))));
+ hasDeclaration(
+ // Container(size_type count, const T &value,
+ // const Allocator &alloc = Allocator());
+ cxxConstructorDecl(parameterCountIs(3),
+ hasParameter(0, hasType(qualType(hasCanonicalType(
+ isInteger())))))),
+ hasType(cxxRecordDecl(hasAnyName("::std::basic_string", "::std::vector",
+ "::std::deque", "::std::forward_list",
+ "::std::list"))));
auto ConstructExpr =
cxxConstructExpr(
@@ -30,7 +37,7 @@ void ReturnBracedInitListCheck::registerMatchers(MatchFinder *Finder) {
// Skip list initialization and constructors with an initializer
// list.
isListInitialization(), hasDescendant(initListExpr()),
- // Skip container `vector(size_type, const T&)`.
+ // Skip container `vector(size_type, const T&, ...)`.
SemanticallyDifferentContainer)))
.bind("ctor");
diff --git a/clang-tools-extra/docs/ReleaseNotes.rst b/clang-tools-extra/docs/ReleaseNotes.rst
index 053d6b20a6fe875..60d92ccf971490e 100644
--- a/clang-tools-extra/docs/ReleaseNotes.rst
+++ b/clang-tools-extra/docs/ReleaseNotes.rst
@@ -272,8 +272,7 @@ Changes in existing checks
- Improved :doc:`modernize-return-braced-init-list
<clang-tidy/checks/modernize/return-braced-init-list>` check to ignore
false-positives when constructing the container with ``count`` copies of
- elements with value ``value``
- (e.g., ``vector(size_type count, const T& value);``).
+ elements with value ``value``.
- Improved :doc:`modernize-use-equals-delete
<clang-tidy/checks/modernize/use-equals-delete>` check to ignore
diff --git a/clang-tools-extra/test/clang-tidy/checkers/modernize/return-braced-init-list.cpp b/clang-tools-extra/test/clang-tidy/checkers/modernize/return-braced-init-list.cpp
index b9526ce5746dec2..02e95e15499dc2d 100644
--- a/clang-tools-extra/test/clang-tidy/checkers/modernize/return-braced-init-list.cpp
+++ b/clang-tools-extra/test/clang-tidy/checkers/modernize/return-braced-init-list.cpp
@@ -30,13 +30,16 @@ class initializer_list {
};
template <typename T>
+struct allocator {};
+
+template <typename T, typename Allocator = ::std::allocator<T>>
class vector {
public:
vector(T);
- vector(size_t, T);
+ vector(size_t, T, const Allocator &alloc = Allocator());
vector(std::initializer_list<T>);
};
-}
+} // namespace std
class Bar {};
More information about the cfe-commits
mailing list