blob: f6cb1704f6a822c02b06c15daf6c9d0ee1c1064f [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"
Daniel Dunbar7b556682009-12-02 03:23:45 +000033#include "llvm/System/Host.h"
Benjamin Kramer4a630d32009-10-18 11:34:14 +000034#include "llvm/System/Path.h"
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000035using namespace clang;
36
Daniel Dunbar5262fda2009-12-03 01:45:44 +000037ASTUnit::ASTUnit(bool _MainFileIsAST)
38 : tempFile(false), MainFileIsAST(_MainFileIsAST) {
Steve Naroff36c44642009-10-19 14:34:22 +000039}
Daniel Dunbar521bf9c2009-12-01 09:51:01 +000040ASTUnit::~ASTUnit() {
Steve Naroffe19944c2009-10-15 22:23:48 +000041 if (tempFile)
Benjamin Kramer4a630d32009-10-18 11:34:14 +000042 llvm::sys::Path(getPCHFileName()).eraseFromDisk();
Steve Naroffe19944c2009-10-15 22:23:48 +000043}
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000044
45namespace {
46
47/// \brief Gathers information from PCHReader that will be used to initialize
48/// a Preprocessor.
Benjamin Kramerbd218282009-11-28 10:07:24 +000049class PCHInfoCollector : public PCHReaderListener {
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000050 LangOptions &LangOpt;
51 HeaderSearch &HSI;
52 std::string &TargetTriple;
53 std::string &Predefines;
54 unsigned &Counter;
Mike Stump1eb44332009-09-09 15:08:12 +000055
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000056 unsigned NumHeaderInfos;
Mike Stump1eb44332009-09-09 15:08:12 +000057
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000058public:
59 PCHInfoCollector(LangOptions &LangOpt, HeaderSearch &HSI,
60 std::string &TargetTriple, std::string &Predefines,
61 unsigned &Counter)
62 : LangOpt(LangOpt), HSI(HSI), TargetTriple(TargetTriple),
63 Predefines(Predefines), Counter(Counter), NumHeaderInfos(0) {}
Mike Stump1eb44332009-09-09 15:08:12 +000064
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000065 virtual bool ReadLanguageOptions(const LangOptions &LangOpts) {
66 LangOpt = LangOpts;
67 return false;
68 }
Mike Stump1eb44332009-09-09 15:08:12 +000069
Daniel Dunbardc3c0d22009-11-11 00:52:11 +000070 virtual bool ReadTargetTriple(llvm::StringRef Triple) {
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000071 TargetTriple = Triple;
72 return false;
73 }
Mike Stump1eb44332009-09-09 15:08:12 +000074
Daniel Dunbardc3c0d22009-11-11 00:52:11 +000075 virtual bool ReadPredefinesBuffer(llvm::StringRef PCHPredef,
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000076 FileID PCHBufferID,
Daniel Dunbar7b5a1212009-11-11 05:29:04 +000077 llvm::StringRef OriginalFileName,
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000078 std::string &SuggestedPredefines) {
79 Predefines = PCHPredef;
80 return false;
81 }
Mike Stump1eb44332009-09-09 15:08:12 +000082
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000083 virtual void ReadHeaderFileInfo(const HeaderFileInfo &HFI) {
84 HSI.setHeaderFileInfoForUID(HFI, NumHeaderInfos++);
85 }
Mike Stump1eb44332009-09-09 15:08:12 +000086
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000087 virtual void ReadCounter(unsigned Value) {
88 Counter = Value;
89 }
90};
91
92} // anonymous namespace
93
Steve Naroff77accc12009-09-03 18:19:54 +000094const std::string &ASTUnit::getOriginalSourceFileName() {
Daniel Dunbar68d40e22009-12-02 08:44:16 +000095 return OriginalSourceFile;
Steve Naroff77accc12009-09-03 18:19:54 +000096}
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +000097
Steve Naroffe19944c2009-10-15 22:23:48 +000098const std::string &ASTUnit::getPCHFileName() {
Daniel Dunbarc7822db2009-12-02 21:47:43 +000099 assert(isMainFileAST() && "Not an ASTUnit from a PCH file!");
Steve Naroffe19944c2009-10-15 22:23:48 +0000100 return dyn_cast<PCHReader>(Ctx->getExternalSource())->getFileName();
101}
102
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000103ASTUnit *ASTUnit::LoadFromPCHFile(const std::string &Filename,
Daniel Dunbar5262fda2009-12-03 01:45:44 +0000104 Diagnostic &Diags,
Ted Kremenek5cf48762009-10-17 00:34:24 +0000105 bool OnlyLocalDecls,
106 bool UseBumpAllocator) {
Daniel Dunbar5262fda2009-12-03 01:45:44 +0000107 llvm::OwningPtr<ASTUnit> AST(new ASTUnit(true));
Douglas Gregor7d1d49d2009-10-16 20:01:17 +0000108 AST->OnlyLocalDecls = OnlyLocalDecls;
Steve Naroff36c44642009-10-19 14:34:22 +0000109 AST->HeaderInfo.reset(new HeaderSearch(AST->getFileManager()));
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000110
111 // Gather Info for preprocessor construction later on.
Mike Stump1eb44332009-09-09 15:08:12 +0000112
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000113 LangOptions LangInfo;
114 HeaderSearch &HeaderInfo = *AST->HeaderInfo.get();
115 std::string TargetTriple;
116 std::string Predefines;
117 unsigned Counter;
118
Daniel Dunbarbce6f622009-09-03 05:59:50 +0000119 llvm::OwningPtr<PCHReader> Reader;
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000120 llvm::OwningPtr<ExternalASTSource> Source;
121
Ted Kremenekfc062212009-10-19 21:44:57 +0000122 Reader.reset(new PCHReader(AST->getSourceManager(), AST->getFileManager(),
Daniel Dunbar5262fda2009-12-03 01:45:44 +0000123 Diags));
Daniel Dunbarcc318932009-09-03 05:59:35 +0000124 Reader->setListener(new PCHInfoCollector(LangInfo, HeaderInfo, TargetTriple,
125 Predefines, Counter));
126
127 switch (Reader->ReadPCH(Filename)) {
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000128 case PCHReader::Success:
129 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000130
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000131 case PCHReader::Failure:
Argyrios Kyrtzidis106c9982009-06-25 18:22:30 +0000132 case PCHReader::IgnorePCH:
Daniel Dunbar5262fda2009-12-03 01:45:44 +0000133 Diags.Report(diag::err_fe_unable_to_load_pch);
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000134 return NULL;
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000135 }
Mike Stump1eb44332009-09-09 15:08:12 +0000136
Daniel Dunbar68d40e22009-12-02 08:44:16 +0000137 AST->OriginalSourceFile = Reader->getOriginalSourceFile();
138
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000139 // PCH loaded successfully. Now create the preprocessor.
Mike Stump1eb44332009-09-09 15:08:12 +0000140
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000141 // Get information about the target being compiled for.
Daniel Dunbard58c03f2009-11-15 06:48:46 +0000142 //
143 // FIXME: This is broken, we should store the TargetOptions in the PCH.
144 TargetOptions TargetOpts;
145 TargetOpts.ABI = "";
146 TargetOpts.CPU = "";
147 TargetOpts.Features.clear();
148 TargetOpts.Triple = TargetTriple;
Daniel Dunbar5262fda2009-12-03 01:45:44 +0000149 AST->Target.reset(TargetInfo::CreateTargetInfo(Diags, TargetOpts));
150 AST->PP.reset(new Preprocessor(Diags, LangInfo, *AST->Target.get(),
Daniel Dunbar31b87d82009-09-21 03:03:39 +0000151 AST->getSourceManager(), HeaderInfo));
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000152 Preprocessor &PP = *AST->PP.get();
153
Daniel Dunbard5b61262009-09-21 03:03:47 +0000154 PP.setPredefines(Reader->getSuggestedPredefines());
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000155 PP.setCounterValue(Counter);
Daniel Dunbarcc318932009-09-03 05:59:35 +0000156 Reader->setPreprocessor(PP);
Mike Stump1eb44332009-09-09 15:08:12 +0000157
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000158 // Create and initialize the ASTContext.
159
160 AST->Ctx.reset(new ASTContext(LangInfo,
Daniel Dunbar31b87d82009-09-21 03:03:39 +0000161 AST->getSourceManager(),
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000162 *AST->Target.get(),
163 PP.getIdentifierTable(),
164 PP.getSelectorTable(),
165 PP.getBuiltinInfo(),
Ted Kremenek5cf48762009-10-17 00:34:24 +0000166 /* FreeMemory = */ !UseBumpAllocator,
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000167 /* size_reserve = */0));
168 ASTContext &Context = *AST->Ctx.get();
Mike Stump1eb44332009-09-09 15:08:12 +0000169
Daniel Dunbarcc318932009-09-03 05:59:35 +0000170 Reader->InitializeContext(Context);
Mike Stump1eb44332009-09-09 15:08:12 +0000171
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000172 // Attach the PCH reader to the AST context as an external AST
173 // source, so that declarations will be deserialized from the
174 // PCH file as needed.
Daniel Dunbarcc318932009-09-03 05:59:35 +0000175 Source.reset(Reader.take());
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000176 Context.setExternalSource(Source);
177
Mike Stump1eb44332009-09-09 15:08:12 +0000178 return AST.take();
Argyrios Kyrtzidis0853a022009-06-20 08:08:23 +0000179}
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000180
181namespace {
182
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000183class TopLevelDeclTrackerConsumer : public ASTConsumer {
184 ASTUnit &Unit;
185
186public:
187 TopLevelDeclTrackerConsumer(ASTUnit &_Unit) : Unit(_Unit) {}
188
189 void HandleTopLevelDecl(DeclGroupRef D) {
190 for (DeclGroupRef::iterator it = D.begin(), ie = D.end(); it != ie; ++it)
191 Unit.getTopLevelDecls().push_back(*it);
192 }
193};
194
195class TopLevelDeclTrackerAction : public ASTFrontendAction {
196public:
197 ASTUnit &Unit;
198
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000199 virtual ASTConsumer *CreateASTConsumer(CompilerInstance &CI,
200 llvm::StringRef InFile) {
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000201 return new TopLevelDeclTrackerConsumer(Unit);
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000202 }
203
204public:
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000205 TopLevelDeclTrackerAction(ASTUnit &_Unit) : Unit(_Unit) {}
206
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000207 virtual bool hasCodeCompletionSupport() const { return false; }
208};
209
210}
211
212ASTUnit *ASTUnit::LoadFromCompilerInvocation(const CompilerInvocation &CI,
213 Diagnostic &Diags,
Daniel Dunbar68ea2ac2009-12-02 21:47:32 +0000214 bool OnlyLocalDecls) {
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000215 // Create the compiler instance to use for building the AST.
Daniel Dunbarcb6dda12009-12-02 08:43:56 +0000216 CompilerInstance Clang;
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000217 llvm::OwningPtr<ASTUnit> AST;
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000218 llvm::OwningPtr<TopLevelDeclTrackerAction> Act;
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000219
220 Clang.getInvocation() = CI;
221
222 Clang.setDiagnostics(&Diags);
223 Clang.setDiagnosticClient(Diags.getClient());
224
225 // Create the target instance.
226 Clang.setTarget(TargetInfo::CreateTargetInfo(Clang.getDiagnostics(),
227 Clang.getTargetOpts()));
228 if (!Clang.hasTarget())
229 goto error;
230
231 // Inform the target of the language options.
232 //
233 // FIXME: We shouldn't need to do this, the target should be immutable once
234 // created. This complexity should be lifted elsewhere.
235 Clang.getTarget().setForcedLangOptions(Clang.getLangOpts());
236
237 assert(Clang.getFrontendOpts().Inputs.size() == 1 &&
238 "Invocation must have exactly one source file!");
239 assert(Clang.getFrontendOpts().Inputs[0].first != FrontendOptions::IK_AST &&
240 "FIXME: AST inputs not yet supported here!");
241
242 // Create the AST unit.
Daniel Dunbarc7822db2009-12-02 21:47:43 +0000243 AST.reset(new ASTUnit(false));
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000244
Daniel Dunbar68ea2ac2009-12-02 21:47:32 +0000245 AST->OnlyLocalDecls = OnlyLocalDecls;
Daniel Dunbar68d40e22009-12-02 08:44:16 +0000246 AST->OriginalSourceFile = Clang.getFrontendOpts().Inputs[0].second;
247
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000248 // Create a file manager object to provide access to and cache the filesystem.
249 Clang.setFileManager(&AST->getFileManager());
250
251 // Create the source manager.
252 Clang.setSourceManager(&AST->getSourceManager());
253
254 // Create the preprocessor.
255 Clang.createPreprocessor();
256
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000257 Act.reset(new TopLevelDeclTrackerAction(*AST));
258 if (!Act->BeginSourceFile(Clang, Clang.getFrontendOpts().Inputs[0].second,
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000259 /*IsAST=*/false))
260 goto error;
261
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000262 Act->Execute();
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000263
Daniel Dunbar64a32ba2009-12-01 21:57:33 +0000264 // Steal the created target, context, and preprocessor, and take back the
265 // source and file managers.
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000266 AST->Ctx.reset(Clang.takeASTContext());
267 AST->PP.reset(Clang.takePreprocessor());
268 Clang.takeSourceManager();
269 Clang.takeFileManager();
Daniel Dunbar64a32ba2009-12-01 21:57:33 +0000270 AST->Target.reset(Clang.takeTarget());
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000271
Daniel Dunbarf772d1e2009-12-04 08:17:33 +0000272 Act->EndSourceFile();
Daniel Dunbar521bf9c2009-12-01 09:51:01 +0000273
274 Clang.takeDiagnosticClient();
275 Clang.takeDiagnostics();
276
277 return AST.take();
278
279error:
280 Clang.takeSourceManager();
281 Clang.takeFileManager();
282 Clang.takeDiagnosticClient();
283 Clang.takeDiagnostics();
284 return 0;
285}
Daniel Dunbar7b556682009-12-02 03:23:45 +0000286
287ASTUnit *ASTUnit::LoadFromCommandLine(const char **ArgBegin,
288 const char **ArgEnd,
289 Diagnostic &Diags,
Daniel Dunbar869824e2009-12-13 03:46:13 +0000290 llvm::StringRef ResourceFilesPath,
Daniel Dunbar7b556682009-12-02 03:23:45 +0000291 bool OnlyLocalDecls,
292 bool UseBumpAllocator) {
293 llvm::SmallVector<const char *, 16> Args;
294 Args.push_back("<clang>"); // FIXME: Remove dummy argument.
295 Args.insert(Args.end(), ArgBegin, ArgEnd);
296
297 // FIXME: Find a cleaner way to force the driver into restricted modes. We
298 // also want to force it to use clang.
299 Args.push_back("-fsyntax-only");
300
Daniel Dunbar869824e2009-12-13 03:46:13 +0000301 // FIXME: We shouldn't have to pass in the path info.
302 driver::Driver TheDriver("clang", "/", llvm::sys::getHostTriple(),
Daniel Dunbar7b556682009-12-02 03:23:45 +0000303 "a.out", false, Diags);
304 llvm::OwningPtr<driver::Compilation> C(
305 TheDriver.BuildCompilation(Args.size(), Args.data()));
306
307 // We expect to get back exactly one command job, if we didn't something
308 // failed.
309 const driver::JobList &Jobs = C->getJobs();
310 if (Jobs.size() != 1 || !isa<driver::Command>(Jobs.begin())) {
311 llvm::SmallString<256> Msg;
312 llvm::raw_svector_ostream OS(Msg);
313 C->PrintJob(OS, C->getJobs(), "; ", true);
314 Diags.Report(diag::err_fe_expected_compiler_job) << OS.str();
315 return 0;
316 }
317
318 const driver::Command *Cmd = cast<driver::Command>(*Jobs.begin());
319 if (llvm::StringRef(Cmd->getCreator().getName()) != "clang") {
320 Diags.Report(diag::err_fe_expected_clang_command);
321 return 0;
322 }
323
324 const driver::ArgStringList &CCArgs = Cmd->getArguments();
325 CompilerInvocation CI;
326 CompilerInvocation::CreateFromArgs(CI, (const char**) CCArgs.data(),
327 (const char**) CCArgs.data()+CCArgs.size(),
Daniel Dunbar1e69fe32009-12-13 03:45:58 +0000328 Diags);
329
Daniel Dunbar869824e2009-12-13 03:46:13 +0000330 // Set the builtin include path.
331 llvm::sys::Path P(ResourceFilesPath);
332 P.appendComponent("include");
333 CI.getHeaderSearchOpts().BuiltinIncludePath = P.str();
Daniel Dunbar7b556682009-12-02 03:23:45 +0000334
Daniel Dunbar68ea2ac2009-12-02 21:47:32 +0000335 CI.getFrontendOpts().DisableFree = UseBumpAllocator;
336 return LoadFromCompilerInvocation(CI, Diags, OnlyLocalDecls);
Daniel Dunbar7b556682009-12-02 03:23:45 +0000337}