Alexander Kornienko | 0138726 | 2012-08-22 20:52:52 +0000 | [diff] [blame] | 1 | //===--- tools/clang-check/ClangCheck.cpp - Clang check tool --------------===// |
Manuel Klimek | 47c245a | 2012-04-04 12:07:46 +0000 | [diff] [blame] | 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Manuel Klimek | 47c245a | 2012-04-04 12:07:46 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
Daniel Jasper | 30abda1 | 2012-10-03 13:28:43 +0000 | [diff] [blame] | 9 | // This file implements a clang-check tool that runs clang based on the info |
| 10 | // stored in a compilation database. |
Manuel Klimek | 47c245a | 2012-04-04 12:07:46 +0000 | [diff] [blame] | 11 | // |
Alexander Kornienko | f2f8255 | 2012-07-16 12:46:48 +0000 | [diff] [blame] | 12 | // This tool uses the Clang Tooling infrastructure, see |
| 13 | // http://clang.llvm.org/docs/HowToSetupToolingForLLVM.html |
| 14 | // for details on setting it up with LLVM source tree. |
| 15 | // |
Manuel Klimek | 47c245a | 2012-04-04 12:07:46 +0000 | [diff] [blame] | 16 | //===----------------------------------------------------------------------===// |
| 17 | |
Alexander Kornienko | bf4871d | 2012-08-13 10:50:08 +0000 | [diff] [blame] | 18 | #include "clang/AST/ASTConsumer.h" |
Adrian Prantl | bc06858 | 2015-07-08 01:00:30 +0000 | [diff] [blame] | 19 | #include "clang/CodeGen/ObjectFilePCHContainerOperations.h" |
Alexander Kornienko | bf4871d | 2012-08-13 10:50:08 +0000 | [diff] [blame] | 20 | #include "clang/Driver/Options.h" |
| 21 | #include "clang/Frontend/ASTConsumers.h" |
Daniel Jasper | 30abda1 | 2012-10-03 13:28:43 +0000 | [diff] [blame] | 22 | #include "clang/Frontend/CompilerInstance.h" |
| 23 | #include "clang/Rewrite/Frontend/FixItRewriter.h" |
| 24 | #include "clang/Rewrite/Frontend/FrontendActions.h" |
Chandler Carruth | 5553d0d | 2014-01-07 11:51:46 +0000 | [diff] [blame] | 25 | #include "clang/StaticAnalyzer/Frontend/FrontendActions.h" |
Alexander Kornienko | 0138726 | 2012-08-22 20:52:52 +0000 | [diff] [blame] | 26 | #include "clang/Tooling/CommonOptionsParser.h" |
Manuel Klimek | 47c245a | 2012-04-04 12:07:46 +0000 | [diff] [blame] | 27 | #include "clang/Tooling/Tooling.h" |
Chandler Carruth | 575bc3ba | 2015-01-14 11:23:58 +0000 | [diff] [blame] | 28 | #include "llvm/ADT/STLExtras.h" |
Chandler Carruth | 5553d0d | 2014-01-07 11:51:46 +0000 | [diff] [blame] | 29 | #include "llvm/Option/OptTable.h" |
Daniel Jasper | 30abda1 | 2012-10-03 13:28:43 +0000 | [diff] [blame] | 30 | #include "llvm/Support/Path.h" |
NAKAMURA Takumi | 8b517f1 | 2013-01-18 13:46:48 +0000 | [diff] [blame] | 31 | #include "llvm/Support/Signals.h" |
Adrian Prantl | bc06858 | 2015-07-08 01:00:30 +0000 | [diff] [blame] | 32 | #include "llvm/Support/TargetSelect.h" |
Manuel Klimek | 47c245a | 2012-04-04 12:07:46 +0000 | [diff] [blame] | 33 | |
Alexander Kornienko | bf4871d | 2012-08-13 10:50:08 +0000 | [diff] [blame] | 34 | using namespace clang::driver; |
Manuel Klimek | 47c245a | 2012-04-04 12:07:46 +0000 | [diff] [blame] | 35 | using namespace clang::tooling; |
| 36 | using namespace llvm; |
| 37 | |
Alexander Kornienko | 4bcd58b | 2012-08-24 00:39:14 +0000 | [diff] [blame] | 38 | static cl::extrahelp CommonHelp(CommonOptionsParser::HelpMessage); |
Alexander Kornienko | 0138726 | 2012-08-22 20:52:52 +0000 | [diff] [blame] | 39 | static cl::extrahelp MoreHelp( |
Alexander Kornienko | f2f8255 | 2012-07-16 12:46:48 +0000 | [diff] [blame] | 40 | "\tFor example, to run clang-check on all files in a subtree of the\n" |
| 41 | "\tsource tree, use:\n" |
Alexander Kornienko | 8480d42 | 2012-07-12 14:34:23 +0000 | [diff] [blame] | 42 | "\n" |
Alexander Kornienko | f2f8255 | 2012-07-16 12:46:48 +0000 | [diff] [blame] | 43 | "\t find path/in/subtree -name '*.cpp'|xargs clang-check\n" |
Alexander Kornienko | 8480d42 | 2012-07-12 14:34:23 +0000 | [diff] [blame] | 44 | "\n" |
Alexander Kornienko | f2f8255 | 2012-07-16 12:46:48 +0000 | [diff] [blame] | 45 | "\tor using a specific build path:\n" |
Alexander Kornienko | 8480d42 | 2012-07-12 14:34:23 +0000 | [diff] [blame] | 46 | "\n" |
Alexander Kornienko | f2f8255 | 2012-07-16 12:46:48 +0000 | [diff] [blame] | 47 | "\t find path/in/subtree -name '*.cpp'|xargs clang-check -p build/path\n" |
Alexander Kornienko | 8480d42 | 2012-07-12 14:34:23 +0000 | [diff] [blame] | 48 | "\n" |
Alexander Kornienko | f2f8255 | 2012-07-16 12:46:48 +0000 | [diff] [blame] | 49 | "\tNote, that path/in/subtree and current directory should follow the\n" |
| 50 | "\trules described above.\n" |
Alexander Kornienko | 0138726 | 2012-08-22 20:52:52 +0000 | [diff] [blame] | 51 | "\n" |
| 52 | ); |
| 53 | |
Alexander Kornienko | b5e774e | 2013-12-12 09:59:42 +0000 | [diff] [blame] | 54 | static cl::OptionCategory ClangCheckCategory("clang-check options"); |
Ahmed Charles | b898432 | 2014-03-07 20:03:18 +0000 | [diff] [blame] | 55 | static std::unique_ptr<opt::OptTable> Options(createDriverOptTable()); |
Alexander Kornienko | b5e774e | 2013-12-12 09:59:42 +0000 | [diff] [blame] | 56 | static cl::opt<bool> |
| 57 | ASTDump("ast-dump", cl::desc(Options->getOptionHelpText(options::OPT_ast_dump)), |
| 58 | cl::cat(ClangCheckCategory)); |
| 59 | static cl::opt<bool> |
| 60 | ASTList("ast-list", cl::desc(Options->getOptionHelpText(options::OPT_ast_list)), |
| 61 | cl::cat(ClangCheckCategory)); |
| 62 | static cl::opt<bool> |
| 63 | ASTPrint("ast-print", |
| 64 | cl::desc(Options->getOptionHelpText(options::OPT_ast_print)), |
| 65 | cl::cat(ClangCheckCategory)); |
Alexander Kornienko | 0138726 | 2012-08-22 20:52:52 +0000 | [diff] [blame] | 66 | static cl::opt<std::string> ASTDumpFilter( |
| 67 | "ast-dump-filter", |
Alexander Kornienko | b5e774e | 2013-12-12 09:59:42 +0000 | [diff] [blame] | 68 | cl::desc(Options->getOptionHelpText(options::OPT_ast_dump_filter)), |
| 69 | cl::cat(ClangCheckCategory)); |
| 70 | static cl::opt<bool> |
| 71 | Analyze("analyze", cl::desc(Options->getOptionHelpText(options::OPT_analyze)), |
| 72 | cl::cat(ClangCheckCategory)); |
Alexander Kornienko | 8480d42 | 2012-07-12 14:34:23 +0000 | [diff] [blame] | 73 | |
Alexander Kornienko | b5e774e | 2013-12-12 09:59:42 +0000 | [diff] [blame] | 74 | static cl::opt<bool> |
| 75 | Fixit("fixit", cl::desc(Options->getOptionHelpText(options::OPT_fixit)), |
| 76 | cl::cat(ClangCheckCategory)); |
Daniel Jasper | 30abda1 | 2012-10-03 13:28:43 +0000 | [diff] [blame] | 77 | static cl::opt<bool> FixWhatYouCan( |
| 78 | "fix-what-you-can", |
Alexander Kornienko | b5e774e | 2013-12-12 09:59:42 +0000 | [diff] [blame] | 79 | cl::desc(Options->getOptionHelpText(options::OPT_fix_what_you_can)), |
| 80 | cl::cat(ClangCheckCategory)); |
Daniel Jasper | 30abda1 | 2012-10-03 13:28:43 +0000 | [diff] [blame] | 81 | |
| 82 | namespace { |
| 83 | |
| 84 | // FIXME: Move FixItRewriteInPlace from lib/Rewrite/Frontend/FrontendActions.cpp |
| 85 | // into a header file and reuse that. |
| 86 | class FixItOptions : public clang::FixItOptions { |
| 87 | public: |
| 88 | FixItOptions() { |
| 89 | FixWhatYouCan = ::FixWhatYouCan; |
| 90 | } |
| 91 | |
Craig Topper | 3683556 | 2014-03-15 07:47:46 +0000 | [diff] [blame] | 92 | std::string RewriteFilename(const std::string& filename, int &fd) override { |
Daniel Jasper | 30abda1 | 2012-10-03 13:28:43 +0000 | [diff] [blame] | 93 | // We don't need to do permission checking here since clang will diagnose |
| 94 | // any I/O errors itself. |
| 95 | |
| 96 | fd = -1; // No file descriptor for file. |
| 97 | |
| 98 | return filename; |
| 99 | } |
| 100 | }; |
| 101 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 102 | /// Subclasses \c clang::FixItRewriter to not count fixed errors/warnings |
Daniel Jasper | 30abda1 | 2012-10-03 13:28:43 +0000 | [diff] [blame] | 103 | /// in the final error counts. |
| 104 | /// |
| 105 | /// This has the side-effect that clang-check -fixit exits with code 0 on |
| 106 | /// successfully fixing all errors. |
| 107 | class FixItRewriter : public clang::FixItRewriter { |
| 108 | public: |
| 109 | FixItRewriter(clang::DiagnosticsEngine& Diags, |
| 110 | clang::SourceManager& SourceMgr, |
| 111 | const clang::LangOptions& LangOpts, |
| 112 | clang::FixItOptions* FixItOpts) |
| 113 | : clang::FixItRewriter(Diags, SourceMgr, LangOpts, FixItOpts) { |
| 114 | } |
| 115 | |
Craig Topper | 3683556 | 2014-03-15 07:47:46 +0000 | [diff] [blame] | 116 | bool IncludeInDiagnosticCounts() const override { return false; } |
Daniel Jasper | 30abda1 | 2012-10-03 13:28:43 +0000 | [diff] [blame] | 117 | }; |
| 118 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 119 | /// Subclasses \c clang::FixItAction so that we can install the custom |
Daniel Jasper | 30abda1 | 2012-10-03 13:28:43 +0000 | [diff] [blame] | 120 | /// \c FixItRewriter. |
Saleem Abdulrasool | b69ce1f | 2018-09-10 22:57:26 +0000 | [diff] [blame] | 121 | class ClangCheckFixItAction : public clang::FixItAction { |
Daniel Jasper | 30abda1 | 2012-10-03 13:28:43 +0000 | [diff] [blame] | 122 | public: |
Richard Smith | d9259c2 | 2017-06-09 01:36:10 +0000 | [diff] [blame] | 123 | bool BeginSourceFileAction(clang::CompilerInstance& CI) override { |
Daniel Jasper | 30abda1 | 2012-10-03 13:28:43 +0000 | [diff] [blame] | 124 | FixItOpts.reset(new FixItOptions); |
| 125 | Rewriter.reset(new FixItRewriter(CI.getDiagnostics(), CI.getSourceManager(), |
| 126 | CI.getLangOpts(), FixItOpts.get())); |
| 127 | return true; |
| 128 | } |
| 129 | }; |
| 130 | |
Alexander Kornienko | 02f481c | 2012-09-10 14:54:38 +0000 | [diff] [blame] | 131 | class ClangCheckActionFactory { |
Alexander Kornienko | bf4871d | 2012-08-13 10:50:08 +0000 | [diff] [blame] | 132 | public: |
David Blaikie | 6beb6aa | 2014-08-10 19:56:51 +0000 | [diff] [blame] | 133 | std::unique_ptr<clang::ASTConsumer> newASTConsumer() { |
Alexander Kornienko | bf4871d | 2012-08-13 10:50:08 +0000 | [diff] [blame] | 134 | if (ASTList) |
| 135 | return clang::CreateASTDeclNodeLister(); |
| 136 | if (ASTDump) |
Alexander Kornienko | d10d790 | 2018-04-06 13:01:12 +0000 | [diff] [blame] | 137 | return clang::CreateASTDumper(nullptr /*Dump to stdout.*/, |
| 138 | ASTDumpFilter, |
| 139 | /*DumpDecls=*/true, |
Richard Smith | 3a36ac1 | 2017-03-09 22:00:01 +0000 | [diff] [blame] | 140 | /*Deserialize=*/false, |
Alexander Kornienko | 6168609 | 2014-11-04 08:51:24 +0000 | [diff] [blame] | 141 | /*DumpLookups=*/false); |
Alexander Kornienko | bf4871d | 2012-08-13 10:50:08 +0000 | [diff] [blame] | 142 | if (ASTPrint) |
Peter Collingbourne | 03f8907 | 2016-07-15 00:55:40 +0000 | [diff] [blame] | 143 | return clang::CreateASTPrinter(nullptr, ASTDumpFilter); |
David Blaikie | 6beb6aa | 2014-08-10 19:56:51 +0000 | [diff] [blame] | 144 | return llvm::make_unique<clang::ASTConsumer>(); |
Alexander Kornienko | bf4871d | 2012-08-13 10:50:08 +0000 | [diff] [blame] | 145 | } |
Alexander Kornienko | bf4871d | 2012-08-13 10:50:08 +0000 | [diff] [blame] | 146 | }; |
Alexander Kornienko | 6168609 | 2014-11-04 08:51:24 +0000 | [diff] [blame] | 147 | |
| 148 | } // namespace |
Alexander Kornienko | bf4871d | 2012-08-13 10:50:08 +0000 | [diff] [blame] | 149 | |
Manuel Klimek | ff26efc | 2012-04-18 07:41:50 +0000 | [diff] [blame] | 150 | int main(int argc, const char **argv) { |
Richard Smith | dfed58a | 2016-06-09 00:53:41 +0000 | [diff] [blame] | 151 | llvm::sys::PrintStackTraceOnErrorSignal(argv[0]); |
Adrian Prantl | bc06858 | 2015-07-08 01:00:30 +0000 | [diff] [blame] | 152 | |
| 153 | // Initialize targets for clang module support. |
| 154 | llvm::InitializeAllTargets(); |
| 155 | llvm::InitializeAllTargetMCs(); |
| 156 | llvm::InitializeAllAsmPrinters(); |
| 157 | llvm::InitializeAllAsmParsers(); |
| 158 | |
Alexander Kornienko | b5e774e | 2013-12-12 09:59:42 +0000 | [diff] [blame] | 159 | CommonOptionsParser OptionsParser(argc, argv, ClangCheckCategory); |
Edwin Vane | 524741f | 2012-12-14 18:58:25 +0000 | [diff] [blame] | 160 | ClangTool Tool(OptionsParser.getCompilations(), |
Adrian Prantl | fb2398d | 2015-07-17 01:19:54 +0000 | [diff] [blame] | 161 | OptionsParser.getSourcePathList()); |
Pavel Labath | 951ad64 | 2013-06-05 16:23:30 +0000 | [diff] [blame] | 162 | |
Pavel Labath | c3282c0 | 2013-06-06 12:35:43 +0000 | [diff] [blame] | 163 | // Clear adjusters because -fsyntax-only is inserted by the default chain. |
| 164 | Tool.clearArgumentsAdjusters(); |
Alexander Kornienko | 74e1c46 | 2014-12-03 17:53:02 +0000 | [diff] [blame] | 165 | Tool.appendArgumentsAdjuster(getClangStripOutputAdjuster()); |
Alexander Kornienko | 935df06 | 2019-01-09 15:00:06 +0000 | [diff] [blame] | 166 | Tool.appendArgumentsAdjuster(getClangStripDependencyFileAdjuster()); |
Pavel Labath | 951ad64 | 2013-06-05 16:23:30 +0000 | [diff] [blame] | 167 | |
Pavel Labath | c3282c0 | 2013-06-06 12:35:43 +0000 | [diff] [blame] | 168 | // Running the analyzer requires --analyze. Other modes can work with the |
| 169 | // -fsyntax-only option. |
Alexander Kornienko | 74e1c46 | 2014-12-03 17:53:02 +0000 | [diff] [blame] | 170 | Tool.appendArgumentsAdjuster(getInsertArgumentAdjuster( |
| 171 | Analyze ? "--analyze" : "-fsyntax-only", ArgumentInsertPosition::BEGIN)); |
Pavel Labath | c3282c0 | 2013-06-06 12:35:43 +0000 | [diff] [blame] | 172 | |
Alexander Kornienko | 6168609 | 2014-11-04 08:51:24 +0000 | [diff] [blame] | 173 | ClangCheckActionFactory CheckFactory; |
Nico Weber | 10bf95d | 2014-04-28 04:57:14 +0000 | [diff] [blame] | 174 | std::unique_ptr<FrontendActionFactory> FrontendFactory; |
Pavel Labath | c3282c0 | 2013-06-06 12:35:43 +0000 | [diff] [blame] | 175 | |
| 176 | // Choose the correct factory based on the selected mode. |
| 177 | if (Analyze) |
| 178 | FrontendFactory = newFrontendActionFactory<clang::ento::AnalysisAction>(); |
| 179 | else if (Fixit) |
Saleem Abdulrasool | b69ce1f | 2018-09-10 22:57:26 +0000 | [diff] [blame] | 180 | FrontendFactory = newFrontendActionFactory<ClangCheckFixItAction>(); |
Pavel Labath | c3282c0 | 2013-06-06 12:35:43 +0000 | [diff] [blame] | 181 | else |
| 182 | FrontendFactory = newFrontendActionFactory(&CheckFactory); |
| 183 | |
Nico Weber | 10bf95d | 2014-04-28 04:57:14 +0000 | [diff] [blame] | 184 | return Tool.run(FrontendFactory.get()); |
Manuel Klimek | 47c245a | 2012-04-04 12:07:46 +0000 | [diff] [blame] | 185 | } |