blob: 6a2ac60570d3d48ae192b56c02ddf493f1c53aa4 [file] [log] [blame]
Daniel Dunbar8305d012009-11-14 10:42:46 +00001//===--- FrontendActions.cpp ----------------------------------------------===//
2//
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
10#include "clang/Frontend/FrontendActions.h"
11#include "clang/AST/ASTConsumer.h"
12#include "clang/Basic/FileManager.h"
Daniel Dunbar8305d012009-11-14 10:42:46 +000013#include "clang/Frontend/ASTConsumers.h"
14#include "clang/Frontend/ASTUnit.h"
15#include "clang/Frontend/CompilerInstance.h"
Daniel Dunbar8305d012009-11-14 10:42:46 +000016#include "clang/Frontend/FrontendDiagnostic.h"
17#include "clang/Frontend/Utils.h"
Chandler Carruth55fc8732012-12-04 09:13:33 +000018#include "clang/Lex/HeaderSearch.h"
19#include "clang/Lex/Pragma.h"
20#include "clang/Lex/Preprocessor.h"
21#include "clang/Parse/Parser.h"
Douglas Gregorc544ba02013-03-27 16:47:18 +000022#include "clang/Serialization/ASTReader.h"
Sebastian Redl7faa2ec2010-08-18 23:56:37 +000023#include "clang/Serialization/ASTWriter.h"
Douglas Gregor77d029f2011-12-08 19:11:24 +000024#include "llvm/Support/FileSystem.h"
Douglas Gregorf033f1d2010-07-20 20:18:03 +000025#include "llvm/Support/MemoryBuffer.h"
Daniel Dunbar8305d012009-11-14 10:42:46 +000026#include "llvm/Support/raw_ostream.h"
Stephen Hines651f13c2014-04-23 16:59:28 -070027#include <memory>
Stephen Hinesc568f1e2014-07-21 00:47:37 -070028#include <system_error>
Douglas Gregor10efbaf2011-09-23 23:43:36 +000029
Daniel Dunbar8305d012009-11-14 10:42:46 +000030using namespace clang;
31
Daniel Dunbar5f3b9972009-11-14 10:42:57 +000032//===----------------------------------------------------------------------===//
Daniel Dunbar27585952010-03-19 19:44:04 +000033// Custom Actions
34//===----------------------------------------------------------------------===//
35
Stephen Hines176edba2014-12-01 14:53:08 -080036std::unique_ptr<ASTConsumer>
37InitOnlyAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
38 return llvm::make_unique<ASTConsumer>();
Daniel Dunbar27585952010-03-19 19:44:04 +000039}
40
41void InitOnlyAction::ExecuteAction() {
42}
43
44//===----------------------------------------------------------------------===//
Daniel Dunbar5f3b9972009-11-14 10:42:57 +000045// AST Consumer Actions
46//===----------------------------------------------------------------------===//
47
Stephen Hines176edba2014-12-01 14:53:08 -080048std::unique_ptr<ASTConsumer>
49ASTPrintAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
Chris Lattner5f9e2722011-07-23 10:55:15 +000050 if (raw_ostream *OS = CI.createDefaultOutputFile(false, InFile))
Alexander Kornienkoe34a0522012-07-26 16:01:23 +000051 return CreateASTPrinter(OS, CI.getFrontendOpts().ASTDumpFilter);
Stephen Hines6bcf27b2014-05-29 04:14:42 -070052 return nullptr;
Daniel Dunbar8305d012009-11-14 10:42:46 +000053}
54
Stephen Hines176edba2014-12-01 14:53:08 -080055std::unique_ptr<ASTConsumer>
56ASTDumpAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
Richard Smithab297cc2013-06-24 01:45:33 +000057 return CreateASTDumper(CI.getFrontendOpts().ASTDumpFilter,
Stephen Hines176edba2014-12-01 14:53:08 -080058 CI.getFrontendOpts().ASTDumpDecls,
Richard Smithab297cc2013-06-24 01:45:33 +000059 CI.getFrontendOpts().ASTDumpLookups);
Daniel Dunbar8305d012009-11-14 10:42:46 +000060}
61
Stephen Hines176edba2014-12-01 14:53:08 -080062std::unique_ptr<ASTConsumer>
63ASTDeclListAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
Alexander Kornienko171af642012-07-31 09:37:40 +000064 return CreateASTDeclNodeLister();
65}
66
Stephen Hines176edba2014-12-01 14:53:08 -080067std::unique_ptr<ASTConsumer>
68ASTViewAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
Daniel Dunbar8305d012009-11-14 10:42:46 +000069 return CreateASTViewer();
70}
71
Stephen Hines176edba2014-12-01 14:53:08 -080072std::unique_ptr<ASTConsumer>
73DeclContextPrintAction::CreateASTConsumer(CompilerInstance &CI,
74 StringRef InFile) {
Daniel Dunbar8305d012009-11-14 10:42:46 +000075 return CreateDeclContextPrinter();
76}
77
Stephen Hines176edba2014-12-01 14:53:08 -080078std::unique_ptr<ASTConsumer>
79GeneratePCHAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
Douglas Gregor1d715ac2010-08-03 08:14:03 +000080 std::string Sysroot;
Argyrios Kyrtzidis8e3df4d2011-02-15 17:54:22 +000081 std::string OutputFile;
Stephen Hines6bcf27b2014-05-29 04:14:42 -070082 raw_ostream *OS = nullptr;
Douglas Gregor9293ba82011-08-25 22:35:51 +000083 if (ComputeASTConsumerArguments(CI, InFile, Sysroot, OutputFile, OS))
Stephen Hines6bcf27b2014-05-29 04:14:42 -070084 return nullptr;
Douglas Gregor1d715ac2010-08-03 08:14:03 +000085
Douglas Gregor832d6202011-07-22 16:35:34 +000086 if (!CI.getFrontendOpts().RelocatablePCH)
87 Sysroot.clear();
Stephen Hines176edba2014-12-01 14:53:08 -080088 return llvm::make_unique<PCHGenerator>(CI.getPreprocessor(), OutputFile,
89 nullptr, Sysroot, OS);
Douglas Gregor1d715ac2010-08-03 08:14:03 +000090}
91
92bool GeneratePCHAction::ComputeASTConsumerArguments(CompilerInstance &CI,
Chris Lattner5f9e2722011-07-23 10:55:15 +000093 StringRef InFile,
Douglas Gregor1d715ac2010-08-03 08:14:03 +000094 std::string &Sysroot,
Argyrios Kyrtzidis8e3df4d2011-02-15 17:54:22 +000095 std::string &OutputFile,
Douglas Gregor9293ba82011-08-25 22:35:51 +000096 raw_ostream *&OS) {
Douglas Gregor1d715ac2010-08-03 08:14:03 +000097 Sysroot = CI.getHeaderSearchOpts().Sysroot;
98 if (CI.getFrontendOpts().RelocatablePCH && Sysroot.empty()) {
Sebastian Redl11c3dc42010-08-17 17:55:38 +000099 CI.getDiagnostics().Report(diag::err_relocatable_without_isysroot);
Douglas Gregor1d715ac2010-08-03 08:14:03 +0000100 return true;
Daniel Dunbar8305d012009-11-14 10:42:46 +0000101 }
102
Daniel Dunbarc7a9cda2011-01-31 22:00:44 +0000103 // We use createOutputFile here because this is exposed via libclang, and we
104 // must disable the RemoveFileOnSignal behavior.
Argyrios Kyrtzidis7e909852011-07-28 00:45:10 +0000105 // We use a temporary to avoid race conditions.
Daniel Dunbarc7a9cda2011-01-31 22:00:44 +0000106 OS = CI.createOutputFile(CI.getFrontendOpts().OutputFile, /*Binary=*/true,
Argyrios Kyrtzidis7e909852011-07-28 00:45:10 +0000107 /*RemoveFileOnSignal=*/false, InFile,
108 /*Extension=*/"", /*useTemporary=*/true);
Daniel Dunbar36043592009-12-03 09:13:30 +0000109 if (!OS)
Douglas Gregor1d715ac2010-08-03 08:14:03 +0000110 return true;
Daniel Dunbar36043592009-12-03 09:13:30 +0000111
Argyrios Kyrtzidis8e3df4d2011-02-15 17:54:22 +0000112 OutputFile = CI.getFrontendOpts().OutputFile;
Douglas Gregor1d715ac2010-08-03 08:14:03 +0000113 return false;
Daniel Dunbar8305d012009-11-14 10:42:46 +0000114}
115
Stephen Hines176edba2014-12-01 14:53:08 -0800116std::unique_ptr<ASTConsumer>
117GenerateModuleAction::CreateASTConsumer(CompilerInstance &CI,
118 StringRef InFile) {
Douglas Gregordb1cde72011-11-16 00:09:06 +0000119 std::string Sysroot;
120 std::string OutputFile;
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700121 raw_ostream *OS = nullptr;
Douglas Gregordb1cde72011-11-16 00:09:06 +0000122 if (ComputeASTConsumerArguments(CI, InFile, Sysroot, OutputFile, OS))
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700123 return nullptr;
124
Stephen Hines176edba2014-12-01 14:53:08 -0800125 return llvm::make_unique<PCHGenerator>(CI.getPreprocessor(), OutputFile,
126 Module, Sysroot, OS);
Douglas Gregordb1cde72011-11-16 00:09:06 +0000127}
128
Argyrios Kyrtzidis2a857182012-10-10 02:12:39 +0000129static SmallVectorImpl<char> &
130operator+=(SmallVectorImpl<char> &Includes, StringRef RHS) {
131 Includes.append(RHS.begin(), RHS.end());
132 return Includes;
133}
134
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700135static std::error_code addHeaderInclude(StringRef HeaderName,
136 SmallVectorImpl<char> &Includes,
137 const LangOptions &LangOpts,
138 bool IsExternC) {
Stephen Hines651f13c2014-04-23 16:59:28 -0700139 if (IsExternC && LangOpts.CPlusPlus)
140 Includes += "extern \"C\" {\n";
Argyrios Kyrtzidis2a857182012-10-10 02:12:39 +0000141 if (LangOpts.ObjC1)
142 Includes += "#import \"";
143 else
144 Includes += "#include \"";
Stephen Hines651f13c2014-04-23 16:59:28 -0700145 // Use an absolute path for the include; there's no reason to think that
146 // a relative path will work (. might not be on our include path) or that
147 // it will find the same file.
148 if (llvm::sys::path::is_absolute(HeaderName)) {
149 Includes += HeaderName;
150 } else {
151 SmallString<256> Header = HeaderName;
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700152 if (std::error_code Err = llvm::sys::fs::make_absolute(Header))
Stephen Hines651f13c2014-04-23 16:59:28 -0700153 return Err;
154 Includes += Header;
155 }
Argyrios Kyrtzidis2a857182012-10-10 02:12:39 +0000156 Includes += "\"\n";
Stephen Hines651f13c2014-04-23 16:59:28 -0700157 if (IsExternC && LangOpts.CPlusPlus)
158 Includes += "}\n";
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700159 return std::error_code();
Argyrios Kyrtzidis2a857182012-10-10 02:12:39 +0000160}
161
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700162static std::error_code addHeaderInclude(const FileEntry *Header,
163 SmallVectorImpl<char> &Includes,
164 const LangOptions &LangOpts,
165 bool IsExternC) {
Stephen Hines651f13c2014-04-23 16:59:28 -0700166 return addHeaderInclude(Header->getName(), Includes, LangOpts, IsExternC);
Argyrios Kyrtzidis2a857182012-10-10 02:12:39 +0000167}
168
Douglas Gregor261e75b2011-11-16 17:04:00 +0000169/// \brief Collect the set of header includes needed to construct the given
Argyrios Kyrtzidisc7782d92012-10-05 00:22:33 +0000170/// module and update the TopHeaders file set of the module.
Douglas Gregor261e75b2011-11-16 17:04:00 +0000171///
172/// \param Module The module we're collecting includes from.
Douglas Gregor8075ce62011-12-06 17:15:11 +0000173///
James Dennett5e9dda62012-06-15 21:48:19 +0000174/// \param Includes Will be augmented with the set of \#includes or \#imports
Douglas Gregor8075ce62011-12-06 17:15:11 +0000175/// needed to load all of the named headers.
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700176static std::error_code
Stephen Hines651f13c2014-04-23 16:59:28 -0700177collectModuleHeaderIncludes(const LangOptions &LangOpts, FileManager &FileMgr,
178 ModuleMap &ModMap, clang::Module *Module,
179 SmallVectorImpl<char> &Includes) {
Douglas Gregor51f564f2011-12-31 04:05:44 +0000180 // Don't collect any headers for unavailable modules.
181 if (!Module->isAvailable())
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700182 return std::error_code();
Douglas Gregor51f564f2011-12-31 04:05:44 +0000183
Douglas Gregor8075ce62011-12-06 17:15:11 +0000184 // Add includes for each of these headers.
Lawrence Crowlbc3f6282013-06-20 21:14:14 +0000185 for (unsigned I = 0, N = Module->NormalHeaders.size(); I != N; ++I) {
186 const FileEntry *Header = Module->NormalHeaders[I];
Argyrios Kyrtzidisc1d22392013-03-13 21:13:43 +0000187 Module->addTopHeader(Header);
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700188 if (std::error_code Err =
Stephen Hines651f13c2014-04-23 16:59:28 -0700189 addHeaderInclude(Header, Includes, LangOpts, Module->IsExternC))
190 return Err;
Douglas Gregor2f04f182012-02-02 18:42:48 +0000191 }
Lawrence Crowlbc3f6282013-06-20 21:14:14 +0000192 // Note that Module->PrivateHeaders will not be a TopHeader.
Douglas Gregor8075ce62011-12-06 17:15:11 +0000193
Douglas Gregor10694ce2011-12-08 17:39:04 +0000194 if (const FileEntry *UmbrellaHeader = Module->getUmbrellaHeader()) {
Argyrios Kyrtzidisc1d22392013-03-13 21:13:43 +0000195 Module->addTopHeader(UmbrellaHeader);
Douglas Gregor2f04f182012-02-02 18:42:48 +0000196 if (Module->Parent) {
197 // Include the umbrella header for submodules.
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700198 if (std::error_code Err = addHeaderInclude(UmbrellaHeader, Includes,
199 LangOpts, Module->IsExternC))
Stephen Hines651f13c2014-04-23 16:59:28 -0700200 return Err;
Douglas Gregor2f04f182012-02-02 18:42:48 +0000201 }
Douglas Gregor77d029f2011-12-08 19:11:24 +0000202 } else if (const DirectoryEntry *UmbrellaDir = Module->getUmbrellaDir()) {
Douglas Gregor752769f2012-01-05 00:04:05 +0000203 // Add all of the headers we find in this subdirectory.
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700204 std::error_code EC;
Dylan Noblesmithf7ccbad2012-02-05 02:13:05 +0000205 SmallString<128> DirNative;
Douglas Gregor77d029f2011-12-08 19:11:24 +0000206 llvm::sys::path::native(UmbrellaDir->getName(), DirNative);
Douglas Gregor3b29bb92011-12-12 19:13:53 +0000207 for (llvm::sys::fs::recursive_directory_iterator Dir(DirNative.str(), EC),
208 DirEnd;
Douglas Gregor77d029f2011-12-08 19:11:24 +0000209 Dir != DirEnd && !EC; Dir.increment(EC)) {
210 // Check whether this entry has an extension typically associated with
211 // headers.
212 if (!llvm::StringSwitch<bool>(llvm::sys::path::extension(Dir->path()))
213 .Cases(".h", ".H", ".hh", ".hpp", true)
214 .Default(false))
215 continue;
216
Douglas Gregor752769f2012-01-05 00:04:05 +0000217 // If this header is marked 'unavailable' in this module, don't include
218 // it.
Argyrios Kyrtzidisc7782d92012-10-05 00:22:33 +0000219 if (const FileEntry *Header = FileMgr.getFile(Dir->path())) {
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700220 if (ModMap.isHeaderUnavailableInModule(Header, Module))
Douglas Gregor752769f2012-01-05 00:04:05 +0000221 continue;
Argyrios Kyrtzidisc1d22392013-03-13 21:13:43 +0000222 Module->addTopHeader(Header);
Argyrios Kyrtzidisc7782d92012-10-05 00:22:33 +0000223 }
Douglas Gregor752769f2012-01-05 00:04:05 +0000224
Stephen Hines651f13c2014-04-23 16:59:28 -0700225 // Include this header as part of the umbrella directory.
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700226 if (std::error_code Err = addHeaderInclude(Dir->path(), Includes,
227 LangOpts, Module->IsExternC))
Stephen Hines651f13c2014-04-23 16:59:28 -0700228 return Err;
Douglas Gregor77d029f2011-12-08 19:11:24 +0000229 }
Stephen Hines651f13c2014-04-23 16:59:28 -0700230
231 if (EC)
232 return EC;
Douglas Gregor261e75b2011-11-16 17:04:00 +0000233 }
234
235 // Recurse into submodules.
Douglas Gregorb7a78192012-01-04 23:32:19 +0000236 for (clang::Module::submodule_iterator Sub = Module->submodule_begin(),
237 SubEnd = Module->submodule_end();
Douglas Gregor8075ce62011-12-06 17:15:11 +0000238 Sub != SubEnd; ++Sub)
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700239 if (std::error_code Err = collectModuleHeaderIncludes(
Stephen Hines651f13c2014-04-23 16:59:28 -0700240 LangOpts, FileMgr, ModMap, *Sub, Includes))
241 return Err;
242
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700243 return std::error_code();
Douglas Gregor261e75b2011-11-16 17:04:00 +0000244}
245
Douglas Gregordb1cde72011-11-16 00:09:06 +0000246bool GenerateModuleAction::BeginSourceFileAction(CompilerInstance &CI,
247 StringRef Filename) {
248 // Find the module map file.
249 const FileEntry *ModuleMap = CI.getFileManager().getFile(Filename);
250 if (!ModuleMap) {
251 CI.getDiagnostics().Report(diag::err_module_map_not_found)
252 << Filename;
253 return false;
254 }
255
256 // Parse the module map file.
257 HeaderSearch &HS = CI.getPreprocessor().getHeaderSearchInfo();
Douglas Gregor8f5d7d12013-06-21 16:28:10 +0000258 if (HS.loadModuleMapFile(ModuleMap, IsSystem))
Douglas Gregordb1cde72011-11-16 00:09:06 +0000259 return false;
260
261 if (CI.getLangOpts().CurrentModule.empty()) {
262 CI.getDiagnostics().Report(diag::err_missing_module_name);
263
264 // FIXME: Eventually, we could consider asking whether there was just
265 // a single module described in the module map, and use that as a
266 // default. Then it would be fairly trivial to just "compile" a module
267 // map with a single module (the common case).
268 return false;
269 }
Stephen Hines651f13c2014-04-23 16:59:28 -0700270
271 // If we're being run from the command-line, the module build stack will not
272 // have been filled in yet, so complete it now in order to allow us to detect
273 // module cycles.
274 SourceManager &SourceMgr = CI.getSourceManager();
275 if (SourceMgr.getModuleBuildStack().empty())
276 SourceMgr.pushModuleBuildStack(CI.getLangOpts().CurrentModule,
277 FullSourceLoc(SourceLocation(), SourceMgr));
278
Douglas Gregordb1cde72011-11-16 00:09:06 +0000279 // Dig out the module definition.
Douglas Gregore434ec72012-01-29 17:08:11 +0000280 Module = HS.lookupModule(CI.getLangOpts().CurrentModule,
281 /*AllowSearch=*/false);
Douglas Gregordb1cde72011-11-16 00:09:06 +0000282 if (!Module) {
283 CI.getDiagnostics().Report(diag::err_missing_module)
284 << CI.getLangOpts().CurrentModule << Filename;
285
286 return false;
287 }
Douglas Gregor51f564f2011-12-31 04:05:44 +0000288
289 // Check whether we can build this module at all.
Richard Smith5794b532013-10-28 22:18:19 +0000290 clang::Module::Requirement Requirement;
Stephen Hines651f13c2014-04-23 16:59:28 -0700291 clang::Module::HeaderDirective MissingHeader;
292 if (!Module->isAvailable(CI.getLangOpts(), CI.getTarget(), Requirement,
293 MissingHeader)) {
294 if (MissingHeader.FileNameLoc.isValid()) {
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700295 CI.getDiagnostics().Report(MissingHeader.FileNameLoc,
296 diag::err_module_header_missing)
Stephen Hines651f13c2014-04-23 16:59:28 -0700297 << MissingHeader.IsUmbrella << MissingHeader.FileName;
298 } else {
299 CI.getDiagnostics().Report(diag::err_module_unavailable)
300 << Module->getFullModuleName()
301 << Requirement.second << Requirement.first;
302 }
Douglas Gregor51f564f2011-12-31 04:05:44 +0000303
304 return false;
305 }
306
Stephen Hines176edba2014-12-01 14:53:08 -0800307 if (ModuleMapForUniquing && ModuleMapForUniquing != ModuleMap) {
308 Module->IsInferred = true;
309 HS.getModuleMap().setInferredModuleAllowedBy(Module, ModuleMapForUniquing);
310 } else {
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700311 ModuleMapForUniquing = ModuleMap;
Stephen Hines176edba2014-12-01 14:53:08 -0800312 }
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700313
Argyrios Kyrtzidis2a857182012-10-10 02:12:39 +0000314 FileManager &FileMgr = CI.getFileManager();
315
Douglas Gregor261e75b2011-11-16 17:04:00 +0000316 // Collect the set of #includes we need to build the module.
Dylan Noblesmithf7ccbad2012-02-05 02:13:05 +0000317 SmallString<256> HeaderContents;
Stephen Hinesc568f1e2014-07-21 00:47:37 -0700318 std::error_code Err = std::error_code();
Argyrios Kyrtzidis2a857182012-10-10 02:12:39 +0000319 if (const FileEntry *UmbrellaHeader = Module->getUmbrellaHeader())
Stephen Hines651f13c2014-04-23 16:59:28 -0700320 Err = addHeaderInclude(UmbrellaHeader, HeaderContents, CI.getLangOpts(),
321 Module->IsExternC);
322 if (!Err)
323 Err = collectModuleHeaderIncludes(
324 CI.getLangOpts(), FileMgr,
325 CI.getPreprocessor().getHeaderSearchInfo().getModuleMap(), Module,
326 HeaderContents);
327
328 if (Err) {
329 CI.getDiagnostics().Report(diag::err_module_cannot_create_includes)
330 << Module->getFullModuleName() << Err.message();
331 return false;
332 }
Douglas Gregor261e75b2011-11-16 17:04:00 +0000333
Stephen Hines176edba2014-12-01 14:53:08 -0800334 std::unique_ptr<llvm::MemoryBuffer> InputBuffer =
Argyrios Kyrtzidis992d9172012-11-15 18:57:27 +0000335 llvm::MemoryBuffer::getMemBufferCopy(HeaderContents,
336 Module::getModuleInputBufferName());
Stephen Hines651f13c2014-04-23 16:59:28 -0700337 // Ownership of InputBuffer will be transferred to the SourceManager.
Stephen Hines176edba2014-12-01 14:53:08 -0800338 setCurrentInput(FrontendInputFile(InputBuffer.release(), getCurrentFileKind(),
Douglas Gregora1f1fad2012-01-27 19:52:33 +0000339 Module->IsSystem));
Douglas Gregordb1cde72011-11-16 00:09:06 +0000340 return true;
341}
342
343bool GenerateModuleAction::ComputeASTConsumerArguments(CompilerInstance &CI,
344 StringRef InFile,
345 std::string &Sysroot,
346 std::string &OutputFile,
347 raw_ostream *&OS) {
348 // If no output file was provided, figure out where this module would go
349 // in the module cache.
350 if (CI.getFrontendOpts().OutputFile.empty()) {
351 HeaderSearch &HS = CI.getPreprocessor().getHeaderSearchInfo();
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700352 CI.getFrontendOpts().OutputFile =
353 HS.getModuleFileName(CI.getLangOpts().CurrentModule,
354 ModuleMapForUniquing->getName());
Douglas Gregordb1cde72011-11-16 00:09:06 +0000355 }
356
357 // We use createOutputFile here because this is exposed via libclang, and we
358 // must disable the RemoveFileOnSignal behavior.
359 // We use a temporary to avoid race conditions.
360 OS = CI.createOutputFile(CI.getFrontendOpts().OutputFile, /*Binary=*/true,
361 /*RemoveFileOnSignal=*/false, InFile,
Daniel Dunbar12f28ab2012-03-03 00:36:02 +0000362 /*Extension=*/"", /*useTemporary=*/true,
363 /*CreateMissingDirectories=*/true);
Douglas Gregordb1cde72011-11-16 00:09:06 +0000364 if (!OS)
365 return true;
366
367 OutputFile = CI.getFrontendOpts().OutputFile;
368 return false;
369}
370
Stephen Hines176edba2014-12-01 14:53:08 -0800371std::unique_ptr<ASTConsumer>
372SyntaxOnlyAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
373 return llvm::make_unique<ASTConsumer>();
Daniel Dunbar8305d012009-11-14 10:42:46 +0000374}
375
Stephen Hines176edba2014-12-01 14:53:08 -0800376std::unique_ptr<ASTConsumer>
377DumpModuleInfoAction::CreateASTConsumer(CompilerInstance &CI,
378 StringRef InFile) {
379 return llvm::make_unique<ASTConsumer>();
Douglas Gregorc544ba02013-03-27 16:47:18 +0000380}
381
Stephen Hines176edba2014-12-01 14:53:08 -0800382std::unique_ptr<ASTConsumer>
383VerifyPCHAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
384 return llvm::make_unique<ASTConsumer>();
Stephen Hines651f13c2014-04-23 16:59:28 -0700385}
386
387void VerifyPCHAction::ExecuteAction() {
388 CompilerInstance &CI = getCompilerInstance();
389 bool Preamble = CI.getPreprocessorOpts().PrecompiledPreambleBytes.first != 0;
390 const std::string &Sysroot = CI.getHeaderSearchOpts().Sysroot;
391 std::unique_ptr<ASTReader> Reader(
392 new ASTReader(CI.getPreprocessor(), CI.getASTContext(),
393 Sysroot.empty() ? "" : Sysroot.c_str(),
394 /*DisableValidation*/ false,
395 /*AllowPCHWithCompilerErrors*/ false,
396 /*AllowConfigurationMismatch*/ true,
397 /*ValidateSystemInputs*/ true));
398
399 Reader->ReadAST(getCurrentFile(),
400 Preamble ? serialization::MK_Preamble
401 : serialization::MK_PCH,
402 SourceLocation(),
403 ASTReader::ARR_ConfigurationMismatch);
404}
405
Douglas Gregorc544ba02013-03-27 16:47:18 +0000406namespace {
407 /// \brief AST reader listener that dumps module information for a module
408 /// file.
409 class DumpModuleInfoListener : public ASTReaderListener {
410 llvm::raw_ostream &Out;
411
412 public:
413 DumpModuleInfoListener(llvm::raw_ostream &Out) : Out(Out) { }
414
415#define DUMP_BOOLEAN(Value, Text) \
416 Out.indent(4) << Text << ": " << (Value? "Yes" : "No") << "\n"
417
Stephen Hines651f13c2014-04-23 16:59:28 -0700418 bool ReadFullVersionInformation(StringRef FullVersion) override {
Douglas Gregorc544ba02013-03-27 16:47:18 +0000419 Out.indent(2)
420 << "Generated by "
421 << (FullVersion == getClangFullRepositoryVersion()? "this"
422 : "a different")
423 << " Clang: " << FullVersion << "\n";
424 return ASTReaderListener::ReadFullVersionInformation(FullVersion);
425 }
426
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700427 void ReadModuleName(StringRef ModuleName) override {
428 Out.indent(2) << "Module name: " << ModuleName << "\n";
429 }
430 void ReadModuleMapFile(StringRef ModuleMapPath) override {
431 Out.indent(2) << "Module map file: " << ModuleMapPath << "\n";
432 }
433
Stephen Hines176edba2014-12-01 14:53:08 -0800434 bool ReadLanguageOptions(const LangOptions &LangOpts, bool Complain,
435 bool AllowCompatibleDifferences) override {
Douglas Gregorc544ba02013-03-27 16:47:18 +0000436 Out.indent(2) << "Language options:\n";
437#define LANGOPT(Name, Bits, Default, Description) \
438 DUMP_BOOLEAN(LangOpts.Name, Description);
439#define ENUM_LANGOPT(Name, Type, Bits, Default, Description) \
440 Out.indent(4) << Description << ": " \
441 << static_cast<unsigned>(LangOpts.get##Name()) << "\n";
442#define VALUE_LANGOPT(Name, Bits, Default, Description) \
443 Out.indent(4) << Description << ": " << LangOpts.Name << "\n";
444#define BENIGN_LANGOPT(Name, Bits, Default, Description)
445#define BENIGN_ENUM_LANGOPT(Name, Type, Bits, Default, Description)
446#include "clang/Basic/LangOptions.def"
447 return false;
448 }
449
Stephen Hines651f13c2014-04-23 16:59:28 -0700450 bool ReadTargetOptions(const TargetOptions &TargetOpts,
451 bool Complain) override {
Douglas Gregorc544ba02013-03-27 16:47:18 +0000452 Out.indent(2) << "Target options:\n";
453 Out.indent(4) << " Triple: " << TargetOpts.Triple << "\n";
454 Out.indent(4) << " CPU: " << TargetOpts.CPU << "\n";
455 Out.indent(4) << " ABI: " << TargetOpts.ABI << "\n";
Douglas Gregorc544ba02013-03-27 16:47:18 +0000456
457 if (!TargetOpts.FeaturesAsWritten.empty()) {
458 Out.indent(4) << "Target features:\n";
459 for (unsigned I = 0, N = TargetOpts.FeaturesAsWritten.size();
460 I != N; ++I) {
461 Out.indent(6) << TargetOpts.FeaturesAsWritten[I] << "\n";
462 }
463 }
464
465 return false;
466 }
467
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700468 virtual bool
469 ReadDiagnosticOptions(IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts,
470 bool Complain) override {
471 Out.indent(2) << "Diagnostic options:\n";
472#define DIAGOPT(Name, Bits, Default) DUMP_BOOLEAN(DiagOpts->Name, #Name);
473#define ENUM_DIAGOPT(Name, Type, Bits, Default) \
474 Out.indent(4) << #Name << ": " << DiagOpts->get##Name() << "\n";
475#define VALUE_DIAGOPT(Name, Bits, Default) \
476 Out.indent(4) << #Name << ": " << DiagOpts->Name << "\n";
477#include "clang/Basic/DiagnosticOptions.def"
478
Stephen Hines176edba2014-12-01 14:53:08 -0800479 Out.indent(4) << "Diagnostic flags:\n";
480 for (const std::string &Warning : DiagOpts->Warnings)
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700481 Out.indent(6) << "-W" << Warning << "\n";
Stephen Hines176edba2014-12-01 14:53:08 -0800482 for (const std::string &Remark : DiagOpts->Remarks)
483 Out.indent(6) << "-R" << Remark << "\n";
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700484
485 return false;
486 }
487
Stephen Hines651f13c2014-04-23 16:59:28 -0700488 bool ReadHeaderSearchOptions(const HeaderSearchOptions &HSOpts,
489 bool Complain) override {
Douglas Gregorc544ba02013-03-27 16:47:18 +0000490 Out.indent(2) << "Header search options:\n";
491 Out.indent(4) << "System root [-isysroot=]: '" << HSOpts.Sysroot << "'\n";
492 DUMP_BOOLEAN(HSOpts.UseBuiltinIncludes,
493 "Use builtin include directories [-nobuiltininc]");
494 DUMP_BOOLEAN(HSOpts.UseStandardSystemIncludes,
495 "Use standard system include directories [-nostdinc]");
496 DUMP_BOOLEAN(HSOpts.UseStandardCXXIncludes,
497 "Use standard C++ include directories [-nostdinc++]");
498 DUMP_BOOLEAN(HSOpts.UseLibcxx,
499 "Use libc++ (rather than libstdc++) [-stdlib=]");
500 return false;
501 }
502
Stephen Hines651f13c2014-04-23 16:59:28 -0700503 bool ReadPreprocessorOptions(const PreprocessorOptions &PPOpts,
504 bool Complain,
505 std::string &SuggestedPredefines) override {
Douglas Gregorc544ba02013-03-27 16:47:18 +0000506 Out.indent(2) << "Preprocessor options:\n";
507 DUMP_BOOLEAN(PPOpts.UsePredefines,
508 "Uses compiler/target-specific predefines [-undef]");
509 DUMP_BOOLEAN(PPOpts.DetailedRecord,
510 "Uses detailed preprocessing record (for indexing)");
511
512 if (!PPOpts.Macros.empty()) {
513 Out.indent(4) << "Predefined macros:\n";
514 }
515
516 for (std::vector<std::pair<std::string, bool/*isUndef*/> >::const_iterator
517 I = PPOpts.Macros.begin(), IEnd = PPOpts.Macros.end();
518 I != IEnd; ++I) {
519 Out.indent(6);
520 if (I->second)
521 Out << "-U";
522 else
523 Out << "-D";
524 Out << I->first << "\n";
525 }
526 return false;
527 }
528#undef DUMP_BOOLEAN
529 };
530}
531
532void DumpModuleInfoAction::ExecuteAction() {
533 // Set up the output file.
Stephen Hines651f13c2014-04-23 16:59:28 -0700534 std::unique_ptr<llvm::raw_fd_ostream> OutFile;
Douglas Gregorc544ba02013-03-27 16:47:18 +0000535 StringRef OutputFileName = getCompilerInstance().getFrontendOpts().OutputFile;
536 if (!OutputFileName.empty() && OutputFileName != "-") {
Stephen Hines176edba2014-12-01 14:53:08 -0800537 std::error_code EC;
538 OutFile.reset(new llvm::raw_fd_ostream(OutputFileName.str(), EC,
539 llvm::sys::fs::F_Text));
Douglas Gregorc544ba02013-03-27 16:47:18 +0000540 }
541 llvm::raw_ostream &Out = OutFile.get()? *OutFile.get() : llvm::outs();
542
543 Out << "Information for module file '" << getCurrentFile() << "':\n";
544 DumpModuleInfoListener Listener(Out);
545 ASTReader::readASTFileControlBlock(getCurrentFile(),
546 getCompilerInstance().getFileManager(),
547 Listener);
548}
549
Daniel Dunbar5f3b9972009-11-14 10:42:57 +0000550//===----------------------------------------------------------------------===//
551// Preprocessor Actions
552//===----------------------------------------------------------------------===//
553
554void DumpRawTokensAction::ExecuteAction() {
555 Preprocessor &PP = getCompilerInstance().getPreprocessor();
556 SourceManager &SM = PP.getSourceManager();
557
558 // Start lexing the specified input file.
Chris Lattner6e290142009-11-30 04:18:44 +0000559 const llvm::MemoryBuffer *FromFile = SM.getBuffer(SM.getMainFileID());
David Blaikie4e4d0842012-03-11 07:00:24 +0000560 Lexer RawLex(SM.getMainFileID(), FromFile, SM, PP.getLangOpts());
Daniel Dunbar5f3b9972009-11-14 10:42:57 +0000561 RawLex.SetKeepWhitespaceMode(true);
562
563 Token RawTok;
564 RawLex.LexFromRawLexer(RawTok);
565 while (RawTok.isNot(tok::eof)) {
566 PP.DumpToken(RawTok, true);
Daniel Dunbar33f57f82009-11-25 10:27:48 +0000567 llvm::errs() << "\n";
Daniel Dunbar5f3b9972009-11-14 10:42:57 +0000568 RawLex.LexFromRawLexer(RawTok);
569 }
570}
571
572void DumpTokensAction::ExecuteAction() {
573 Preprocessor &PP = getCompilerInstance().getPreprocessor();
574 // Start preprocessing the specified input file.
575 Token Tok;
Chris Lattnere127a0d2010-04-20 20:35:58 +0000576 PP.EnterMainSourceFile();
Daniel Dunbar5f3b9972009-11-14 10:42:57 +0000577 do {
578 PP.Lex(Tok);
579 PP.DumpToken(Tok, true);
Daniel Dunbar33f57f82009-11-25 10:27:48 +0000580 llvm::errs() << "\n";
Daniel Dunbar5f3b9972009-11-14 10:42:57 +0000581 } while (Tok.isNot(tok::eof));
582}
583
584void GeneratePTHAction::ExecuteAction() {
585 CompilerInstance &CI = getCompilerInstance();
586 if (CI.getFrontendOpts().OutputFile.empty() ||
587 CI.getFrontendOpts().OutputFile == "-") {
588 // FIXME: Don't fail this way.
589 // FIXME: Verify that we can actually seek in the given file.
Chris Lattner83e7a782010-04-07 22:58:06 +0000590 llvm::report_fatal_error("PTH requires a seekable file for output!");
Daniel Dunbar5f3b9972009-11-14 10:42:57 +0000591 }
592 llvm::raw_fd_ostream *OS =
593 CI.createDefaultOutputFile(true, getCurrentFile());
Daniel Dunbar36043592009-12-03 09:13:30 +0000594 if (!OS) return;
595
Daniel Dunbar5f3b9972009-11-14 10:42:57 +0000596 CacheTokens(CI.getPreprocessor(), OS);
597}
598
Daniel Dunbar5f3b9972009-11-14 10:42:57 +0000599void PreprocessOnlyAction::ExecuteAction() {
600 Preprocessor &PP = getCompilerInstance().getPreprocessor();
601
Daniel Dunbarc72cc502010-06-11 20:10:12 +0000602 // Ignore unknown pragmas.
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700603 PP.IgnorePragmas();
Daniel Dunbarc72cc502010-06-11 20:10:12 +0000604
Daniel Dunbar5f3b9972009-11-14 10:42:57 +0000605 Token Tok;
606 // Start parsing the specified input file.
Chris Lattnere127a0d2010-04-20 20:35:58 +0000607 PP.EnterMainSourceFile();
Daniel Dunbar5f3b9972009-11-14 10:42:57 +0000608 do {
609 PP.Lex(Tok);
610 } while (Tok.isNot(tok::eof));
611}
612
Daniel Dunbar5f3b9972009-11-14 10:42:57 +0000613void PrintPreprocessedAction::ExecuteAction() {
614 CompilerInstance &CI = getCompilerInstance();
Douglas Gregor10efbaf2011-09-23 23:43:36 +0000615 // Output file may need to be set to 'Binary', to avoid converting Unix style
Steve Naroffd57d7c02010-01-05 17:33:23 +0000616 // line feeds (<LF>) to Microsoft style line feeds (<CR><LF>).
Douglas Gregor10efbaf2011-09-23 23:43:36 +0000617 //
618 // Look to see what type of line endings the file uses. If there's a
619 // CRLF, then we won't open the file up in binary mode. If there is
620 // just an LF or CR, then we will open the file up in binary mode.
621 // In this fashion, the output format should match the input format, unless
622 // the input format has inconsistent line endings.
623 //
624 // This should be a relatively fast operation since most files won't have
625 // all of their source code on a single line. However, that is still a
626 // concern, so if we scan for too long, we'll just assume the file should
627 // be opened in binary mode.
628 bool BinaryMode = true;
629 bool InvalidFile = false;
630 const SourceManager& SM = CI.getSourceManager();
631 const llvm::MemoryBuffer *Buffer = SM.getBuffer(SM.getMainFileID(),
632 &InvalidFile);
633 if (!InvalidFile) {
634 const char *cur = Buffer->getBufferStart();
635 const char *end = Buffer->getBufferEnd();
636 const char *next = (cur != end) ? cur + 1 : end;
637
638 // Limit ourselves to only scanning 256 characters into the source
639 // file. This is mostly a sanity check in case the file has no
640 // newlines whatsoever.
641 if (end - cur > 256) end = cur + 256;
642
643 while (next < end) {
644 if (*cur == 0x0D) { // CR
645 if (*next == 0x0A) // CRLF
646 BinaryMode = false;
647
648 break;
649 } else if (*cur == 0x0A) // LF
650 break;
651
652 ++cur, ++next;
653 }
654 }
655
656 raw_ostream *OS = CI.createDefaultOutputFile(BinaryMode, getCurrentFile());
Daniel Dunbar36043592009-12-03 09:13:30 +0000657 if (!OS) return;
658
Daniel Dunbar5f3b9972009-11-14 10:42:57 +0000659 DoPrintPreprocessedInput(CI.getPreprocessor(), OS,
660 CI.getPreprocessorOutputOpts());
661}
Douglas Gregorf033f1d2010-07-20 20:18:03 +0000662
663void PrintPreambleAction::ExecuteAction() {
664 switch (getCurrentFileKind()) {
665 case IK_C:
666 case IK_CXX:
667 case IK_ObjC:
668 case IK_ObjCXX:
669 case IK_OpenCL:
Peter Collingbourne895fcca2010-12-01 03:15:20 +0000670 case IK_CUDA:
Douglas Gregorf033f1d2010-07-20 20:18:03 +0000671 break;
672
673 case IK_None:
674 case IK_Asm:
675 case IK_PreprocessedC:
676 case IK_PreprocessedCXX:
677 case IK_PreprocessedObjC:
678 case IK_PreprocessedObjCXX:
679 case IK_AST:
680 case IK_LLVM_IR:
681 // We can't do anything with these.
682 return;
683 }
Stephen Hines176edba2014-12-01 14:53:08 -0800684
Argyrios Kyrtzidis389db162010-11-03 22:45:23 +0000685 CompilerInstance &CI = getCompilerInstance();
Stephen Hines176edba2014-12-01 14:53:08 -0800686 auto Buffer = CI.getFileManager().getBufferForFile(getCurrentFile());
Douglas Gregorf033f1d2010-07-20 20:18:03 +0000687 if (Buffer) {
Stephen Hines176edba2014-12-01 14:53:08 -0800688 unsigned Preamble =
689 Lexer::ComputePreamble((*Buffer)->getBuffer(), CI.getLangOpts()).first;
690 llvm::outs().write((*Buffer)->getBufferStart(), Preamble);
Douglas Gregorf033f1d2010-07-20 20:18:03 +0000691 }
692}