diff --git a/clang-tools-extra/clang-tidy/bugprone/ReturnConstRefFromParameterCheck.cpp b/clang-tools-extra/clang-tidy/bugprone/ReturnConstRefFromParameterCheck.cpp index adb26ade955c5..7cc4fe519d3a6 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("func"); const auto *PD = Result.Nodes.getNodeAs("param"); - const auto *R = Result.Nodes.getNodeAs("ret"); - const SourceRange Range = R->getRetValue()->getSourceRange(); + const auto *DRef = Result.Nodes.getNodeAs("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 97300f12eab62..3b8dc2d1d76b3 100644 --- a/clang-tools-extra/docs/ReleaseNotes.rst +++ b/clang-tools-extra/docs/ReleaseNotes.rst @@ -137,6 +137,11 @@ Changes in existing checks ` check to support integer literals as LHS and posix call as RHS of comparison. +- Improved :doc:`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 ` 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 d13c127da7c2a..d83d997a455d5 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 const T& tf1(const T &a) { return a; } // CHECK-MESSAGES: :[[@LINE-1]]:35: warning: returning a constant reference parameter @@ -47,6 +51,11 @@ template const T& itf4(typename ConstRef::type a) { return a; } // CHECK-MESSAGES: :[[@LINE-1]]:54: warning: returning a constant reference parameter +template +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);