blob: ff19810233b7c8112ffc9b0355bc46ca5bb1a0fa [file] [log] [blame]
Argyrios Kyrtzidis4b562cf2009-06-20 08:27:14 +00001//===--- ASTUnit.cpp - ASTUnit utility ------------------------------------===//
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// ASTUnit Implementation.
11//
12//===----------------------------------------------------------------------===//
13
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000014#include "clang/Frontend/ASTUnit.h"
15#include "clang/Frontend/PCHReader.h"
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000016#include "clang/AST/ASTContext.h"
Daniel Dunbar521bf9c2009-12-01 09:51:01 +000017#include "clang/AST/ASTConsumer.h"
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000018#include "clang/AST/DeclVisitor.h"
19#include "clang/AST/StmtVisitor.h"
Daniel Dunbar7b556682009-12-02 03:23:45 +000020#include "clang/Driver/Compilation.h"
21#include "clang/Driver/Driver.h"
22#include "clang/Driver/Job.h"
23#include "clang/Driver/Tool.h"
Daniel Dunbar521bf9c2009-12-01 09:51:01 +000024#include "clang/Frontend/CompilerInstance.h"
25#include "clang/Frontend/FrontendActions.h"
Daniel Dunbar7b556682009-12-02 03:23:45 +000026#include "clang/Frontend/FrontendDiagnostic.h"
Daniel Dunbar521bf9c2009-12-01 09:51:01 +000027#include "clang/Frontend/FrontendOptions.h"
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000028#include "clang/Lex/HeaderSearch.h"
29#include "clang/Lex/Preprocessor.h"
Daniel Dunbard58c03f2009-11-15 06:48:46 +000030#include "clang/Basic/TargetOptions.h"
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000031#include "clang/Basic/TargetInfo.h"
32#include "clang/Basic/Diagnostic.h"
Douglas Gregor4db64a42010-01-23 00:14:00 +000033#include "llvm/Support/MemoryBuffer.h"
Daniel Dunbar7b556682009-12-02 03:23:45 +000034#include "llvm/System/Host.h"
Benjamin Kramer4a630d32009-10-18 11:34:14 +000035#include "llvm/System/Path.h"
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000036using namespace clang;
37
Daniel Dunbar5262fda2009-12-03 01:45:44 +000038ASTUnit::ASTUnit(bool _MainFileIsAST)
39 : tempFile(false), MainFileIsAST(_MainFileIsAST) {
Steve Naroff36c44642009-10-19 14:34:22 +000040}
Daniel Dunbar521bf9c2009-12-01 09:51:01 +000041ASTUnit::~ASTUnit() {
Steve Naroffe19944c2009-10-15 22:23:48 +000042 if (tempFile)
Benjamin Kramer4a630d32009-10-18 11:34:14 +000043 llvm::sys::Path(getPCHFileName()).eraseFromDisk();
Steve Naroffe19944c2009-10-15 22:23:48 +000044}
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000045
46namespace {
47
48/// \brief Gathers information from PCHReader that will be used to initialize
49/// a Preprocessor.
Benjamin Kramerbd218282009-11-28 10:07:24 +000050class PCHInfoCollector : public PCHReaderListener {
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000051 LangOptions &LangOpt;
52 HeaderSearch &HSI;
53 std::string &TargetTriple;
54 std::string &Predefines;
55 unsigned &Counter;
Mike Stump1eb44332009-09-09 15:08:12 +000056
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000057 unsigned NumHeaderInfos;
Mike Stump1eb44332009-09-09 15:08:12 +000058
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000059public:
60 PCHInfoCollector(LangOptions &LangOpt, HeaderSearch &HSI,
61 std::string &TargetTriple, std::string &Predefines,
62 unsigned &Counter)
63 : LangOpt(LangOpt), HSI(HSI), TargetTriple(TargetTriple),
64 Predefines(Predefines), Counter(Counter), NumHeaderInfos(0) {}
Mike Stump1eb44332009-09-09 15:08:12 +000065
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000066 virtual bool ReadLanguageOptions(const LangOptions &LangOpts) {
67 LangOpt = LangOpts;
68 return false;
69 }
Mike Stump1eb44332009-09-09 15:08:12 +000070
Daniel Dunbardc3c0d22009-11-11 00:52:11 +000071 virtual bool ReadTargetTriple(llvm::StringRef Triple) {
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000072 TargetTriple = Triple;
73 return false;
74 }
Mike Stump1eb44332009-09-09 15:08:12 +000075
Daniel Dunbardc3c0d22009-11-11 00:52:11 +000076 virtual bool ReadPredefinesBuffer(llvm::StringRef PCHPredef,
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000077 FileID PCHBufferID,
Daniel Dunbar7b5a1212009-11-11 05:29:04 +000078 llvm::StringRef OriginalFileName,
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000079 std::string &SuggestedPredefines) {
80 Predefines = PCHPredef;
81 return false;
82 }
Mike Stump1eb44332009-09-09 15:08:12 +000083
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000084 virtual void ReadHeaderFileInfo(const HeaderFileInfo &HFI) {
85 HSI.setHeaderFileInfoForUID(HFI, NumHeaderInfos++);
86 }
Mike Stump1eb44332009-09-09 15:08:12 +000087
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000088 virtual void ReadCounter(unsigned Value) {
89 Counter = Value;
90 }
91};
92
93} // anonymous namespace
94
Steve Naroff77accc12009-09-03 18:19:54 +000095const std::string &ASTUnit::getOriginalSourceFileName() {
Daniel Dunbar68d40e22009-12-02 08:44:16 +000096 return OriginalSourceFile;
Steve Naroff77accc12009-09-03 18:19:54 +000097}
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000098
Steve Naroffe19944c2009-10-15 22:23:48 +000099const std::string &ASTUnit::getPCHFileName() {
Daniel Dunbarc7822db2009-12-02 21:47:43 +0000100 assert(isMainFileAST() && "Not an ASTUnit from a PCH file!");
Steve Naroffe19944c2009-10-15 22:23:48 +0000101 return dyn_cast<PCHReader>(Ctx->getExternalSource())->getFileName();
102}
103
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000104ASTUnit *ASTUnit::LoadFromPCHFile(const std::string &Filename,
Daniel Dunbar5262fda2009-12-03 01:45:44 +0000105 Diagnostic &Diags,
Ted Kremenek5cf48762009-10-17 00:34:24 +0000106 bool OnlyLocalDecls,
Douglas Gregor4db64a42010-01-23 00:14:00 +0000107 bool UseBumpAllocator,
108 RemappedFile *RemappedFiles,
109 unsigned NumRemappedFiles) {
Daniel Dunbar5262fda2009-12-03 01:45:44 +0000110 llvm::OwningPtr<ASTUnit> AST(new ASTUnit(true));
Douglas Gregor7d1d49d2009-10-16 20:01:17 +0000111 AST->OnlyLocalDecls = OnlyLocalDecls;
Steve Naroff36c44642009-10-19 14:34:22 +0000112 AST->HeaderInfo.reset(new HeaderSearch(AST->getFileManager()));
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000113
Douglas Gregor4db64a42010-01-23 00:14:00 +0000114 for (unsigned I = 0; I != NumRemappedFiles; ++I) {
115 // Create the file entry for the file that we're mapping from.
116 const FileEntry *FromFile
117 = AST->getFileManager().getVirtualFile(RemappedFiles[I].first,
118 RemappedFiles[I].second->getBufferSize(),
119 0);
120 if (!FromFile) {
121 Diags.Report(diag::err_fe_remap_missing_from_file)
122 << RemappedFiles[I].first;
123 continue;
124 }
125
126 // Override the contents of the "from" file with the contents of
127 // the "to" file.
128 AST->getSourceManager().overrideFileContents(FromFile,
129 RemappedFiles[I].second);
130 }
131
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000132 // Gather Info for preprocessor construction later on.
Mike Stump1eb44332009-09-09 15:08:12 +0000133
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000134 LangOptions LangInfo;
135 HeaderSearch &HeaderInfo = *AST->HeaderInfo.get();
136 std::string TargetTriple;
137 std::string Predefines;
138 unsigned Counter;
139
Daniel Dunbarbce6f622009-09-03 05:59:50 +0000140 llvm::OwningPtr<PCHReader> Reader;
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000141 llvm::OwningPtr<ExternalASTSource> Source;
142
Ted Kremenekfc062212009-10-19 21:44:57 +0000143 Reader.reset(new PCHReader(AST->getSourceManager(), AST->getFileManager(),
Daniel Dunbar5262fda2009-12-03 01:45:44 +0000144 Diags));
Daniel Dunbarcc318932009-09-03 05:59:35 +0000145 Reader->setListener(new PCHInfoCollector(LangInfo, HeaderInfo, TargetTriple,
146 Predefines, Counter));
147
148 switch (Reader->ReadPCH(Filename)) {
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000149 case PCHReader::Success:
150 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000151
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000152 case PCHReader::Failure:
Argyrios Kyrtzidis106c9982009-06-25 18:22:30 +0000153 case PCHReader::IgnorePCH:
Daniel Dunbar5262fda2009-12-03 01:45:44 +0000154 Diags.Report(diag::err_fe_unable_to_load_pch);
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000155 return NULL;
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000156 }
Mike Stump1eb44332009-09-09 15:08:12 +0000157
Daniel Dunbar68d40e22009-12-02 08:44:16 +0000158 AST->OriginalSourceFile = Reader->getOriginalSourceFile();
159
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000160 // PCH loaded successfully. Now create the preprocessor.
Mike Stump1eb44332009-09-09 15:08:12 +0000161
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000162 // Get information about the target being compiled for.
Daniel Dunbard58c03f2009-11-15 06:48:46 +0000163 //
164 // FIXME: This is broken, we should store the TargetOptions in the PCH.
165 TargetOptions TargetOpts;
166 TargetOpts.ABI = "";
167 TargetOpts.CPU = "";
168 TargetOpts.Features.clear();
169 TargetOpts.Triple = TargetTriple;
Daniel Dunbar5262fda2009-12-03 01:45:44 +0000170 AST->Target.reset(TargetInfo::CreateTargetInfo(Diags, TargetOpts));
171 AST->PP.reset(new Preprocessor(Diags, LangInfo, *AST->Target.get(),
Daniel Dunbar31b87d82009-09-21 03:03:39 +0000172 AST->getSourceManager(), HeaderInfo));
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000173 Preprocessor &PP = *AST->PP.get();
174
Daniel Dunbard5b61262009-09-21 03:03:47 +0000175 PP.setPredefines(Reader->getSuggestedPredefines());
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000176 PP.setCounterValue(Counter);
Daniel Dunbarcc318932009-09-03 05:59:35 +0000177 Reader->setPreprocessor(PP);
Mike Stump1eb44332009-09-09 15:08:12 +0000178
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000179 // Create and initialize the ASTContext.
180
181 AST->Ctx.reset(new ASTContext(LangInfo,
Daniel Dunbar31b87d82009-09-21 03:03:39 +0000182 AST->getSourceManager(),
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000183 *AST->Target.get(),
184 PP.getIdentifierTable(),
185 PP.getSelectorTable(),
186 PP.getBuiltinInfo(),
Ted Kremenek5cf48762009-10-17 00:34:24 +0000187 /* FreeMemory = */ !UseBumpAllocator,
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000188 /* size_reserve = */0));
189 ASTContext &Context = *AST->Ctx.get();
Mike Stump1eb44332009-09-09 15:08:12 +0000190
Daniel Dunbarcc318932009-09-03 05:59:35 +0000191 Reader->InitializeContext(Context);
Mike Stump1eb44332009-09-09 15:08:12 +0000192
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000193 // Attach the PCH reader to the AST context as an external AST
194 // source, so that declarations will be deserialized from the
195 // PCH file as needed.
Daniel Dunbarcc318932009-09-03 05:59:35 +0000196 Source.reset(Reader.take());
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000197 Context.setExternalSource(Source);
198
Mike Stump1eb44332009-09-09 15:08:12 +0000199 return AST.take();
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000200}
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000201
202namespace {
203
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000204class TopLevelDeclTrackerConsumer : public ASTConsumer {
205 ASTUnit &Unit;
206
207public:
208 TopLevelDeclTrackerConsumer(ASTUnit &_Unit) : Unit(_Unit) {}
209
210 void HandleTopLevelDecl(DeclGroupRef D) {
211 for (DeclGroupRef::iterator it = D.begin(), ie = D.end(); it != ie; ++it)
212 Unit.getTopLevelDecls().push_back(*it);
213 }
214};
215
216class TopLevelDeclTrackerAction : public ASTFrontendAction {
217public:
218 ASTUnit &Unit;
219
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000220 virtual ASTConsumer *CreateASTConsumer(CompilerInstance &CI,
221 llvm::StringRef InFile) {
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000222 return new TopLevelDeclTrackerConsumer(Unit);
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000223 }
224
225public:
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000226 TopLevelDeclTrackerAction(ASTUnit &_Unit) : Unit(_Unit) {}
227
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000228 virtual bool hasCodeCompletionSupport() const { return false; }
229};
230
231}
232
233ASTUnit *ASTUnit::LoadFromCompilerInvocation(const CompilerInvocation &CI,
234 Diagnostic &Diags,
Daniel Dunbar68ea2ac2009-12-02 21:47:32 +0000235 bool OnlyLocalDecls) {
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000236 // Create the compiler instance to use for building the AST.
Daniel Dunbarcb6dda12009-12-02 08:43:56 +0000237 CompilerInstance Clang;
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000238 llvm::OwningPtr<ASTUnit> AST;
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000239 llvm::OwningPtr<TopLevelDeclTrackerAction> Act;
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000240
241 Clang.getInvocation() = CI;
242
243 Clang.setDiagnostics(&Diags);
244 Clang.setDiagnosticClient(Diags.getClient());
245
246 // Create the target instance.
247 Clang.setTarget(TargetInfo::CreateTargetInfo(Clang.getDiagnostics(),
248 Clang.getTargetOpts()));
249 if (!Clang.hasTarget())
250 goto error;
251
252 // Inform the target of the language options.
253 //
254 // FIXME: We shouldn't need to do this, the target should be immutable once
255 // created. This complexity should be lifted elsewhere.
256 Clang.getTarget().setForcedLangOptions(Clang.getLangOpts());
257
258 assert(Clang.getFrontendOpts().Inputs.size() == 1 &&
259 "Invocation must have exactly one source file!");
260 assert(Clang.getFrontendOpts().Inputs[0].first != FrontendOptions::IK_AST &&
261 "FIXME: AST inputs not yet supported here!");
262
263 // Create the AST unit.
Daniel Dunbarc7822db2009-12-02 21:47:43 +0000264 AST.reset(new ASTUnit(false));
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000265
Daniel Dunbar68ea2ac2009-12-02 21:47:32 +0000266 AST->OnlyLocalDecls = OnlyLocalDecls;
Daniel Dunbar68d40e22009-12-02 08:44:16 +0000267 AST->OriginalSourceFile = Clang.getFrontendOpts().Inputs[0].second;
268
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000269 // Create a file manager object to provide access to and cache the filesystem.
270 Clang.setFileManager(&AST->getFileManager());
271
272 // Create the source manager.
273 Clang.setSourceManager(&AST->getSourceManager());
274
275 // Create the preprocessor.
276 Clang.createPreprocessor();
277
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000278 Act.reset(new TopLevelDeclTrackerAction(*AST));
279 if (!Act->BeginSourceFile(Clang, Clang.getFrontendOpts().Inputs[0].second,
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000280 /*IsAST=*/false))
281 goto error;
282
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000283 Act->Execute();
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000284
Daniel Dunbar64a32ba2009-12-01 21:57:33 +0000285 // Steal the created target, context, and preprocessor, and take back the
286 // source and file managers.
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000287 AST->Ctx.reset(Clang.takeASTContext());
288 AST->PP.reset(Clang.takePreprocessor());
289 Clang.takeSourceManager();
290 Clang.takeFileManager();
Daniel Dunbar64a32ba2009-12-01 21:57:33 +0000291 AST->Target.reset(Clang.takeTarget());
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000292
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000293 Act->EndSourceFile();
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000294
295 Clang.takeDiagnosticClient();
296 Clang.takeDiagnostics();
297
298 return AST.take();
299
300error:
301 Clang.takeSourceManager();
302 Clang.takeFileManager();
303 Clang.takeDiagnosticClient();
304 Clang.takeDiagnostics();
305 return 0;
306}
Daniel Dunbar7b556682009-12-02 03:23:45 +0000307
308ASTUnit *ASTUnit::LoadFromCommandLine(const char **ArgBegin,
309 const char **ArgEnd,
310 Diagnostic &Diags,
Daniel Dunbar869824e2009-12-13 03:46:13 +0000311 llvm::StringRef ResourceFilesPath,
Daniel Dunbar7b556682009-12-02 03:23:45 +0000312 bool OnlyLocalDecls,
Douglas Gregor4db64a42010-01-23 00:14:00 +0000313 bool UseBumpAllocator,
314 RemappedFile *RemappedFiles,
315 unsigned NumRemappedFiles) {
Daniel Dunbar7b556682009-12-02 03:23:45 +0000316 llvm::SmallVector<const char *, 16> Args;
317 Args.push_back("<clang>"); // FIXME: Remove dummy argument.
318 Args.insert(Args.end(), ArgBegin, ArgEnd);
319
320 // FIXME: Find a cleaner way to force the driver into restricted modes. We
321 // also want to force it to use clang.
322 Args.push_back("-fsyntax-only");
323
Daniel Dunbar869824e2009-12-13 03:46:13 +0000324 // FIXME: We shouldn't have to pass in the path info.
325 driver::Driver TheDriver("clang", "/", llvm::sys::getHostTriple(),
Daniel Dunbar7b556682009-12-02 03:23:45 +0000326 "a.out", false, Diags);
Daniel Dunbar3bd54cc2010-01-25 00:44:02 +0000327
328 // Don't check that inputs exist, they have been remapped.
329 TheDriver.setCheckInputsExist(false);
330
Daniel Dunbar7b556682009-12-02 03:23:45 +0000331 llvm::OwningPtr<driver::Compilation> C(
332 TheDriver.BuildCompilation(Args.size(), Args.data()));
333
334 // We expect to get back exactly one command job, if we didn't something
335 // failed.
336 const driver::JobList &Jobs = C->getJobs();
337 if (Jobs.size() != 1 || !isa<driver::Command>(Jobs.begin())) {
338 llvm::SmallString<256> Msg;
339 llvm::raw_svector_ostream OS(Msg);
340 C->PrintJob(OS, C->getJobs(), "; ", true);
341 Diags.Report(diag::err_fe_expected_compiler_job) << OS.str();
342 return 0;
343 }
344
345 const driver::Command *Cmd = cast<driver::Command>(*Jobs.begin());
346 if (llvm::StringRef(Cmd->getCreator().getName()) != "clang") {
347 Diags.Report(diag::err_fe_expected_clang_command);
348 return 0;
349 }
350
351 const driver::ArgStringList &CCArgs = Cmd->getArguments();
352 CompilerInvocation CI;
353 CompilerInvocation::CreateFromArgs(CI, (const char**) CCArgs.data(),
354 (const char**) CCArgs.data()+CCArgs.size(),
Daniel Dunbar1e69fe32009-12-13 03:45:58 +0000355 Diags);
356
Douglas Gregor4db64a42010-01-23 00:14:00 +0000357 // Override any files that need remapping
358 for (unsigned I = 0; I != NumRemappedFiles; ++I)
359 CI.getPreprocessorOpts().addRemappedFile(RemappedFiles[I].first,
360 RemappedFiles[I].second);
361
Daniel Dunbar8b9adfe2009-12-15 00:06:45 +0000362 // Override the resources path.
363 CI.getHeaderSearchOpts().ResourceDir = ResourceFilesPath;
Daniel Dunbar7b556682009-12-02 03:23:45 +0000364
Daniel Dunbar68ea2ac2009-12-02 21:47:32 +0000365 CI.getFrontendOpts().DisableFree = UseBumpAllocator;
366 return LoadFromCompilerInvocation(CI, Diags, OnlyLocalDecls);
Daniel Dunbar7b556682009-12-02 03:23:45 +0000367}