blob: a3061f8acc42e52cbac7c3c2adb028d24992aabb [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 Prantle50371b2015-07-07 20:11:29 +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"
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 assert(llvm::sys::path::is_absolute(filename) &&
94 "clang-fixit expects absolute paths only.");
95
96 // We don't need to do permission checking here since clang will diagnose
97 // any I/O errors itself.
98
99 fd = -1; // No file descriptor for file.
100
101 return filename;
102 }
103};
104
105/// \brief Subclasses \c clang::FixItRewriter to not count fixed errors/warnings
106/// in the final error counts.
107///
108/// This has the side-effect that clang-check -fixit exits with code 0 on
109/// successfully fixing all errors.
110class FixItRewriter : public clang::FixItRewriter {
111public:
112 FixItRewriter(clang::DiagnosticsEngine& Diags,
113 clang::SourceManager& SourceMgr,
114 const clang::LangOptions& LangOpts,
115 clang::FixItOptions* FixItOpts)
116 : clang::FixItRewriter(Diags, SourceMgr, LangOpts, FixItOpts) {
117 }
118
Craig Topper36835562014-03-15 07:47:46 +0000119 bool IncludeInDiagnosticCounts() const override { return false; }
Daniel Jasper30abda12012-10-03 13:28:43 +0000120};
121
122/// \brief Subclasses \c clang::FixItAction so that we can install the custom
123/// \c FixItRewriter.
124class FixItAction : public clang::FixItAction {
125public:
Craig Topper36835562014-03-15 07:47:46 +0000126 bool BeginSourceFileAction(clang::CompilerInstance& CI,
127 StringRef Filename) override {
Daniel Jasper30abda12012-10-03 13:28:43 +0000128 FixItOpts.reset(new FixItOptions);
129 Rewriter.reset(new FixItRewriter(CI.getDiagnostics(), CI.getSourceManager(),
130 CI.getLangOpts(), FixItOpts.get()));
131 return true;
132 }
133};
134
Alexander Kornienko02f481c2012-09-10 14:54:38 +0000135class ClangCheckActionFactory {
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000136public:
David Blaikie6beb6aa2014-08-10 19:56:51 +0000137 std::unique_ptr<clang::ASTConsumer> newASTConsumer() {
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000138 if (ASTList)
139 return clang::CreateASTDeclNodeLister();
140 if (ASTDump)
Alexander Kornienko61686092014-11-04 08:51:24 +0000141 return clang::CreateASTDumper(ASTDumpFilter, /*DumpDecls=*/true,
142 /*DumpLookups=*/false);
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000143 if (ASTPrint)
144 return clang::CreateASTPrinter(&llvm::outs(), ASTDumpFilter);
David Blaikie6beb6aa2014-08-10 19:56:51 +0000145 return llvm::make_unique<clang::ASTConsumer>();
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000146 }
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000147};
Alexander Kornienko61686092014-11-04 08:51:24 +0000148
149} // namespace
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000150
Manuel Klimekff26efc2012-04-18 07:41:50 +0000151int main(int argc, const char **argv) {
NAKAMURA Takumi8b517f12013-01-18 13:46:48 +0000152 llvm::sys::PrintStackTraceOnErrorSignal();
Alexander Kornienkob5e774e2013-12-12 09:59:42 +0000153 CommonOptionsParser OptionsParser(argc, argv, ClangCheckCategory);
Edwin Vane524741f2012-12-14 18:58:25 +0000154 ClangTool Tool(OptionsParser.getCompilations(),
Adrian Prantle50371b2015-07-07 20:11:29 +0000155 OptionsParser.getSourcePathList(),
156 std::make_shared<clang::ObjectFilePCHContainerOperations>());
Pavel Labath951ad642013-06-05 16:23:30 +0000157
Pavel Labathc3282c02013-06-06 12:35:43 +0000158 // Clear adjusters because -fsyntax-only is inserted by the default chain.
159 Tool.clearArgumentsAdjusters();
Alexander Kornienko74e1c462014-12-03 17:53:02 +0000160 Tool.appendArgumentsAdjuster(getClangStripOutputAdjuster());
Pavel Labath951ad642013-06-05 16:23:30 +0000161
Pavel Labathc3282c02013-06-06 12:35:43 +0000162 // Running the analyzer requires --analyze. Other modes can work with the
163 // -fsyntax-only option.
Alexander Kornienko74e1c462014-12-03 17:53:02 +0000164 Tool.appendArgumentsAdjuster(getInsertArgumentAdjuster(
165 Analyze ? "--analyze" : "-fsyntax-only", ArgumentInsertPosition::BEGIN));
Pavel Labathc3282c02013-06-06 12:35:43 +0000166
Alexander Kornienko61686092014-11-04 08:51:24 +0000167 ClangCheckActionFactory CheckFactory;
Nico Weber10bf95d2014-04-28 04:57:14 +0000168 std::unique_ptr<FrontendActionFactory> FrontendFactory;
Pavel Labathc3282c02013-06-06 12:35:43 +0000169
170 // Choose the correct factory based on the selected mode.
171 if (Analyze)
172 FrontendFactory = newFrontendActionFactory<clang::ento::AnalysisAction>();
173 else if (Fixit)
174 FrontendFactory = newFrontendActionFactory<FixItAction>();
175 else
176 FrontendFactory = newFrontendActionFactory(&CheckFactory);
177
Nico Weber10bf95d2014-04-28 04:57:14 +0000178 return Tool.run(FrontendFactory.get());
Manuel Klimek47c245a2012-04-04 12:07:46 +0000179}