From: corona10 Date: Wed, 31 Aug 2022 09:19:38 +0000 (+0100) Subject: [clang-tidy] Fix modernize-use-emplace to support alias cases X-Git-Tag: upstream/17.0.6~34867 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=495d984e14bd8367017ffdea8183840c8267cbbf;p=platform%2Fupstream%2Fllvm.git [clang-tidy] Fix modernize-use-emplace to support alias cases Fix modernize-use-emplace to support alias cases Reviewed By: njames93 Differential Revision: https://reviews.llvm.org/D132640 --- diff --git a/clang-tools-extra/clang-tidy/modernize/UseEmplaceCheck.cpp b/clang-tools-extra/clang-tidy/modernize/UseEmplaceCheck.cpp index abf5ba9..1b7853d 100644 --- a/clang-tools-extra/clang-tidy/modernize/UseEmplaceCheck.cpp +++ b/clang-tools-extra/clang-tidy/modernize/UseEmplaceCheck.cpp @@ -134,22 +134,25 @@ void UseEmplaceCheck::registerMatchers(MatchFinder *Finder) { // + match for emplace calls that should be replaced with insertion auto CallPushBack = cxxMemberCallExpr( hasDeclaration(functionDecl(hasName("push_back"))), - on(hasType(cxxRecordDecl(hasAnyName(ContainersWithPushBack))))); + on(hasType(hasCanonicalType( + hasDeclaration(cxxRecordDecl(hasAnyName(ContainersWithPushBack))))))); - auto CallPush = cxxMemberCallExpr( - hasDeclaration(functionDecl(hasName("push"))), - on(hasType(cxxRecordDecl(hasAnyName(ContainersWithPush))))); + auto CallPush = + cxxMemberCallExpr(hasDeclaration(functionDecl(hasName("push"))), + on(hasType(hasCanonicalType(hasDeclaration( + cxxRecordDecl(hasAnyName(ContainersWithPush))))))); auto CallPushFront = cxxMemberCallExpr( hasDeclaration(functionDecl(hasName("push_front"))), - on(hasType(cxxRecordDecl(hasAnyName(ContainersWithPushFront))))); + on(hasType(hasCanonicalType(hasDeclaration( + cxxRecordDecl(hasAnyName(ContainersWithPushFront))))))); auto CallEmplacy = cxxMemberCallExpr( hasDeclaration( functionDecl(hasAnyNameIgnoringTemplates(EmplacyFunctions))), - on(hasType(cxxRecordDecl(has(typedefNameDecl( + on(hasType(hasCanonicalType(hasDeclaration(has(typedefNameDecl( hasName("value_type"), hasType(type(hasUnqualifiedDesugaredType( - recordType().bind("value_type")))))))))); + recordType().bind("value_type"))))))))))); // We can't replace push_backs of smart pointer because // if emplacement fails (f.e. bad_alloc in vector) we will have leak of diff --git a/clang-tools-extra/docs/ReleaseNotes.rst b/clang-tools-extra/docs/ReleaseNotes.rst index 1734f4a..9bd3a5f 100644 --- a/clang-tools-extra/docs/ReleaseNotes.rst +++ b/clang-tools-extra/docs/ReleaseNotes.rst @@ -129,13 +129,17 @@ Changes in existing checks ` when warnings would be emitted for uninitialized members of an anonymous union despite there being an initializer for one of the other members. - + - Improved `modernize-use-emplace `_ check. The check now supports detecting inefficient invocations of ``push`` and ``push_front`` on STL-style containers and replacing them with ``emplace`` or ``emplace_front``. + The check now supports detecting alias cases of ``push_back`` ``push`` and + ``push_front`` on STL-style containers and replacing them with ``emplace_back``, + ``emplace`` or ``emplace_front``. + - Improved `modernize-use-equals-default `_ check. The check now skips unions since in this case a default constructor with empty body diff --git a/clang-tools-extra/test/clang-tidy/checkers/modernize/use-emplace.cpp b/clang-tools-extra/test/clang-tidy/checkers/modernize/use-emplace.cpp index 29ba881..04ff077 100644 --- a/clang-tools-extra/test/clang-tidy/checkers/modernize/use-emplace.cpp +++ b/clang-tools-extra/test/clang-tidy/checkers/modernize/use-emplace.cpp @@ -1061,6 +1061,82 @@ void testAllSTLEmplacyFunctions() { // CHECK-FIXES: priority_queue.emplace(13); } +void test_AliasEmplacyFunctions() { + typedef std::list L; + using DQ = std::deque; + L l; + l.emplace_back(Foo(3)); + // CHECK-MESSAGES: :[[@LINE-1]]:18: warning: unnecessary temporary object created while calling emplace_back + // CHECK-FIXES: l.emplace_back(3); + + DQ dq; + dq.emplace_back(Foo(3)); + // CHECK-MESSAGES: :[[@LINE-1]]:19: warning: unnecessary temporary object created while calling emplace_back + // CHECK-FIXES: dq.emplace_back(3); + + typedef std::stack STACK; + using PQ = std::priority_queue; + STACK stack; + stack.emplace(Foo(3)); + // CHECK-MESSAGES: :[[@LINE-1]]:17: warning: unnecessary temporary object created while calling emplace + // CHECK-FIXES: stack.emplace(3); + + PQ pq; + pq.emplace(Foo(3)); + // CHECK-MESSAGES: :[[@LINE-1]]:14: warning: unnecessary temporary object created while calling emplace + // CHECK-FIXES: pq.emplace(3); + + typedef std::forward_list FL; + using DQ2 = std::deque; + FL fl; + fl.emplace_front(Foo(3)); + // CHECK-MESSAGES: :[[@LINE-1]]:20: warning: unnecessary temporary object created while calling emplace_front + // CHECK-FIXES: fl.emplace_front(3); + + DQ2 dq2; + dq2.emplace_front(Foo(3)); + // CHECK-MESSAGES: :[[@LINE-1]]:21: warning: unnecessary temporary object created while calling emplace_front + // CHECK-FIXES: dq2.emplace_front(3); +} + +void test_Alias() { + typedef std::list L; + using DQ = std::deque; + L l; + l.push_back(Foo(3)); + // CHECK-MESSAGES: :[[@LINE-1]]:5: warning: use emplace_back instead of push_back [modernize-use-emplace] + // CHECK-FIXES: l.emplace_back(3); + + DQ dq; + dq.push_back(Foo(3)); + // CHECK-MESSAGES: :[[@LINE-1]]:6: warning: use emplace_back instead of push_back [modernize-use-emplace] + // CHECK-FIXES: dq.emplace_back(3); + + typedef std::stack STACK; + using PQ = std::priority_queue; + STACK stack; + stack.push(Foo(3)); + // CHECK-MESSAGES: :[[@LINE-1]]:9: warning: use emplace instead of push [modernize-use-emplace] + // CHECK-FIXES: stack.emplace(3); + + PQ pq; + pq.push(Foo(3)); + // CHECK-MESSAGES: :[[@LINE-1]]:6: warning: use emplace instead of push [modernize-use-emplace] + // CHECK-FIXES: pq.emplace(3); + + typedef std::forward_list FL; + using DQ2 = std::deque; + FL fl; + fl.push_front(Foo(3)); + // CHECK-MESSAGES: :[[@LINE-1]]:6: warning: use emplace_front instead of push_front [modernize-use-emplace] + // CHECK-FIXES: fl.emplace_front(3); + + DQ2 dq2; + dq2.push_front(Foo(3)); + // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: use emplace_front instead of push_front [modernize-use-emplace] + // CHECK-FIXES: dq2.emplace_front(3); +} + struct Bar { public: Bar(){};