blob: ce400b5c20005f190d94ec64b37f4285404c5e6b [file] [log] [blame]
Alexander Kornienko01387262012-08-22 20:52:52 +00001//===--- tools/clang-check/ClangCheck.cpp - Clang check tool --------------===//
Manuel Klimek47c245a2012-04-04 12:07:46 +00002//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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 Klimek47c245a2012-04-04 12:07:46 +00006//
7//===----------------------------------------------------------------------===//
8//
Daniel Jasper30abda12012-10-03 13:28:43 +00009// This file implements a clang-check tool that runs clang based on the info
10// stored in a compilation database.
Manuel Klimek47c245a2012-04-04 12:07:46 +000011//
Alexander Kornienkof2f82552012-07-16 12:46:48 +000012// 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 Klimek47c245a2012-04-04 12:07:46 +000016//===----------------------------------------------------------------------===//
17
Alexander Kornienkobf4871d2012-08-13 10:50:08 +000018#include "clang/AST/ASTConsumer.h"
Adrian Prantlbc068582015-07-08 01:00:30 +000019#include "clang/CodeGen/ObjectFilePCHContainerOperations.h"
Alexander Kornienkobf4871d2012-08-13 10:50:08 +000020#include "clang/Driver/Options.h"
21#include "clang/Frontend/ASTConsumers.h"
Daniel Jasper30abda12012-10-03 13:28:43 +000022#include "clang/Frontend/CompilerInstance.h"
23#include "clang/Rewrite/Frontend/FixItRewriter.h"
24#include "clang/Rewrite/Frontend/FrontendActions.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000025#include "clang/StaticAnalyzer/Frontend/FrontendActions.h"
Alexander Kornienko01387262012-08-22 20:52:52 +000026#include "clang/Tooling/CommonOptionsParser.h"
Manuel Klimek47c245a2012-04-04 12:07:46 +000027#include "clang/Tooling/Tooling.h"
Chandler Carruth575bc3ba2015-01-14 11:23:58 +000028#include "llvm/ADT/STLExtras.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000029#include "llvm/Option/OptTable.h"
Daniel Jasper30abda12012-10-03 13:28:43 +000030#include "llvm/Support/Path.h"
NAKAMURA Takumi8b517f12013-01-18 13:46:48 +000031#include "llvm/Support/Signals.h"
Adrian Prantlbc068582015-07-08 01:00:30 +000032#include "llvm/Support/TargetSelect.h"
Manuel Klimek47c245a2012-04-04 12:07:46 +000033
Alexander Kornienkobf4871d2012-08-13 10:50:08 +000034using namespace clang::driver;
Manuel Klimek47c245a2012-04-04 12:07:46 +000035using namespace clang::tooling;
36using namespace llvm;
37
Alexander Kornienko4bcd58b2012-08-24 00:39:14 +000038static cl::extrahelp CommonHelp(CommonOptionsParser::HelpMessage);
Alexander Kornienko01387262012-08-22 20:52:52 +000039static cl::extrahelp MoreHelp(
Alexander Kornienkof2f82552012-07-16 12:46:48 +000040 "\tFor example, to run clang-check on all files in a subtree of the\n"
41 "\tsource tree, use:\n"
Alexander Kornienko8480d422012-07-12 14:34:23 +000042 "\n"
Alexander Kornienkof2f82552012-07-16 12:46:48 +000043 "\t find path/in/subtree -name '*.cpp'|xargs clang-check\n"
Alexander Kornienko8480d422012-07-12 14:34:23 +000044 "\n"
Alexander Kornienkof2f82552012-07-16 12:46:48 +000045 "\tor using a specific build path:\n"
Alexander Kornienko8480d422012-07-12 14:34:23 +000046 "\n"
Alexander Kornienkof2f82552012-07-16 12:46:48 +000047 "\t find path/in/subtree -name '*.cpp'|xargs clang-check -p build/path\n"
Alexander Kornienko8480d422012-07-12 14:34:23 +000048 "\n"
Alexander Kornienkof2f82552012-07-16 12:46:48 +000049 "\tNote, that path/in/subtree and current directory should follow the\n"
50 "\trules described above.\n"
Alexander Kornienko01387262012-08-22 20:52:52 +000051 "\n"
52);
53
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000054static cl::OptionCategory ClangCheckCategory("clang-check options");
Ahmed Charlesb8984322014-03-07 20:03:18 +000055static std::unique_ptr<opt::OptTable> Options(createDriverOptTable());
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000056static cl::opt<bool>
57ASTDump("ast-dump", cl::desc(Options->getOptionHelpText(options::OPT_ast_dump)),
58 cl::cat(ClangCheckCategory));
59static cl::opt<bool>
60ASTList("ast-list", cl::desc(Options->getOptionHelpText(options::OPT_ast_list)),
61 cl::cat(ClangCheckCategory));
62static cl::opt<bool>
63ASTPrint("ast-print",
64 cl::desc(Options->getOptionHelpText(options::OPT_ast_print)),
65 cl::cat(ClangCheckCategory));
Alexander Kornienko01387262012-08-22 20:52:52 +000066static cl::opt<std::string> ASTDumpFilter(
67 "ast-dump-filter",
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000068 cl::desc(Options->getOptionHelpText(options::OPT_ast_dump_filter)),
69 cl::cat(ClangCheckCategory));
70static cl::opt<bool>
71Analyze("analyze", cl::desc(Options->getOptionHelpText(options::OPT_analyze)),
72 cl::cat(ClangCheckCategory));
Alexander Kornienko8480d422012-07-12 14:34:23 +000073
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000074static cl::opt<bool>
75Fixit("fixit", cl::desc(Options->getOptionHelpText(options::OPT_fixit)),
76 cl::cat(ClangCheckCategory));
Daniel Jasper30abda12012-10-03 13:28:43 +000077static cl::opt<bool> FixWhatYouCan(
78 "fix-what-you-can",
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000079 cl::desc(Options->getOptionHelpText(options::OPT_fix_what_you_can)),
80 cl::cat(ClangCheckCategory));
Daniel Jasper30abda12012-10-03 13:28:43 +000081
82namespace {
83
84// FIXME: Move FixItRewriteInPlace from lib/Rewrite/Frontend/FrontendActions.cpp
85// into a header file and reuse that.
86class FixItOptions : public clang::FixItOptions {
87public:
88 FixItOptions() {
89 FixWhatYouCan = ::FixWhatYouCan;
90 }
91
Craig Topper36835562014-03-15 07:47:46 +000092 std::string RewriteFilename(const std::string& filename, int &fd) override {
Daniel Jasper30abda12012-10-03 13:28:43 +000093 // 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 Prantl9fc8faf2018-05-09 01:00:01 +0000102/// Subclasses \c clang::FixItRewriter to not count fixed errors/warnings
Daniel Jasper30abda12012-10-03 13:28:43 +0000103/// 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.
107class FixItRewriter : public clang::FixItRewriter {
108public:
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 Topper36835562014-03-15 07:47:46 +0000116 bool IncludeInDiagnosticCounts() const override { return false; }
Daniel Jasper30abda12012-10-03 13:28:43 +0000117};
118
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000119/// Subclasses \c clang::FixItAction so that we can install the custom
Daniel Jasper30abda12012-10-03 13:28:43 +0000120/// \c FixItRewriter.
Saleem Abdulrasoolb69ce1f2018-09-10 22:57:26 +0000121class ClangCheckFixItAction : public clang::FixItAction {
Daniel Jasper30abda12012-10-03 13:28:43 +0000122public:
Richard Smithd9259c22017-06-09 01:36:10 +0000123 bool BeginSourceFileAction(clang::CompilerInstance& CI) override {
Daniel Jasper30abda12012-10-03 13:28:43 +0000124 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 Kornienko02f481c2012-09-10 14:54:38 +0000131class ClangCheckActionFactory {
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000132public:
David Blaikie6beb6aa2014-08-10 19:56:51 +0000133 std::unique_ptr<clang::ASTConsumer> newASTConsumer() {
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000134 if (ASTList)
135 return clang::CreateASTDeclNodeLister();
136 if (ASTDump)
Alexander Kornienkod10d7902018-04-06 13:01:12 +0000137 return clang::CreateASTDumper(nullptr /*Dump to stdout.*/,
138 ASTDumpFilter,
139 /*DumpDecls=*/true,
Richard Smith3a36ac12017-03-09 22:00:01 +0000140 /*Deserialize=*/false,
Alexander Kornienko61686092014-11-04 08:51:24 +0000141 /*DumpLookups=*/false);
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000142 if (ASTPrint)
Peter Collingbourne03f89072016-07-15 00:55:40 +0000143 return clang::CreateASTPrinter(nullptr, ASTDumpFilter);
David Blaikie6beb6aa2014-08-10 19:56:51 +0000144 return llvm::make_unique<clang::ASTConsumer>();
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000145 }
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000146};
Alexander Kornienko61686092014-11-04 08:51:24 +0000147
148} // namespace
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000149
Manuel Klimekff26efc2012-04-18 07:41:50 +0000150int main(int argc, const char **argv) {
Richard Smithdfed58a2016-06-09 00:53:41 +0000151 llvm::sys::PrintStackTraceOnErrorSignal(argv[0]);
Adrian Prantlbc068582015-07-08 01:00:30 +0000152
153 // Initialize targets for clang module support.
154 llvm::InitializeAllTargets();
155 llvm::InitializeAllTargetMCs();
156 llvm::InitializeAllAsmPrinters();
157 llvm::InitializeAllAsmParsers();
158
Alexander Kornienkob5e774e2013-12-12 09:59:42 +0000159 CommonOptionsParser OptionsParser(argc, argv, ClangCheckCategory);
Edwin Vane524741f2012-12-14 18:58:25 +0000160 ClangTool Tool(OptionsParser.getCompilations(),
Adrian Prantlfb2398d2015-07-17 01:19:54 +0000161 OptionsParser.getSourcePathList());
Pavel Labath951ad642013-06-05 16:23:30 +0000162
Pavel Labathc3282c02013-06-06 12:35:43 +0000163 // Clear adjusters because -fsyntax-only is inserted by the default chain.
164 Tool.clearArgumentsAdjusters();
Alexander Kornienko74e1c462014-12-03 17:53:02 +0000165 Tool.appendArgumentsAdjuster(getClangStripOutputAdjuster());
Alexander Kornienko935df062019-01-09 15:00:06 +0000166 Tool.appendArgumentsAdjuster(getClangStripDependencyFileAdjuster());
Pavel Labath951ad642013-06-05 16:23:30 +0000167
Pavel Labathc3282c02013-06-06 12:35:43 +0000168 // Running the analyzer requires --analyze. Other modes can work with the
169 // -fsyntax-only option.
Alexander Kornienko74e1c462014-12-03 17:53:02 +0000170 Tool.appendArgumentsAdjuster(getInsertArgumentAdjuster(
171 Analyze ? "--analyze" : "-fsyntax-only", ArgumentInsertPosition::BEGIN));
Pavel Labathc3282c02013-06-06 12:35:43 +0000172
Alexander Kornienko61686092014-11-04 08:51:24 +0000173 ClangCheckActionFactory CheckFactory;
Nico Weber10bf95d2014-04-28 04:57:14 +0000174 std::unique_ptr<FrontendActionFactory> FrontendFactory;
Pavel Labathc3282c02013-06-06 12:35:43 +0000175
176 // Choose the correct factory based on the selected mode.
177 if (Analyze)
178 FrontendFactory = newFrontendActionFactory<clang::ento::AnalysisAction>();
179 else if (Fixit)
Saleem Abdulrasoolb69ce1f2018-09-10 22:57:26 +0000180 FrontendFactory = newFrontendActionFactory<ClangCheckFixItAction>();
Pavel Labathc3282c02013-06-06 12:35:43 +0000181 else
182 FrontendFactory = newFrontendActionFactory(&CheckFactory);
183
Nico Weber10bf95d2014-04-28 04:57:14 +0000184 return Tool.run(FrontendFactory.get());
Manuel Klimek47c245a2012-04-04 12:07:46 +0000185}