llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang-tidy Author: mitchell (zeyi2) <details> <summary>Changes</summary> Closes #<!-- -->171130 --- Full diff: https://github.com/llvm/llvm-project/pull/171975.diff 5 Files Affected: - (modified) clang-tools-extra/clang-tidy/bugprone/ChainedComparisonCheck.cpp (+12) - (modified) clang-tools-extra/clang-tidy/bugprone/ChainedComparisonCheck.h (+5-2) - (modified) clang-tools-extra/docs/ReleaseNotes.rst (+5) - (modified) clang-tools-extra/docs/clang-tidy/checks/bugprone/chained-comparison.rst (+8) - (added) clang-tools-extra/test/clang-tidy/checkers/bugprone/chained-comparison-ignore-macros.cpp (+12) ``````````diff diff --git a/clang-tools-extra/clang-tidy/bugprone/ChainedComparisonCheck.cpp b/clang-tools-extra/clang-tidy/bugprone/ChainedComparisonCheck.cpp index 47acc217b2c24..8b1c8aaa48e3e 100644 --- a/clang-tools-extra/clang-tidy/bugprone/ChainedComparisonCheck.cpp +++ b/clang-tools-extra/clang-tidy/bugprone/ChainedComparisonCheck.cpp @@ -112,6 +112,15 @@ void ChainedComparisonData::extract(const Expr *Op) { } } +ChainedComparisonCheck::ChainedComparisonCheck(StringRef Name, + ClangTidyContext *Context) + : ClangTidyCheck(Name, Context), + IgnoreMacros(Options.get("IgnoreMacros", false)) {} + +void ChainedComparisonCheck::storeOptions(ClangTidyOptions::OptionMap &Opts) { + Options.store(Opts, "IgnoreMacros", IgnoreMacros); +} + void ChainedComparisonCheck::registerMatchers(MatchFinder *Finder) { const auto OperatorMatcher = expr(anyOf( binaryOperator(isComparisonOperator(), @@ -128,6 +137,9 @@ void ChainedComparisonCheck::registerMatchers(MatchFinder *Finder) { void ChainedComparisonCheck::check(const MatchFinder::MatchResult &Result) { const auto *MatchedOperator = Result.Nodes.getNodeAs<Expr>("op"); + if (IgnoreMacros && MatchedOperator->getBeginLoc().isMacroID()) + return; + ChainedComparisonData Data(MatchedOperator); if (Data.Operands.empty()) return; diff --git a/clang-tools-extra/clang-tidy/bugprone/ChainedComparisonCheck.h b/clang-tools-extra/clang-tidy/bugprone/ChainedComparisonCheck.h index 7c1022904a3a6..dacfc68a8a42a 100644 --- a/clang-tools-extra/clang-tidy/bugprone/ChainedComparisonCheck.h +++ b/clang-tools-extra/clang-tidy/bugprone/ChainedComparisonCheck.h @@ -20,13 +20,16 @@ namespace clang::tidy::bugprone { /// https://clang.llvm.org/extra/clang-tidy/checks/bugprone/chained-comparison.html class ChainedComparisonCheck : public ClangTidyCheck { public: - ChainedComparisonCheck(StringRef Name, ClangTidyContext *Context) - : ClangTidyCheck(Name, Context) {} + ChainedComparisonCheck(StringRef Name, ClangTidyContext *Context); void registerMatchers(ast_matchers::MatchFinder *Finder) override; void check(const ast_matchers::MatchFinder::MatchResult &Result) override; + void storeOptions(ClangTidyOptions::OptionMap &Opts) override; std::optional<TraversalKind> getCheckTraversalKind() const override { return TK_IgnoreUnlessSpelledInSource; } + +private: + const bool IgnoreMacros; }; } // namespace clang::tidy::bugprone diff --git a/clang-tools-extra/docs/ReleaseNotes.rst b/clang-tools-extra/docs/ReleaseNotes.rst index d1fb1cba3e45a..17c16330b6e8b 100644 --- a/clang-tools-extra/docs/ReleaseNotes.rst +++ b/clang-tools-extra/docs/ReleaseNotes.rst @@ -331,6 +331,11 @@ New check aliases Changes in existing checks ^^^^^^^^^^^^^^^^^^^^^^^^^^ +- Improved :doc:`bugprone-chained-comparison + <clang-tidy/checks/bugprone/chained-comparison>` check by adding a + new option `IgnoreMacros` to suppress warnings within macro + expansions. + - Improved :doc:`bugprone-easily-swappable-parameters <clang-tidy/checks/bugprone/easily-swappable-parameters>` check by correcting a spelling mistake on its option diff --git a/clang-tools-extra/docs/clang-tidy/checks/bugprone/chained-comparison.rst b/clang-tools-extra/docs/clang-tidy/checks/bugprone/chained-comparison.rst index 45b069a8e29de..c66f5cb401db3 100644 --- a/clang-tools-extra/docs/clang-tidy/checks/bugprone/chained-comparison.rst +++ b/clang-tools-extra/docs/clang-tidy/checks/bugprone/chained-comparison.rst @@ -71,3 +71,11 @@ developer's intention more explicit and help avoid misunderstanding. // This block will be executed } +Options +------- + +.. option:: IgnoreMacros + + If ``true``, the check will not warn on chained comparisons inside macros. + Default is ``false``. + diff --git a/clang-tools-extra/test/clang-tidy/checkers/bugprone/chained-comparison-ignore-macros.cpp b/clang-tools-extra/test/clang-tidy/checkers/bugprone/chained-comparison-ignore-macros.cpp new file mode 100644 index 0000000000000..a5800be3686cc --- /dev/null +++ b/clang-tools-extra/test/clang-tidy/checkers/bugprone/chained-comparison-ignore-macros.cpp @@ -0,0 +1,12 @@ +// RUN: %check_clang_tidy -std=c++98-or-later --extra-arg=-Wno-error=parentheses %s bugprone-chained-comparison %t -- -config="{CheckOptions: {bugprone-chained-comparison.IgnoreMacros: true}}" + +#define CHAINED_COMPARE(a, b, c) (a < b < c) + +void macro_test(int x, int y, int z) { + bool result = CHAINED_COMPARE(x, y, z); +} + +void normal_test(int x, int y, int z) { + bool result = x < y < z; + // CHECK-MESSAGES: :[[@LINE-1]]:19: warning: chained comparison 'v0 < v1 < v2' may generate unintended results +} `````````` </details> https://github.com/llvm/llvm-project/pull/171975 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
