Author: Julian Schmidt Date: 2024-10-31T09:13:51+01:00 New Revision: a776bd1a92126bf9bd1b51511364194fd75aa606
URL: https://github.com/llvm/llvm-project/commit/a776bd1a92126bf9bd1b51511364194fd75aa606 DIFF: https://github.com/llvm/llvm-project/commit/a776bd1a92126bf9bd1b51511364194fd75aa606.diff LOG: [clang-tidy] support `return c ? a : b;` in bugprone-return-const-ref-from-parameter (#107657) A `const &` parameter can also be returned via a conditional operator: `c ? a : b`. This change adds support for diagnosing returning these parameters with conditional operators. Added: Modified: clang-tools-extra/clang-tidy/bugprone/ReturnConstRefFromParameterCheck.cpp clang-tools-extra/docs/ReleaseNotes.rst clang-tools-extra/test/clang-tidy/checkers/bugprone/return-const-ref-from-parameter.cpp Removed: ################################################################################ diff --git a/clang-tools-extra/clang-tidy/bugprone/ReturnConstRefFromParameterCheck.cpp b/clang-tools-extra/clang-tidy/bugprone/ReturnConstRefFromParameterCheck.cpp index adb26ade955c5e..7cc4fe519d3a64 100644 --- a/clang-tools-extra/clang-tidy/bugprone/ReturnConstRefFromParameterCheck.cpp +++ b/clang-tools-extra/clang-tidy/bugprone/ReturnConstRefFromParameterCheck.cpp @@ -7,6 +7,7 @@ //===----------------------------------------------------------------------===// #include "ReturnConstRefFromParameterCheck.h" +#include "clang/AST/Expr.h" #include "clang/ASTMatchers/ASTMatchFinder.h" #include "clang/ASTMatchers/ASTMatchers.h" @@ -15,19 +16,24 @@ using namespace clang::ast_matchers; namespace clang::tidy::bugprone { void ReturnConstRefFromParameterCheck::registerMatchers(MatchFinder *Finder) { + const auto DRef = ignoringParens( + declRefExpr( + to(parmVarDecl(hasType(hasCanonicalType( + qualType(lValueReferenceType(pointee( + qualType(isConstQualified())))) + .bind("type")))) + .bind("param"))) + .bind("dref")); + const auto Func = + functionDecl(hasReturnTypeLoc(loc( + qualType(hasCanonicalType(equalsBoundNode("type")))))) + .bind("func"); + + Finder->addMatcher(returnStmt(hasReturnValue(DRef), hasAncestor(Func)), this); Finder->addMatcher( - returnStmt( - hasReturnValue(declRefExpr( - to(parmVarDecl(hasType(hasCanonicalType( - qualType(lValueReferenceType(pointee( - qualType(isConstQualified())))) - .bind("type")))) - .bind("param")))), - hasAncestor( - functionDecl(hasReturnTypeLoc(loc(qualType( - hasCanonicalType(equalsBoundNode("type")))))) - .bind("func"))) - .bind("ret"), + returnStmt(hasReturnValue(ignoringParens(conditionalOperator( + eachOf(hasTrueExpression(DRef), hasFalseExpression(DRef)), + hasAncestor(Func))))), this); } @@ -85,8 +91,8 @@ void ReturnConstRefFromParameterCheck::check( const MatchFinder::MatchResult &Result) { const auto *FD = Result.Nodes.getNodeAs<FunctionDecl>("func"); const auto *PD = Result.Nodes.getNodeAs<ParmVarDecl>("param"); - const auto *R = Result.Nodes.getNodeAs<ReturnStmt>("ret"); - const SourceRange Range = R->getRetValue()->getSourceRange(); + const auto *DRef = Result.Nodes.getNodeAs<DeclRefExpr>("dref"); + const SourceRange Range = DRef->getSourceRange(); if (Range.isInvalid()) return; diff --git a/clang-tools-extra/docs/ReleaseNotes.rst b/clang-tools-extra/docs/ReleaseNotes.rst index ccebf74e8a67e7..2c71e1fcb747bc 100644 --- a/clang-tools-extra/docs/ReleaseNotes.rst +++ b/clang-tools-extra/docs/ReleaseNotes.rst @@ -163,6 +163,11 @@ Changes in existing checks <clang-tidy/checks/bugprone/posix-return>` check to support integer literals as LHS and posix call as RHS of comparison. +- Improved :doc:`bugprone-return-const-ref-from-parameter + <clang-tidy/checks/bugprone/return-const-ref-from-parameter>` check to + diagnose potential dangling references when returning a ``const &`` parameter + by using the conditional operator ``cond ? var1 : var2``. + - Improved :doc:`bugprone-sizeof-expression <clang-tidy/checks/bugprone/sizeof-expression>` check to find suspicious usages of ``sizeof()``, ``alignof()``, and ``offsetof()`` when adding or diff --git a/clang-tools-extra/test/clang-tidy/checkers/bugprone/return-const-ref-from-parameter.cpp b/clang-tools-extra/test/clang-tidy/checkers/bugprone/return-const-ref-from-parameter.cpp index d13c127da7c2a1..d83d997a455d50 100644 --- a/clang-tools-extra/test/clang-tidy/checkers/bugprone/return-const-ref-from-parameter.cpp +++ b/clang-tools-extra/test/clang-tidy/checkers/bugprone/return-const-ref-from-parameter.cpp @@ -27,6 +27,10 @@ int const &f3(TConstRef a) { return a; } int const &f4(TConst &a) { return a; } // CHECK-MESSAGES: :[[@LINE-1]]:35: warning: returning a constant reference parameter +int const &f5(TConst &a) { return true ? a : a; } +// CHECK-MESSAGES: :[[@LINE-1]]:42: warning: returning a constant reference parameter +// CHECK-MESSAGES: :[[@LINE-2]]:46: warning: returning a constant reference parameter + template <typename T> const T& tf1(const T &a) { return a; } // CHECK-MESSAGES: :[[@LINE-1]]:35: warning: returning a constant reference parameter @@ -47,6 +51,11 @@ template <typename T> const T& itf4(typename ConstRef<T>::type a) { return a; } // CHECK-MESSAGES: :[[@LINE-1]]:54: warning: returning a constant reference parameter +template <typename T> +const T& itf5(const T &a) { return true ? a : a; } +// CHECK-MESSAGES: :[[@LINE-1]]:43: warning: returning a constant reference parameter +// CHECK-MESSAGES: :[[@LINE-2]]:47: warning: returning a constant reference parameter + void instantiate(const int ¶m, const float ¶mf, int &mut_param, float &mut_paramf) { itf1(0); itf1(param); _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
