blob: d92a8d55185214ed4b1cd973446151a5e1e240a4 [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"
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 Carruth5553d0d2014-01-07 11:51:46 +000028#include "llvm/Option/OptTable.h"
Daniel Jasper30abda12012-10-03 13:28:43 +000029#include "llvm/Support/Path.h"
NAKAMURA Takumi8b517f12013-01-18 13:46:48 +000030#include "llvm/Support/Signals.h"
David Blaikie6beb6aa2014-08-10 19:56:51 +000031#include "llvm/ADT/STLExtras.h"
Manuel Klimek47c245a2012-04-04 12:07:46 +000032
Alexander Kornienkobf4871d2012-08-13 10:50:08 +000033using namespace clang::driver;
Manuel Klimek47c245a2012-04-04 12:07:46 +000034using namespace clang::tooling;
35using namespace llvm;
36
Alexander Kornienko4bcd58b2012-08-24 00:39:14 +000037static cl::extrahelp CommonHelp(CommonOptionsParser::HelpMessage);
Alexander Kornienko01387262012-08-22 20:52:52 +000038static cl::extrahelp MoreHelp(
Alexander Kornienkof2f82552012-07-16 12:46:48 +000039 "\tFor example, to run clang-check on all files in a subtree of the\n"
40 "\tsource tree, use:\n"
Alexander Kornienko8480d422012-07-12 14:34:23 +000041 "\n"
Alexander Kornienkof2f82552012-07-16 12:46:48 +000042 "\t find path/in/subtree -name '*.cpp'|xargs clang-check\n"
Alexander Kornienko8480d422012-07-12 14:34:23 +000043 "\n"
Alexander Kornienkof2f82552012-07-16 12:46:48 +000044 "\tor using a specific build path:\n"
Alexander Kornienko8480d422012-07-12 14:34:23 +000045 "\n"
Alexander Kornienkof2f82552012-07-16 12:46:48 +000046 "\t find path/in/subtree -name '*.cpp'|xargs clang-check -p build/path\n"
Alexander Kornienko8480d422012-07-12 14:34:23 +000047 "\n"
Alexander Kornienkof2f82552012-07-16 12:46:48 +000048 "\tNote, that path/in/subtree and current directory should follow the\n"
49 "\trules described above.\n"
Alexander Kornienko01387262012-08-22 20:52:52 +000050 "\n"
51);
52
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000053static cl::OptionCategory ClangCheckCategory("clang-check options");
Ahmed Charlesb8984322014-03-07 20:03:18 +000054static std::unique_ptr<opt::OptTable> Options(createDriverOptTable());
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000055static cl::opt<bool>
56ASTDump("ast-dump", cl::desc(Options->getOptionHelpText(options::OPT_ast_dump)),
57 cl::cat(ClangCheckCategory));
58static cl::opt<bool>
59ASTList("ast-list", cl::desc(Options->getOptionHelpText(options::OPT_ast_list)),
60 cl::cat(ClangCheckCategory));
61static cl::opt<bool>
62ASTPrint("ast-print",
63 cl::desc(Options->getOptionHelpText(options::OPT_ast_print)),
64 cl::cat(ClangCheckCategory));
Alexander Kornienko01387262012-08-22 20:52:52 +000065static cl::opt<std::string> ASTDumpFilter(
66 "ast-dump-filter",
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000067 cl::desc(Options->getOptionHelpText(options::OPT_ast_dump_filter)),
68 cl::cat(ClangCheckCategory));
69static cl::opt<bool>
70Analyze("analyze", cl::desc(Options->getOptionHelpText(options::OPT_analyze)),
71 cl::cat(ClangCheckCategory));
Alexander Kornienko8480d422012-07-12 14:34:23 +000072
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000073static cl::opt<bool>
74Fixit("fixit", cl::desc(Options->getOptionHelpText(options::OPT_fixit)),
75 cl::cat(ClangCheckCategory));
Daniel Jasper30abda12012-10-03 13:28:43 +000076static cl::opt<bool> FixWhatYouCan(
77 "fix-what-you-can",
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000078 cl::desc(Options->getOptionHelpText(options::OPT_fix_what_you_can)),
79 cl::cat(ClangCheckCategory));
Daniel Jasper30abda12012-10-03 13:28:43 +000080
81namespace {
82
83// FIXME: Move FixItRewriteInPlace from lib/Rewrite/Frontend/FrontendActions.cpp
84// into a header file and reuse that.
85class FixItOptions : public clang::FixItOptions {
86public:
87 FixItOptions() {
88 FixWhatYouCan = ::FixWhatYouCan;
89 }
90
Craig Topper36835562014-03-15 07:47:46 +000091 std::string RewriteFilename(const std::string& filename, int &fd) override {
Daniel Jasper30abda12012-10-03 13:28:43 +000092 assert(llvm::sys::path::is_absolute(filename) &&
93 "clang-fixit expects absolute paths only.");
94
95 // We don't need to do permission checking here since clang will diagnose
96 // any I/O errors itself.
97
98 fd = -1; // No file descriptor for file.
99
100 return filename;
101 }
102};
103
104/// \brief Subclasses \c clang::FixItRewriter to not count fixed errors/warnings
105/// in the final error counts.
106///
107/// This has the side-effect that clang-check -fixit exits with code 0 on
108/// successfully fixing all errors.
109class FixItRewriter : public clang::FixItRewriter {
110public:
111 FixItRewriter(clang::DiagnosticsEngine& Diags,
112 clang::SourceManager& SourceMgr,
113 const clang::LangOptions& LangOpts,
114 clang::FixItOptions* FixItOpts)
115 : clang::FixItRewriter(Diags, SourceMgr, LangOpts, FixItOpts) {
116 }
117
Craig Topper36835562014-03-15 07:47:46 +0000118 bool IncludeInDiagnosticCounts() const override { return false; }
Daniel Jasper30abda12012-10-03 13:28:43 +0000119};
120
121/// \brief Subclasses \c clang::FixItAction so that we can install the custom
122/// \c FixItRewriter.
123class FixItAction : public clang::FixItAction {
124public:
Craig Topper36835562014-03-15 07:47:46 +0000125 bool BeginSourceFileAction(clang::CompilerInstance& CI,
126 StringRef Filename) override {
Daniel Jasper30abda12012-10-03 13:28:43 +0000127 FixItOpts.reset(new FixItOptions);
128 Rewriter.reset(new FixItRewriter(CI.getDiagnostics(), CI.getSourceManager(),
129 CI.getLangOpts(), FixItOpts.get()));
130 return true;
131 }
132};
133
Alexander Kornienko02f481c2012-09-10 14:54:38 +0000134class ClangCheckActionFactory {
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000135public:
David Blaikie6beb6aa2014-08-10 19:56:51 +0000136 std::unique_ptr<clang::ASTConsumer> newASTConsumer() {
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000137 if (ASTList)
138 return clang::CreateASTDeclNodeLister();
139 if (ASTDump)
Alexander Kornienko61686092014-11-04 08:51:24 +0000140 return clang::CreateASTDumper(ASTDumpFilter, /*DumpDecls=*/true,
141 /*DumpLookups=*/false);
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000142 if (ASTPrint)
143 return clang::CreateASTPrinter(&llvm::outs(), 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) {
NAKAMURA Takumi8b517f12013-01-18 13:46:48 +0000151 llvm::sys::PrintStackTraceOnErrorSignal();
Alexander Kornienkob5e774e2013-12-12 09:59:42 +0000152 CommonOptionsParser OptionsParser(argc, argv, ClangCheckCategory);
Edwin Vane524741f2012-12-14 18:58:25 +0000153 ClangTool Tool(OptionsParser.getCompilations(),
154 OptionsParser.getSourcePathList());
Pavel Labath951ad642013-06-05 16:23:30 +0000155
Pavel Labathc3282c02013-06-06 12:35:43 +0000156 // Clear adjusters because -fsyntax-only is inserted by the default chain.
157 Tool.clearArgumentsAdjusters();
158 Tool.appendArgumentsAdjuster(new ClangStripOutputAdjuster());
Pavel Labath951ad642013-06-05 16:23:30 +0000159
Pavel Labathc3282c02013-06-06 12:35:43 +0000160 // Running the analyzer requires --analyze. Other modes can work with the
161 // -fsyntax-only option.
Alexander Kornienko61686092014-11-04 08:51:24 +0000162 Tool.appendArgumentsAdjuster(new InsertArgumentAdjuster(
163 Analyze ? "--analyze" : "-fsyntax-only", InsertArgumentAdjuster::BEGIN));
Pavel Labathc3282c02013-06-06 12:35:43 +0000164
Alexander Kornienko61686092014-11-04 08:51:24 +0000165 ClangCheckActionFactory CheckFactory;
Nico Weber10bf95d2014-04-28 04:57:14 +0000166 std::unique_ptr<FrontendActionFactory> FrontendFactory;
Pavel Labathc3282c02013-06-06 12:35:43 +0000167
168 // Choose the correct factory based on the selected mode.
169 if (Analyze)
170 FrontendFactory = newFrontendActionFactory<clang::ento::AnalysisAction>();
171 else if (Fixit)
172 FrontendFactory = newFrontendActionFactory<FixItAction>();
173 else
174 FrontendFactory = newFrontendActionFactory(&CheckFactory);
175
Nico Weber10bf95d2014-04-28 04:57:14 +0000176 return Tool.run(FrontendFactory.get());
Manuel Klimek47c245a2012-04-04 12:07:46 +0000177}