blob: 2fb47cbd8a85f93535807915af15547b1e23dab0 [file] [log] [blame]
Argyrios Kyrtzidis3a08ec12009-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 Kyrtzidisce379752009-06-20 08:08:23 +000014#include "clang/Frontend/ASTUnit.h"
15#include "clang/Frontend/PCHReader.h"
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000016#include "clang/AST/ASTContext.h"
Daniel Dunbar764c0822009-12-01 09:51:01 +000017#include "clang/AST/ASTConsumer.h"
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000018#include "clang/AST/DeclVisitor.h"
19#include "clang/AST/StmtVisitor.h"
Daniel Dunbar55a17b62009-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 Dunbar764c0822009-12-01 09:51:01 +000024#include "clang/Frontend/CompilerInstance.h"
25#include "clang/Frontend/FrontendActions.h"
Daniel Dunbar55a17b62009-12-02 03:23:45 +000026#include "clang/Frontend/FrontendDiagnostic.h"
Daniel Dunbar764c0822009-12-01 09:51:01 +000027#include "clang/Frontend/FrontendOptions.h"
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000028#include "clang/Lex/HeaderSearch.h"
29#include "clang/Lex/Preprocessor.h"
Daniel Dunbarb9bbd542009-11-15 06:48:46 +000030#include "clang/Basic/TargetOptions.h"
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000031#include "clang/Basic/TargetInfo.h"
32#include "clang/Basic/Diagnostic.h"
Douglas Gregoraa98ed92010-01-23 00:14:00 +000033#include "llvm/Support/MemoryBuffer.h"
Daniel Dunbar55a17b62009-12-02 03:23:45 +000034#include "llvm/System/Host.h"
Benjamin Kramer6c839f82009-10-18 11:34:14 +000035#include "llvm/System/Path.h"
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000036using namespace clang;
37
Daniel Dunbar59203002009-12-03 01:45:44 +000038ASTUnit::ASTUnit(bool _MainFileIsAST)
39 : tempFile(false), MainFileIsAST(_MainFileIsAST) {
Steve Naroff505fb842009-10-19 14:34:22 +000040}
Daniel Dunbar764c0822009-12-01 09:51:01 +000041ASTUnit::~ASTUnit() {
Steve Naroff44cd60e2009-10-15 22:23:48 +000042 if (tempFile)
Benjamin Kramer6c839f82009-10-18 11:34:14 +000043 llvm::sys::Path(getPCHFileName()).eraseFromDisk();
Steve Naroff44cd60e2009-10-15 22:23:48 +000044}
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000045
46namespace {
47
48/// \brief Gathers information from PCHReader that will be used to initialize
49/// a Preprocessor.
Benjamin Kramer16634c22009-11-28 10:07:24 +000050class PCHInfoCollector : public PCHReaderListener {
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000051 LangOptions &LangOpt;
52 HeaderSearch &HSI;
53 std::string &TargetTriple;
54 std::string &Predefines;
55 unsigned &Counter;
Mike Stump11289f42009-09-09 15:08:12 +000056
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000057 unsigned NumHeaderInfos;
Mike Stump11289f42009-09-09 15:08:12 +000058
Argyrios Kyrtzidisce379752009-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 Stump11289f42009-09-09 15:08:12 +000065
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000066 virtual bool ReadLanguageOptions(const LangOptions &LangOpts) {
67 LangOpt = LangOpts;
68 return false;
69 }
Mike Stump11289f42009-09-09 15:08:12 +000070
Daniel Dunbar20a682d2009-11-11 00:52:11 +000071 virtual bool ReadTargetTriple(llvm::StringRef Triple) {
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000072 TargetTriple = Triple;
73 return false;
74 }
Mike Stump11289f42009-09-09 15:08:12 +000075
Daniel Dunbar20a682d2009-11-11 00:52:11 +000076 virtual bool ReadPredefinesBuffer(llvm::StringRef PCHPredef,
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000077 FileID PCHBufferID,
Daniel Dunbar000c4ff2009-11-11 05:29:04 +000078 llvm::StringRef OriginalFileName,
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000079 std::string &SuggestedPredefines) {
80 Predefines = PCHPredef;
81 return false;
82 }
Mike Stump11289f42009-09-09 15:08:12 +000083
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000084 virtual void ReadHeaderFileInfo(const HeaderFileInfo &HFI) {
85 HSI.setHeaderFileInfoForUID(HFI, NumHeaderInfos++);
86 }
Mike Stump11289f42009-09-09 15:08:12 +000087
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000088 virtual void ReadCounter(unsigned Value) {
89 Counter = Value;
90 }
91};
92
93} // anonymous namespace
94
Steve Naroffc0683b92009-09-03 18:19:54 +000095const std::string &ASTUnit::getOriginalSourceFileName() {
Daniel Dunbara8a50932009-12-02 08:44:16 +000096 return OriginalSourceFile;
Steve Naroffc0683b92009-09-03 18:19:54 +000097}
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000098
Steve Naroff44cd60e2009-10-15 22:23:48 +000099const std::string &ASTUnit::getPCHFileName() {
Daniel Dunbara18f9582009-12-02 21:47:43 +0000100 assert(isMainFileAST() && "Not an ASTUnit from a PCH file!");
Steve Naroff44cd60e2009-10-15 22:23:48 +0000101 return dyn_cast<PCHReader>(Ctx->getExternalSource())->getFileName();
102}
103
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000104ASTUnit *ASTUnit::LoadFromPCHFile(const std::string &Filename,
Daniel Dunbar59203002009-12-03 01:45:44 +0000105 Diagnostic &Diags,
Ted Kremenek8bcb1c62009-10-17 00:34:24 +0000106 bool OnlyLocalDecls,
Douglas Gregoraa98ed92010-01-23 00:14:00 +0000107 bool UseBumpAllocator,
108 RemappedFile *RemappedFiles,
109 unsigned NumRemappedFiles) {
Daniel Dunbar59203002009-12-03 01:45:44 +0000110 llvm::OwningPtr<ASTUnit> AST(new ASTUnit(true));
Douglas Gregor16bef852009-10-16 20:01:17 +0000111 AST->OnlyLocalDecls = OnlyLocalDecls;
Steve Naroff505fb842009-10-19 14:34:22 +0000112 AST->HeaderInfo.reset(new HeaderSearch(AST->getFileManager()));
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000113
Douglas Gregoraa98ed92010-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 Kyrtzidisce379752009-06-20 08:08:23 +0000132 // Gather Info for preprocessor construction later on.
Mike Stump11289f42009-09-09 15:08:12 +0000133
Argyrios Kyrtzidisce379752009-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 Dunbar3a0637b2009-09-03 05:59:50 +0000140 llvm::OwningPtr<PCHReader> Reader;
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000141 llvm::OwningPtr<ExternalASTSource> Source;
142
Ted Kremenek428c6372009-10-19 21:44:57 +0000143 Reader.reset(new PCHReader(AST->getSourceManager(), AST->getFileManager(),
Daniel Dunbar59203002009-12-03 01:45:44 +0000144 Diags));
Daniel Dunbar2d9c7402009-09-03 05:59:35 +0000145 Reader->setListener(new PCHInfoCollector(LangInfo, HeaderInfo, TargetTriple,
146 Predefines, Counter));
147
148 switch (Reader->ReadPCH(Filename)) {
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000149 case PCHReader::Success:
150 break;
Mike Stump11289f42009-09-09 15:08:12 +0000151
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000152 case PCHReader::Failure:
Argyrios Kyrtzidis55c34112009-06-25 18:22:30 +0000153 case PCHReader::IgnorePCH:
Daniel Dunbar59203002009-12-03 01:45:44 +0000154 Diags.Report(diag::err_fe_unable_to_load_pch);
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000155 return NULL;
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000156 }
Mike Stump11289f42009-09-09 15:08:12 +0000157
Daniel Dunbara8a50932009-12-02 08:44:16 +0000158 AST->OriginalSourceFile = Reader->getOriginalSourceFile();
159
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000160 // PCH loaded successfully. Now create the preprocessor.
Mike Stump11289f42009-09-09 15:08:12 +0000161
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000162 // Get information about the target being compiled for.
Daniel Dunbarb9bbd542009-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 Dunbar59203002009-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 Dunbar7cd285f2009-09-21 03:03:39 +0000172 AST->getSourceManager(), HeaderInfo));
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000173 Preprocessor &PP = *AST->PP.get();
174
Daniel Dunbarb7bbfdd2009-09-21 03:03:47 +0000175 PP.setPredefines(Reader->getSuggestedPredefines());
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000176 PP.setCounterValue(Counter);
Daniel Dunbar2d9c7402009-09-03 05:59:35 +0000177 Reader->setPreprocessor(PP);
Mike Stump11289f42009-09-09 15:08:12 +0000178
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000179 // Create and initialize the ASTContext.
180
181 AST->Ctx.reset(new ASTContext(LangInfo,
Daniel Dunbar7cd285f2009-09-21 03:03:39 +0000182 AST->getSourceManager(),
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000183 *AST->Target.get(),
184 PP.getIdentifierTable(),
185 PP.getSelectorTable(),
186 PP.getBuiltinInfo(),
Ted Kremenek8bcb1c62009-10-17 00:34:24 +0000187 /* FreeMemory = */ !UseBumpAllocator,
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000188 /* size_reserve = */0));
189 ASTContext &Context = *AST->Ctx.get();
Mike Stump11289f42009-09-09 15:08:12 +0000190
Daniel Dunbar2d9c7402009-09-03 05:59:35 +0000191 Reader->InitializeContext(Context);
Mike Stump11289f42009-09-09 15:08:12 +0000192
Argyrios Kyrtzidisce379752009-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 Dunbar2d9c7402009-09-03 05:59:35 +0000196 Source.reset(Reader.take());
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000197 Context.setExternalSource(Source);
198
Mike Stump11289f42009-09-09 15:08:12 +0000199 return AST.take();
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000200}
Daniel Dunbar764c0822009-12-01 09:51:01 +0000201
202namespace {
203
Daniel Dunbar644dca02009-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 Dunbar764c0822009-12-01 09:51:01 +0000220 virtual ASTConsumer *CreateASTConsumer(CompilerInstance &CI,
221 llvm::StringRef InFile) {
Daniel Dunbar644dca02009-12-04 08:17:33 +0000222 return new TopLevelDeclTrackerConsumer(Unit);
Daniel Dunbar764c0822009-12-01 09:51:01 +0000223 }
224
225public:
Daniel Dunbar644dca02009-12-04 08:17:33 +0000226 TopLevelDeclTrackerAction(ASTUnit &_Unit) : Unit(_Unit) {}
227
Daniel Dunbar764c0822009-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 Dunbar48973492009-12-02 21:47:32 +0000235 bool OnlyLocalDecls) {
Daniel Dunbar764c0822009-12-01 09:51:01 +0000236 // Create the compiler instance to use for building the AST.
Daniel Dunbar7afbb8c2009-12-02 08:43:56 +0000237 CompilerInstance Clang;
Daniel Dunbar764c0822009-12-01 09:51:01 +0000238 llvm::OwningPtr<ASTUnit> AST;
Daniel Dunbar644dca02009-12-04 08:17:33 +0000239 llvm::OwningPtr<TopLevelDeclTrackerAction> Act;
Daniel Dunbar764c0822009-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 Dunbara18f9582009-12-02 21:47:43 +0000264 AST.reset(new ASTUnit(false));
Daniel Dunbar764c0822009-12-01 09:51:01 +0000265
Daniel Dunbar48973492009-12-02 21:47:32 +0000266 AST->OnlyLocalDecls = OnlyLocalDecls;
Daniel Dunbara8a50932009-12-02 08:44:16 +0000267 AST->OriginalSourceFile = Clang.getFrontendOpts().Inputs[0].second;
268
Daniel Dunbar764c0822009-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 Dunbar644dca02009-12-04 08:17:33 +0000278 Act.reset(new TopLevelDeclTrackerAction(*AST));
279 if (!Act->BeginSourceFile(Clang, Clang.getFrontendOpts().Inputs[0].second,
Daniel Dunbar764c0822009-12-01 09:51:01 +0000280 /*IsAST=*/false))
281 goto error;
282
Daniel Dunbar644dca02009-12-04 08:17:33 +0000283 Act->Execute();
Daniel Dunbar764c0822009-12-01 09:51:01 +0000284
Daniel Dunbard2f8be32009-12-01 21:57:33 +0000285 // Steal the created target, context, and preprocessor, and take back the
286 // source and file managers.
Daniel Dunbar764c0822009-12-01 09:51:01 +0000287 AST->Ctx.reset(Clang.takeASTContext());
288 AST->PP.reset(Clang.takePreprocessor());
289 Clang.takeSourceManager();
290 Clang.takeFileManager();
Daniel Dunbard2f8be32009-12-01 21:57:33 +0000291 AST->Target.reset(Clang.takeTarget());
Daniel Dunbar764c0822009-12-01 09:51:01 +0000292
Daniel Dunbar644dca02009-12-04 08:17:33 +0000293 Act->EndSourceFile();
Daniel Dunbar764c0822009-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 Dunbar55a17b62009-12-02 03:23:45 +0000307
308ASTUnit *ASTUnit::LoadFromCommandLine(const char **ArgBegin,
309 const char **ArgEnd,
310 Diagnostic &Diags,
Daniel Dunbar8d4a2022009-12-13 03:46:13 +0000311 llvm::StringRef ResourceFilesPath,
Daniel Dunbar55a17b62009-12-02 03:23:45 +0000312 bool OnlyLocalDecls,
Douglas Gregoraa98ed92010-01-23 00:14:00 +0000313 bool UseBumpAllocator,
314 RemappedFile *RemappedFiles,
315 unsigned NumRemappedFiles) {
Daniel Dunbar55a17b62009-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 Dunbar8d4a2022009-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 Dunbar55a17b62009-12-02 03:23:45 +0000326 "a.out", false, Diags);
327 llvm::OwningPtr<driver::Compilation> C(
328 TheDriver.BuildCompilation(Args.size(), Args.data()));
329
330 // We expect to get back exactly one command job, if we didn't something
331 // failed.
332 const driver::JobList &Jobs = C->getJobs();
333 if (Jobs.size() != 1 || !isa<driver::Command>(Jobs.begin())) {
334 llvm::SmallString<256> Msg;
335 llvm::raw_svector_ostream OS(Msg);
336 C->PrintJob(OS, C->getJobs(), "; ", true);
337 Diags.Report(diag::err_fe_expected_compiler_job) << OS.str();
338 return 0;
339 }
340
341 const driver::Command *Cmd = cast<driver::Command>(*Jobs.begin());
342 if (llvm::StringRef(Cmd->getCreator().getName()) != "clang") {
343 Diags.Report(diag::err_fe_expected_clang_command);
344 return 0;
345 }
346
347 const driver::ArgStringList &CCArgs = Cmd->getArguments();
348 CompilerInvocation CI;
349 CompilerInvocation::CreateFromArgs(CI, (const char**) CCArgs.data(),
350 (const char**) CCArgs.data()+CCArgs.size(),
Daniel Dunbard6136772009-12-13 03:45:58 +0000351 Diags);
352
Douglas Gregoraa98ed92010-01-23 00:14:00 +0000353 // Override any files that need remapping
354 for (unsigned I = 0; I != NumRemappedFiles; ++I)
355 CI.getPreprocessorOpts().addRemappedFile(RemappedFiles[I].first,
356 RemappedFiles[I].second);
357
Daniel Dunbara5a166d2009-12-15 00:06:45 +0000358 // Override the resources path.
359 CI.getHeaderSearchOpts().ResourceDir = ResourceFilesPath;
Daniel Dunbar55a17b62009-12-02 03:23:45 +0000360
Daniel Dunbar48973492009-12-02 21:47:32 +0000361 CI.getFrontendOpts().DisableFree = UseBumpAllocator;
362 return LoadFromCompilerInvocation(CI, Diags, OnlyLocalDecls);
Daniel Dunbar55a17b62009-12-02 03:23:45 +0000363}