blob: 34a6dabf6449e09f64ff25c5db08a66b7d8690b5 [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"
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000015#include "clang/AST/ASTContext.h"
Daniel Dunbar764c0822009-12-01 09:51:01 +000016#include "clang/AST/ASTConsumer.h"
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000017#include "clang/AST/DeclVisitor.h"
Douglas Gregorb61c07a2010-08-16 18:08:11 +000018#include "clang/AST/TypeOrdering.h"
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000019#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"
Argyrios Kyrtzidisbc1f48f2011-03-07 22:45:01 +000023#include "clang/Driver/ArgList.h"
24#include "clang/Driver/Options.h"
Daniel Dunbar55a17b62009-12-02 03:23:45 +000025#include "clang/Driver/Tool.h"
Daniel Dunbar764c0822009-12-01 09:51:01 +000026#include "clang/Frontend/CompilerInstance.h"
27#include "clang/Frontend/FrontendActions.h"
Daniel Dunbar55a17b62009-12-02 03:23:45 +000028#include "clang/Frontend/FrontendDiagnostic.h"
Daniel Dunbar764c0822009-12-01 09:51:01 +000029#include "clang/Frontend/FrontendOptions.h"
Douglas Gregor36e3b5c2010-10-11 21:37:58 +000030#include "clang/Frontend/Utils.h"
Sebastian Redlf5b13462010-08-18 23:57:17 +000031#include "clang/Serialization/ASTReader.h"
Douglas Gregorf88e35b2010-11-30 06:16:57 +000032#include "clang/Serialization/ASTSerializationListener.h"
Sebastian Redl1914c6f2010-08-18 23:56:37 +000033#include "clang/Serialization/ASTWriter.h"
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000034#include "clang/Lex/HeaderSearch.h"
35#include "clang/Lex/Preprocessor.h"
Daniel Dunbarb9bbd542009-11-15 06:48:46 +000036#include "clang/Basic/TargetOptions.h"
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000037#include "clang/Basic/TargetInfo.h"
38#include "clang/Basic/Diagnostic.h"
Chris Lattnerce6c42f2011-03-23 04:04:01 +000039#include "llvm/ADT/ArrayRef.h"
Douglas Gregordf7a79a2011-02-16 18:16:54 +000040#include "llvm/ADT/StringExtras.h"
Douglas Gregor40a5a7d2010-08-16 23:08:34 +000041#include "llvm/ADT/StringSet.h"
Douglas Gregor9aeaa4d2010-12-07 00:05:48 +000042#include "llvm/Support/Atomic.h"
Douglas Gregoraa98ed92010-01-23 00:14:00 +000043#include "llvm/Support/MemoryBuffer.h"
Michael J. Spencer8aaf4992010-11-29 18:12:39 +000044#include "llvm/Support/Host.h"
45#include "llvm/Support/Path.h"
Douglas Gregor028d3e42010-08-09 20:45:32 +000046#include "llvm/Support/raw_ostream.h"
Douglas Gregor15ba0b32010-07-30 20:58:08 +000047#include "llvm/Support/Timer.h"
Argyrios Kyrtzidis55e75572011-07-21 18:44:49 +000048#include "llvm/Support/FileSystem.h"
Ted Kremenek4422bfe2011-03-18 02:06:56 +000049#include "llvm/Support/CrashRecoveryContext.h"
Douglas Gregorbe2d8c62010-07-23 00:33:23 +000050#include <cstdlib>
Zhongxing Xu318e4032010-07-23 02:15:08 +000051#include <cstdio>
Douglas Gregor0e119552010-07-31 00:40:00 +000052#include <sys/stat.h>
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +000053using namespace clang;
54
Douglas Gregor16896c42010-10-28 15:44:59 +000055using llvm::TimeRecord;
56
57namespace {
58 class SimpleTimer {
59 bool WantTiming;
60 TimeRecord Start;
61 std::string Output;
62
Benjamin Kramerf2e5a912010-11-09 20:00:56 +000063 public:
Douglas Gregor1cbdd952010-11-01 13:48:43 +000064 explicit SimpleTimer(bool WantTiming) : WantTiming(WantTiming) {
Douglas Gregor16896c42010-10-28 15:44:59 +000065 if (WantTiming)
Benjamin Kramerf2e5a912010-11-09 20:00:56 +000066 Start = TimeRecord::getCurrentTime();
Douglas Gregor16896c42010-10-28 15:44:59 +000067 }
68
Chris Lattner0e62c1c2011-07-23 10:55:15 +000069 void setOutput(const Twine &Output) {
Douglas Gregor16896c42010-10-28 15:44:59 +000070 if (WantTiming)
Benjamin Kramerf2e5a912010-11-09 20:00:56 +000071 this->Output = Output.str();
Douglas Gregor16896c42010-10-28 15:44:59 +000072 }
73
Douglas Gregor16896c42010-10-28 15:44:59 +000074 ~SimpleTimer() {
75 if (WantTiming) {
76 TimeRecord Elapsed = TimeRecord::getCurrentTime();
77 Elapsed -= Start;
78 llvm::errs() << Output << ':';
79 Elapsed.print(Elapsed, llvm::errs());
80 llvm::errs() << '\n';
81 }
82 }
83 };
84}
85
Douglas Gregorbb420ab2010-08-04 05:53:38 +000086/// \brief After failing to build a precompiled preamble (due to
87/// errors in the source that occurs in the preamble), the number of
88/// reparses during which we'll skip even trying to precompile the
89/// preamble.
90const unsigned DefaultPreambleRebuildInterval = 5;
91
Douglas Gregor68dbaea2010-11-17 00:13:31 +000092/// \brief Tracks the number of ASTUnit objects that are currently active.
93///
94/// Used for debugging purposes only.
Douglas Gregor9aeaa4d2010-12-07 00:05:48 +000095static llvm::sys::cas_flag ActiveASTUnitObjects;
Douglas Gregor68dbaea2010-11-17 00:13:31 +000096
Douglas Gregord03e8232010-04-05 21:10:19 +000097ASTUnit::ASTUnit(bool _MainFileIsAST)
Argyrios Kyrtzidis35dcda72011-03-09 17:21:42 +000098 : OnlyLocalDecls(false), CaptureDiagnostics(false),
99 MainFileIsAST(_MainFileIsAST),
Douglas Gregor69f74f82011-08-25 22:30:56 +0000100 TUKind(TU_Complete), WantTiming(getenv("LIBCLANG_TIMING")),
Argyrios Kyrtzidis4954bc12011-03-05 01:03:48 +0000101 OwnsRemappedFileBuffers(true),
Douglas Gregor16896c42010-10-28 15:44:59 +0000102 NumStoredDiagnosticsFromDriver(0),
Douglas Gregor7bb8af62010-10-12 00:50:20 +0000103 ConcurrencyCheckValue(CheckUnlocked),
Douglas Gregora0734c52010-08-19 01:33:06 +0000104 PreambleRebuildCounter(0), SavedMainFileBuffer(0), PreambleBuffer(0),
Douglas Gregor2c8bd472010-08-17 00:40:40 +0000105 ShouldCacheCodeCompletionResults(false),
Chandler Carruthde81fc82011-07-14 09:02:10 +0000106 NestedMacroExpansions(true),
Douglas Gregordf7a79a2011-02-16 18:16:54 +0000107 CompletionCacheTopLevelHashValue(0),
108 PreambleTopLevelHashValue(0),
109 CurrentTopLevelHashValue(0),
Douglas Gregor4740c452010-08-19 00:45:44 +0000110 UnsafeToFree(false) {
Douglas Gregor68dbaea2010-11-17 00:13:31 +0000111 if (getenv("LIBCLANG_OBJTRACKING")) {
Douglas Gregor9aeaa4d2010-12-07 00:05:48 +0000112 llvm::sys::AtomicIncrement(&ActiveASTUnitObjects);
Douglas Gregor68dbaea2010-11-17 00:13:31 +0000113 fprintf(stderr, "+++ %d translation units\n", ActiveASTUnitObjects);
114 }
Douglas Gregor15ba0b32010-07-30 20:58:08 +0000115}
Douglas Gregord03e8232010-04-05 21:10:19 +0000116
Daniel Dunbar764c0822009-12-01 09:51:01 +0000117ASTUnit::~ASTUnit() {
Douglas Gregor0c7c2f82010-03-05 21:16:25 +0000118 ConcurrencyCheckValue = CheckLocked;
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000119 CleanTemporaryFiles();
Douglas Gregor4dde7492010-07-23 23:58:40 +0000120 if (!PreambleFile.empty())
Douglas Gregor15ba0b32010-07-30 20:58:08 +0000121 llvm::sys::Path(PreambleFile).eraseFromDisk();
Douglas Gregor3f4bea02010-07-26 21:36:20 +0000122
123 // Free the buffers associated with remapped files. We are required to
124 // perform this operation here because we explicitly request that the
125 // compiler instance *not* free these buffers for each invocation of the
126 // parser.
Ted Kremenek5e14d392011-03-21 18:40:17 +0000127 if (Invocation.getPtr() && OwnsRemappedFileBuffers) {
Douglas Gregor3f4bea02010-07-26 21:36:20 +0000128 PreprocessorOptions &PPOpts = Invocation->getPreprocessorOpts();
129 for (PreprocessorOptions::remapped_file_buffer_iterator
130 FB = PPOpts.remapped_file_buffer_begin(),
131 FBEnd = PPOpts.remapped_file_buffer_end();
132 FB != FBEnd;
133 ++FB)
134 delete FB->second;
135 }
Douglas Gregor96c04262010-07-27 14:52:07 +0000136
137 delete SavedMainFileBuffer;
Douglas Gregora0734c52010-08-19 01:33:06 +0000138 delete PreambleBuffer;
139
Douglas Gregor16896c42010-10-28 15:44:59 +0000140 ClearCachedCompletionResults();
Douglas Gregor68dbaea2010-11-17 00:13:31 +0000141
142 if (getenv("LIBCLANG_OBJTRACKING")) {
Douglas Gregor9aeaa4d2010-12-07 00:05:48 +0000143 llvm::sys::AtomicDecrement(&ActiveASTUnitObjects);
Douglas Gregor68dbaea2010-11-17 00:13:31 +0000144 fprintf(stderr, "--- %d translation units\n", ActiveASTUnitObjects);
145 }
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000146}
147
148void ASTUnit::CleanTemporaryFiles() {
Douglas Gregor6cb5ba42010-02-18 23:35:40 +0000149 for (unsigned I = 0, N = TemporaryFiles.size(); I != N; ++I)
150 TemporaryFiles[I].eraseFromDisk();
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000151 TemporaryFiles.clear();
Steve Naroff44cd60e2009-10-15 22:23:48 +0000152}
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000153
Douglas Gregor39982192010-08-15 06:18:01 +0000154/// \brief Determine the set of code-completion contexts in which this
155/// declaration should be shown.
156static unsigned getDeclShowContexts(NamedDecl *ND,
Douglas Gregor59cab552010-08-16 23:05:20 +0000157 const LangOptions &LangOpts,
158 bool &IsNestedNameSpecifier) {
159 IsNestedNameSpecifier = false;
160
Douglas Gregor39982192010-08-15 06:18:01 +0000161 if (isa<UsingShadowDecl>(ND))
162 ND = dyn_cast<NamedDecl>(ND->getUnderlyingDecl());
163 if (!ND)
164 return 0;
165
166 unsigned Contexts = 0;
167 if (isa<TypeDecl>(ND) || isa<ObjCInterfaceDecl>(ND) ||
168 isa<ClassTemplateDecl>(ND) || isa<TemplateTemplateParmDecl>(ND)) {
169 // Types can appear in these contexts.
170 if (LangOpts.CPlusPlus || !isa<TagDecl>(ND))
171 Contexts |= (1 << (CodeCompletionContext::CCC_TopLevel - 1))
172 | (1 << (CodeCompletionContext::CCC_ObjCIvarList - 1))
173 | (1 << (CodeCompletionContext::CCC_ClassStructUnion - 1))
174 | (1 << (CodeCompletionContext::CCC_Statement - 1))
Douglas Gregor5e35d592010-09-14 23:59:36 +0000175 | (1 << (CodeCompletionContext::CCC_Type - 1))
176 | (1 << (CodeCompletionContext::CCC_ParenthesizedExpression - 1));
Douglas Gregor39982192010-08-15 06:18:01 +0000177
178 // In C++, types can appear in expressions contexts (for functional casts).
179 if (LangOpts.CPlusPlus)
180 Contexts |= (1 << (CodeCompletionContext::CCC_Expression - 1));
181
182 // In Objective-C, message sends can send interfaces. In Objective-C++,
183 // all types are available due to functional casts.
184 if (LangOpts.CPlusPlus || isa<ObjCInterfaceDecl>(ND))
185 Contexts |= (1 << (CodeCompletionContext::CCC_ObjCMessageReceiver - 1));
Douglas Gregor21325842011-07-07 16:03:39 +0000186
187 // In Objective-C, you can only be a subclass of another Objective-C class
188 if (isa<ObjCInterfaceDecl>(ND))
Douglas Gregor2c595ad2011-07-30 06:55:39 +0000189 Contexts |= (1 << (CodeCompletionContext::CCC_ObjCInterfaceName - 1));
Douglas Gregor39982192010-08-15 06:18:01 +0000190
191 // Deal with tag names.
192 if (isa<EnumDecl>(ND)) {
193 Contexts |= (1 << (CodeCompletionContext::CCC_EnumTag - 1));
194
Douglas Gregor59cab552010-08-16 23:05:20 +0000195 // Part of the nested-name-specifier in C++0x.
Douglas Gregor39982192010-08-15 06:18:01 +0000196 if (LangOpts.CPlusPlus0x)
Douglas Gregor59cab552010-08-16 23:05:20 +0000197 IsNestedNameSpecifier = true;
Douglas Gregor39982192010-08-15 06:18:01 +0000198 } else if (RecordDecl *Record = dyn_cast<RecordDecl>(ND)) {
199 if (Record->isUnion())
200 Contexts |= (1 << (CodeCompletionContext::CCC_UnionTag - 1));
201 else
202 Contexts |= (1 << (CodeCompletionContext::CCC_ClassOrStructTag - 1));
203
Douglas Gregor39982192010-08-15 06:18:01 +0000204 if (LangOpts.CPlusPlus)
Douglas Gregor59cab552010-08-16 23:05:20 +0000205 IsNestedNameSpecifier = true;
Douglas Gregor0ac41382010-09-23 23:01:17 +0000206 } else if (isa<ClassTemplateDecl>(ND))
Douglas Gregor59cab552010-08-16 23:05:20 +0000207 IsNestedNameSpecifier = true;
Douglas Gregor39982192010-08-15 06:18:01 +0000208 } else if (isa<ValueDecl>(ND) || isa<FunctionTemplateDecl>(ND)) {
209 // Values can appear in these contexts.
210 Contexts = (1 << (CodeCompletionContext::CCC_Statement - 1))
211 | (1 << (CodeCompletionContext::CCC_Expression - 1))
Douglas Gregor5e35d592010-09-14 23:59:36 +0000212 | (1 << (CodeCompletionContext::CCC_ParenthesizedExpression - 1))
Douglas Gregor39982192010-08-15 06:18:01 +0000213 | (1 << (CodeCompletionContext::CCC_ObjCMessageReceiver - 1));
214 } else if (isa<ObjCProtocolDecl>(ND)) {
215 Contexts = (1 << (CodeCompletionContext::CCC_ObjCProtocolName - 1));
Douglas Gregor21325842011-07-07 16:03:39 +0000216 } else if (isa<ObjCCategoryDecl>(ND)) {
217 Contexts = (1 << (CodeCompletionContext::CCC_ObjCCategoryName - 1));
Douglas Gregor39982192010-08-15 06:18:01 +0000218 } else if (isa<NamespaceDecl>(ND) || isa<NamespaceAliasDecl>(ND)) {
Douglas Gregor59cab552010-08-16 23:05:20 +0000219 Contexts = (1 << (CodeCompletionContext::CCC_Namespace - 1));
Douglas Gregor39982192010-08-15 06:18:01 +0000220
221 // Part of the nested-name-specifier.
Douglas Gregor59cab552010-08-16 23:05:20 +0000222 IsNestedNameSpecifier = true;
Douglas Gregor39982192010-08-15 06:18:01 +0000223 }
224
225 return Contexts;
226}
227
Douglas Gregorb14904c2010-08-13 22:48:40 +0000228void ASTUnit::CacheCodeCompletionResults() {
229 if (!TheSema)
230 return;
231
Douglas Gregor16896c42010-10-28 15:44:59 +0000232 SimpleTimer Timer(WantTiming);
Benjamin Kramerf2e5a912010-11-09 20:00:56 +0000233 Timer.setOutput("Cache global code completions for " + getMainFileName());
Douglas Gregorb14904c2010-08-13 22:48:40 +0000234
235 // Clear out the previous results.
236 ClearCachedCompletionResults();
237
238 // Gather the set of global code completions.
John McCall276321a2010-08-25 06:19:51 +0000239 typedef CodeCompletionResult Result;
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000240 SmallVector<Result, 8> Results;
Douglas Gregor162b7122011-02-16 19:08:06 +0000241 CachedCompletionAllocator = new GlobalCodeCompletionAllocator;
242 TheSema->GatherGlobalCodeCompletions(*CachedCompletionAllocator, Results);
Douglas Gregorb14904c2010-08-13 22:48:40 +0000243
244 // Translate global code completions into cached completions.
Douglas Gregorb61c07a2010-08-16 18:08:11 +0000245 llvm::DenseMap<CanQualType, unsigned> CompletionTypes;
246
Douglas Gregorb14904c2010-08-13 22:48:40 +0000247 for (unsigned I = 0, N = Results.size(); I != N; ++I) {
248 switch (Results[I].Kind) {
Douglas Gregor39982192010-08-15 06:18:01 +0000249 case Result::RK_Declaration: {
Douglas Gregor59cab552010-08-16 23:05:20 +0000250 bool IsNestedNameSpecifier = false;
Douglas Gregor39982192010-08-15 06:18:01 +0000251 CachedCodeCompletionResult CachedResult;
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000252 CachedResult.Completion = Results[I].CreateCodeCompletionString(*TheSema,
Douglas Gregor162b7122011-02-16 19:08:06 +0000253 *CachedCompletionAllocator);
Douglas Gregor39982192010-08-15 06:18:01 +0000254 CachedResult.ShowInContexts = getDeclShowContexts(Results[I].Declaration,
Douglas Gregor59cab552010-08-16 23:05:20 +0000255 Ctx->getLangOptions(),
256 IsNestedNameSpecifier);
Douglas Gregor39982192010-08-15 06:18:01 +0000257 CachedResult.Priority = Results[I].Priority;
258 CachedResult.Kind = Results[I].CursorKind;
Douglas Gregorf757a122010-08-23 23:00:57 +0000259 CachedResult.Availability = Results[I].Availability;
Douglas Gregor24747402010-08-16 16:46:30 +0000260
Douglas Gregorb61c07a2010-08-16 18:08:11 +0000261 // Keep track of the type of this completion in an ASTContext-agnostic
262 // way.
Douglas Gregor24747402010-08-16 16:46:30 +0000263 QualType UsageType = getDeclUsageType(*Ctx, Results[I].Declaration);
Douglas Gregorb61c07a2010-08-16 18:08:11 +0000264 if (UsageType.isNull()) {
Douglas Gregor24747402010-08-16 16:46:30 +0000265 CachedResult.TypeClass = STC_Void;
Douglas Gregorb61c07a2010-08-16 18:08:11 +0000266 CachedResult.Type = 0;
267 } else {
268 CanQualType CanUsageType
269 = Ctx->getCanonicalType(UsageType.getUnqualifiedType());
270 CachedResult.TypeClass = getSimplifiedTypeClass(CanUsageType);
271
272 // Determine whether we have already seen this type. If so, we save
273 // ourselves the work of formatting the type string by using the
274 // temporary, CanQualType-based hash table to find the associated value.
275 unsigned &TypeValue = CompletionTypes[CanUsageType];
276 if (TypeValue == 0) {
277 TypeValue = CompletionTypes.size();
278 CachedCompletionTypes[QualType(CanUsageType).getAsString()]
279 = TypeValue;
280 }
281
282 CachedResult.Type = TypeValue;
Douglas Gregor24747402010-08-16 16:46:30 +0000283 }
Douglas Gregorb61c07a2010-08-16 18:08:11 +0000284
Douglas Gregor39982192010-08-15 06:18:01 +0000285 CachedCompletionResults.push_back(CachedResult);
Douglas Gregor59cab552010-08-16 23:05:20 +0000286
287 /// Handle nested-name-specifiers in C++.
288 if (TheSema->Context.getLangOptions().CPlusPlus &&
289 IsNestedNameSpecifier && !Results[I].StartsNestedNameSpecifier) {
290 // The contexts in which a nested-name-specifier can appear in C++.
291 unsigned NNSContexts
292 = (1 << (CodeCompletionContext::CCC_TopLevel - 1))
293 | (1 << (CodeCompletionContext::CCC_ObjCIvarList - 1))
294 | (1 << (CodeCompletionContext::CCC_ClassStructUnion - 1))
295 | (1 << (CodeCompletionContext::CCC_Statement - 1))
296 | (1 << (CodeCompletionContext::CCC_Expression - 1))
297 | (1 << (CodeCompletionContext::CCC_ObjCMessageReceiver - 1))
298 | (1 << (CodeCompletionContext::CCC_EnumTag - 1))
299 | (1 << (CodeCompletionContext::CCC_UnionTag - 1))
300 | (1 << (CodeCompletionContext::CCC_ClassOrStructTag - 1))
Douglas Gregorc49f5b22010-08-23 18:23:48 +0000301 | (1 << (CodeCompletionContext::CCC_Type - 1))
Douglas Gregor5e35d592010-09-14 23:59:36 +0000302 | (1 << (CodeCompletionContext::CCC_PotentiallyQualifiedName - 1))
303 | (1 << (CodeCompletionContext::CCC_ParenthesizedExpression - 1));
Douglas Gregor59cab552010-08-16 23:05:20 +0000304
305 if (isa<NamespaceDecl>(Results[I].Declaration) ||
306 isa<NamespaceAliasDecl>(Results[I].Declaration))
307 NNSContexts |= (1 << (CodeCompletionContext::CCC_Namespace - 1));
308
309 if (unsigned RemainingContexts
310 = NNSContexts & ~CachedResult.ShowInContexts) {
311 // If there any contexts where this completion can be a
312 // nested-name-specifier but isn't already an option, create a
313 // nested-name-specifier completion.
314 Results[I].StartsNestedNameSpecifier = true;
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000315 CachedResult.Completion
316 = Results[I].CreateCodeCompletionString(*TheSema,
Douglas Gregor162b7122011-02-16 19:08:06 +0000317 *CachedCompletionAllocator);
Douglas Gregor59cab552010-08-16 23:05:20 +0000318 CachedResult.ShowInContexts = RemainingContexts;
319 CachedResult.Priority = CCP_NestedNameSpecifier;
320 CachedResult.TypeClass = STC_Void;
321 CachedResult.Type = 0;
322 CachedCompletionResults.push_back(CachedResult);
323 }
324 }
Douglas Gregorb14904c2010-08-13 22:48:40 +0000325 break;
Douglas Gregor39982192010-08-15 06:18:01 +0000326 }
327
Douglas Gregorb14904c2010-08-13 22:48:40 +0000328 case Result::RK_Keyword:
329 case Result::RK_Pattern:
330 // Ignore keywords and patterns; we don't care, since they are so
331 // easily regenerated.
332 break;
333
334 case Result::RK_Macro: {
335 CachedCodeCompletionResult CachedResult;
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000336 CachedResult.Completion
337 = Results[I].CreateCodeCompletionString(*TheSema,
Douglas Gregor162b7122011-02-16 19:08:06 +0000338 *CachedCompletionAllocator);
Douglas Gregorb14904c2010-08-13 22:48:40 +0000339 CachedResult.ShowInContexts
340 = (1 << (CodeCompletionContext::CCC_TopLevel - 1))
341 | (1 << (CodeCompletionContext::CCC_ObjCInterface - 1))
342 | (1 << (CodeCompletionContext::CCC_ObjCImplementation - 1))
343 | (1 << (CodeCompletionContext::CCC_ObjCIvarList - 1))
344 | (1 << (CodeCompletionContext::CCC_ClassStructUnion - 1))
345 | (1 << (CodeCompletionContext::CCC_Statement - 1))
346 | (1 << (CodeCompletionContext::CCC_Expression - 1))
Douglas Gregor12785102010-08-24 20:21:13 +0000347 | (1 << (CodeCompletionContext::CCC_ObjCMessageReceiver - 1))
Douglas Gregorec00a262010-08-24 22:20:20 +0000348 | (1 << (CodeCompletionContext::CCC_MacroNameUse - 1))
Douglas Gregor5e35d592010-09-14 23:59:36 +0000349 | (1 << (CodeCompletionContext::CCC_PreprocessorExpression - 1))
Douglas Gregor3a69eaf2011-02-18 23:30:37 +0000350 | (1 << (CodeCompletionContext::CCC_ParenthesizedExpression - 1))
351 | (1 << (CodeCompletionContext::CCC_OtherWithMacros - 1));
Douglas Gregorc49f5b22010-08-23 18:23:48 +0000352
Douglas Gregorb14904c2010-08-13 22:48:40 +0000353 CachedResult.Priority = Results[I].Priority;
354 CachedResult.Kind = Results[I].CursorKind;
Douglas Gregorf757a122010-08-23 23:00:57 +0000355 CachedResult.Availability = Results[I].Availability;
Douglas Gregor6e240332010-08-16 16:18:59 +0000356 CachedResult.TypeClass = STC_Void;
Douglas Gregorb61c07a2010-08-16 18:08:11 +0000357 CachedResult.Type = 0;
Douglas Gregorb14904c2010-08-13 22:48:40 +0000358 CachedCompletionResults.push_back(CachedResult);
359 break;
360 }
361 }
Douglas Gregorb14904c2010-08-13 22:48:40 +0000362 }
Douglas Gregordf7a79a2011-02-16 18:16:54 +0000363
364 // Save the current top-level hash value.
365 CompletionCacheTopLevelHashValue = CurrentTopLevelHashValue;
Douglas Gregorb14904c2010-08-13 22:48:40 +0000366}
367
368void ASTUnit::ClearCachedCompletionResults() {
Douglas Gregorb14904c2010-08-13 22:48:40 +0000369 CachedCompletionResults.clear();
Douglas Gregorb61c07a2010-08-16 18:08:11 +0000370 CachedCompletionTypes.clear();
Douglas Gregor162b7122011-02-16 19:08:06 +0000371 CachedCompletionAllocator = 0;
Douglas Gregorb14904c2010-08-13 22:48:40 +0000372}
373
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000374namespace {
375
Sebastian Redl2c499f62010-08-18 23:56:43 +0000376/// \brief Gathers information from ASTReader that will be used to initialize
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000377/// a Preprocessor.
Sebastian Redld44cd6a2010-08-18 23:57:06 +0000378class ASTInfoCollector : public ASTReaderListener {
Douglas Gregor83297df2011-09-01 23:39:15 +0000379 Preprocessor &PP;
Douglas Gregore8bbc122011-09-02 00:18:52 +0000380 ASTContext &Context;
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000381 LangOptions &LangOpt;
382 HeaderSearch &HSI;
Douglas Gregor83297df2011-09-01 23:39:15 +0000383 llvm::IntrusiveRefCntPtr<TargetInfo> &Target;
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000384 std::string &Predefines;
385 unsigned &Counter;
Mike Stump11289f42009-09-09 15:08:12 +0000386
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000387 unsigned NumHeaderInfos;
Mike Stump11289f42009-09-09 15:08:12 +0000388
Douglas Gregore8bbc122011-09-02 00:18:52 +0000389 bool InitializedLanguage;
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000390public:
Douglas Gregore8bbc122011-09-02 00:18:52 +0000391 ASTInfoCollector(Preprocessor &PP, ASTContext &Context, LangOptions &LangOpt,
392 HeaderSearch &HSI,
Douglas Gregor83297df2011-09-01 23:39:15 +0000393 llvm::IntrusiveRefCntPtr<TargetInfo> &Target,
394 std::string &Predefines,
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000395 unsigned &Counter)
Douglas Gregore8bbc122011-09-02 00:18:52 +0000396 : PP(PP), Context(Context), LangOpt(LangOpt), HSI(HSI), Target(Target),
Douglas Gregor83297df2011-09-01 23:39:15 +0000397 Predefines(Predefines), Counter(Counter), NumHeaderInfos(0),
Douglas Gregore8bbc122011-09-02 00:18:52 +0000398 InitializedLanguage(false) {}
Mike Stump11289f42009-09-09 15:08:12 +0000399
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000400 virtual bool ReadLanguageOptions(const LangOptions &LangOpts) {
Douglas Gregore8bbc122011-09-02 00:18:52 +0000401 if (InitializedLanguage)
Douglas Gregor83297df2011-09-01 23:39:15 +0000402 return false;
403
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000404 LangOpt = LangOpts;
Douglas Gregor83297df2011-09-01 23:39:15 +0000405
406 // Initialize the preprocessor.
407 PP.Initialize(*Target);
Douglas Gregore8bbc122011-09-02 00:18:52 +0000408
409 // Initialize the ASTContext
410 Context.InitBuiltinTypes(*Target);
411
412 InitializedLanguage = true;
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000413 return false;
414 }
Mike Stump11289f42009-09-09 15:08:12 +0000415
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000416 virtual bool ReadTargetTriple(StringRef Triple) {
Douglas Gregor83297df2011-09-01 23:39:15 +0000417 // If we've already initialized the target, don't do it again.
418 if (Target)
419 return false;
420
421 // FIXME: This is broken, we should store the TargetOptions in the AST file.
422 TargetOptions TargetOpts;
423 TargetOpts.ABI = "";
424 TargetOpts.CXXABI = "";
425 TargetOpts.CPU = "";
426 TargetOpts.Features.clear();
427 TargetOpts.Triple = Triple;
428 Target = TargetInfo::CreateTargetInfo(PP.getDiagnostics(), TargetOpts);
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000429 return false;
430 }
Mike Stump11289f42009-09-09 15:08:12 +0000431
Sebastian Redl8b41f302010-07-14 23:29:55 +0000432 virtual bool ReadPredefinesBuffer(const PCHPredefinesBlocks &Buffers,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000433 StringRef OriginalFileName,
Nick Lewycky36079892011-02-23 21:16:44 +0000434 std::string &SuggestedPredefines,
435 FileManager &FileMgr) {
Sebastian Redl8b41f302010-07-14 23:29:55 +0000436 Predefines = Buffers[0].Data;
437 for (unsigned I = 1, N = Buffers.size(); I != N; ++I) {
438 Predefines += Buffers[I].Data;
439 }
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000440 return false;
441 }
Mike Stump11289f42009-09-09 15:08:12 +0000442
Douglas Gregora2f49452010-03-16 19:09:18 +0000443 virtual void ReadHeaderFileInfo(const HeaderFileInfo &HFI, unsigned ID) {
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000444 HSI.setHeaderFileInfoForUID(HFI, NumHeaderInfos++);
445 }
Mike Stump11289f42009-09-09 15:08:12 +0000446
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000447 virtual void ReadCounter(unsigned Value) {
448 Counter = Value;
449 }
450};
451
Douglas Gregor33cdd812010-02-18 18:08:43 +0000452class StoredDiagnosticClient : public DiagnosticClient {
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000453 SmallVectorImpl<StoredDiagnostic> &StoredDiags;
Douglas Gregor33cdd812010-02-18 18:08:43 +0000454
455public:
456 explicit StoredDiagnosticClient(
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000457 SmallVectorImpl<StoredDiagnostic> &StoredDiags)
Douglas Gregor33cdd812010-02-18 18:08:43 +0000458 : StoredDiags(StoredDiags) { }
459
460 virtual void HandleDiagnostic(Diagnostic::Level Level,
461 const DiagnosticInfo &Info);
462};
463
464/// \brief RAII object that optionally captures diagnostics, if
465/// there is no diagnostic client to capture them already.
466class CaptureDroppedDiagnostics {
467 Diagnostic &Diags;
468 StoredDiagnosticClient Client;
469 DiagnosticClient *PreviousClient;
470
471public:
472 CaptureDroppedDiagnostics(bool RequestCapture, Diagnostic &Diags,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000473 SmallVectorImpl<StoredDiagnostic> &StoredDiags)
Douglas Gregor2dd19f12010-08-18 22:29:43 +0000474 : Diags(Diags), Client(StoredDiags), PreviousClient(0)
Douglas Gregor33cdd812010-02-18 18:08:43 +0000475 {
Douglas Gregor2dd19f12010-08-18 22:29:43 +0000476 if (RequestCapture || Diags.getClient() == 0) {
477 PreviousClient = Diags.takeClient();
Douglas Gregor33cdd812010-02-18 18:08:43 +0000478 Diags.setClient(&Client);
Douglas Gregor2dd19f12010-08-18 22:29:43 +0000479 }
Douglas Gregor33cdd812010-02-18 18:08:43 +0000480 }
481
482 ~CaptureDroppedDiagnostics() {
Douglas Gregor2dd19f12010-08-18 22:29:43 +0000483 if (Diags.getClient() == &Client) {
484 Diags.takeClient();
485 Diags.setClient(PreviousClient);
486 }
Douglas Gregor33cdd812010-02-18 18:08:43 +0000487 }
488};
489
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000490} // anonymous namespace
491
Douglas Gregor33cdd812010-02-18 18:08:43 +0000492void StoredDiagnosticClient::HandleDiagnostic(Diagnostic::Level Level,
493 const DiagnosticInfo &Info) {
Argyrios Kyrtzidisc79346a2010-11-18 20:06:46 +0000494 // Default implementation (Warnings/errors count).
495 DiagnosticClient::HandleDiagnostic(Level, Info);
496
Douglas Gregor33cdd812010-02-18 18:08:43 +0000497 StoredDiags.push_back(StoredDiagnostic(Level, Info));
498}
499
Steve Naroffc0683b92009-09-03 18:19:54 +0000500const std::string &ASTUnit::getOriginalSourceFileName() {
Daniel Dunbara8a50932009-12-02 08:44:16 +0000501 return OriginalSourceFile;
Steve Naroffc0683b92009-09-03 18:19:54 +0000502}
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000503
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000504llvm::MemoryBuffer *ASTUnit::getBufferForFile(StringRef Filename,
Chris Lattner26b5c192010-11-23 09:19:42 +0000505 std::string *ErrorStr) {
Chris Lattner5159f612010-11-23 08:35:12 +0000506 assert(FileMgr);
Chris Lattner26b5c192010-11-23 09:19:42 +0000507 return FileMgr->getBufferForFile(Filename, ErrorStr);
Argyrios Kyrtzidis71731d62010-11-03 22:45:23 +0000508}
509
Douglas Gregor44c6ee72010-11-11 00:39:14 +0000510/// \brief Configure the diagnostics object for use with ASTUnit.
511void ASTUnit::ConfigureDiags(llvm::IntrusiveRefCntPtr<Diagnostic> &Diags,
Douglas Gregor345c1bc2011-01-19 01:02:47 +0000512 const char **ArgBegin, const char **ArgEnd,
Douglas Gregor44c6ee72010-11-11 00:39:14 +0000513 ASTUnit &AST, bool CaptureDiagnostics) {
514 if (!Diags.getPtr()) {
515 // No diagnostics engine was provided, so create our own diagnostics object
516 // with the default options.
517 DiagnosticOptions DiagOpts;
518 DiagnosticClient *Client = 0;
519 if (CaptureDiagnostics)
520 Client = new StoredDiagnosticClient(AST.StoredDiagnostics);
Douglas Gregor345c1bc2011-01-19 01:02:47 +0000521 Diags = CompilerInstance::createDiagnostics(DiagOpts, ArgEnd- ArgBegin,
522 ArgBegin, Client);
Douglas Gregor44c6ee72010-11-11 00:39:14 +0000523 } else if (CaptureDiagnostics) {
524 Diags->setClient(new StoredDiagnosticClient(AST.StoredDiagnostics));
525 }
526}
527
Sebastian Redld44cd6a2010-08-18 23:57:06 +0000528ASTUnit *ASTUnit::LoadFromASTFile(const std::string &Filename,
Douglas Gregor7f95d262010-04-05 23:52:57 +0000529 llvm::IntrusiveRefCntPtr<Diagnostic> Diags,
Argyrios Kyrtzidis71731d62010-11-03 22:45:23 +0000530 const FileSystemOptions &FileSystemOpts,
Ted Kremenek8bcb1c62009-10-17 00:34:24 +0000531 bool OnlyLocalDecls,
Douglas Gregoraa98ed92010-01-23 00:14:00 +0000532 RemappedFile *RemappedFiles,
Douglas Gregor33cdd812010-02-18 18:08:43 +0000533 unsigned NumRemappedFiles,
534 bool CaptureDiagnostics) {
Douglas Gregord03e8232010-04-05 21:10:19 +0000535 llvm::OwningPtr<ASTUnit> AST(new ASTUnit(true));
Ted Kremenek4422bfe2011-03-18 02:06:56 +0000536
537 // Recover resources if we crash before exiting this method.
Ted Kremenek022a4902011-03-22 01:15:24 +0000538 llvm::CrashRecoveryContextCleanupRegistrar<ASTUnit>
539 ASTUnitCleanup(AST.get());
540 llvm::CrashRecoveryContextCleanupRegistrar<Diagnostic,
541 llvm::CrashRecoveryContextReleaseRefCleanup<Diagnostic> >
542 DiagCleanup(Diags.getPtr());
Ted Kremenek4422bfe2011-03-18 02:06:56 +0000543
Douglas Gregor345c1bc2011-01-19 01:02:47 +0000544 ConfigureDiags(Diags, 0, 0, *AST, CaptureDiagnostics);
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000545
Douglas Gregor16bef852009-10-16 20:01:17 +0000546 AST->OnlyLocalDecls = OnlyLocalDecls;
Douglas Gregor44c6ee72010-11-11 00:39:14 +0000547 AST->CaptureDiagnostics = CaptureDiagnostics;
Douglas Gregor7f95d262010-04-05 23:52:57 +0000548 AST->Diagnostics = Diags;
Ted Kremenek5e14d392011-03-21 18:40:17 +0000549 AST->FileMgr = new FileManager(FileSystemOpts);
550 AST->SourceMgr = new SourceManager(AST->getDiagnostics(),
551 AST->getFileManager());
Chris Lattner5159f612010-11-23 08:35:12 +0000552 AST->HeaderInfo.reset(new HeaderSearch(AST->getFileManager()));
Douglas Gregor6fd55e02010-08-13 03:15:25 +0000553
Douglas Gregoraa98ed92010-01-23 00:14:00 +0000554 for (unsigned I = 0; I != NumRemappedFiles; ++I) {
Argyrios Kyrtzidis11e6f0a2011-03-05 01:03:53 +0000555 FilenameOrMemBuf fileOrBuf = RemappedFiles[I].second;
556 if (const llvm::MemoryBuffer *
557 memBuf = fileOrBuf.dyn_cast<const llvm::MemoryBuffer *>()) {
558 // Create the file entry for the file that we're mapping from.
559 const FileEntry *FromFile
560 = AST->getFileManager().getVirtualFile(RemappedFiles[I].first,
561 memBuf->getBufferSize(),
562 0);
563 if (!FromFile) {
564 AST->getDiagnostics().Report(diag::err_fe_remap_missing_from_file)
565 << RemappedFiles[I].first;
566 delete memBuf;
567 continue;
568 }
569
570 // Override the contents of the "from" file with the contents of
571 // the "to" file.
572 AST->getSourceManager().overrideFileContents(FromFile, memBuf);
573
574 } else {
575 const char *fname = fileOrBuf.get<const char *>();
576 const FileEntry *ToFile = AST->FileMgr->getFile(fname);
577 if (!ToFile) {
578 AST->getDiagnostics().Report(diag::err_fe_remap_missing_to_file)
579 << RemappedFiles[I].first << fname;
580 continue;
581 }
582
583 // Create the file entry for the file that we're mapping from.
584 const FileEntry *FromFile
585 = AST->getFileManager().getVirtualFile(RemappedFiles[I].first,
586 ToFile->getSize(),
587 0);
588 if (!FromFile) {
589 AST->getDiagnostics().Report(diag::err_fe_remap_missing_from_file)
590 << RemappedFiles[I].first;
591 delete memBuf;
592 continue;
593 }
594
595 // Override the contents of the "from" file with the contents of
596 // the "to" file.
597 AST->getSourceManager().overrideFileContents(FromFile, ToFile);
Douglas Gregoraa98ed92010-01-23 00:14:00 +0000598 }
Douglas Gregoraa98ed92010-01-23 00:14:00 +0000599 }
600
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000601 // Gather Info for preprocessor construction later on.
Mike Stump11289f42009-09-09 15:08:12 +0000602
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000603 HeaderSearch &HeaderInfo = *AST->HeaderInfo.get();
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000604 std::string Predefines;
605 unsigned Counter;
606
Sebastian Redl2c499f62010-08-18 23:56:43 +0000607 llvm::OwningPtr<ASTReader> Reader;
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000608
Douglas Gregor83297df2011-09-01 23:39:15 +0000609 AST->PP = new Preprocessor(AST->getDiagnostics(), AST->ASTFileLangOpts,
610 /*Target=*/0, AST->getSourceManager(), HeaderInfo,
611 *AST,
612 /*IILookup=*/0,
613 /*OwnsHeaderSearch=*/false,
614 /*DelayInitialization=*/true);
Douglas Gregore8bbc122011-09-02 00:18:52 +0000615 Preprocessor &PP = *AST->PP;
616
617 AST->Ctx = new ASTContext(AST->ASTFileLangOpts,
618 AST->getSourceManager(),
619 /*Target=*/0,
620 PP.getIdentifierTable(),
621 PP.getSelectorTable(),
622 PP.getBuiltinInfo(),
623 /* size_reserve = */0,
624 /*DelayInitialization=*/true);
625 ASTContext &Context = *AST->Ctx;
Douglas Gregor83297df2011-09-01 23:39:15 +0000626
Sebastian Redl2c499f62010-08-18 23:56:43 +0000627 Reader.reset(new ASTReader(AST->getSourceManager(), AST->getFileManager(),
Chris Lattner5159f612010-11-23 08:35:12 +0000628 AST->getDiagnostics()));
Ted Kremenek2159b8d2011-05-04 23:27:12 +0000629
630 // Recover resources if we crash before exiting this method.
631 llvm::CrashRecoveryContextCleanupRegistrar<ASTReader>
632 ReaderCleanup(Reader.get());
633
Douglas Gregore8bbc122011-09-02 00:18:52 +0000634 Reader->setListener(new ASTInfoCollector(*AST->PP, Context,
Douglas Gregor83297df2011-09-01 23:39:15 +0000635 AST->ASTFileLangOpts, HeaderInfo,
636 AST->Target, Predefines, Counter));
Daniel Dunbar2d9c7402009-09-03 05:59:35 +0000637
Douglas Gregora6895d82011-07-22 16:00:58 +0000638 switch (Reader->ReadAST(Filename, serialization::MK_MainFile)) {
Sebastian Redl2c499f62010-08-18 23:56:43 +0000639 case ASTReader::Success:
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000640 break;
Mike Stump11289f42009-09-09 15:08:12 +0000641
Sebastian Redl2c499f62010-08-18 23:56:43 +0000642 case ASTReader::Failure:
643 case ASTReader::IgnorePCH:
Douglas Gregord03e8232010-04-05 21:10:19 +0000644 AST->getDiagnostics().Report(diag::err_fe_unable_to_load_pch);
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000645 return NULL;
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000646 }
Mike Stump11289f42009-09-09 15:08:12 +0000647
Daniel Dunbara8a50932009-12-02 08:44:16 +0000648 AST->OriginalSourceFile = Reader->getOriginalSourceFile();
649
Daniel Dunbarb7bbfdd2009-09-21 03:03:47 +0000650 PP.setPredefines(Reader->getSuggestedPredefines());
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000651 PP.setCounterValue(Counter);
Daniel Dunbar2d9c7402009-09-03 05:59:35 +0000652 Reader->setPreprocessor(PP);
Mike Stump11289f42009-09-09 15:08:12 +0000653
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000654 // Create and initialize the ASTContext.
Daniel Dunbar2d9c7402009-09-03 05:59:35 +0000655 Reader->InitializeContext(Context);
Douglas Gregore8bbc122011-09-02 00:18:52 +0000656
Sebastian Redl2c499f62010-08-18 23:56:43 +0000657 // Attach the AST reader to the AST context as an external AST
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000658 // source, so that declarations will be deserialized from the
Sebastian Redld44cd6a2010-08-18 23:57:06 +0000659 // AST file as needed.
Sebastian Redl2c499f62010-08-18 23:56:43 +0000660 ASTReader *ReaderPtr = Reader.get();
Douglas Gregor6fd55e02010-08-13 03:15:25 +0000661 llvm::OwningPtr<ExternalASTSource> Source(Reader.take());
Ted Kremenek2159b8d2011-05-04 23:27:12 +0000662
663 // Unregister the cleanup for ASTReader. It will get cleaned up
664 // by the ASTUnit cleanup.
665 ReaderCleanup.unregister();
666
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000667 Context.setExternalSource(Source);
668
Douglas Gregor6fd55e02010-08-13 03:15:25 +0000669 // Create an AST consumer, even though it isn't used.
670 AST->Consumer.reset(new ASTConsumer);
671
Sebastian Redl2c499f62010-08-18 23:56:43 +0000672 // Create a semantic analysis object and tell the AST reader about it.
Douglas Gregor6fd55e02010-08-13 03:15:25 +0000673 AST->TheSema.reset(new Sema(PP, Context, *AST->Consumer));
674 AST->TheSema->Initialize();
675 ReaderPtr->InitializeSema(*AST->TheSema);
676
Mike Stump11289f42009-09-09 15:08:12 +0000677 return AST.take();
Argyrios Kyrtzidisce379752009-06-20 08:08:23 +0000678}
Daniel Dunbar764c0822009-12-01 09:51:01 +0000679
680namespace {
681
Douglas Gregordf7a79a2011-02-16 18:16:54 +0000682/// \brief Preprocessor callback class that updates a hash value with the names
683/// of all macros that have been defined by the translation unit.
684class MacroDefinitionTrackerPPCallbacks : public PPCallbacks {
685 unsigned &Hash;
686
687public:
688 explicit MacroDefinitionTrackerPPCallbacks(unsigned &Hash) : Hash(Hash) { }
689
690 virtual void MacroDefined(const Token &MacroNameTok, const MacroInfo *MI) {
691 Hash = llvm::HashString(MacroNameTok.getIdentifierInfo()->getName(), Hash);
692 }
693};
694
695/// \brief Add the given declaration to the hash of all top-level entities.
696void AddTopLevelDeclarationToHash(Decl *D, unsigned &Hash) {
697 if (!D)
698 return;
699
700 DeclContext *DC = D->getDeclContext();
701 if (!DC)
702 return;
703
704 if (!(DC->isTranslationUnit() || DC->getLookupParent()->isTranslationUnit()))
705 return;
706
707 if (NamedDecl *ND = dyn_cast<NamedDecl>(D)) {
708 if (ND->getIdentifier())
709 Hash = llvm::HashString(ND->getIdentifier()->getName(), Hash);
710 else if (DeclarationName Name = ND->getDeclName()) {
711 std::string NameStr = Name.getAsString();
712 Hash = llvm::HashString(NameStr, Hash);
713 }
714 return;
715 }
716
717 if (ObjCForwardProtocolDecl *Forward
718 = dyn_cast<ObjCForwardProtocolDecl>(D)) {
719 for (ObjCForwardProtocolDecl::protocol_iterator
720 P = Forward->protocol_begin(),
721 PEnd = Forward->protocol_end();
722 P != PEnd; ++P)
723 AddTopLevelDeclarationToHash(*P, Hash);
724 return;
725 }
726
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000727 if (ObjCClassDecl *Class = dyn_cast<ObjCClassDecl>(D)) {
Fariborz Jahanian3a039e32011-08-27 20:50:59 +0000728 AddTopLevelDeclarationToHash(Class->getForwardInterfaceDecl(), Hash);
Douglas Gregordf7a79a2011-02-16 18:16:54 +0000729 return;
730 }
731}
732
Daniel Dunbar644dca02009-12-04 08:17:33 +0000733class TopLevelDeclTrackerConsumer : public ASTConsumer {
734 ASTUnit &Unit;
Douglas Gregordf7a79a2011-02-16 18:16:54 +0000735 unsigned &Hash;
736
Daniel Dunbar644dca02009-12-04 08:17:33 +0000737public:
Douglas Gregordf7a79a2011-02-16 18:16:54 +0000738 TopLevelDeclTrackerConsumer(ASTUnit &_Unit, unsigned &Hash)
739 : Unit(_Unit), Hash(Hash) {
740 Hash = 0;
741 }
742
Daniel Dunbar644dca02009-12-04 08:17:33 +0000743 void HandleTopLevelDecl(DeclGroupRef D) {
Ted Kremenekacc59c32010-05-03 20:16:35 +0000744 for (DeclGroupRef::iterator it = D.begin(), ie = D.end(); it != ie; ++it) {
745 Decl *D = *it;
746 // FIXME: Currently ObjC method declarations are incorrectly being
747 // reported as top-level declarations, even though their DeclContext
748 // is the containing ObjC @interface/@implementation. This is a
749 // fundamental problem in the parser right now.
750 if (isa<ObjCMethodDecl>(D))
751 continue;
Douglas Gregordf7a79a2011-02-16 18:16:54 +0000752
753 AddTopLevelDeclarationToHash(D, Hash);
Douglas Gregore9db88f2010-08-03 19:06:41 +0000754 Unit.addTopLevelDecl(D);
Ted Kremenekacc59c32010-05-03 20:16:35 +0000755 }
Daniel Dunbar644dca02009-12-04 08:17:33 +0000756 }
Sebastian Redleaa4ade2010-08-11 18:52:41 +0000757
758 // We're not interested in "interesting" decls.
759 void HandleInterestingDecl(DeclGroupRef) {}
Daniel Dunbar644dca02009-12-04 08:17:33 +0000760};
761
762class TopLevelDeclTrackerAction : public ASTFrontendAction {
763public:
764 ASTUnit &Unit;
765
Daniel Dunbar764c0822009-12-01 09:51:01 +0000766 virtual ASTConsumer *CreateASTConsumer(CompilerInstance &CI,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000767 StringRef InFile) {
Douglas Gregordf7a79a2011-02-16 18:16:54 +0000768 CI.getPreprocessor().addPPCallbacks(
769 new MacroDefinitionTrackerPPCallbacks(Unit.getCurrentTopLevelHashValue()));
770 return new TopLevelDeclTrackerConsumer(Unit,
771 Unit.getCurrentTopLevelHashValue());
Daniel Dunbar764c0822009-12-01 09:51:01 +0000772 }
773
774public:
Daniel Dunbar644dca02009-12-04 08:17:33 +0000775 TopLevelDeclTrackerAction(ASTUnit &_Unit) : Unit(_Unit) {}
776
Daniel Dunbar764c0822009-12-01 09:51:01 +0000777 virtual bool hasCodeCompletionSupport() const { return false; }
Douglas Gregor69f74f82011-08-25 22:30:56 +0000778 virtual TranslationUnitKind getTranslationUnitKind() {
779 return Unit.getTranslationUnitKind();
Douglas Gregor028d3e42010-08-09 20:45:32 +0000780 }
Daniel Dunbar764c0822009-12-01 09:51:01 +0000781};
782
Douglas Gregorf88e35b2010-11-30 06:16:57 +0000783class PrecompilePreambleConsumer : public PCHGenerator,
784 public ASTSerializationListener {
Douglas Gregor48c8cd32010-08-03 08:14:03 +0000785 ASTUnit &Unit;
Douglas Gregordf7a79a2011-02-16 18:16:54 +0000786 unsigned &Hash;
Douglas Gregore9db88f2010-08-03 19:06:41 +0000787 std::vector<Decl *> TopLevelDecls;
Douglas Gregorf88e35b2010-11-30 06:16:57 +0000788
Douglas Gregor48c8cd32010-08-03 08:14:03 +0000789public:
Douglas Gregor36db4f92011-08-25 22:35:51 +0000790 PrecompilePreambleConsumer(ASTUnit &Unit, const Preprocessor &PP,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000791 StringRef isysroot, raw_ostream *Out)
Douglas Gregor4a69c2e2011-09-01 17:04:32 +0000792 : PCHGenerator(PP, "", /*IsModule=*/false, isysroot, Out), Unit(Unit),
Douglas Gregordf7a79a2011-02-16 18:16:54 +0000793 Hash(Unit.getCurrentTopLevelHashValue()) {
794 Hash = 0;
795 }
Douglas Gregor48c8cd32010-08-03 08:14:03 +0000796
Douglas Gregore9db88f2010-08-03 19:06:41 +0000797 virtual void HandleTopLevelDecl(DeclGroupRef D) {
Douglas Gregor48c8cd32010-08-03 08:14:03 +0000798 for (DeclGroupRef::iterator it = D.begin(), ie = D.end(); it != ie; ++it) {
799 Decl *D = *it;
800 // FIXME: Currently ObjC method declarations are incorrectly being
801 // reported as top-level declarations, even though their DeclContext
802 // is the containing ObjC @interface/@implementation. This is a
803 // fundamental problem in the parser right now.
804 if (isa<ObjCMethodDecl>(D))
805 continue;
Douglas Gregordf7a79a2011-02-16 18:16:54 +0000806 AddTopLevelDeclarationToHash(D, Hash);
Douglas Gregore9db88f2010-08-03 19:06:41 +0000807 TopLevelDecls.push_back(D);
808 }
809 }
810
811 virtual void HandleTranslationUnit(ASTContext &Ctx) {
812 PCHGenerator::HandleTranslationUnit(Ctx);
813 if (!Unit.getDiagnostics().hasErrorOccurred()) {
814 // Translate the top-level declarations we captured during
815 // parsing into declaration IDs in the precompiled
816 // preamble. This will allow us to deserialize those top-level
817 // declarations when requested.
818 for (unsigned I = 0, N = TopLevelDecls.size(); I != N; ++I)
819 Unit.addTopLevelDeclFromPreamble(
820 getWriter().getDeclID(TopLevelDecls[I]));
Douglas Gregor48c8cd32010-08-03 08:14:03 +0000821 }
822 }
Douglas Gregorf88e35b2010-11-30 06:16:57 +0000823
824 virtual void SerializedPreprocessedEntity(PreprocessedEntity *Entity,
825 uint64_t Offset) {
826 Unit.addPreprocessedEntityFromPreamble(Offset);
827 }
828
829 virtual ASTSerializationListener *GetASTSerializationListener() {
830 return this;
831 }
Douglas Gregor48c8cd32010-08-03 08:14:03 +0000832};
833
834class PrecompilePreambleAction : public ASTFrontendAction {
835 ASTUnit &Unit;
836
837public:
838 explicit PrecompilePreambleAction(ASTUnit &Unit) : Unit(Unit) {}
839
840 virtual ASTConsumer *CreateASTConsumer(CompilerInstance &CI,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000841 StringRef InFile) {
Douglas Gregor48c8cd32010-08-03 08:14:03 +0000842 std::string Sysroot;
Argyrios Kyrtzidis10b23682011-02-15 17:54:22 +0000843 std::string OutputFile;
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000844 raw_ostream *OS = 0;
Argyrios Kyrtzidis10b23682011-02-15 17:54:22 +0000845 if (GeneratePCHAction::ComputeASTConsumerArguments(CI, InFile, Sysroot,
846 OutputFile,
Douglas Gregor36db4f92011-08-25 22:35:51 +0000847 OS))
Douglas Gregor48c8cd32010-08-03 08:14:03 +0000848 return 0;
849
Douglas Gregorc567ba22011-07-22 16:35:34 +0000850 if (!CI.getFrontendOpts().RelocatablePCH)
851 Sysroot.clear();
852
Douglas Gregordf7a79a2011-02-16 18:16:54 +0000853 CI.getPreprocessor().addPPCallbacks(
854 new MacroDefinitionTrackerPPCallbacks(Unit.getCurrentTopLevelHashValue()));
Douglas Gregor36db4f92011-08-25 22:35:51 +0000855 return new PrecompilePreambleConsumer(Unit, CI.getPreprocessor(), Sysroot,
856 OS);
Douglas Gregor48c8cd32010-08-03 08:14:03 +0000857 }
858
859 virtual bool hasCodeCompletionSupport() const { return false; }
860 virtual bool hasASTFileSupport() const { return false; }
Douglas Gregor69f74f82011-08-25 22:30:56 +0000861 virtual TranslationUnitKind getTranslationUnitKind() { return TU_Prefix; }
Douglas Gregor48c8cd32010-08-03 08:14:03 +0000862};
863
Daniel Dunbar764c0822009-12-01 09:51:01 +0000864}
865
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000866/// Parse the source file into a translation unit using the given compiler
867/// invocation, replacing the current translation unit.
868///
869/// \returns True if a failure occurred that causes the ASTUnit not to
870/// contain any translation-unit information, false otherwise.
Douglas Gregor6481ef12010-07-24 00:38:13 +0000871bool ASTUnit::Parse(llvm::MemoryBuffer *OverrideMainBuffer) {
Douglas Gregor96c04262010-07-27 14:52:07 +0000872 delete SavedMainFileBuffer;
873 SavedMainFileBuffer = 0;
874
Ted Kremenek5e14d392011-03-21 18:40:17 +0000875 if (!Invocation) {
Douglas Gregora0734c52010-08-19 01:33:06 +0000876 delete OverrideMainBuffer;
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000877 return true;
Douglas Gregora0734c52010-08-19 01:33:06 +0000878 }
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000879
Daniel Dunbar764c0822009-12-01 09:51:01 +0000880 // Create the compiler instance to use for building the AST.
Ted Kremenek84de4a12011-03-21 18:40:07 +0000881 llvm::OwningPtr<CompilerInstance> Clang(new CompilerInstance());
882
883 // Recover resources if we crash before exiting this method.
Ted Kremenek022a4902011-03-22 01:15:24 +0000884 llvm::CrashRecoveryContextCleanupRegistrar<CompilerInstance>
885 CICleanup(Clang.get());
Ted Kremenek84de4a12011-03-21 18:40:07 +0000886
Ted Kremenek5e14d392011-03-21 18:40:17 +0000887 Clang->setInvocation(&*Invocation);
Ted Kremenek84de4a12011-03-21 18:40:07 +0000888 OriginalSourceFile = Clang->getFrontendOpts().Inputs[0].second;
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000889
Douglas Gregor8e984da2010-08-04 16:47:14 +0000890 // Set up diagnostics, capturing any diagnostics that would
891 // otherwise be dropped.
Ted Kremenek84de4a12011-03-21 18:40:07 +0000892 Clang->setDiagnostics(&getDiagnostics());
Douglas Gregord03e8232010-04-05 21:10:19 +0000893
Daniel Dunbar764c0822009-12-01 09:51:01 +0000894 // Create the target instance.
Ted Kremenek84de4a12011-03-21 18:40:07 +0000895 Clang->getTargetOpts().Features = TargetFeatures;
896 Clang->setTarget(TargetInfo::CreateTargetInfo(Clang->getDiagnostics(),
Ted Kremenek5e14d392011-03-21 18:40:17 +0000897 Clang->getTargetOpts()));
Ted Kremenek84de4a12011-03-21 18:40:07 +0000898 if (!Clang->hasTarget()) {
Douglas Gregora0734c52010-08-19 01:33:06 +0000899 delete OverrideMainBuffer;
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000900 return true;
Douglas Gregora0734c52010-08-19 01:33:06 +0000901 }
902
Daniel Dunbar764c0822009-12-01 09:51:01 +0000903 // Inform the target of the language options.
904 //
905 // FIXME: We shouldn't need to do this, the target should be immutable once
906 // created. This complexity should be lifted elsewhere.
Ted Kremenek84de4a12011-03-21 18:40:07 +0000907 Clang->getTarget().setForcedLangOptions(Clang->getLangOpts());
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000908
Ted Kremenek84de4a12011-03-21 18:40:07 +0000909 assert(Clang->getFrontendOpts().Inputs.size() == 1 &&
Daniel Dunbar764c0822009-12-01 09:51:01 +0000910 "Invocation must have exactly one source file!");
Ted Kremenek84de4a12011-03-21 18:40:07 +0000911 assert(Clang->getFrontendOpts().Inputs[0].first != IK_AST &&
Daniel Dunbar764c0822009-12-01 09:51:01 +0000912 "FIXME: AST inputs not yet supported here!");
Ted Kremenek84de4a12011-03-21 18:40:07 +0000913 assert(Clang->getFrontendOpts().Inputs[0].first != IK_LLVM_IR &&
Daniel Dunbar9507f9c2010-06-07 23:26:47 +0000914 "IR inputs not support here!");
Daniel Dunbar764c0822009-12-01 09:51:01 +0000915
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000916 // Configure the various subsystems.
917 // FIXME: Should we retain the previous file manager?
Ted Kremenek84de4a12011-03-21 18:40:07 +0000918 FileSystemOpts = Clang->getFileSystemOpts();
Ted Kremenek5e14d392011-03-21 18:40:17 +0000919 FileMgr = new FileManager(FileSystemOpts);
920 SourceMgr = new SourceManager(getDiagnostics(), *FileMgr);
Douglas Gregor6fd55e02010-08-13 03:15:25 +0000921 TheSema.reset();
Ted Kremenek5e14d392011-03-21 18:40:17 +0000922 Ctx = 0;
923 PP = 0;
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000924
925 // Clear out old caches and data.
926 TopLevelDecls.clear();
Douglas Gregorf88e35b2010-11-30 06:16:57 +0000927 PreprocessedEntities.clear();
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000928 CleanTemporaryFiles();
929 PreprocessedEntitiesByFile.clear();
Douglas Gregord9a30af2010-08-02 20:51:39 +0000930
Douglas Gregor7b02b582010-08-20 00:02:33 +0000931 if (!OverrideMainBuffer) {
Douglas Gregor7bb8af62010-10-12 00:50:20 +0000932 StoredDiagnostics.erase(
933 StoredDiagnostics.begin() + NumStoredDiagnosticsFromDriver,
934 StoredDiagnostics.end());
Douglas Gregor7b02b582010-08-20 00:02:33 +0000935 TopLevelDeclsInPreamble.clear();
Douglas Gregorf88e35b2010-11-30 06:16:57 +0000936 PreprocessedEntitiesInPreamble.clear();
Douglas Gregor7b02b582010-08-20 00:02:33 +0000937 }
938
Daniel Dunbar764c0822009-12-01 09:51:01 +0000939 // Create a file manager object to provide access to and cache the filesystem.
Ted Kremenek84de4a12011-03-21 18:40:07 +0000940 Clang->setFileManager(&getFileManager());
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000941
Daniel Dunbar764c0822009-12-01 09:51:01 +0000942 // Create the source manager.
Ted Kremenek84de4a12011-03-21 18:40:07 +0000943 Clang->setSourceManager(&getSourceManager());
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000944
Douglas Gregor3f4bea02010-07-26 21:36:20 +0000945 // If the main file has been overridden due to the use of a preamble,
946 // make that override happen and introduce the preamble.
Ted Kremenek84de4a12011-03-21 18:40:07 +0000947 PreprocessorOptions &PreprocessorOpts = Clang->getPreprocessorOpts();
Chandler Carruthde81fc82011-07-14 09:02:10 +0000948 PreprocessorOpts.DetailedRecordIncludesNestedMacroExpansions
949 = NestedMacroExpansions;
Douglas Gregor8e984da2010-08-04 16:47:14 +0000950 std::string PriorImplicitPCHInclude;
Douglas Gregor3f4bea02010-07-26 21:36:20 +0000951 if (OverrideMainBuffer) {
952 PreprocessorOpts.addRemappedFile(OriginalSourceFile, OverrideMainBuffer);
953 PreprocessorOpts.PrecompiledPreambleBytes.first = Preamble.size();
954 PreprocessorOpts.PrecompiledPreambleBytes.second
955 = PreambleEndsAtStartOfLine;
Douglas Gregor8e984da2010-08-04 16:47:14 +0000956 PriorImplicitPCHInclude = PreprocessorOpts.ImplicitPCHInclude;
Douglas Gregor15ba0b32010-07-30 20:58:08 +0000957 PreprocessorOpts.ImplicitPCHInclude = PreambleFile;
Douglas Gregorce3a8292010-07-27 00:27:13 +0000958 PreprocessorOpts.DisablePCHValidation = true;
Douglas Gregor96c04262010-07-27 14:52:07 +0000959
Douglas Gregord9a30af2010-08-02 20:51:39 +0000960 // The stored diagnostic has the old source manager in it; update
961 // the locations to refer into the new source manager. Since we've
962 // been careful to make sure that the source manager's state
963 // before and after are identical, so that we can reuse the source
964 // location itself.
Douglas Gregor7bb8af62010-10-12 00:50:20 +0000965 for (unsigned I = NumStoredDiagnosticsFromDriver,
966 N = StoredDiagnostics.size();
967 I < N; ++I) {
Douglas Gregord9a30af2010-08-02 20:51:39 +0000968 FullSourceLoc Loc(StoredDiagnostics[I].getLocation(),
969 getSourceManager());
970 StoredDiagnostics[I].setLocation(Loc);
971 }
Douglas Gregor7bb8af62010-10-12 00:50:20 +0000972
973 // Keep track of the override buffer;
974 SavedMainFileBuffer = OverrideMainBuffer;
Douglas Gregor7b02b582010-08-20 00:02:33 +0000975 } else {
976 PreprocessorOpts.PrecompiledPreambleBytes.first = 0;
977 PreprocessorOpts.PrecompiledPreambleBytes.second = false;
Douglas Gregor3f4bea02010-07-26 21:36:20 +0000978 }
979
Ted Kremenek022a4902011-03-22 01:15:24 +0000980 llvm::OwningPtr<TopLevelDeclTrackerAction> Act(
981 new TopLevelDeclTrackerAction(*this));
982
983 // Recover resources if we crash before exiting this method.
984 llvm::CrashRecoveryContextCleanupRegistrar<TopLevelDeclTrackerAction>
985 ActCleanup(Act.get());
986
Ted Kremenek84de4a12011-03-21 18:40:07 +0000987 if (!Act->BeginSourceFile(*Clang.get(), Clang->getFrontendOpts().Inputs[0].second,
988 Clang->getFrontendOpts().Inputs[0].first))
Daniel Dunbar764c0822009-12-01 09:51:01 +0000989 goto error;
Douglas Gregor925296b2011-07-19 16:10:42 +0000990
991 if (OverrideMainBuffer) {
Jonathan D. Turner2214acd2011-07-22 17:25:03 +0000992 std::string ModName = PreambleFile;
Douglas Gregor925296b2011-07-19 16:10:42 +0000993 TranslateStoredDiagnostics(Clang->getModuleManager(), ModName,
994 getSourceManager(), PreambleDiagnostics,
995 StoredDiagnostics);
996 }
997
Daniel Dunbar644dca02009-12-04 08:17:33 +0000998 Act->Execute();
Douglas Gregoraa21cc42010-07-19 21:46:24 +0000999
Ted Kremenek5e14d392011-03-21 18:40:17 +00001000 // Steal the created target, context, and preprocessor.
Ted Kremenek84de4a12011-03-21 18:40:07 +00001001 TheSema.reset(Clang->takeSema());
1002 Consumer.reset(Clang->takeASTConsumer());
Ted Kremenek5e14d392011-03-21 18:40:17 +00001003 Ctx = &Clang->getASTContext();
1004 PP = &Clang->getPreprocessor();
1005 Clang->setSourceManager(0);
1006 Clang->setFileManager(0);
1007 Target = &Clang->getTarget();
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001008
Daniel Dunbar644dca02009-12-04 08:17:33 +00001009 Act->EndSourceFile();
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001010
1011 // Remove the overridden buffer we used for the preamble.
Douglas Gregor8e984da2010-08-04 16:47:14 +00001012 if (OverrideMainBuffer) {
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001013 PreprocessorOpts.eraseRemappedFile(
1014 PreprocessorOpts.remapped_file_buffer_end() - 1);
Douglas Gregor8e984da2010-08-04 16:47:14 +00001015 PreprocessorOpts.ImplicitPCHInclude = PriorImplicitPCHInclude;
1016 }
1017
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001018 return false;
Ted Kremenek5e14d392011-03-21 18:40:17 +00001019
Daniel Dunbar764c0822009-12-01 09:51:01 +00001020error:
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001021 // Remove the overridden buffer we used for the preamble.
Douglas Gregorce3a8292010-07-27 00:27:13 +00001022 if (OverrideMainBuffer) {
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001023 PreprocessorOpts.eraseRemappedFile(
1024 PreprocessorOpts.remapped_file_buffer_end() - 1);
Douglas Gregor8e984da2010-08-04 16:47:14 +00001025 PreprocessorOpts.ImplicitPCHInclude = PriorImplicitPCHInclude;
Douglas Gregora0734c52010-08-19 01:33:06 +00001026 delete OverrideMainBuffer;
Douglas Gregora3d3ba12010-10-06 21:11:08 +00001027 SavedMainFileBuffer = 0;
Douglas Gregorce3a8292010-07-27 00:27:13 +00001028 }
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001029
Douglas Gregorefc46952010-10-12 16:25:54 +00001030 StoredDiagnostics.clear();
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001031 return true;
1032}
1033
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001034/// \brief Simple function to retrieve a path for a preamble precompiled header.
1035static std::string GetPreamblePCHPath() {
1036 // FIXME: This is lame; sys::Path should provide this function (in particular,
1037 // it should know how to find the temporary files dir).
1038 // FIXME: This is really lame. I copied this code from the Driver!
Douglas Gregor250ab1d2010-09-11 18:05:19 +00001039 // FIXME: This is a hack so that we can override the preamble file during
1040 // crash-recovery testing, which is the only case where the preamble files
1041 // are not necessarily cleaned up.
1042 const char *TmpFile = ::getenv("CINDEXTEST_PREAMBLE_FILE");
1043 if (TmpFile)
1044 return TmpFile;
1045
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001046 std::string Error;
1047 const char *TmpDir = ::getenv("TMPDIR");
1048 if (!TmpDir)
1049 TmpDir = ::getenv("TEMP");
1050 if (!TmpDir)
1051 TmpDir = ::getenv("TMP");
Douglas Gregorce3449f2010-09-11 17:51:16 +00001052#ifdef LLVM_ON_WIN32
1053 if (!TmpDir)
1054 TmpDir = ::getenv("USERPROFILE");
1055#endif
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001056 if (!TmpDir)
1057 TmpDir = "/tmp";
1058 llvm::sys::Path P(TmpDir);
Douglas Gregorce3449f2010-09-11 17:51:16 +00001059 P.createDirectoryOnDisk(true);
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001060 P.appendComponent("preamble");
Douglas Gregor20975b22010-08-11 13:06:56 +00001061 P.appendSuffix("pch");
Argyrios Kyrtzidisff9a5502011-07-21 18:44:46 +00001062 if (P.makeUnique(/*reuse_current=*/false, /*ErrMsg*/0))
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001063 return std::string();
1064
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001065 return P.str();
1066}
1067
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001068/// \brief Compute the preamble for the main file, providing the source buffer
1069/// that corresponds to the main file along with a pair (bytes, start-of-line)
1070/// that describes the preamble.
1071std::pair<llvm::MemoryBuffer *, std::pair<unsigned, bool> >
Douglas Gregor028d3e42010-08-09 20:45:32 +00001072ASTUnit::ComputePreamble(CompilerInvocation &Invocation,
1073 unsigned MaxLines, bool &CreatedBuffer) {
Douglas Gregor4dde7492010-07-23 23:58:40 +00001074 FrontendOptions &FrontendOpts = Invocation.getFrontendOpts();
Chris Lattner5159f612010-11-23 08:35:12 +00001075 PreprocessorOptions &PreprocessorOpts = Invocation.getPreprocessorOpts();
Douglas Gregor4dde7492010-07-23 23:58:40 +00001076 CreatedBuffer = false;
1077
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001078 // Try to determine if the main file has been remapped, either from the
1079 // command line (to another file) or directly through the compiler invocation
1080 // (to a memory buffer).
Douglas Gregor4dde7492010-07-23 23:58:40 +00001081 llvm::MemoryBuffer *Buffer = 0;
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001082 llvm::sys::PathWithStatus MainFilePath(FrontendOpts.Inputs[0].second);
1083 if (const llvm::sys::FileStatus *MainFileStatus = MainFilePath.getFileStatus()) {
1084 // Check whether there is a file-file remapping of the main file
1085 for (PreprocessorOptions::remapped_file_iterator
Douglas Gregor4dde7492010-07-23 23:58:40 +00001086 M = PreprocessorOpts.remapped_file_begin(),
1087 E = PreprocessorOpts.remapped_file_end();
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001088 M != E;
1089 ++M) {
1090 llvm::sys::PathWithStatus MPath(M->first);
1091 if (const llvm::sys::FileStatus *MStatus = MPath.getFileStatus()) {
1092 if (MainFileStatus->uniqueID == MStatus->uniqueID) {
1093 // We found a remapping. Try to load the resulting, remapped source.
Douglas Gregor4dde7492010-07-23 23:58:40 +00001094 if (CreatedBuffer) {
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001095 delete Buffer;
Douglas Gregor4dde7492010-07-23 23:58:40 +00001096 CreatedBuffer = false;
1097 }
1098
Argyrios Kyrtzidis71731d62010-11-03 22:45:23 +00001099 Buffer = getBufferForFile(M->second);
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001100 if (!Buffer)
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001101 return std::make_pair((llvm::MemoryBuffer*)0,
1102 std::make_pair(0, true));
Douglas Gregor4dde7492010-07-23 23:58:40 +00001103 CreatedBuffer = true;
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001104 }
1105 }
1106 }
1107
1108 // Check whether there is a file-buffer remapping. It supercedes the
1109 // file-file remapping.
1110 for (PreprocessorOptions::remapped_file_buffer_iterator
1111 M = PreprocessorOpts.remapped_file_buffer_begin(),
1112 E = PreprocessorOpts.remapped_file_buffer_end();
1113 M != E;
1114 ++M) {
1115 llvm::sys::PathWithStatus MPath(M->first);
1116 if (const llvm::sys::FileStatus *MStatus = MPath.getFileStatus()) {
1117 if (MainFileStatus->uniqueID == MStatus->uniqueID) {
1118 // We found a remapping.
Douglas Gregor4dde7492010-07-23 23:58:40 +00001119 if (CreatedBuffer) {
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001120 delete Buffer;
Douglas Gregor4dde7492010-07-23 23:58:40 +00001121 CreatedBuffer = false;
1122 }
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001123
Douglas Gregor4dde7492010-07-23 23:58:40 +00001124 Buffer = const_cast<llvm::MemoryBuffer *>(M->second);
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001125 }
1126 }
Douglas Gregor4dde7492010-07-23 23:58:40 +00001127 }
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001128 }
1129
1130 // If the main source file was not remapped, load it now.
1131 if (!Buffer) {
Argyrios Kyrtzidis71731d62010-11-03 22:45:23 +00001132 Buffer = getBufferForFile(FrontendOpts.Inputs[0].second);
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001133 if (!Buffer)
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001134 return std::make_pair((llvm::MemoryBuffer*)0, std::make_pair(0, true));
Douglas Gregor4dde7492010-07-23 23:58:40 +00001135
1136 CreatedBuffer = true;
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001137 }
1138
Argyrios Kyrtzidis7aecbc72011-08-25 20:39:19 +00001139 return std::make_pair(Buffer, Lexer::ComputePreamble(Buffer,
1140 Invocation.getLangOpts(),
1141 MaxLines));
Douglas Gregor4dde7492010-07-23 23:58:40 +00001142}
1143
Douglas Gregor6481ef12010-07-24 00:38:13 +00001144static llvm::MemoryBuffer *CreatePaddedMainFileBuffer(llvm::MemoryBuffer *Old,
Douglas Gregor6481ef12010-07-24 00:38:13 +00001145 unsigned NewSize,
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001146 StringRef NewName) {
Douglas Gregor6481ef12010-07-24 00:38:13 +00001147 llvm::MemoryBuffer *Result
1148 = llvm::MemoryBuffer::getNewUninitMemBuffer(NewSize, NewName);
1149 memcpy(const_cast<char*>(Result->getBufferStart()),
1150 Old->getBufferStart(), Old->getBufferSize());
1151 memset(const_cast<char*>(Result->getBufferStart()) + Old->getBufferSize(),
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001152 ' ', NewSize - Old->getBufferSize() - 1);
1153 const_cast<char*>(Result->getBufferEnd())[-1] = '\n';
Douglas Gregor6481ef12010-07-24 00:38:13 +00001154
Douglas Gregor6481ef12010-07-24 00:38:13 +00001155 return Result;
1156}
1157
Douglas Gregor4dde7492010-07-23 23:58:40 +00001158/// \brief Attempt to build or re-use a precompiled preamble when (re-)parsing
1159/// the source file.
1160///
1161/// This routine will compute the preamble of the main source file. If a
1162/// non-trivial preamble is found, it will precompile that preamble into a
1163/// precompiled header so that the precompiled preamble can be used to reduce
1164/// reparsing time. If a precompiled preamble has already been constructed,
1165/// this routine will determine if it is still valid and, if so, avoid
1166/// rebuilding the precompiled preamble.
1167///
Douglas Gregor028d3e42010-08-09 20:45:32 +00001168/// \param AllowRebuild When true (the default), this routine is
1169/// allowed to rebuild the precompiled preamble if it is found to be
1170/// out-of-date.
1171///
1172/// \param MaxLines When non-zero, the maximum number of lines that
1173/// can occur within the preamble.
1174///
Douglas Gregor6481ef12010-07-24 00:38:13 +00001175/// \returns If the precompiled preamble can be used, returns a newly-allocated
1176/// buffer that should be used in place of the main file when doing so.
1177/// Otherwise, returns a NULL pointer.
Douglas Gregor028d3e42010-08-09 20:45:32 +00001178llvm::MemoryBuffer *ASTUnit::getMainBufferWithPrecompiledPreamble(
Douglas Gregor3cc15812011-07-01 18:22:13 +00001179 const CompilerInvocation &PreambleInvocationIn,
Douglas Gregor028d3e42010-08-09 20:45:32 +00001180 bool AllowRebuild,
1181 unsigned MaxLines) {
Douglas Gregor3cc15812011-07-01 18:22:13 +00001182
1183 llvm::IntrusiveRefCntPtr<CompilerInvocation>
1184 PreambleInvocation(new CompilerInvocation(PreambleInvocationIn));
1185 FrontendOptions &FrontendOpts = PreambleInvocation->getFrontendOpts();
Douglas Gregor4dde7492010-07-23 23:58:40 +00001186 PreprocessorOptions &PreprocessorOpts
Douglas Gregor3cc15812011-07-01 18:22:13 +00001187 = PreambleInvocation->getPreprocessorOpts();
Douglas Gregor4dde7492010-07-23 23:58:40 +00001188
1189 bool CreatedPreambleBuffer = false;
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001190 std::pair<llvm::MemoryBuffer *, std::pair<unsigned, bool> > NewPreamble
Douglas Gregor3cc15812011-07-01 18:22:13 +00001191 = ComputePreamble(*PreambleInvocation, MaxLines, CreatedPreambleBuffer);
Douglas Gregor4dde7492010-07-23 23:58:40 +00001192
Douglas Gregor925296b2011-07-19 16:10:42 +00001193 // If ComputePreamble() Take ownership of the preamble buffer.
Douglas Gregor3edb1672010-11-16 20:45:51 +00001194 llvm::OwningPtr<llvm::MemoryBuffer> OwnedPreambleBuffer;
1195 if (CreatedPreambleBuffer)
1196 OwnedPreambleBuffer.reset(NewPreamble.first);
1197
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001198 if (!NewPreamble.second.first) {
Douglas Gregor4dde7492010-07-23 23:58:40 +00001199 // We couldn't find a preamble in the main source. Clear out the current
1200 // preamble, if we have one. It's obviously no good any more.
1201 Preamble.clear();
1202 if (!PreambleFile.empty()) {
Douglas Gregor15ba0b32010-07-30 20:58:08 +00001203 llvm::sys::Path(PreambleFile).eraseFromDisk();
Douglas Gregor4dde7492010-07-23 23:58:40 +00001204 PreambleFile.clear();
1205 }
Douglas Gregorbb420ab2010-08-04 05:53:38 +00001206
1207 // The next time we actually see a preamble, precompile it.
1208 PreambleRebuildCounter = 1;
Douglas Gregor6481ef12010-07-24 00:38:13 +00001209 return 0;
Douglas Gregor4dde7492010-07-23 23:58:40 +00001210 }
1211
1212 if (!Preamble.empty()) {
1213 // We've previously computed a preamble. Check whether we have the same
1214 // preamble now that we did before, and that there's enough space in
1215 // the main-file buffer within the precompiled preamble to fit the
1216 // new main file.
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001217 if (Preamble.size() == NewPreamble.second.first &&
1218 PreambleEndsAtStartOfLine == NewPreamble.second.second &&
Douglas Gregorf5275a82010-07-24 00:42:07 +00001219 NewPreamble.first->getBufferSize() < PreambleReservedSize-2 &&
Douglas Gregor4dde7492010-07-23 23:58:40 +00001220 memcmp(&Preamble[0], NewPreamble.first->getBufferStart(),
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001221 NewPreamble.second.first) == 0) {
Douglas Gregor4dde7492010-07-23 23:58:40 +00001222 // The preamble has not changed. We may be able to re-use the precompiled
1223 // preamble.
Douglas Gregord9a30af2010-08-02 20:51:39 +00001224
Douglas Gregor0e119552010-07-31 00:40:00 +00001225 // Check that none of the files used by the preamble have changed.
1226 bool AnyFileChanged = false;
1227
1228 // First, make a record of those files that have been overridden via
1229 // remapping or unsaved_files.
1230 llvm::StringMap<std::pair<off_t, time_t> > OverriddenFiles;
1231 for (PreprocessorOptions::remapped_file_iterator
1232 R = PreprocessorOpts.remapped_file_begin(),
1233 REnd = PreprocessorOpts.remapped_file_end();
1234 !AnyFileChanged && R != REnd;
1235 ++R) {
1236 struct stat StatBuf;
Anders Carlsson9583f792011-03-18 19:23:38 +00001237 if (FileMgr->getNoncachedStatValue(R->second, StatBuf)) {
Douglas Gregor0e119552010-07-31 00:40:00 +00001238 // If we can't stat the file we're remapping to, assume that something
1239 // horrible happened.
1240 AnyFileChanged = true;
1241 break;
1242 }
Douglas Gregor6481ef12010-07-24 00:38:13 +00001243
Douglas Gregor0e119552010-07-31 00:40:00 +00001244 OverriddenFiles[R->first] = std::make_pair(StatBuf.st_size,
1245 StatBuf.st_mtime);
1246 }
1247 for (PreprocessorOptions::remapped_file_buffer_iterator
1248 R = PreprocessorOpts.remapped_file_buffer_begin(),
1249 REnd = PreprocessorOpts.remapped_file_buffer_end();
1250 !AnyFileChanged && R != REnd;
1251 ++R) {
1252 // FIXME: Should we actually compare the contents of file->buffer
1253 // remappings?
1254 OverriddenFiles[R->first] = std::make_pair(R->second->getBufferSize(),
1255 0);
1256 }
1257
1258 // Check whether anything has changed.
1259 for (llvm::StringMap<std::pair<off_t, time_t> >::iterator
1260 F = FilesInPreamble.begin(), FEnd = FilesInPreamble.end();
1261 !AnyFileChanged && F != FEnd;
1262 ++F) {
1263 llvm::StringMap<std::pair<off_t, time_t> >::iterator Overridden
1264 = OverriddenFiles.find(F->first());
1265 if (Overridden != OverriddenFiles.end()) {
1266 // This file was remapped; check whether the newly-mapped file
1267 // matches up with the previous mapping.
1268 if (Overridden->second != F->second)
1269 AnyFileChanged = true;
1270 continue;
1271 }
1272
1273 // The file was not remapped; check whether it has changed on disk.
1274 struct stat StatBuf;
Anders Carlsson9583f792011-03-18 19:23:38 +00001275 if (FileMgr->getNoncachedStatValue(F->first(), StatBuf)) {
Douglas Gregor0e119552010-07-31 00:40:00 +00001276 // If we can't stat the file, assume that something horrible happened.
1277 AnyFileChanged = true;
1278 } else if (StatBuf.st_size != F->second.first ||
1279 StatBuf.st_mtime != F->second.second)
1280 AnyFileChanged = true;
1281 }
1282
1283 if (!AnyFileChanged) {
Douglas Gregord9a30af2010-08-02 20:51:39 +00001284 // Okay! We can re-use the precompiled preamble.
1285
1286 // Set the state of the diagnostic object to mimic its state
1287 // after parsing the preamble.
Douglas Gregor36e3b5c2010-10-11 21:37:58 +00001288 // FIXME: This won't catch any #pragma push warning changes that
1289 // have occurred in the preamble.
Douglas Gregord9a30af2010-08-02 20:51:39 +00001290 getDiagnostics().Reset();
Douglas Gregor36e3b5c2010-10-11 21:37:58 +00001291 ProcessWarningOptions(getDiagnostics(),
Douglas Gregor3cc15812011-07-01 18:22:13 +00001292 PreambleInvocation->getDiagnosticOpts());
Douglas Gregord9a30af2010-08-02 20:51:39 +00001293 getDiagnostics().setNumWarnings(NumWarningsInPreamble);
Douglas Gregord9a30af2010-08-02 20:51:39 +00001294
1295 // Create a version of the main file buffer that is padded to
1296 // buffer size we reserved when creating the preamble.
Douglas Gregor0e119552010-07-31 00:40:00 +00001297 return CreatePaddedMainFileBuffer(NewPreamble.first,
Douglas Gregor0e119552010-07-31 00:40:00 +00001298 PreambleReservedSize,
1299 FrontendOpts.Inputs[0].second);
1300 }
Douglas Gregor4dde7492010-07-23 23:58:40 +00001301 }
Douglas Gregor028d3e42010-08-09 20:45:32 +00001302
1303 // If we aren't allowed to rebuild the precompiled preamble, just
1304 // return now.
1305 if (!AllowRebuild)
1306 return 0;
Douglas Gregorbb6a8812010-10-08 04:03:57 +00001307
Douglas Gregor4dde7492010-07-23 23:58:40 +00001308 // We can't reuse the previously-computed preamble. Build a new one.
1309 Preamble.clear();
Douglas Gregor925296b2011-07-19 16:10:42 +00001310 PreambleDiagnostics.clear();
Douglas Gregor15ba0b32010-07-30 20:58:08 +00001311 llvm::sys::Path(PreambleFile).eraseFromDisk();
Douglas Gregorbb420ab2010-08-04 05:53:38 +00001312 PreambleRebuildCounter = 1;
Douglas Gregor028d3e42010-08-09 20:45:32 +00001313 } else if (!AllowRebuild) {
1314 // We aren't allowed to rebuild the precompiled preamble; just
1315 // return now.
1316 return 0;
1317 }
Douglas Gregorbb420ab2010-08-04 05:53:38 +00001318
1319 // If the preamble rebuild counter > 1, it's because we previously
1320 // failed to build a preamble and we're not yet ready to try
1321 // again. Decrement the counter and return a failure.
1322 if (PreambleRebuildCounter > 1) {
1323 --PreambleRebuildCounter;
1324 return 0;
1325 }
1326
Douglas Gregore10f0e52010-09-11 17:56:52 +00001327 // Create a temporary file for the precompiled preamble. In rare
1328 // circumstances, this can fail.
1329 std::string PreamblePCHPath = GetPreamblePCHPath();
1330 if (PreamblePCHPath.empty()) {
1331 // Try again next time.
1332 PreambleRebuildCounter = 1;
1333 return 0;
1334 }
1335
Douglas Gregor4dde7492010-07-23 23:58:40 +00001336 // We did not previously compute a preamble, or it can't be reused anyway.
Douglas Gregor16896c42010-10-28 15:44:59 +00001337 SimpleTimer PreambleTimer(WantTiming);
Benjamin Kramerf2e5a912010-11-09 20:00:56 +00001338 PreambleTimer.setOutput("Precompiling preamble");
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001339
1340 // Create a new buffer that stores the preamble. The buffer also contains
1341 // extra space for the original contents of the file (which will be present
1342 // when we actually parse the file) along with more room in case the file
Douglas Gregor4dde7492010-07-23 23:58:40 +00001343 // grows.
1344 PreambleReservedSize = NewPreamble.first->getBufferSize();
1345 if (PreambleReservedSize < 4096)
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001346 PreambleReservedSize = 8191;
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001347 else
Douglas Gregor4dde7492010-07-23 23:58:40 +00001348 PreambleReservedSize *= 2;
1349
Douglas Gregord9a30af2010-08-02 20:51:39 +00001350 // Save the preamble text for later; we'll need to compare against it for
1351 // subsequent reparses.
1352 Preamble.assign(NewPreamble.first->getBufferStart(),
1353 NewPreamble.first->getBufferStart()
1354 + NewPreamble.second.first);
1355 PreambleEndsAtStartOfLine = NewPreamble.second.second;
1356
Douglas Gregora0734c52010-08-19 01:33:06 +00001357 delete PreambleBuffer;
1358 PreambleBuffer
Douglas Gregor4dde7492010-07-23 23:58:40 +00001359 = llvm::MemoryBuffer::getNewUninitMemBuffer(PreambleReservedSize,
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001360 FrontendOpts.Inputs[0].second);
1361 memcpy(const_cast<char*>(PreambleBuffer->getBufferStart()),
Douglas Gregor4dde7492010-07-23 23:58:40 +00001362 NewPreamble.first->getBufferStart(), Preamble.size());
1363 memset(const_cast<char*>(PreambleBuffer->getBufferStart()) + Preamble.size(),
Douglas Gregor3f4bea02010-07-26 21:36:20 +00001364 ' ', PreambleReservedSize - Preamble.size() - 1);
1365 const_cast<char*>(PreambleBuffer->getBufferEnd())[-1] = '\n';
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001366
1367 // Remap the main source file to the preamble buffer.
Douglas Gregor4dde7492010-07-23 23:58:40 +00001368 llvm::sys::PathWithStatus MainFilePath(FrontendOpts.Inputs[0].second);
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001369 PreprocessorOpts.addRemappedFile(MainFilePath.str(), PreambleBuffer);
1370
1371 // Tell the compiler invocation to generate a temporary precompiled header.
1372 FrontendOpts.ProgramAction = frontend::GeneratePCH;
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001373 // FIXME: Generate the precompiled header into memory?
Douglas Gregore10f0e52010-09-11 17:56:52 +00001374 FrontendOpts.OutputFile = PreamblePCHPath;
Douglas Gregorbb6a8812010-10-08 04:03:57 +00001375 PreprocessorOpts.PrecompiledPreambleBytes.first = 0;
1376 PreprocessorOpts.PrecompiledPreambleBytes.second = false;
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001377
1378 // Create the compiler instance to use for building the precompiled preamble.
Ted Kremenek84de4a12011-03-21 18:40:07 +00001379 llvm::OwningPtr<CompilerInstance> Clang(new CompilerInstance());
1380
1381 // Recover resources if we crash before exiting this method.
Ted Kremenek022a4902011-03-22 01:15:24 +00001382 llvm::CrashRecoveryContextCleanupRegistrar<CompilerInstance>
1383 CICleanup(Clang.get());
Ted Kremenek84de4a12011-03-21 18:40:07 +00001384
Douglas Gregor3cc15812011-07-01 18:22:13 +00001385 Clang->setInvocation(&*PreambleInvocation);
Ted Kremenek84de4a12011-03-21 18:40:07 +00001386 OriginalSourceFile = Clang->getFrontendOpts().Inputs[0].second;
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001387
Douglas Gregor8e984da2010-08-04 16:47:14 +00001388 // Set up diagnostics, capturing all of the diagnostics produced.
Ted Kremenek84de4a12011-03-21 18:40:07 +00001389 Clang->setDiagnostics(&getDiagnostics());
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001390
1391 // Create the target instance.
Ted Kremenek84de4a12011-03-21 18:40:07 +00001392 Clang->getTargetOpts().Features = TargetFeatures;
1393 Clang->setTarget(TargetInfo::CreateTargetInfo(Clang->getDiagnostics(),
1394 Clang->getTargetOpts()));
1395 if (!Clang->hasTarget()) {
Douglas Gregor4dde7492010-07-23 23:58:40 +00001396 llvm::sys::Path(FrontendOpts.OutputFile).eraseFromDisk();
1397 Preamble.clear();
Douglas Gregorbb420ab2010-08-04 05:53:38 +00001398 PreambleRebuildCounter = DefaultPreambleRebuildInterval;
Douglas Gregora0734c52010-08-19 01:33:06 +00001399 PreprocessorOpts.eraseRemappedFile(
1400 PreprocessorOpts.remapped_file_buffer_end() - 1);
Douglas Gregor6481ef12010-07-24 00:38:13 +00001401 return 0;
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001402 }
1403
1404 // Inform the target of the language options.
1405 //
1406 // FIXME: We shouldn't need to do this, the target should be immutable once
1407 // created. This complexity should be lifted elsewhere.
Ted Kremenek84de4a12011-03-21 18:40:07 +00001408 Clang->getTarget().setForcedLangOptions(Clang->getLangOpts());
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001409
Ted Kremenek84de4a12011-03-21 18:40:07 +00001410 assert(Clang->getFrontendOpts().Inputs.size() == 1 &&
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001411 "Invocation must have exactly one source file!");
Ted Kremenek84de4a12011-03-21 18:40:07 +00001412 assert(Clang->getFrontendOpts().Inputs[0].first != IK_AST &&
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001413 "FIXME: AST inputs not yet supported here!");
Ted Kremenek84de4a12011-03-21 18:40:07 +00001414 assert(Clang->getFrontendOpts().Inputs[0].first != IK_LLVM_IR &&
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001415 "IR inputs not support here!");
1416
1417 // Clear out old caches and data.
Douglas Gregorbb6a8812010-10-08 04:03:57 +00001418 getDiagnostics().Reset();
Ted Kremenek84de4a12011-03-21 18:40:07 +00001419 ProcessWarningOptions(getDiagnostics(), Clang->getDiagnosticOpts());
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001420 StoredDiagnostics.erase(
1421 StoredDiagnostics.begin() + NumStoredDiagnosticsFromDriver,
1422 StoredDiagnostics.end());
Douglas Gregore9db88f2010-08-03 19:06:41 +00001423 TopLevelDecls.clear();
1424 TopLevelDeclsInPreamble.clear();
Douglas Gregorf88e35b2010-11-30 06:16:57 +00001425 PreprocessedEntities.clear();
1426 PreprocessedEntitiesInPreamble.clear();
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001427
1428 // Create a file manager object to provide access to and cache the filesystem.
Ted Kremenek84de4a12011-03-21 18:40:07 +00001429 Clang->setFileManager(new FileManager(Clang->getFileSystemOpts()));
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001430
1431 // Create the source manager.
Ted Kremenek84de4a12011-03-21 18:40:07 +00001432 Clang->setSourceManager(new SourceManager(getDiagnostics(),
Ted Kremenek5e14d392011-03-21 18:40:17 +00001433 Clang->getFileManager()));
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001434
Douglas Gregor48c8cd32010-08-03 08:14:03 +00001435 llvm::OwningPtr<PrecompilePreambleAction> Act;
1436 Act.reset(new PrecompilePreambleAction(*this));
Ted Kremenek84de4a12011-03-21 18:40:07 +00001437 if (!Act->BeginSourceFile(*Clang.get(), Clang->getFrontendOpts().Inputs[0].second,
1438 Clang->getFrontendOpts().Inputs[0].first)) {
Douglas Gregor4dde7492010-07-23 23:58:40 +00001439 llvm::sys::Path(FrontendOpts.OutputFile).eraseFromDisk();
1440 Preamble.clear();
Douglas Gregorbb420ab2010-08-04 05:53:38 +00001441 PreambleRebuildCounter = DefaultPreambleRebuildInterval;
Douglas Gregora0734c52010-08-19 01:33:06 +00001442 PreprocessorOpts.eraseRemappedFile(
1443 PreprocessorOpts.remapped_file_buffer_end() - 1);
Douglas Gregor6481ef12010-07-24 00:38:13 +00001444 return 0;
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001445 }
1446
1447 Act->Execute();
1448 Act->EndSourceFile();
Ted Kremenek5e14d392011-03-21 18:40:17 +00001449
Douglas Gregore9db88f2010-08-03 19:06:41 +00001450 if (Diagnostics->hasErrorOccurred()) {
Douglas Gregor4dde7492010-07-23 23:58:40 +00001451 // There were errors parsing the preamble, so no precompiled header was
1452 // generated. Forget that we even tried.
Douglas Gregora6f74e22010-09-27 16:43:25 +00001453 // FIXME: Should we leave a note for ourselves to try again?
Douglas Gregor4dde7492010-07-23 23:58:40 +00001454 llvm::sys::Path(FrontendOpts.OutputFile).eraseFromDisk();
1455 Preamble.clear();
Douglas Gregore9db88f2010-08-03 19:06:41 +00001456 TopLevelDeclsInPreamble.clear();
Douglas Gregorf88e35b2010-11-30 06:16:57 +00001457 PreprocessedEntities.clear();
1458 PreprocessedEntitiesInPreamble.clear();
Douglas Gregorbb420ab2010-08-04 05:53:38 +00001459 PreambleRebuildCounter = DefaultPreambleRebuildInterval;
Douglas Gregora0734c52010-08-19 01:33:06 +00001460 PreprocessorOpts.eraseRemappedFile(
1461 PreprocessorOpts.remapped_file_buffer_end() - 1);
Douglas Gregor6481ef12010-07-24 00:38:13 +00001462 return 0;
Douglas Gregor4dde7492010-07-23 23:58:40 +00001463 }
1464
Douglas Gregor925296b2011-07-19 16:10:42 +00001465 // Transfer any diagnostics generated when parsing the preamble into the set
1466 // of preamble diagnostics.
1467 PreambleDiagnostics.clear();
1468 PreambleDiagnostics.insert(PreambleDiagnostics.end(),
1469 StoredDiagnostics.begin() + NumStoredDiagnosticsFromDriver,
1470 StoredDiagnostics.end());
1471 StoredDiagnostics.erase(
1472 StoredDiagnostics.begin() + NumStoredDiagnosticsFromDriver,
1473 StoredDiagnostics.end());
1474
Douglas Gregor4dde7492010-07-23 23:58:40 +00001475 // Keep track of the preamble we precompiled.
1476 PreambleFile = FrontendOpts.OutputFile;
Douglas Gregord9a30af2010-08-02 20:51:39 +00001477 NumWarningsInPreamble = getDiagnostics().getNumWarnings();
Douglas Gregor0e119552010-07-31 00:40:00 +00001478
1479 // Keep track of all of the files that the source manager knows about,
1480 // so we can verify whether they have changed or not.
1481 FilesInPreamble.clear();
Ted Kremenek84de4a12011-03-21 18:40:07 +00001482 SourceManager &SourceMgr = Clang->getSourceManager();
Douglas Gregor0e119552010-07-31 00:40:00 +00001483 const llvm::MemoryBuffer *MainFileBuffer
1484 = SourceMgr.getBuffer(SourceMgr.getMainFileID());
1485 for (SourceManager::fileinfo_iterator F = SourceMgr.fileinfo_begin(),
1486 FEnd = SourceMgr.fileinfo_end();
1487 F != FEnd;
1488 ++F) {
Argyrios Kyrtzidis11e6f0a2011-03-05 01:03:53 +00001489 const FileEntry *File = F->second->OrigEntry;
Douglas Gregor0e119552010-07-31 00:40:00 +00001490 if (!File || F->second->getRawBuffer() == MainFileBuffer)
1491 continue;
1492
1493 FilesInPreamble[File->getName()]
1494 = std::make_pair(F->second->getSize(), File->getModificationTime());
1495 }
1496
Douglas Gregorbb420ab2010-08-04 05:53:38 +00001497 PreambleRebuildCounter = 1;
Douglas Gregora0734c52010-08-19 01:33:06 +00001498 PreprocessorOpts.eraseRemappedFile(
1499 PreprocessorOpts.remapped_file_buffer_end() - 1);
Douglas Gregordf7a79a2011-02-16 18:16:54 +00001500
1501 // If the hash of top-level entities differs from the hash of the top-level
1502 // entities the last time we rebuilt the preamble, clear out the completion
1503 // cache.
1504 if (CurrentTopLevelHashValue != PreambleTopLevelHashValue) {
1505 CompletionCacheTopLevelHashValue = 0;
1506 PreambleTopLevelHashValue = CurrentTopLevelHashValue;
1507 }
1508
Douglas Gregor6481ef12010-07-24 00:38:13 +00001509 return CreatePaddedMainFileBuffer(NewPreamble.first,
Douglas Gregor6481ef12010-07-24 00:38:13 +00001510 PreambleReservedSize,
1511 FrontendOpts.Inputs[0].second);
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001512}
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001513
Douglas Gregore9db88f2010-08-03 19:06:41 +00001514void ASTUnit::RealizeTopLevelDeclsFromPreamble() {
1515 std::vector<Decl *> Resolved;
1516 Resolved.reserve(TopLevelDeclsInPreamble.size());
1517 ExternalASTSource &Source = *getASTContext().getExternalSource();
1518 for (unsigned I = 0, N = TopLevelDeclsInPreamble.size(); I != N; ++I) {
1519 // Resolve the declaration ID to an actual declaration, possibly
1520 // deserializing the declaration in the process.
1521 Decl *D = Source.GetExternalDecl(TopLevelDeclsInPreamble[I]);
1522 if (D)
1523 Resolved.push_back(D);
1524 }
1525 TopLevelDeclsInPreamble.clear();
1526 TopLevelDecls.insert(TopLevelDecls.begin(), Resolved.begin(), Resolved.end());
1527}
1528
Douglas Gregorf88e35b2010-11-30 06:16:57 +00001529void ASTUnit::RealizePreprocessedEntitiesFromPreamble() {
1530 if (!PP)
1531 return;
1532
1533 PreprocessingRecord *PPRec = PP->getPreprocessingRecord();
1534 if (!PPRec)
1535 return;
1536
1537 ExternalPreprocessingRecordSource *External = PPRec->getExternalSource();
1538 if (!External)
1539 return;
1540
1541 for (unsigned I = 0, N = PreprocessedEntitiesInPreamble.size(); I != N; ++I) {
1542 if (PreprocessedEntity *PE
Douglas Gregor46c50012011-02-11 19:46:30 +00001543 = External->ReadPreprocessedEntityAtOffset(
1544 PreprocessedEntitiesInPreamble[I]))
Douglas Gregorf88e35b2010-11-30 06:16:57 +00001545 PreprocessedEntities.push_back(PE);
1546 }
1547
1548 if (PreprocessedEntities.empty())
1549 return;
1550
1551 PreprocessedEntities.insert(PreprocessedEntities.end(),
1552 PPRec->begin(true), PPRec->end(true));
1553}
1554
1555ASTUnit::pp_entity_iterator ASTUnit::pp_entity_begin() {
1556 if (!PreprocessedEntitiesInPreamble.empty() &&
1557 PreprocessedEntities.empty())
1558 RealizePreprocessedEntitiesFromPreamble();
1559
Douglas Gregorf88e35b2010-11-30 06:16:57 +00001560 return PreprocessedEntities.begin();
1561}
1562
1563ASTUnit::pp_entity_iterator ASTUnit::pp_entity_end() {
1564 if (!PreprocessedEntitiesInPreamble.empty() &&
1565 PreprocessedEntities.empty())
1566 RealizePreprocessedEntitiesFromPreamble();
Douglas Gregor4a9c39a2011-07-21 00:47:40 +00001567
Douglas Gregorf88e35b2010-11-30 06:16:57 +00001568 return PreprocessedEntities.end();
1569}
1570
Douglas Gregore9db88f2010-08-03 19:06:41 +00001571unsigned ASTUnit::getMaxPCHLevel() const {
1572 if (!getOnlyLocalDecls())
1573 return Decl::MaxPCHLevel;
1574
Sebastian Redl009e7f22010-10-05 16:15:19 +00001575 return 0;
Douglas Gregore9db88f2010-08-03 19:06:41 +00001576}
1577
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001578StringRef ASTUnit::getMainFileName() const {
Douglas Gregor16896c42010-10-28 15:44:59 +00001579 return Invocation->getFrontendOpts().Inputs[0].second;
1580}
1581
Argyrios Kyrtzidis35dcda72011-03-09 17:21:42 +00001582ASTUnit *ASTUnit::create(CompilerInvocation *CI,
1583 llvm::IntrusiveRefCntPtr<Diagnostic> Diags) {
1584 llvm::OwningPtr<ASTUnit> AST;
1585 AST.reset(new ASTUnit(false));
1586 ConfigureDiags(Diags, 0, 0, *AST, /*CaptureDiagnostics=*/false);
1587 AST->Diagnostics = Diags;
Ted Kremenek5e14d392011-03-21 18:40:17 +00001588 AST->Invocation = CI;
Anders Carlssonc30dcec2011-03-18 18:22:40 +00001589 AST->FileSystemOpts = CI->getFileSystemOpts();
Ted Kremenek5e14d392011-03-21 18:40:17 +00001590 AST->FileMgr = new FileManager(AST->FileSystemOpts);
1591 AST->SourceMgr = new SourceManager(*Diags, *AST->FileMgr);
Argyrios Kyrtzidis35dcda72011-03-09 17:21:42 +00001592
1593 return AST.take();
1594}
1595
Argyrios Kyrtzidisf1f67592011-05-03 23:26:34 +00001596ASTUnit *ASTUnit::LoadFromCompilerInvocationAction(CompilerInvocation *CI,
1597 llvm::IntrusiveRefCntPtr<Diagnostic> Diags,
1598 ASTFrontendAction *Action) {
1599 assert(CI && "A CompilerInvocation is required");
1600
1601 // Create the AST unit.
1602 llvm::OwningPtr<ASTUnit> AST;
1603 AST.reset(new ASTUnit(false));
1604 ConfigureDiags(Diags, 0, 0, *AST, /*CaptureDiagnostics*/false);
1605 AST->Diagnostics = Diags;
1606 AST->OnlyLocalDecls = false;
1607 AST->CaptureDiagnostics = false;
Douglas Gregor69f74f82011-08-25 22:30:56 +00001608 AST->TUKind = Action ? Action->getTranslationUnitKind() : TU_Complete;
Argyrios Kyrtzidisf1f67592011-05-03 23:26:34 +00001609 AST->ShouldCacheCodeCompletionResults = false;
1610 AST->Invocation = CI;
1611
1612 // Recover resources if we crash before exiting this method.
1613 llvm::CrashRecoveryContextCleanupRegistrar<ASTUnit>
1614 ASTUnitCleanup(AST.get());
1615 llvm::CrashRecoveryContextCleanupRegistrar<Diagnostic,
1616 llvm::CrashRecoveryContextReleaseRefCleanup<Diagnostic> >
1617 DiagCleanup(Diags.getPtr());
1618
1619 // We'll manage file buffers ourselves.
1620 CI->getPreprocessorOpts().RetainRemappedFileBuffers = true;
1621 CI->getFrontendOpts().DisableFree = false;
1622 ProcessWarningOptions(AST->getDiagnostics(), CI->getDiagnosticOpts());
1623
1624 // Save the target features.
1625 AST->TargetFeatures = CI->getTargetOpts().Features;
1626
1627 // Create the compiler instance to use for building the AST.
1628 llvm::OwningPtr<CompilerInstance> Clang(new CompilerInstance());
1629
1630 // Recover resources if we crash before exiting this method.
1631 llvm::CrashRecoveryContextCleanupRegistrar<CompilerInstance>
1632 CICleanup(Clang.get());
1633
1634 Clang->setInvocation(CI);
1635 AST->OriginalSourceFile = Clang->getFrontendOpts().Inputs[0].second;
1636
1637 // Set up diagnostics, capturing any diagnostics that would
1638 // otherwise be dropped.
1639 Clang->setDiagnostics(&AST->getDiagnostics());
1640
1641 // Create the target instance.
1642 Clang->getTargetOpts().Features = AST->TargetFeatures;
1643 Clang->setTarget(TargetInfo::CreateTargetInfo(Clang->getDiagnostics(),
1644 Clang->getTargetOpts()));
1645 if (!Clang->hasTarget())
1646 return 0;
1647
1648 // Inform the target of the language options.
1649 //
1650 // FIXME: We shouldn't need to do this, the target should be immutable once
1651 // created. This complexity should be lifted elsewhere.
1652 Clang->getTarget().setForcedLangOptions(Clang->getLangOpts());
1653
1654 assert(Clang->getFrontendOpts().Inputs.size() == 1 &&
1655 "Invocation must have exactly one source file!");
1656 assert(Clang->getFrontendOpts().Inputs[0].first != IK_AST &&
1657 "FIXME: AST inputs not yet supported here!");
1658 assert(Clang->getFrontendOpts().Inputs[0].first != IK_LLVM_IR &&
1659 "IR inputs not supported here!");
1660
1661 // Configure the various subsystems.
1662 AST->FileSystemOpts = Clang->getFileSystemOpts();
1663 AST->FileMgr = new FileManager(AST->FileSystemOpts);
1664 AST->SourceMgr = new SourceManager(AST->getDiagnostics(), *AST->FileMgr);
1665 AST->TheSema.reset();
1666 AST->Ctx = 0;
1667 AST->PP = 0;
1668
1669 // Create a file manager object to provide access to and cache the filesystem.
1670 Clang->setFileManager(&AST->getFileManager());
1671
1672 // Create the source manager.
1673 Clang->setSourceManager(&AST->getSourceManager());
1674
1675 ASTFrontendAction *Act = Action;
1676
1677 llvm::OwningPtr<TopLevelDeclTrackerAction> TrackerAct;
1678 if (!Act) {
1679 TrackerAct.reset(new TopLevelDeclTrackerAction(*AST));
1680 Act = TrackerAct.get();
1681 }
1682
1683 // Recover resources if we crash before exiting this method.
1684 llvm::CrashRecoveryContextCleanupRegistrar<TopLevelDeclTrackerAction>
1685 ActCleanup(TrackerAct.get());
1686
1687 if (!Act->BeginSourceFile(*Clang.get(),
1688 Clang->getFrontendOpts().Inputs[0].second,
1689 Clang->getFrontendOpts().Inputs[0].first))
1690 return 0;
1691
1692 Act->Execute();
1693
1694 // Steal the created target, context, and preprocessor.
1695 AST->TheSema.reset(Clang->takeSema());
1696 AST->Consumer.reset(Clang->takeASTConsumer());
1697 AST->Ctx = &Clang->getASTContext();
1698 AST->PP = &Clang->getPreprocessor();
1699 Clang->setSourceManager(0);
1700 Clang->setFileManager(0);
1701 AST->Target = &Clang->getTarget();
1702
1703 Act->EndSourceFile();
1704
1705 return AST.take();
1706}
1707
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001708bool ASTUnit::LoadFromCompilerInvocation(bool PrecompilePreamble) {
1709 if (!Invocation)
1710 return true;
1711
1712 // We'll manage file buffers ourselves.
1713 Invocation->getPreprocessorOpts().RetainRemappedFileBuffers = true;
1714 Invocation->getFrontendOpts().DisableFree = false;
Douglas Gregor345c1bc2011-01-19 01:02:47 +00001715 ProcessWarningOptions(getDiagnostics(), Invocation->getDiagnosticOpts());
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001716
Douglas Gregorffd6dc42011-01-27 18:02:58 +00001717 // Save the target features.
1718 TargetFeatures = Invocation->getTargetOpts().Features;
1719
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001720 llvm::MemoryBuffer *OverrideMainBuffer = 0;
Douglas Gregorf5a18542010-10-27 17:24:53 +00001721 if (PrecompilePreamble) {
Douglas Gregorc6592922010-11-15 23:00:34 +00001722 PreambleRebuildCounter = 2;
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001723 OverrideMainBuffer
1724 = getMainBufferWithPrecompiledPreamble(*Invocation);
1725 }
1726
Douglas Gregor16896c42010-10-28 15:44:59 +00001727 SimpleTimer ParsingTimer(WantTiming);
Benjamin Kramerf2e5a912010-11-09 20:00:56 +00001728 ParsingTimer.setOutput("Parsing " + getMainFileName());
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001729
Ted Kremenek022a4902011-03-22 01:15:24 +00001730 // Recover resources if we crash before exiting this method.
1731 llvm::CrashRecoveryContextCleanupRegistrar<llvm::MemoryBuffer>
1732 MemBufferCleanup(OverrideMainBuffer);
1733
Douglas Gregor16896c42010-10-28 15:44:59 +00001734 return Parse(OverrideMainBuffer);
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001735}
1736
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001737ASTUnit *ASTUnit::LoadFromCompilerInvocation(CompilerInvocation *CI,
1738 llvm::IntrusiveRefCntPtr<Diagnostic> Diags,
1739 bool OnlyLocalDecls,
Douglas Gregorbe2d8c62010-07-23 00:33:23 +00001740 bool CaptureDiagnostics,
Douglas Gregor028d3e42010-08-09 20:45:32 +00001741 bool PrecompilePreamble,
Douglas Gregor69f74f82011-08-25 22:30:56 +00001742 TranslationUnitKind TUKind,
Douglas Gregor998caea2011-05-06 16:33:08 +00001743 bool CacheCodeCompletionResults,
Chandler Carruthde81fc82011-07-14 09:02:10 +00001744 bool NestedMacroExpansions) {
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001745 // Create the AST unit.
1746 llvm::OwningPtr<ASTUnit> AST;
1747 AST.reset(new ASTUnit(false));
Douglas Gregor345c1bc2011-01-19 01:02:47 +00001748 ConfigureDiags(Diags, 0, 0, *AST, CaptureDiagnostics);
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001749 AST->Diagnostics = Diags;
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001750 AST->OnlyLocalDecls = OnlyLocalDecls;
Douglas Gregor44c6ee72010-11-11 00:39:14 +00001751 AST->CaptureDiagnostics = CaptureDiagnostics;
Douglas Gregor69f74f82011-08-25 22:30:56 +00001752 AST->TUKind = TUKind;
Douglas Gregorb14904c2010-08-13 22:48:40 +00001753 AST->ShouldCacheCodeCompletionResults = CacheCodeCompletionResults;
Ted Kremenek5e14d392011-03-21 18:40:17 +00001754 AST->Invocation = CI;
Chandler Carruthde81fc82011-07-14 09:02:10 +00001755 AST->NestedMacroExpansions = NestedMacroExpansions;
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001756
Ted Kremenek4422bfe2011-03-18 02:06:56 +00001757 // Recover resources if we crash before exiting this method.
Ted Kremenek022a4902011-03-22 01:15:24 +00001758 llvm::CrashRecoveryContextCleanupRegistrar<ASTUnit>
1759 ASTUnitCleanup(AST.get());
1760 llvm::CrashRecoveryContextCleanupRegistrar<Diagnostic,
1761 llvm::CrashRecoveryContextReleaseRefCleanup<Diagnostic> >
1762 DiagCleanup(Diags.getPtr());
Ted Kremenek4422bfe2011-03-18 02:06:56 +00001763
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001764 return AST->LoadFromCompilerInvocation(PrecompilePreamble)? 0 : AST.take();
Daniel Dunbar764c0822009-12-01 09:51:01 +00001765}
Daniel Dunbar55a17b62009-12-02 03:23:45 +00001766
1767ASTUnit *ASTUnit::LoadFromCommandLine(const char **ArgBegin,
1768 const char **ArgEnd,
Douglas Gregor7f95d262010-04-05 23:52:57 +00001769 llvm::IntrusiveRefCntPtr<Diagnostic> Diags,
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001770 StringRef ResourceFilesPath,
Daniel Dunbar55a17b62009-12-02 03:23:45 +00001771 bool OnlyLocalDecls,
Douglas Gregor44c6ee72010-11-11 00:39:14 +00001772 bool CaptureDiagnostics,
Douglas Gregoraa98ed92010-01-23 00:14:00 +00001773 RemappedFile *RemappedFiles,
Douglas Gregor33cdd812010-02-18 18:08:43 +00001774 unsigned NumRemappedFiles,
Argyrios Kyrtzidis97d3a382011-03-08 23:35:24 +00001775 bool RemappedFilesKeepOriginalName,
Douglas Gregor028d3e42010-08-09 20:45:32 +00001776 bool PrecompilePreamble,
Douglas Gregor69f74f82011-08-25 22:30:56 +00001777 TranslationUnitKind TUKind,
Douglas Gregorf5a18542010-10-27 17:24:53 +00001778 bool CacheCodeCompletionResults,
Chandler Carruthde81fc82011-07-14 09:02:10 +00001779 bool NestedMacroExpansions) {
Douglas Gregor7f95d262010-04-05 23:52:57 +00001780 if (!Diags.getPtr()) {
Douglas Gregord03e8232010-04-05 21:10:19 +00001781 // No diagnostics engine was provided, so create our own diagnostics object
1782 // with the default options.
1783 DiagnosticOptions DiagOpts;
Douglas Gregor345c1bc2011-01-19 01:02:47 +00001784 Diags = CompilerInstance::createDiagnostics(DiagOpts, ArgEnd - ArgBegin,
1785 ArgBegin);
Douglas Gregord03e8232010-04-05 21:10:19 +00001786 }
Daniel Dunbar55a17b62009-12-02 03:23:45 +00001787
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001788 SmallVector<StoredDiagnostic, 4> StoredDiagnostics;
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001789
Ted Kremenek5e14d392011-03-21 18:40:17 +00001790 llvm::IntrusiveRefCntPtr<CompilerInvocation> CI;
Douglas Gregor44c6ee72010-11-11 00:39:14 +00001791
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001792 {
Douglas Gregor925296b2011-07-19 16:10:42 +00001793
Douglas Gregor44c6ee72010-11-11 00:39:14 +00001794 CaptureDroppedDiagnostics Capture(CaptureDiagnostics, *Diags,
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001795 StoredDiagnostics);
Daniel Dunbarfcf2d422010-01-25 00:44:02 +00001796
Argyrios Kyrtzidis5cf423e2011-04-04 23:11:45 +00001797 CI = clang::createInvocationFromCommandLine(
Frits van Bommel717d7ed2011-07-18 12:00:32 +00001798 llvm::makeArrayRef(ArgBegin, ArgEnd),
1799 Diags);
Argyrios Kyrtzidisf606b822011-04-04 21:38:51 +00001800 if (!CI)
Argyrios Kyrtzidisbc1f48f2011-03-07 22:45:01 +00001801 return 0;
Daniel Dunbar55a17b62009-12-02 03:23:45 +00001802 }
Douglas Gregor44c6ee72010-11-11 00:39:14 +00001803
Douglas Gregoraa98ed92010-01-23 00:14:00 +00001804 // Override any files that need remapping
Argyrios Kyrtzidis11e6f0a2011-03-05 01:03:53 +00001805 for (unsigned I = 0; I != NumRemappedFiles; ++I) {
1806 FilenameOrMemBuf fileOrBuf = RemappedFiles[I].second;
1807 if (const llvm::MemoryBuffer *
1808 memBuf = fileOrBuf.dyn_cast<const llvm::MemoryBuffer *>()) {
1809 CI->getPreprocessorOpts().addRemappedFile(RemappedFiles[I].first, memBuf);
1810 } else {
1811 const char *fname = fileOrBuf.get<const char *>();
1812 CI->getPreprocessorOpts().addRemappedFile(RemappedFiles[I].first, fname);
1813 }
1814 }
Argyrios Kyrtzidis97d3a382011-03-08 23:35:24 +00001815 CI->getPreprocessorOpts().RemappedFilesKeepOriginalName =
1816 RemappedFilesKeepOriginalName;
Douglas Gregoraa98ed92010-01-23 00:14:00 +00001817
Daniel Dunbara5a166d2009-12-15 00:06:45 +00001818 // Override the resources path.
Daniel Dunbar6b03ece2010-01-30 21:47:16 +00001819 CI->getHeaderSearchOpts().ResourceDir = ResourceFilesPath;
Daniel Dunbar55a17b62009-12-02 03:23:45 +00001820
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001821 // Create the AST unit.
1822 llvm::OwningPtr<ASTUnit> AST;
1823 AST.reset(new ASTUnit(false));
Douglas Gregor345c1bc2011-01-19 01:02:47 +00001824 ConfigureDiags(Diags, ArgBegin, ArgEnd, *AST, CaptureDiagnostics);
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001825 AST->Diagnostics = Diags;
Anders Carlssonc30dcec2011-03-18 18:22:40 +00001826
1827 AST->FileSystemOpts = CI->getFileSystemOpts();
Ted Kremenek5e14d392011-03-21 18:40:17 +00001828 AST->FileMgr = new FileManager(AST->FileSystemOpts);
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001829 AST->OnlyLocalDecls = OnlyLocalDecls;
Douglas Gregor44c6ee72010-11-11 00:39:14 +00001830 AST->CaptureDiagnostics = CaptureDiagnostics;
Douglas Gregor69f74f82011-08-25 22:30:56 +00001831 AST->TUKind = TUKind;
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001832 AST->ShouldCacheCodeCompletionResults = CacheCodeCompletionResults;
1833 AST->NumStoredDiagnosticsFromDriver = StoredDiagnostics.size();
Douglas Gregor7bb8af62010-10-12 00:50:20 +00001834 AST->StoredDiagnostics.swap(StoredDiagnostics);
Ted Kremenek5e14d392011-03-21 18:40:17 +00001835 AST->Invocation = CI;
Chandler Carruthde81fc82011-07-14 09:02:10 +00001836 AST->NestedMacroExpansions = NestedMacroExpansions;
Ted Kremenek4422bfe2011-03-18 02:06:56 +00001837
1838 // Recover resources if we crash before exiting this method.
Ted Kremenek022a4902011-03-22 01:15:24 +00001839 llvm::CrashRecoveryContextCleanupRegistrar<ASTUnit>
1840 ASTUnitCleanup(AST.get());
1841 llvm::CrashRecoveryContextCleanupRegistrar<CompilerInvocation,
1842 llvm::CrashRecoveryContextReleaseRefCleanup<CompilerInvocation> >
1843 CICleanup(CI.getPtr());
1844 llvm::CrashRecoveryContextCleanupRegistrar<Diagnostic,
1845 llvm::CrashRecoveryContextReleaseRefCleanup<Diagnostic> >
1846 DiagCleanup(Diags.getPtr());
Ted Kremenek4422bfe2011-03-18 02:06:56 +00001847
Chris Lattner5159f612010-11-23 08:35:12 +00001848 return AST->LoadFromCompilerInvocation(PrecompilePreamble) ? 0 : AST.take();
Daniel Dunbar55a17b62009-12-02 03:23:45 +00001849}
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001850
1851bool ASTUnit::Reparse(RemappedFile *RemappedFiles, unsigned NumRemappedFiles) {
Ted Kremenek5e14d392011-03-21 18:40:17 +00001852 if (!Invocation)
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001853 return true;
1854
Douglas Gregor16896c42010-10-28 15:44:59 +00001855 SimpleTimer ParsingTimer(WantTiming);
Benjamin Kramerf2e5a912010-11-09 20:00:56 +00001856 ParsingTimer.setOutput("Reparsing " + getMainFileName());
Douglas Gregor16896c42010-10-28 15:44:59 +00001857
Douglas Gregor0e119552010-07-31 00:40:00 +00001858 // Remap files.
Douglas Gregor7b02b582010-08-20 00:02:33 +00001859 PreprocessorOptions &PPOpts = Invocation->getPreprocessorOpts();
Douglas Gregor606c4ac2011-02-05 19:42:43 +00001860 PPOpts.DisableStatCache = true;
Douglas Gregor7b02b582010-08-20 00:02:33 +00001861 for (PreprocessorOptions::remapped_file_buffer_iterator
1862 R = PPOpts.remapped_file_buffer_begin(),
1863 REnd = PPOpts.remapped_file_buffer_end();
1864 R != REnd;
1865 ++R) {
1866 delete R->second;
1867 }
Douglas Gregor0e119552010-07-31 00:40:00 +00001868 Invocation->getPreprocessorOpts().clearRemappedFiles();
Argyrios Kyrtzidis11e6f0a2011-03-05 01:03:53 +00001869 for (unsigned I = 0; I != NumRemappedFiles; ++I) {
1870 FilenameOrMemBuf fileOrBuf = RemappedFiles[I].second;
1871 if (const llvm::MemoryBuffer *
1872 memBuf = fileOrBuf.dyn_cast<const llvm::MemoryBuffer *>()) {
1873 Invocation->getPreprocessorOpts().addRemappedFile(RemappedFiles[I].first,
1874 memBuf);
1875 } else {
1876 const char *fname = fileOrBuf.get<const char *>();
1877 Invocation->getPreprocessorOpts().addRemappedFile(RemappedFiles[I].first,
1878 fname);
1879 }
1880 }
Douglas Gregor0e119552010-07-31 00:40:00 +00001881
Douglas Gregorbb420ab2010-08-04 05:53:38 +00001882 // If we have a preamble file lying around, or if we might try to
1883 // build a precompiled preamble, do so now.
Douglas Gregor6481ef12010-07-24 00:38:13 +00001884 llvm::MemoryBuffer *OverrideMainBuffer = 0;
Douglas Gregorbb420ab2010-08-04 05:53:38 +00001885 if (!PreambleFile.empty() || PreambleRebuildCounter > 0)
Douglas Gregorb97b6662010-08-20 00:59:43 +00001886 OverrideMainBuffer = getMainBufferWithPrecompiledPreamble(*Invocation);
Douglas Gregor4dde7492010-07-23 23:58:40 +00001887
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001888 // Clear out the diagnostics state.
Douglas Gregor36e3b5c2010-10-11 21:37:58 +00001889 if (!OverrideMainBuffer) {
Douglas Gregord9a30af2010-08-02 20:51:39 +00001890 getDiagnostics().Reset();
Douglas Gregor36e3b5c2010-10-11 21:37:58 +00001891 ProcessWarningOptions(getDiagnostics(), Invocation->getDiagnosticOpts());
1892 }
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001893
Douglas Gregor4dde7492010-07-23 23:58:40 +00001894 // Parse the sources
Douglas Gregordf7a79a2011-02-16 18:16:54 +00001895 bool Result = Parse(OverrideMainBuffer);
1896
1897 // If we're caching global code-completion results, and the top-level
1898 // declarations have changed, clear out the code-completion cache.
1899 if (!Result && ShouldCacheCodeCompletionResults &&
1900 CurrentTopLevelHashValue != CompletionCacheTopLevelHashValue)
1901 CacheCodeCompletionResults();
1902
Douglas Gregor3f35bb22011-08-04 20:04:59 +00001903 // We now need to clear out the completion allocator for
1904 // clang_getCursorCompletionString; it'll be recreated if necessary.
1905 CursorCompletionAllocator = 0;
1906
Douglas Gregor4dde7492010-07-23 23:58:40 +00001907 return Result;
Douglas Gregoraa21cc42010-07-19 21:46:24 +00001908}
Douglas Gregor8e984da2010-08-04 16:47:14 +00001909
Douglas Gregorb14904c2010-08-13 22:48:40 +00001910//----------------------------------------------------------------------------//
1911// Code completion
1912//----------------------------------------------------------------------------//
1913
1914namespace {
1915 /// \brief Code completion consumer that combines the cached code-completion
1916 /// results from an ASTUnit with the code-completion results provided to it,
1917 /// then passes the result on to
1918 class AugmentedCodeCompleteConsumer : public CodeCompleteConsumer {
Douglas Gregor21325842011-07-07 16:03:39 +00001919 unsigned long long NormalContexts;
Douglas Gregorb14904c2010-08-13 22:48:40 +00001920 ASTUnit &AST;
1921 CodeCompleteConsumer &Next;
1922
1923 public:
1924 AugmentedCodeCompleteConsumer(ASTUnit &AST, CodeCompleteConsumer &Next,
Douglas Gregor39982192010-08-15 06:18:01 +00001925 bool IncludeMacros, bool IncludeCodePatterns,
1926 bool IncludeGlobals)
1927 : CodeCompleteConsumer(IncludeMacros, IncludeCodePatterns, IncludeGlobals,
Douglas Gregorb14904c2010-08-13 22:48:40 +00001928 Next.isOutputBinary()), AST(AST), Next(Next)
1929 {
1930 // Compute the set of contexts in which we will look when we don't have
1931 // any information about the specific context.
1932 NormalContexts
Douglas Gregor21325842011-07-07 16:03:39 +00001933 = (1LL << (CodeCompletionContext::CCC_TopLevel - 1))
1934 | (1LL << (CodeCompletionContext::CCC_ObjCInterface - 1))
1935 | (1LL << (CodeCompletionContext::CCC_ObjCImplementation - 1))
1936 | (1LL << (CodeCompletionContext::CCC_ObjCIvarList - 1))
1937 | (1LL << (CodeCompletionContext::CCC_Statement - 1))
1938 | (1LL << (CodeCompletionContext::CCC_Expression - 1))
1939 | (1LL << (CodeCompletionContext::CCC_ObjCMessageReceiver - 1))
1940 | (1LL << (CodeCompletionContext::CCC_DotMemberAccess - 1))
1941 | (1LL << (CodeCompletionContext::CCC_ArrowMemberAccess - 1))
1942 | (1LL << (CodeCompletionContext::CCC_ObjCPropertyAccess - 1))
1943 | (1LL << (CodeCompletionContext::CCC_ObjCProtocolName - 1))
1944 | (1LL << (CodeCompletionContext::CCC_ParenthesizedExpression - 1))
1945 | (1LL << (CodeCompletionContext::CCC_Recovery - 1));
Douglas Gregor5e35d592010-09-14 23:59:36 +00001946
Douglas Gregorb14904c2010-08-13 22:48:40 +00001947 if (AST.getASTContext().getLangOptions().CPlusPlus)
Douglas Gregor21325842011-07-07 16:03:39 +00001948 NormalContexts |= (1LL << (CodeCompletionContext::CCC_EnumTag - 1))
1949 | (1LL << (CodeCompletionContext::CCC_UnionTag - 1))
1950 | (1LL << (CodeCompletionContext::CCC_ClassOrStructTag - 1));
Douglas Gregorb14904c2010-08-13 22:48:40 +00001951 }
1952
1953 virtual void ProcessCodeCompleteResults(Sema &S,
1954 CodeCompletionContext Context,
John McCall276321a2010-08-25 06:19:51 +00001955 CodeCompletionResult *Results,
Douglas Gregord46cf182010-08-16 20:01:48 +00001956 unsigned NumResults);
Douglas Gregorb14904c2010-08-13 22:48:40 +00001957
1958 virtual void ProcessOverloadCandidates(Sema &S, unsigned CurrentArg,
1959 OverloadCandidate *Candidates,
1960 unsigned NumCandidates) {
1961 Next.ProcessOverloadCandidates(S, CurrentArg, Candidates, NumCandidates);
1962 }
Douglas Gregorb278aaf2011-02-01 19:23:04 +00001963
Douglas Gregorbcbf46c2011-02-01 22:57:45 +00001964 virtual CodeCompletionAllocator &getAllocator() {
Douglas Gregorb278aaf2011-02-01 19:23:04 +00001965 return Next.getAllocator();
1966 }
Douglas Gregorb14904c2010-08-13 22:48:40 +00001967 };
1968}
Douglas Gregord46cf182010-08-16 20:01:48 +00001969
Douglas Gregor6199f2d2010-08-16 21:18:39 +00001970/// \brief Helper function that computes which global names are hidden by the
1971/// local code-completion results.
Ted Kremenek6a153372010-11-07 06:11:36 +00001972static void CalculateHiddenNames(const CodeCompletionContext &Context,
1973 CodeCompletionResult *Results,
1974 unsigned NumResults,
1975 ASTContext &Ctx,
1976 llvm::StringSet<llvm::BumpPtrAllocator> &HiddenNames){
Douglas Gregor6199f2d2010-08-16 21:18:39 +00001977 bool OnlyTagNames = false;
1978 switch (Context.getKind()) {
Douglas Gregor0ac41382010-09-23 23:01:17 +00001979 case CodeCompletionContext::CCC_Recovery:
Douglas Gregor6199f2d2010-08-16 21:18:39 +00001980 case CodeCompletionContext::CCC_TopLevel:
1981 case CodeCompletionContext::CCC_ObjCInterface:
1982 case CodeCompletionContext::CCC_ObjCImplementation:
1983 case CodeCompletionContext::CCC_ObjCIvarList:
1984 case CodeCompletionContext::CCC_ClassStructUnion:
1985 case CodeCompletionContext::CCC_Statement:
1986 case CodeCompletionContext::CCC_Expression:
1987 case CodeCompletionContext::CCC_ObjCMessageReceiver:
Douglas Gregor21325842011-07-07 16:03:39 +00001988 case CodeCompletionContext::CCC_DotMemberAccess:
1989 case CodeCompletionContext::CCC_ArrowMemberAccess:
1990 case CodeCompletionContext::CCC_ObjCPropertyAccess:
Douglas Gregor6199f2d2010-08-16 21:18:39 +00001991 case CodeCompletionContext::CCC_Namespace:
1992 case CodeCompletionContext::CCC_Type:
Douglas Gregorc49f5b22010-08-23 18:23:48 +00001993 case CodeCompletionContext::CCC_Name:
1994 case CodeCompletionContext::CCC_PotentiallyQualifiedName:
Douglas Gregor5e35d592010-09-14 23:59:36 +00001995 case CodeCompletionContext::CCC_ParenthesizedExpression:
Douglas Gregor2c595ad2011-07-30 06:55:39 +00001996 case CodeCompletionContext::CCC_ObjCInterfaceName:
Douglas Gregor6199f2d2010-08-16 21:18:39 +00001997 break;
1998
1999 case CodeCompletionContext::CCC_EnumTag:
2000 case CodeCompletionContext::CCC_UnionTag:
2001 case CodeCompletionContext::CCC_ClassOrStructTag:
2002 OnlyTagNames = true;
2003 break;
2004
2005 case CodeCompletionContext::CCC_ObjCProtocolName:
Douglas Gregor12785102010-08-24 20:21:13 +00002006 case CodeCompletionContext::CCC_MacroName:
2007 case CodeCompletionContext::CCC_MacroNameUse:
Douglas Gregorec00a262010-08-24 22:20:20 +00002008 case CodeCompletionContext::CCC_PreprocessorExpression:
Douglas Gregor0de55ce2010-08-25 18:41:16 +00002009 case CodeCompletionContext::CCC_PreprocessorDirective:
Douglas Gregorea147052010-08-25 18:04:30 +00002010 case CodeCompletionContext::CCC_NaturalLanguage:
Douglas Gregor67c692c2010-08-26 15:07:07 +00002011 case CodeCompletionContext::CCC_SelectorName:
Douglas Gregor28c78432010-08-27 17:35:51 +00002012 case CodeCompletionContext::CCC_TypeQualifiers:
Douglas Gregor0ac41382010-09-23 23:01:17 +00002013 case CodeCompletionContext::CCC_Other:
Douglas Gregor3a69eaf2011-02-18 23:30:37 +00002014 case CodeCompletionContext::CCC_OtherWithMacros:
Douglas Gregor21325842011-07-07 16:03:39 +00002015 case CodeCompletionContext::CCC_ObjCInstanceMessage:
2016 case CodeCompletionContext::CCC_ObjCClassMessage:
2017 case CodeCompletionContext::CCC_ObjCCategoryName:
Douglas Gregor0de55ce2010-08-25 18:41:16 +00002018 // We're looking for nothing, or we're looking for names that cannot
2019 // be hidden.
Douglas Gregor6199f2d2010-08-16 21:18:39 +00002020 return;
2021 }
2022
John McCall276321a2010-08-25 06:19:51 +00002023 typedef CodeCompletionResult Result;
Douglas Gregor6199f2d2010-08-16 21:18:39 +00002024 for (unsigned I = 0; I != NumResults; ++I) {
2025 if (Results[I].Kind != Result::RK_Declaration)
2026 continue;
2027
2028 unsigned IDNS
2029 = Results[I].Declaration->getUnderlyingDecl()->getIdentifierNamespace();
2030
2031 bool Hiding = false;
2032 if (OnlyTagNames)
2033 Hiding = (IDNS & Decl::IDNS_Tag);
2034 else {
2035 unsigned HiddenIDNS = (Decl::IDNS_Type | Decl::IDNS_Member |
Douglas Gregor59cab552010-08-16 23:05:20 +00002036 Decl::IDNS_Namespace | Decl::IDNS_Ordinary |
2037 Decl::IDNS_NonMemberOperator);
Douglas Gregor6199f2d2010-08-16 21:18:39 +00002038 if (Ctx.getLangOptions().CPlusPlus)
2039 HiddenIDNS |= Decl::IDNS_Tag;
2040 Hiding = (IDNS & HiddenIDNS);
2041 }
2042
2043 if (!Hiding)
2044 continue;
2045
2046 DeclarationName Name = Results[I].Declaration->getDeclName();
2047 if (IdentifierInfo *Identifier = Name.getAsIdentifierInfo())
2048 HiddenNames.insert(Identifier->getName());
2049 else
2050 HiddenNames.insert(Name.getAsString());
2051 }
2052}
2053
2054
Douglas Gregord46cf182010-08-16 20:01:48 +00002055void AugmentedCodeCompleteConsumer::ProcessCodeCompleteResults(Sema &S,
2056 CodeCompletionContext Context,
John McCall276321a2010-08-25 06:19:51 +00002057 CodeCompletionResult *Results,
Douglas Gregord46cf182010-08-16 20:01:48 +00002058 unsigned NumResults) {
2059 // Merge the results we were given with the results we cached.
2060 bool AddedResult = false;
Douglas Gregor6199f2d2010-08-16 21:18:39 +00002061 unsigned InContexts
Douglas Gregor0ac41382010-09-23 23:01:17 +00002062 = (Context.getKind() == CodeCompletionContext::CCC_Recovery? NormalContexts
NAKAMURA Takumi203f87c2011-08-17 01:46:16 +00002063 : (1ULL << (Context.getKind() - 1)));
Douglas Gregor6199f2d2010-08-16 21:18:39 +00002064 // Contains the set of names that are hidden by "local" completion results.
Ted Kremenek6a153372010-11-07 06:11:36 +00002065 llvm::StringSet<llvm::BumpPtrAllocator> HiddenNames;
John McCall276321a2010-08-25 06:19:51 +00002066 typedef CodeCompletionResult Result;
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002067 SmallVector<Result, 8> AllResults;
Douglas Gregord46cf182010-08-16 20:01:48 +00002068 for (ASTUnit::cached_completion_iterator
Douglas Gregordf239672010-08-16 21:23:13 +00002069 C = AST.cached_completion_begin(),
2070 CEnd = AST.cached_completion_end();
Douglas Gregord46cf182010-08-16 20:01:48 +00002071 C != CEnd; ++C) {
2072 // If the context we are in matches any of the contexts we are
2073 // interested in, we'll add this result.
2074 if ((C->ShowInContexts & InContexts) == 0)
2075 continue;
2076
2077 // If we haven't added any results previously, do so now.
2078 if (!AddedResult) {
Douglas Gregor6199f2d2010-08-16 21:18:39 +00002079 CalculateHiddenNames(Context, Results, NumResults, S.Context,
2080 HiddenNames);
Douglas Gregord46cf182010-08-16 20:01:48 +00002081 AllResults.insert(AllResults.end(), Results, Results + NumResults);
2082 AddedResult = true;
2083 }
2084
Douglas Gregor6199f2d2010-08-16 21:18:39 +00002085 // Determine whether this global completion result is hidden by a local
2086 // completion result. If so, skip it.
2087 if (C->Kind != CXCursor_MacroDefinition &&
2088 HiddenNames.count(C->Completion->getTypedText()))
2089 continue;
2090
Douglas Gregord46cf182010-08-16 20:01:48 +00002091 // Adjust priority based on similar type classes.
2092 unsigned Priority = C->Priority;
Douglas Gregor8850aa32010-08-25 18:03:13 +00002093 CXCursorKind CursorKind = C->Kind;
Douglas Gregor12785102010-08-24 20:21:13 +00002094 CodeCompletionString *Completion = C->Completion;
Douglas Gregord46cf182010-08-16 20:01:48 +00002095 if (!Context.getPreferredType().isNull()) {
2096 if (C->Kind == CXCursor_MacroDefinition) {
2097 Priority = getMacroUsagePriority(C->Completion->getTypedText(),
Douglas Gregor9dcf58a2010-09-20 21:11:48 +00002098 S.getLangOptions(),
Douglas Gregor12785102010-08-24 20:21:13 +00002099 Context.getPreferredType()->isAnyPointerType());
Douglas Gregord46cf182010-08-16 20:01:48 +00002100 } else if (C->Type) {
2101 CanQualType Expected
Douglas Gregordf239672010-08-16 21:23:13 +00002102 = S.Context.getCanonicalType(
Douglas Gregord46cf182010-08-16 20:01:48 +00002103 Context.getPreferredType().getUnqualifiedType());
2104 SimplifiedTypeClass ExpectedSTC = getSimplifiedTypeClass(Expected);
2105 if (ExpectedSTC == C->TypeClass) {
2106 // We know this type is similar; check for an exact match.
2107 llvm::StringMap<unsigned> &CachedCompletionTypes
Douglas Gregordf239672010-08-16 21:23:13 +00002108 = AST.getCachedCompletionTypes();
Douglas Gregord46cf182010-08-16 20:01:48 +00002109 llvm::StringMap<unsigned>::iterator Pos
Douglas Gregordf239672010-08-16 21:23:13 +00002110 = CachedCompletionTypes.find(QualType(Expected).getAsString());
Douglas Gregord46cf182010-08-16 20:01:48 +00002111 if (Pos != CachedCompletionTypes.end() && Pos->second == C->Type)
2112 Priority /= CCF_ExactTypeMatch;
2113 else
2114 Priority /= CCF_SimilarTypeMatch;
2115 }
2116 }
2117 }
2118
Douglas Gregor12785102010-08-24 20:21:13 +00002119 // Adjust the completion string, if required.
2120 if (C->Kind == CXCursor_MacroDefinition &&
2121 Context.getKind() == CodeCompletionContext::CCC_MacroNameUse) {
2122 // Create a new code-completion string that just contains the
2123 // macro name, without its arguments.
Douglas Gregorb278aaf2011-02-01 19:23:04 +00002124 CodeCompletionBuilder Builder(getAllocator(), CCP_CodePattern,
2125 C->Availability);
2126 Builder.AddTypedTextChunk(C->Completion->getTypedText());
Douglas Gregor8850aa32010-08-25 18:03:13 +00002127 CursorKind = CXCursor_NotImplemented;
2128 Priority = CCP_CodePattern;
Douglas Gregorb278aaf2011-02-01 19:23:04 +00002129 Completion = Builder.TakeString();
Douglas Gregor12785102010-08-24 20:21:13 +00002130 }
2131
Douglas Gregor8850aa32010-08-25 18:03:13 +00002132 AllResults.push_back(Result(Completion, Priority, CursorKind,
Douglas Gregorf757a122010-08-23 23:00:57 +00002133 C->Availability));
Douglas Gregord46cf182010-08-16 20:01:48 +00002134 }
2135
2136 // If we did not add any cached completion results, just forward the
2137 // results we were given to the next consumer.
2138 if (!AddedResult) {
2139 Next.ProcessCodeCompleteResults(S, Context, Results, NumResults);
2140 return;
2141 }
Douglas Gregor49f67ce2010-08-26 13:48:20 +00002142
Douglas Gregord46cf182010-08-16 20:01:48 +00002143 Next.ProcessCodeCompleteResults(S, Context, AllResults.data(),
2144 AllResults.size());
2145}
2146
2147
2148
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002149void ASTUnit::CodeComplete(StringRef File, unsigned Line, unsigned Column,
Douglas Gregor8e984da2010-08-04 16:47:14 +00002150 RemappedFile *RemappedFiles,
2151 unsigned NumRemappedFiles,
Douglas Gregorb68bc592010-08-05 09:09:23 +00002152 bool IncludeMacros,
2153 bool IncludeCodePatterns,
Douglas Gregor8e984da2010-08-04 16:47:14 +00002154 CodeCompleteConsumer &Consumer,
2155 Diagnostic &Diag, LangOptions &LangOpts,
2156 SourceManager &SourceMgr, FileManager &FileMgr,
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002157 SmallVectorImpl<StoredDiagnostic> &StoredDiagnostics,
2158 SmallVectorImpl<const llvm::MemoryBuffer *> &OwnedBuffers) {
Ted Kremenek5e14d392011-03-21 18:40:17 +00002159 if (!Invocation)
Douglas Gregor8e984da2010-08-04 16:47:14 +00002160 return;
2161
Douglas Gregor16896c42010-10-28 15:44:59 +00002162 SimpleTimer CompletionTimer(WantTiming);
Benjamin Kramerf2e5a912010-11-09 20:00:56 +00002163 CompletionTimer.setOutput("Code completion @ " + File + ":" +
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002164 Twine(Line) + ":" + Twine(Column));
Douglas Gregor028d3e42010-08-09 20:45:32 +00002165
Ted Kremenek5e14d392011-03-21 18:40:17 +00002166 llvm::IntrusiveRefCntPtr<CompilerInvocation>
2167 CCInvocation(new CompilerInvocation(*Invocation));
2168
2169 FrontendOptions &FrontendOpts = CCInvocation->getFrontendOpts();
2170 PreprocessorOptions &PreprocessorOpts = CCInvocation->getPreprocessorOpts();
Douglas Gregorb68bc592010-08-05 09:09:23 +00002171
Douglas Gregorb14904c2010-08-13 22:48:40 +00002172 FrontendOpts.ShowMacrosInCodeCompletion
2173 = IncludeMacros && CachedCompletionResults.empty();
Douglas Gregorb68bc592010-08-05 09:09:23 +00002174 FrontendOpts.ShowCodePatternsInCodeCompletion = IncludeCodePatterns;
Douglas Gregor39982192010-08-15 06:18:01 +00002175 FrontendOpts.ShowGlobalSymbolsInCodeCompletion
2176 = CachedCompletionResults.empty();
Douglas Gregor8e984da2010-08-04 16:47:14 +00002177 FrontendOpts.CodeCompletionAt.FileName = File;
2178 FrontendOpts.CodeCompletionAt.Line = Line;
2179 FrontendOpts.CodeCompletionAt.Column = Column;
2180
2181 // Set the language options appropriately.
Ted Kremenek5e14d392011-03-21 18:40:17 +00002182 LangOpts = CCInvocation->getLangOpts();
Douglas Gregor8e984da2010-08-04 16:47:14 +00002183
Ted Kremenek84de4a12011-03-21 18:40:07 +00002184 llvm::OwningPtr<CompilerInstance> Clang(new CompilerInstance());
2185
2186 // Recover resources if we crash before exiting this method.
Ted Kremenek022a4902011-03-22 01:15:24 +00002187 llvm::CrashRecoveryContextCleanupRegistrar<CompilerInstance>
2188 CICleanup(Clang.get());
Ted Kremenek84de4a12011-03-21 18:40:07 +00002189
Ted Kremenek5e14d392011-03-21 18:40:17 +00002190 Clang->setInvocation(&*CCInvocation);
Ted Kremenek84de4a12011-03-21 18:40:07 +00002191 OriginalSourceFile = Clang->getFrontendOpts().Inputs[0].second;
Douglas Gregor8e984da2010-08-04 16:47:14 +00002192
2193 // Set up diagnostics, capturing any diagnostics produced.
Ted Kremenek84de4a12011-03-21 18:40:07 +00002194 Clang->setDiagnostics(&Diag);
Ted Kremenek5e14d392011-03-21 18:40:17 +00002195 ProcessWarningOptions(Diag, CCInvocation->getDiagnosticOpts());
Douglas Gregor8e984da2010-08-04 16:47:14 +00002196 CaptureDroppedDiagnostics Capture(true,
Ted Kremenek84de4a12011-03-21 18:40:07 +00002197 Clang->getDiagnostics(),
Douglas Gregor8e984da2010-08-04 16:47:14 +00002198 StoredDiagnostics);
Douglas Gregor8e984da2010-08-04 16:47:14 +00002199
2200 // Create the target instance.
Ted Kremenek84de4a12011-03-21 18:40:07 +00002201 Clang->getTargetOpts().Features = TargetFeatures;
2202 Clang->setTarget(TargetInfo::CreateTargetInfo(Clang->getDiagnostics(),
2203 Clang->getTargetOpts()));
2204 if (!Clang->hasTarget()) {
Ted Kremenek5e14d392011-03-21 18:40:17 +00002205 Clang->setInvocation(0);
Douglas Gregor2dd19f12010-08-18 22:29:43 +00002206 return;
Douglas Gregor8e984da2010-08-04 16:47:14 +00002207 }
2208
2209 // Inform the target of the language options.
2210 //
2211 // FIXME: We shouldn't need to do this, the target should be immutable once
2212 // created. This complexity should be lifted elsewhere.
Ted Kremenek84de4a12011-03-21 18:40:07 +00002213 Clang->getTarget().setForcedLangOptions(Clang->getLangOpts());
Douglas Gregor8e984da2010-08-04 16:47:14 +00002214
Ted Kremenek84de4a12011-03-21 18:40:07 +00002215 assert(Clang->getFrontendOpts().Inputs.size() == 1 &&
Douglas Gregor8e984da2010-08-04 16:47:14 +00002216 "Invocation must have exactly one source file!");
Ted Kremenek84de4a12011-03-21 18:40:07 +00002217 assert(Clang->getFrontendOpts().Inputs[0].first != IK_AST &&
Douglas Gregor8e984da2010-08-04 16:47:14 +00002218 "FIXME: AST inputs not yet supported here!");
Ted Kremenek84de4a12011-03-21 18:40:07 +00002219 assert(Clang->getFrontendOpts().Inputs[0].first != IK_LLVM_IR &&
Douglas Gregor8e984da2010-08-04 16:47:14 +00002220 "IR inputs not support here!");
2221
2222
2223 // Use the source and file managers that we were given.
Ted Kremenek84de4a12011-03-21 18:40:07 +00002224 Clang->setFileManager(&FileMgr);
2225 Clang->setSourceManager(&SourceMgr);
Douglas Gregor8e984da2010-08-04 16:47:14 +00002226
2227 // Remap files.
2228 PreprocessorOpts.clearRemappedFiles();
Douglas Gregord8a5dba2010-08-04 17:07:00 +00002229 PreprocessorOpts.RetainRemappedFileBuffers = true;
Douglas Gregorb97b6662010-08-20 00:59:43 +00002230 for (unsigned I = 0; I != NumRemappedFiles; ++I) {
Argyrios Kyrtzidis11e6f0a2011-03-05 01:03:53 +00002231 FilenameOrMemBuf fileOrBuf = RemappedFiles[I].second;
2232 if (const llvm::MemoryBuffer *
2233 memBuf = fileOrBuf.dyn_cast<const llvm::MemoryBuffer *>()) {
2234 PreprocessorOpts.addRemappedFile(RemappedFiles[I].first, memBuf);
2235 OwnedBuffers.push_back(memBuf);
2236 } else {
2237 const char *fname = fileOrBuf.get<const char *>();
2238 PreprocessorOpts.addRemappedFile(RemappedFiles[I].first, fname);
2239 }
Douglas Gregorb97b6662010-08-20 00:59:43 +00002240 }
Douglas Gregor8e984da2010-08-04 16:47:14 +00002241
Douglas Gregorb14904c2010-08-13 22:48:40 +00002242 // Use the code completion consumer we were given, but adding any cached
2243 // code-completion results.
Douglas Gregore9186e62010-11-29 16:13:56 +00002244 AugmentedCodeCompleteConsumer *AugmentedConsumer
2245 = new AugmentedCodeCompleteConsumer(*this, Consumer,
2246 FrontendOpts.ShowMacrosInCodeCompletion,
2247 FrontendOpts.ShowCodePatternsInCodeCompletion,
2248 FrontendOpts.ShowGlobalSymbolsInCodeCompletion);
Ted Kremenek84de4a12011-03-21 18:40:07 +00002249 Clang->setCodeCompletionConsumer(AugmentedConsumer);
Douglas Gregor8e984da2010-08-04 16:47:14 +00002250
Douglas Gregor028d3e42010-08-09 20:45:32 +00002251 // If we have a precompiled preamble, try to use it. We only allow
2252 // the use of the precompiled preamble if we're if the completion
2253 // point is within the main file, after the end of the precompiled
2254 // preamble.
2255 llvm::MemoryBuffer *OverrideMainBuffer = 0;
2256 if (!PreambleFile.empty()) {
2257 using llvm::sys::FileStatus;
2258 llvm::sys::PathWithStatus CompleteFilePath(File);
2259 llvm::sys::PathWithStatus MainPath(OriginalSourceFile);
2260 if (const FileStatus *CompleteFileStatus = CompleteFilePath.getFileStatus())
2261 if (const FileStatus *MainStatus = MainPath.getFileStatus())
2262 if (CompleteFileStatus->getUniqueID() == MainStatus->getUniqueID())
Douglas Gregorb97b6662010-08-20 00:59:43 +00002263 OverrideMainBuffer
Ted Kremenek5e14d392011-03-21 18:40:17 +00002264 = getMainBufferWithPrecompiledPreamble(*CCInvocation, false,
Douglas Gregor8e817b62010-08-25 18:04:15 +00002265 Line - 1);
Douglas Gregor028d3e42010-08-09 20:45:32 +00002266 }
2267
2268 // If the main file has been overridden due to the use of a preamble,
2269 // make that override happen and introduce the preamble.
Douglas Gregor606c4ac2011-02-05 19:42:43 +00002270 PreprocessorOpts.DisableStatCache = true;
Douglas Gregor7bb8af62010-10-12 00:50:20 +00002271 StoredDiagnostics.insert(StoredDiagnostics.end(),
2272 this->StoredDiagnostics.begin(),
2273 this->StoredDiagnostics.begin() + NumStoredDiagnosticsFromDriver);
Douglas Gregor028d3e42010-08-09 20:45:32 +00002274 if (OverrideMainBuffer) {
2275 PreprocessorOpts.addRemappedFile(OriginalSourceFile, OverrideMainBuffer);
2276 PreprocessorOpts.PrecompiledPreambleBytes.first = Preamble.size();
2277 PreprocessorOpts.PrecompiledPreambleBytes.second
2278 = PreambleEndsAtStartOfLine;
2279 PreprocessorOpts.ImplicitPCHInclude = PreambleFile;
2280 PreprocessorOpts.DisablePCHValidation = true;
2281
Douglas Gregorb97b6662010-08-20 00:59:43 +00002282 OwnedBuffers.push_back(OverrideMainBuffer);
Douglas Gregor7b02b582010-08-20 00:02:33 +00002283 } else {
2284 PreprocessorOpts.PrecompiledPreambleBytes.first = 0;
2285 PreprocessorOpts.PrecompiledPreambleBytes.second = false;
Douglas Gregor028d3e42010-08-09 20:45:32 +00002286 }
2287
Douglas Gregor998caea2011-05-06 16:33:08 +00002288 // Disable the preprocessing record
2289 PreprocessorOpts.DetailedRecord = false;
2290
Douglas Gregor8e984da2010-08-04 16:47:14 +00002291 llvm::OwningPtr<SyntaxOnlyAction> Act;
2292 Act.reset(new SyntaxOnlyAction);
Ted Kremenek84de4a12011-03-21 18:40:07 +00002293 if (Act->BeginSourceFile(*Clang.get(), Clang->getFrontendOpts().Inputs[0].second,
2294 Clang->getFrontendOpts().Inputs[0].first)) {
Douglas Gregor925296b2011-07-19 16:10:42 +00002295 if (OverrideMainBuffer) {
Jonathan D. Turner2214acd2011-07-22 17:25:03 +00002296 std::string ModName = PreambleFile;
Douglas Gregor925296b2011-07-19 16:10:42 +00002297 TranslateStoredDiagnostics(Clang->getModuleManager(), ModName,
2298 getSourceManager(), PreambleDiagnostics,
2299 StoredDiagnostics);
2300 }
Douglas Gregor8e984da2010-08-04 16:47:14 +00002301 Act->Execute();
2302 Act->EndSourceFile();
2303 }
Douglas Gregor8e984da2010-08-04 16:47:14 +00002304}
Douglas Gregore9386682010-08-13 05:36:37 +00002305
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002306CXSaveError ASTUnit::Save(StringRef File) {
Douglas Gregor8a60bbe2011-07-06 17:40:26 +00002307 if (getDiagnostics().hasUnrecoverableErrorOccurred())
Douglas Gregor30c80fa2011-07-06 16:43:36 +00002308 return CXSaveError_TranslationErrors;
Argyrios Kyrtzidis55e75572011-07-21 18:44:49 +00002309
2310 // Write to a temporary file and later rename it to the actual file, to avoid
2311 // possible race conditions.
Argyrios Kyrtzidis08a2bfd2011-07-28 00:45:10 +00002312 llvm::SmallString<128> TempPath;
2313 TempPath = File;
2314 TempPath += "-%%%%%%%%";
2315 int fd;
2316 if (llvm::sys::fs::unique_file(TempPath.str(), fd, TempPath,
2317 /*makeAbsolute=*/false))
Argyrios Kyrtzidis55e75572011-07-21 18:44:49 +00002318 return CXSaveError_Unknown;
Argyrios Kyrtzidis55e75572011-07-21 18:44:49 +00002319
Douglas Gregore9386682010-08-13 05:36:37 +00002320 // FIXME: Can we somehow regenerate the stat cache here, or do we need to
2321 // unconditionally create a stat cache when we parse the file?
Argyrios Kyrtzidis08a2bfd2011-07-28 00:45:10 +00002322 llvm::raw_fd_ostream Out(fd, /*shouldClose=*/true);
Argyrios Kyrtzidis35dcda72011-03-09 17:21:42 +00002323
2324 serialize(Out);
2325 Out.close();
Argyrios Kyrtzidis55e75572011-07-21 18:44:49 +00002326 if (Out.has_error())
2327 return CXSaveError_Unknown;
2328
2329 if (llvm::error_code ec = llvm::sys::fs::rename(TempPath.str(), File)) {
2330 bool exists;
2331 llvm::sys::fs::remove(TempPath.str(), exists);
2332 return CXSaveError_Unknown;
2333 }
2334
2335 return CXSaveError_None;
Argyrios Kyrtzidis35dcda72011-03-09 17:21:42 +00002336}
2337
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002338bool ASTUnit::serialize(raw_ostream &OS) {
Argyrios Kyrtzidis35dcda72011-03-09 17:21:42 +00002339 if (getDiagnostics().hasErrorOccurred())
2340 return true;
2341
Douglas Gregore9386682010-08-13 05:36:37 +00002342 std::vector<unsigned char> Buffer;
2343 llvm::BitstreamWriter Stream(Buffer);
Sebastian Redl55c0ad52010-08-18 23:56:21 +00002344 ASTWriter Writer(Stream);
Douglas Gregor4a69c2e2011-09-01 17:04:32 +00002345 // FIXME: Handle modules
2346 Writer.WriteAST(getSema(), 0, std::string(), /*IsModule=*/false, "");
Douglas Gregore9386682010-08-13 05:36:37 +00002347
2348 // Write the generated bitstream to "Out".
Douglas Gregor2dd19f12010-08-18 22:29:43 +00002349 if (!Buffer.empty())
Argyrios Kyrtzidis35dcda72011-03-09 17:21:42 +00002350 OS.write((char *)&Buffer.front(), Buffer.size());
2351
2352 return false;
Douglas Gregore9386682010-08-13 05:36:37 +00002353}
Douglas Gregor925296b2011-07-19 16:10:42 +00002354
2355typedef ContinuousRangeMap<unsigned, int, 2> SLocRemap;
2356
2357static void TranslateSLoc(SourceLocation &L, SLocRemap &Remap) {
2358 unsigned Raw = L.getRawEncoding();
2359 const unsigned MacroBit = 1U << 31;
2360 L = SourceLocation::getFromRawEncoding((Raw & MacroBit) |
2361 ((Raw & ~MacroBit) + Remap.find(Raw & ~MacroBit)->second));
2362}
2363
2364void ASTUnit::TranslateStoredDiagnostics(
2365 ASTReader *MMan,
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002366 StringRef ModName,
Douglas Gregor925296b2011-07-19 16:10:42 +00002367 SourceManager &SrcMgr,
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002368 const SmallVectorImpl<StoredDiagnostic> &Diags,
2369 SmallVectorImpl<StoredDiagnostic> &Out) {
Douglas Gregor925296b2011-07-19 16:10:42 +00002370 // The stored diagnostic has the old source manager in it; update
2371 // the locations to refer into the new source manager. We also need to remap
2372 // all the locations to the new view. This includes the diag location, any
2373 // associated source ranges, and the source ranges of associated fix-its.
2374 // FIXME: There should be a cleaner way to do this.
2375
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002376 SmallVector<StoredDiagnostic, 4> Result;
Douglas Gregor925296b2011-07-19 16:10:42 +00002377 Result.reserve(Diags.size());
2378 assert(MMan && "Don't have a module manager");
Jonathan D. Turnerb2b08232011-07-26 18:21:30 +00002379 serialization::Module *Mod = MMan->ModuleMgr.lookup(ModName);
Douglas Gregor925296b2011-07-19 16:10:42 +00002380 assert(Mod && "Don't have preamble module");
2381 SLocRemap &Remap = Mod->SLocRemap;
2382 for (unsigned I = 0, N = Diags.size(); I != N; ++I) {
2383 // Rebuild the StoredDiagnostic.
2384 const StoredDiagnostic &SD = Diags[I];
2385 SourceLocation L = SD.getLocation();
2386 TranslateSLoc(L, Remap);
2387 FullSourceLoc Loc(L, SrcMgr);
2388
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002389 SmallVector<CharSourceRange, 4> Ranges;
Douglas Gregor925296b2011-07-19 16:10:42 +00002390 Ranges.reserve(SD.range_size());
2391 for (StoredDiagnostic::range_iterator I = SD.range_begin(),
2392 E = SD.range_end();
2393 I != E; ++I) {
2394 SourceLocation BL = I->getBegin();
2395 TranslateSLoc(BL, Remap);
2396 SourceLocation EL = I->getEnd();
2397 TranslateSLoc(EL, Remap);
2398 Ranges.push_back(CharSourceRange(SourceRange(BL, EL), I->isTokenRange()));
2399 }
2400
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002401 SmallVector<FixItHint, 2> FixIts;
Douglas Gregor925296b2011-07-19 16:10:42 +00002402 FixIts.reserve(SD.fixit_size());
2403 for (StoredDiagnostic::fixit_iterator I = SD.fixit_begin(),
2404 E = SD.fixit_end();
2405 I != E; ++I) {
2406 FixIts.push_back(FixItHint());
2407 FixItHint &FH = FixIts.back();
2408 FH.CodeToInsert = I->CodeToInsert;
2409 SourceLocation BL = I->RemoveRange.getBegin();
2410 TranslateSLoc(BL, Remap);
2411 SourceLocation EL = I->RemoveRange.getEnd();
2412 TranslateSLoc(EL, Remap);
2413 FH.RemoveRange = CharSourceRange(SourceRange(BL, EL),
2414 I->RemoveRange.isTokenRange());
2415 }
2416
2417 Result.push_back(StoredDiagnostic(SD.getLevel(), SD.getID(),
2418 SD.getMessage(), Loc, Ranges, FixIts));
2419 }
2420 Result.swap(Out);
2421}