This revision was automatically updated to reflect the committed changes.
Closed by commit rGb99630e43261: [clang-tidy] Fix RedundantStringCStrCheck with
r values (authored by njames93).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D84831/new/
https://reviews.llvm.org/D84831
Files:
clang-tools-extra/clang-tidy/readability/RedundantStringCStrCheck.cpp
clang-tools-extra/test/clang-tidy/checkers/readability-redundant-string-cstr.cpp
Index:
clang-tools-extra/test/clang-tidy/checkers/readability-redundant-string-cstr.cpp
===================================================================
---
clang-tools-extra/test/clang-tidy/checkers/readability-redundant-string-cstr.cpp
+++
clang-tools-extra/test/clang-tidy/checkers/readability-redundant-string-cstr.cpp
@@ -15,6 +15,8 @@
basic_string();
basic_string(const C *p, const A &a = A());
+ ~basic_string();
+
const C *c_str() const;
const C *data() const;
Index: clang-tools-extra/clang-tidy/readability/RedundantStringCStrCheck.cpp
===================================================================
--- clang-tools-extra/clang-tidy/readability/RedundantStringCStrCheck.cpp
+++ clang-tools-extra/clang-tidy/readability/RedundantStringCStrCheck.cpp
@@ -92,16 +92,18 @@
callee(memberExpr().bind("member")),
callee(cxxMethodDecl(hasAnyName("c_str", "data"))))
.bind("call");
-
+ const auto HasRValueTempParent =
+ hasParent(materializeTemporaryExpr(unless(isBoundToLValue())));
// Detect redundant 'c_str()' calls through a string constructor.
// If CxxConstructExpr is the part of some CallExpr we need to
// check that matched ParamDecl of the ancestor CallExpr is not rvalue.
Finder->addMatcher(
- traverse(ast_type_traits::TK_AsIs,
- cxxConstructExpr(StringConstructorExpr,
- hasArgument(0, StringCStrCallExpr),
- unless(hasParent(materializeTemporaryExpr(
- unless(isBoundToLValue())))))),
+ traverse(
+ ast_type_traits::TK_AsIs,
+ cxxConstructExpr(
+ StringConstructorExpr, hasArgument(0, StringCStrCallExpr),
+ unless(anyOf(HasRValueTempParent, hasParent(cxxBindTemporaryExpr(
+ HasRValueTempParent)))))),
this);
// Detect: 's == str.c_str()' -> 's == str'
Index: clang-tools-extra/test/clang-tidy/checkers/readability-redundant-string-cstr.cpp
===================================================================
--- clang-tools-extra/test/clang-tidy/checkers/readability-redundant-string-cstr.cpp
+++ clang-tools-extra/test/clang-tidy/checkers/readability-redundant-string-cstr.cpp
@@ -15,6 +15,8 @@
basic_string();
basic_string(const C *p, const A &a = A());
+ ~basic_string();
+
const C *c_str() const;
const C *data() const;
Index: clang-tools-extra/clang-tidy/readability/RedundantStringCStrCheck.cpp
===================================================================
--- clang-tools-extra/clang-tidy/readability/RedundantStringCStrCheck.cpp
+++ clang-tools-extra/clang-tidy/readability/RedundantStringCStrCheck.cpp
@@ -92,16 +92,18 @@
callee(memberExpr().bind("member")),
callee(cxxMethodDecl(hasAnyName("c_str", "data"))))
.bind("call");
-
+ const auto HasRValueTempParent =
+ hasParent(materializeTemporaryExpr(unless(isBoundToLValue())));
// Detect redundant 'c_str()' calls through a string constructor.
// If CxxConstructExpr is the part of some CallExpr we need to
// check that matched ParamDecl of the ancestor CallExpr is not rvalue.
Finder->addMatcher(
- traverse(ast_type_traits::TK_AsIs,
- cxxConstructExpr(StringConstructorExpr,
- hasArgument(0, StringCStrCallExpr),
- unless(hasParent(materializeTemporaryExpr(
- unless(isBoundToLValue())))))),
+ traverse(
+ ast_type_traits::TK_AsIs,
+ cxxConstructExpr(
+ StringConstructorExpr, hasArgument(0, StringCStrCallExpr),
+ unless(anyOf(HasRValueTempParent, hasParent(cxxBindTemporaryExpr(
+ HasRValueTempParent)))))),
this);
// Detect: 's == str.c_str()' -> 's == str'
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
