blob: a9934c978d30bb009521f928679ffdabad8e8671 [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//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Daniel Jasper30abda12012-10-03 13:28:43 +000010// This file implements a clang-check tool that runs clang based on the info
11// stored in a compilation database.
Manuel Klimek47c245a2012-04-04 12:07:46 +000012//
Alexander Kornienkof2f82552012-07-16 12:46:48 +000013// This tool uses the Clang Tooling infrastructure, see
14// http://clang.llvm.org/docs/HowToSetupToolingForLLVM.html
15// for details on setting it up with LLVM source tree.
16//
Manuel Klimek47c245a2012-04-04 12:07:46 +000017//===----------------------------------------------------------------------===//
18
Alexander Kornienkobf4871d2012-08-13 10:50:08 +000019#include "clang/AST/ASTConsumer.h"
Adrian Prantlbc068582015-07-08 01:00:30 +000020#include "clang/CodeGen/ObjectFilePCHContainerOperations.h"
Alexander Kornienkobf4871d2012-08-13 10:50:08 +000021#include "clang/Driver/Options.h"
22#include "clang/Frontend/ASTConsumers.h"
Daniel Jasper30abda12012-10-03 13:28:43 +000023#include "clang/Frontend/CompilerInstance.h"
24#include "clang/Rewrite/Frontend/FixItRewriter.h"
25#include "clang/Rewrite/Frontend/FrontendActions.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000026#include "clang/StaticAnalyzer/Frontend/FrontendActions.h"
Alexander Kornienko01387262012-08-22 20:52:52 +000027#include "clang/Tooling/CommonOptionsParser.h"
Manuel Klimek47c245a2012-04-04 12:07:46 +000028#include "clang/Tooling/Tooling.h"
Chandler Carruth575bc3ba2015-01-14 11:23:58 +000029#include "llvm/ADT/STLExtras.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000030#include "llvm/Option/OptTable.h"
Daniel Jasper30abda12012-10-03 13:28:43 +000031#include "llvm/Support/Path.h"
NAKAMURA Takumi8b517f12013-01-18 13:46:48 +000032#include "llvm/Support/Signals.h"
Adrian Prantlbc068582015-07-08 01:00:30 +000033#include "llvm/Support/TargetSelect.h"
Manuel Klimek47c245a2012-04-04 12:07:46 +000034
Alexander Kornienkobf4871d2012-08-13 10:50:08 +000035using namespace clang::driver;
Manuel Klimek47c245a2012-04-04 12:07:46 +000036using namespace clang::tooling;
37using namespace llvm;
38
Alexander Kornienko4bcd58b2012-08-24 00:39:14 +000039static cl::extrahelp CommonHelp(CommonOptionsParser::HelpMessage);
Alexander Kornienko01387262012-08-22 20:52:52 +000040static cl::extrahelp MoreHelp(
Alexander Kornienkof2f82552012-07-16 12:46:48 +000041 "\tFor example, to run clang-check on all files in a subtree of the\n"
42 "\tsource tree, use:\n"
Alexander Kornienko8480d422012-07-12 14:34:23 +000043 "\n"
Alexander Kornienkof2f82552012-07-16 12:46:48 +000044 "\t find path/in/subtree -name '*.cpp'|xargs clang-check\n"
Alexander Kornienko8480d422012-07-12 14:34:23 +000045 "\n"
Alexander Kornienkof2f82552012-07-16 12:46:48 +000046 "\tor using a specific build path:\n"
Alexander Kornienko8480d422012-07-12 14:34:23 +000047 "\n"
Alexander Kornienkof2f82552012-07-16 12:46:48 +000048 "\t find path/in/subtree -name '*.cpp'|xargs clang-check -p build/path\n"
Alexander Kornienko8480d422012-07-12 14:34:23 +000049 "\n"
Alexander Kornienkof2f82552012-07-16 12:46:48 +000050 "\tNote, that path/in/subtree and current directory should follow the\n"
51 "\trules described above.\n"
Alexander Kornienko01387262012-08-22 20:52:52 +000052 "\n"
53);
54
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000055static cl::OptionCategory ClangCheckCategory("clang-check options");
Ahmed Charlesb8984322014-03-07 20:03:18 +000056static std::unique_ptr<opt::OptTable> Options(createDriverOptTable());
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000057static cl::opt<bool>
58ASTDump("ast-dump", cl::desc(Options->getOptionHelpText(options::OPT_ast_dump)),
59 cl::cat(ClangCheckCategory));
60static cl::opt<bool>
61ASTList("ast-list", cl::desc(Options->getOptionHelpText(options::OPT_ast_list)),
62 cl::cat(ClangCheckCategory));
63static cl::opt<bool>
64ASTPrint("ast-print",
65 cl::desc(Options->getOptionHelpText(options::OPT_ast_print)),
66 cl::cat(ClangCheckCategory));
Alexander Kornienko01387262012-08-22 20:52:52 +000067static cl::opt<std::string> ASTDumpFilter(
68 "ast-dump-filter",
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000069 cl::desc(Options->getOptionHelpText(options::OPT_ast_dump_filter)),
70 cl::cat(ClangCheckCategory));
71static cl::opt<bool>
72Analyze("analyze", cl::desc(Options->getOptionHelpText(options::OPT_analyze)),
73 cl::cat(ClangCheckCategory));
Alexander Kornienko8480d422012-07-12 14:34:23 +000074
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000075static cl::opt<bool>
76Fixit("fixit", cl::desc(Options->getOptionHelpText(options::OPT_fixit)),
77 cl::cat(ClangCheckCategory));
Daniel Jasper30abda12012-10-03 13:28:43 +000078static cl::opt<bool> FixWhatYouCan(
79 "fix-what-you-can",
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000080 cl::desc(Options->getOptionHelpText(options::OPT_fix_what_you_can)),
81 cl::cat(ClangCheckCategory));
Daniel Jasper30abda12012-10-03 13:28:43 +000082
83namespace {
84
85// FIXME: Move FixItRewriteInPlace from lib/Rewrite/Frontend/FrontendActions.cpp
86// into a header file and reuse that.
87class FixItOptions : public clang::FixItOptions {
88public:
89 FixItOptions() {
90 FixWhatYouCan = ::FixWhatYouCan;
91 }
92
Craig Topper36835562014-03-15 07:47:46 +000093 std::string RewriteFilename(const std::string& filename, int &fd) override {
Daniel Jasper30abda12012-10-03 13:28:43 +000094 assert(llvm::sys::path::is_absolute(filename) &&
95 "clang-fixit expects absolute paths only.");
96
97 // We don't need to do permission checking here since clang will diagnose
98 // any I/O errors itself.
99
100 fd = -1; // No file descriptor for file.
101
102 return filename;
103 }
104};
105
106/// \brief Subclasses \c clang::FixItRewriter to not count fixed errors/warnings
107/// in the final error counts.
108///
109/// This has the side-effect that clang-check -fixit exits with code 0 on
110/// successfully fixing all errors.
111class FixItRewriter : public clang::FixItRewriter {
112public:
113 FixItRewriter(clang::DiagnosticsEngine& Diags,
114 clang::SourceManager& SourceMgr,
115 const clang::LangOptions& LangOpts,
116 clang::FixItOptions* FixItOpts)
117 : clang::FixItRewriter(Diags, SourceMgr, LangOpts, FixItOpts) {
118 }
119
Craig Topper36835562014-03-15 07:47:46 +0000120 bool IncludeInDiagnosticCounts() const override { return false; }
Daniel Jasper30abda12012-10-03 13:28:43 +0000121};
122
123/// \brief Subclasses \c clang::FixItAction so that we can install the custom
124/// \c FixItRewriter.
125class FixItAction : public clang::FixItAction {
126public:
Craig Topper36835562014-03-15 07:47:46 +0000127 bool BeginSourceFileAction(clang::CompilerInstance& CI,
128 StringRef Filename) override {
Daniel Jasper30abda12012-10-03 13:28:43 +0000129 FixItOpts.reset(new FixItOptions);
130 Rewriter.reset(new FixItRewriter(CI.getDiagnostics(), CI.getSourceManager(),
131 CI.getLangOpts(), FixItOpts.get()));
132 return true;
133 }
134};
135
Alexander Kornienko02f481c2012-09-10 14:54:38 +0000136class ClangCheckActionFactory {
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000137public:
David Blaikie6beb6aa2014-08-10 19:56:51 +0000138 std::unique_ptr<clang::ASTConsumer> newASTConsumer() {
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000139 if (ASTList)
140 return clang::CreateASTDeclNodeLister();
141 if (ASTDump)
Alexander Kornienko61686092014-11-04 08:51:24 +0000142 return clang::CreateASTDumper(ASTDumpFilter, /*DumpDecls=*/true,
143 /*DumpLookups=*/false);
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000144 if (ASTPrint)
145 return clang::CreateASTPrinter(&llvm::outs(), ASTDumpFilter);
David Blaikie6beb6aa2014-08-10 19:56:51 +0000146 return llvm::make_unique<clang::ASTConsumer>();
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000147 }
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000148};
Alexander Kornienko61686092014-11-04 08:51:24 +0000149
150} // namespace
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000151
Manuel Klimekff26efc2012-04-18 07:41:50 +0000152int main(int argc, const char **argv) {
NAKAMURA Takumi8b517f12013-01-18 13:46:48 +0000153 llvm::sys::PrintStackTraceOnErrorSignal();
Adrian Prantlbc068582015-07-08 01:00:30 +0000154
155 // Initialize targets for clang module support.
156 llvm::InitializeAllTargets();
157 llvm::InitializeAllTargetMCs();
158 llvm::InitializeAllAsmPrinters();
159 llvm::InitializeAllAsmParsers();
160
Alexander Kornienkob5e774e2013-12-12 09:59:42 +0000161 CommonOptionsParser OptionsParser(argc, argv, ClangCheckCategory);
Edwin Vane524741f2012-12-14 18:58:25 +0000162 ClangTool Tool(OptionsParser.getCompilations(),
Adrian Prantlfb2398d2015-07-17 01:19:54 +0000163 OptionsParser.getSourcePathList());
Pavel Labath951ad642013-06-05 16:23:30 +0000164
Pavel Labathc3282c02013-06-06 12:35:43 +0000165 // Clear adjusters because -fsyntax-only is inserted by the default chain.
166 Tool.clearArgumentsAdjusters();
Alexander Kornienko74e1c462014-12-03 17:53:02 +0000167 Tool.appendArgumentsAdjuster(getClangStripOutputAdjuster());
Pavel Labath951ad642013-06-05 16:23:30 +0000168
Pavel Labathc3282c02013-06-06 12:35:43 +0000169 // Running the analyzer requires --analyze. Other modes can work with the
170 // -fsyntax-only option.
Alexander Kornienko74e1c462014-12-03 17:53:02 +0000171 Tool.appendArgumentsAdjuster(getInsertArgumentAdjuster(
172 Analyze ? "--analyze" : "-fsyntax-only", ArgumentInsertPosition::BEGIN));
Pavel Labathc3282c02013-06-06 12:35:43 +0000173
Alexander Kornienko61686092014-11-04 08:51:24 +0000174 ClangCheckActionFactory CheckFactory;
Nico Weber10bf95d2014-04-28 04:57:14 +0000175 std::unique_ptr<FrontendActionFactory> FrontendFactory;
Pavel Labathc3282c02013-06-06 12:35:43 +0000176
177 // Choose the correct factory based on the selected mode.
178 if (Analyze)
179 FrontendFactory = newFrontendActionFactory<clang::ento::AnalysisAction>();
180 else if (Fixit)
181 FrontendFactory = newFrontendActionFactory<FixItAction>();
182 else
183 FrontendFactory = newFrontendActionFactory(&CheckFactory);
184
Nico Weber10bf95d2014-04-28 04:57:14 +0000185 return Tool.run(FrontendFactory.get());
Manuel Klimek47c245a2012-04-04 12:07:46 +0000186}