blob: df3b4e0d9509d3065725f6c8d0059d6565b6c9d9 [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
Alexander Kornienkob5e774e2013-12-12 09:59:42 +000081static cl::list<std::string> ArgsAfter(
82 "extra-arg",
83 cl::desc("Additional argument to append to the compiler command line"),
84 cl::cat(ClangCheckCategory));
85static cl::list<std::string> ArgsBefore(
86 "extra-arg-before",
87 cl::desc("Additional argument to prepend to the compiler command line"),
88 cl::cat(ClangCheckCategory));
Pavel Labath951ad642013-06-05 16:23:30 +000089
Daniel Jasper30abda12012-10-03 13:28:43 +000090namespace {
91
92// FIXME: Move FixItRewriteInPlace from lib/Rewrite/Frontend/FrontendActions.cpp
93// into a header file and reuse that.
94class FixItOptions : public clang::FixItOptions {
95public:
96 FixItOptions() {
97 FixWhatYouCan = ::FixWhatYouCan;
98 }
99
Craig Topper36835562014-03-15 07:47:46 +0000100 std::string RewriteFilename(const std::string& filename, int &fd) override {
Daniel Jasper30abda12012-10-03 13:28:43 +0000101 assert(llvm::sys::path::is_absolute(filename) &&
102 "clang-fixit expects absolute paths only.");
103
104 // We don't need to do permission checking here since clang will diagnose
105 // any I/O errors itself.
106
107 fd = -1; // No file descriptor for file.
108
109 return filename;
110 }
111};
112
113/// \brief Subclasses \c clang::FixItRewriter to not count fixed errors/warnings
114/// in the final error counts.
115///
116/// This has the side-effect that clang-check -fixit exits with code 0 on
117/// successfully fixing all errors.
118class FixItRewriter : public clang::FixItRewriter {
119public:
120 FixItRewriter(clang::DiagnosticsEngine& Diags,
121 clang::SourceManager& SourceMgr,
122 const clang::LangOptions& LangOpts,
123 clang::FixItOptions* FixItOpts)
124 : clang::FixItRewriter(Diags, SourceMgr, LangOpts, FixItOpts) {
125 }
126
Craig Topper36835562014-03-15 07:47:46 +0000127 bool IncludeInDiagnosticCounts() const override { return false; }
Daniel Jasper30abda12012-10-03 13:28:43 +0000128};
129
130/// \brief Subclasses \c clang::FixItAction so that we can install the custom
131/// \c FixItRewriter.
132class FixItAction : public clang::FixItAction {
133public:
Craig Topper36835562014-03-15 07:47:46 +0000134 bool BeginSourceFileAction(clang::CompilerInstance& CI,
135 StringRef Filename) override {
Daniel Jasper30abda12012-10-03 13:28:43 +0000136 FixItOpts.reset(new FixItOptions);
137 Rewriter.reset(new FixItRewriter(CI.getDiagnostics(), CI.getSourceManager(),
138 CI.getLangOpts(), FixItOpts.get()));
139 return true;
140 }
141};
142
Pavel Labath951ad642013-06-05 16:23:30 +0000143class InsertAdjuster: public clang::tooling::ArgumentsAdjuster {
144public:
145 enum Position { BEGIN, END };
146
147 InsertAdjuster(const CommandLineArguments &Extra, Position Pos)
148 : Extra(Extra), Pos(Pos) {
149 }
150
Pavel Labathc3282c02013-06-06 12:35:43 +0000151 InsertAdjuster(const char *Extra, Position Pos)
152 : Extra(1, std::string(Extra)), Pos(Pos) {
153 }
154
Pavel Labath951ad642013-06-05 16:23:30 +0000155 virtual CommandLineArguments
Craig Toppera798a9d2014-03-02 09:32:10 +0000156 Adjust(const CommandLineArguments &Args) override {
Pavel Labath951ad642013-06-05 16:23:30 +0000157 CommandLineArguments Return(Args);
158
159 CommandLineArguments::iterator I;
160 if (Pos == END) {
161 I = Return.end();
162 } else {
163 I = Return.begin();
164 ++I; // To leave the program name in place
165 }
166
167 Return.insert(I, Extra.begin(), Extra.end());
168 return Return;
169 }
170
171private:
172 const CommandLineArguments Extra;
173 const Position Pos;
174};
175
Daniel Jasper30abda12012-10-03 13:28:43 +0000176} // namespace
177
Alexander Kornienko02f481c2012-09-10 14:54:38 +0000178// Anonymous namespace here causes problems with gcc <= 4.4 on MacOS 10.6.
179// "Non-global symbol: ... can't be a weak_definition"
180namespace clang_check {
181class ClangCheckActionFactory {
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000182public:
David Blaikie6beb6aa2014-08-10 19:56:51 +0000183 std::unique_ptr<clang::ASTConsumer> newASTConsumer() {
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000184 if (ASTList)
185 return clang::CreateASTDeclNodeLister();
186 if (ASTDump)
187 return clang::CreateASTDumper(ASTDumpFilter);
188 if (ASTPrint)
189 return clang::CreateASTPrinter(&llvm::outs(), ASTDumpFilter);
David Blaikie6beb6aa2014-08-10 19:56:51 +0000190 return llvm::make_unique<clang::ASTConsumer>();
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000191 }
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000192};
Alexander Kornienko02f481c2012-09-10 14:54:38 +0000193}
Alexander Kornienkobf4871d2012-08-13 10:50:08 +0000194
Manuel Klimekff26efc2012-04-18 07:41:50 +0000195int main(int argc, const char **argv) {
NAKAMURA Takumi8b517f12013-01-18 13:46:48 +0000196 llvm::sys::PrintStackTraceOnErrorSignal();
Alexander Kornienkob5e774e2013-12-12 09:59:42 +0000197 CommonOptionsParser OptionsParser(argc, argv, ClangCheckCategory);
Edwin Vane524741f2012-12-14 18:58:25 +0000198 ClangTool Tool(OptionsParser.getCompilations(),
199 OptionsParser.getSourcePathList());
Pavel Labath951ad642013-06-05 16:23:30 +0000200
Pavel Labathc3282c02013-06-06 12:35:43 +0000201 // Clear adjusters because -fsyntax-only is inserted by the default chain.
202 Tool.clearArgumentsAdjusters();
203 Tool.appendArgumentsAdjuster(new ClangStripOutputAdjuster());
204 if (ArgsAfter.size() > 0) {
205 Tool.appendArgumentsAdjuster(new InsertAdjuster(ArgsAfter,
206 InsertAdjuster::END));
207 }
208 if (ArgsBefore.size() > 0) {
209 Tool.appendArgumentsAdjuster(new InsertAdjuster(ArgsBefore,
210 InsertAdjuster::BEGIN));
211 }
Pavel Labath951ad642013-06-05 16:23:30 +0000212
Pavel Labathc3282c02013-06-06 12:35:43 +0000213 // Running the analyzer requires --analyze. Other modes can work with the
214 // -fsyntax-only option.
215 Tool.appendArgumentsAdjuster(new InsertAdjuster(
216 Analyze ? "--analyze" : "-fsyntax-only", InsertAdjuster::BEGIN));
217
218 clang_check::ClangCheckActionFactory CheckFactory;
Nico Weber10bf95d2014-04-28 04:57:14 +0000219 std::unique_ptr<FrontendActionFactory> FrontendFactory;
Pavel Labathc3282c02013-06-06 12:35:43 +0000220
221 // Choose the correct factory based on the selected mode.
222 if (Analyze)
223 FrontendFactory = newFrontendActionFactory<clang::ento::AnalysisAction>();
224 else if (Fixit)
225 FrontendFactory = newFrontendActionFactory<FixItAction>();
226 else
227 FrontendFactory = newFrontendActionFactory(&CheckFactory);
228
Nico Weber10bf95d2014-04-28 04:57:14 +0000229 return Tool.run(FrontendFactory.get());
Manuel Klimek47c245a2012-04-04 12:07:46 +0000230}