From 26f476286fbcb5cde51176abb2d3c6c0986bc410 Mon Sep 17 00:00:00 2001 From: Carlos Galvez Date: Thu, 4 May 2023 19:47:41 +0000 Subject: [PATCH] [clang-tidy] Support SystemHeaders in .clang-tidy A previous patch update the clang-tidy documentation incorrectly claiming that SystemHeaders can be provided in the .clang-tidy configuration file. This patch adds support for it, together with tests. Differential Revision: https://reviews.llvm.org/D149899 --- clang-tools-extra/clang-tidy/ClangTidyOptions.cpp | 1 + .../clang-tidy/tool/ClangTidyMain.cpp | 11 ++++++---- clang-tools-extra/docs/ReleaseNotes.rst | 3 +++ clang-tools-extra/docs/clang-tidy/index.rst | 2 ++ .../Inputs/system-headers/system_header.h | 1 + .../clang-tidy/infrastructure/system-headers.cpp | 24 ++++++++++++++++++++++ .../unittests/clang-tidy/ClangTidyOptionsTest.cpp | 16 +++++++++++++++ 7 files changed, 54 insertions(+), 4 deletions(-) create mode 100644 clang-tools-extra/test/clang-tidy/infrastructure/Inputs/system-headers/system_header.h create mode 100644 clang-tools-extra/test/clang-tidy/infrastructure/system-headers.cpp diff --git a/clang-tools-extra/clang-tidy/ClangTidyOptions.cpp b/clang-tools-extra/clang-tidy/ClangTidyOptions.cpp index afa88cb..bc2ecc6 100644 --- a/clang-tools-extra/clang-tidy/ClangTidyOptions.cpp +++ b/clang-tools-extra/clang-tidy/ClangTidyOptions.cpp @@ -172,6 +172,7 @@ template <> struct MappingTraits { IO.mapOptional("ExtraArgsBefore", Options.ExtraArgsBefore); IO.mapOptional("InheritParentConfig", Options.InheritParentConfig); IO.mapOptional("UseColor", Options.UseColor); + IO.mapOptional("SystemHeaders", Options.SystemHeaders); } }; diff --git a/clang-tools-extra/clang-tidy/tool/ClangTidyMain.cpp b/clang-tools-extra/clang-tidy/tool/ClangTidyMain.cpp index 2bed6df..74340e1 100644 --- a/clang-tools-extra/clang-tidy/tool/ClangTidyMain.cpp +++ b/clang-tools-extra/clang-tidy/tool/ClangTidyMain.cpp @@ -134,10 +134,13 @@ option in .clang-tidy file, if any. cl::init(""), cl::cat(ClangTidyCategory)); -static cl::opt - SystemHeaders("system-headers", - desc("Display the errors from system headers."), - cl::init(false), cl::cat(ClangTidyCategory)); +static cl::opt SystemHeaders("system-headers", desc(R"( +Display the errors from system headers. +This option overrides the 'SystemHeaders' option +in .clang-tidy file, if any. +)"), + cl::init(false), cl::cat(ClangTidyCategory)); + static cl::opt LineFilter("line-filter", desc(R"( List of files with line ranges to filter the warnings. Can be used together with diff --git a/clang-tools-extra/docs/ReleaseNotes.rst b/clang-tools-extra/docs/ReleaseNotes.rst index 6b2c369..f2393a4 100644 --- a/clang-tools-extra/docs/ReleaseNotes.rst +++ b/clang-tools-extra/docs/ReleaseNotes.rst @@ -103,6 +103,9 @@ Improvements to clang-tidy - Fix a potential crash when using the `--dump-config` option. +- Support specifying `SystemHeaders` in the `.clang-tidy` configuration file, + with the same functionality as the command-line option `--system-headers`. + New checks ^^^^^^^^^^ diff --git a/clang-tools-extra/docs/clang-tidy/index.rst b/clang-tools-extra/docs/clang-tidy/index.rst index 444d03d..41fde50 100644 --- a/clang-tools-extra/docs/clang-tidy/index.rst +++ b/clang-tools-extra/docs/clang-tidy/index.rst @@ -211,6 +211,8 @@ An overview of all the command-line options: format to stderr. When this option is passed, these per-TU profiles are instead stored as JSON. --system-headers - Display the errors from system headers. + This option overrides the 'SystemHeaders' option + in .clang-tidy file, if any. --use-color - Use colors in diagnostics. If not set, colors will be used if the terminal connected to standard output supports colors. diff --git a/clang-tools-extra/test/clang-tidy/infrastructure/Inputs/system-headers/system_header.h b/clang-tools-extra/test/clang-tidy/infrastructure/Inputs/system-headers/system_header.h new file mode 100644 index 0000000..1a3014e --- /dev/null +++ b/clang-tools-extra/test/clang-tidy/infrastructure/Inputs/system-headers/system_header.h @@ -0,0 +1 @@ +class Foo { Foo(int); }; diff --git a/clang-tools-extra/test/clang-tidy/infrastructure/system-headers.cpp b/clang-tools-extra/test/clang-tidy/infrastructure/system-headers.cpp new file mode 100644 index 0000000..9fa990b --- /dev/null +++ b/clang-tools-extra/test/clang-tidy/infrastructure/system-headers.cpp @@ -0,0 +1,24 @@ +// RUN: clang-tidy -dump-config -system-headers=true | FileCheck -check-prefix=CHECK-CONFIG-SYSTEM-HEADERS %s +// RUN: clang-tidy -dump-config -system-headers=false | FileCheck -check-prefix=CHECK-CONFIG-NO-SYSTEM-HEADERS %s +// RUN: clang-tidy -config='SystemHeaders: true' -dump-config | FileCheck -check-prefix=CHECK-CONFIG-SYSTEM-HEADERS %s +// RUN: clang-tidy -config='SystemHeaders: false' -dump-config | FileCheck -check-prefix=CHECK-CONFIG-NO-SYSTEM-HEADERS %s + +// RUN: clang-tidy -system-headers=true -config='SystemHeaders: true' -dump-config | FileCheck -check-prefix=CHECK-CONFIG-SYSTEM-HEADERS %s +// RUN: clang-tidy -system-headers=true -config='SystemHeaders: false' -dump-config | FileCheck -check-prefix=CHECK-CONFIG-SYSTEM-HEADERS %s +// RUN: clang-tidy -system-headers=false -config='SystemHeaders: true' -dump-config | FileCheck -check-prefix=CHECK-CONFIG-NO-SYSTEM-HEADERS %s +// RUN: clang-tidy -system-headers=false -config='SystemHeaders: false' -dump-config | FileCheck -check-prefix=CHECK-CONFIG-NO-SYSTEM-HEADERS %s + +// RUN: clang-tidy -help | FileCheck -check-prefix=CHECK-OPT-PRESENT %s + +// RUN: clang-tidy -checks='-*,google-explicit-constructor' -header-filter='.*' -system-headers=true %s -- -isystem %S/Inputs/system-headers 2>&1 | FileCheck -check-prefix=CHECK-SYSTEM-HEADERS %s +// RUN: clang-tidy -checks='-*,google-explicit-constructor' -header-filter='.*' -system-headers=false %s -- -isystem %S/Inputs/system-headers 2>&1 | FileCheck -check-prefix=CHECK-NO-SYSTEM-HEADERS %s +// RUN: clang-tidy -checks='-*,google-explicit-constructor' -header-filter='.*' -config='SystemHeaders: true' %s -- -isystem %S/Inputs/system-headers 2>&1 | FileCheck -check-prefix=CHECK-SYSTEM-HEADERS %s +// RUN: clang-tidy -checks='-*,google-explicit-constructor' -header-filter='.*' -config='SystemHeaders: false' %s -- -isystem %S/Inputs/system-headers 2>&1 | FileCheck -check-prefix=CHECK-NO-SYSTEM-HEADERS %s + +#include +// CHECK-SYSTEM-HEADERS: system_header.h:1:13: warning: single-argument constructors must be marked explicit +// CHECK-NO-SYSTEM-HEADERS-NOT: system_header.h:1:13: warning: single-argument constructors must be marked explicit + +// CHECK-CONFIG-NO-SYSTEM-HEADERS: SystemHeaders: false +// CHECK-CONFIG-SYSTEM-HEADERS: SystemHeaders: true +// CHECK-OPT-PRESENT: --system-headers diff --git a/clang-tools-extra/unittests/clang-tidy/ClangTidyOptionsTest.cpp b/clang-tools-extra/unittests/clang-tidy/ClangTidyOptionsTest.cpp index 06f27d8..89d8f44 100644 --- a/clang-tools-extra/unittests/clang-tidy/ClangTidyOptionsTest.cpp +++ b/clang-tools-extra/unittests/clang-tidy/ClangTidyOptionsTest.cpp @@ -120,6 +120,7 @@ TEST(ParseConfiguration, MergeConfigurations) { ExtraArgs: ['arg1', 'arg2'] ExtraArgsBefore: ['arg-before1', 'arg-before2'] UseColor: false + SystemHeaders: false )", "Options1")); ASSERT_TRUE(!!Options1); @@ -134,6 +135,7 @@ TEST(ParseConfiguration, MergeConfigurations) { ExtraArgs: ['arg3', 'arg4'] ExtraArgsBefore: ['arg-before3', 'arg-before4'] UseColor: true + SystemHeaders: true )", "Options2")); ASSERT_TRUE(!!Options2); @@ -154,6 +156,9 @@ TEST(ParseConfiguration, MergeConfigurations) { Options.ExtraArgsBefore->end(), ",")); ASSERT_TRUE(Options.UseColor.has_value()); EXPECT_TRUE(*Options.UseColor); + + ASSERT_TRUE(Options.SystemHeaders.has_value()); + EXPECT_TRUE(*Options.SystemHeaders); } namespace { @@ -249,6 +254,17 @@ TEST(ParseConfiguration, CollectDiags) { DiagKind(llvm::SourceMgr::DK_Error), DiagPos(Options.range().Begin), DiagRange(Options.range())))); + + Options = llvm::Annotations(R"( + SystemHeaders: [[NotABool]] + )"); + ParsedOpt = ParseWithDiags(Options.code()); + EXPECT_TRUE(!ParsedOpt); + EXPECT_THAT(Collector.getDiags(), + testing::ElementsAre(AllOf(DiagMessage("invalid boolean"), + DiagKind(llvm::SourceMgr::DK_Error), + DiagPos(Options.range().Begin), + DiagRange(Options.range())))); } namespace { -- 2.7.4