blob: 75b83d73d1959c56081850418a2cd0675153409e [file] [log] [blame]
Fangrui Song524b3c12019-03-01 06:49:51 +00001//===- Indexing.cpp - Higher level API functions --------------------------===//
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +00002//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +00006//
7//===----------------------------------------------------------------------===//
8
Argyrios Kyrtzidisf2d99b02011-12-01 02:42:50 +00009#include "CIndexDiagnostic.h"
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +000010#include "CIndexer.h"
Chandler Carruth4b417452013-01-19 08:09:44 +000011#include "CLog.h"
Chandler Carruthcc0694c2012-12-04 09:25:21 +000012#include "CXCursor.h"
Benjamin Kramercfeacf52016-05-27 14:27:13 +000013#include "CXIndexDataConsumer.h"
Chandler Carruthcc0694c2012-12-04 09:25:21 +000014#include "CXSourceLocation.h"
15#include "CXString.h"
16#include "CXTranslationUnit.h"
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +000017#include "clang/AST/ASTConsumer.h"
Chandler Carruthcc0694c2012-12-04 09:25:21 +000018#include "clang/Frontend/ASTUnit.h"
19#include "clang/Frontend/CompilerInstance.h"
20#include "clang/Frontend/CompilerInvocation.h"
21#include "clang/Frontend/FrontendAction.h"
Dmitri Gribenko8d320532019-08-29 11:43:05 +000022#include "clang/Frontend/MultiplexConsumer.h"
Chandler Carruthcc0694c2012-12-04 09:25:21 +000023#include "clang/Frontend/Utils.h"
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000024#include "clang/Index/IndexingAction.h"
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +000025#include "clang/Lex/HeaderSearch.h"
Chandler Carruth44eb4f62013-01-02 10:28:36 +000026#include "clang/Lex/PPCallbacks.h"
27#include "clang/Lex/PPConditionalDirectiveRecord.h"
28#include "clang/Lex/Preprocessor.h"
Mehdi Amini9670f842016-07-18 19:02:11 +000029#include "clang/Lex/PreprocessorOptions.h"
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +000030#include "llvm/Support/CrashRecoveryContext.h"
Chandler Carruthcc0694c2012-12-04 09:25:21 +000031#include "llvm/Support/MemoryBuffer.h"
Dmitri Gribenkoab458a12013-08-19 16:14:33 +000032#include <cstdio>
Benjamin Kramer3d5360a2019-08-07 10:57:25 +000033#include <mutex>
Benjamin Kramercfeacf52016-05-27 14:27:13 +000034#include <utility>
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +000035
36using namespace clang;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +000037using namespace clang::index;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +000038using namespace cxtu;
39using namespace cxindex;
40
41namespace {
42
43//===----------------------------------------------------------------------===//
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +000044// Skip Parsed Bodies
45//===----------------------------------------------------------------------===//
46
Adrian Prantl9fc8faf2018-05-09 01:00:01 +000047/// A "region" in source code identified by the file/offset of the
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +000048/// preprocessor conditional directive that it belongs to.
49/// Multiple, non-consecutive ranges can be parts of the same region.
50///
51/// As an example of different regions separated by preprocessor directives:
52///
53/// \code
54/// #1
55/// #ifdef BLAH
56/// #2
57/// #ifdef CAKE
58/// #3
59/// #endif
60/// #2
61/// #endif
62/// #1
63/// \endcode
64///
65/// There are 3 regions, with non-consecutive parts:
66/// #1 is identified as the beginning of the file
67/// #2 is identified as the location of "#ifdef BLAH"
68/// #3 is identified as the location of "#ifdef CAKE"
69///
70class PPRegion {
Rafael Espindolaf8f91b82013-08-01 21:42:11 +000071 llvm::sys::fs::UniqueID UniqueID;
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +000072 time_t ModTime;
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +000073 unsigned Offset;
74public:
Alexey Samsonovc04b5cd2013-08-02 09:06:39 +000075 PPRegion() : UniqueID(0, 0), ModTime(), Offset() {}
Rafael Espindolaf8f91b82013-08-01 21:42:11 +000076 PPRegion(llvm::sys::fs::UniqueID UniqueID, unsigned offset, time_t modTime)
77 : UniqueID(UniqueID), ModTime(modTime), Offset(offset) {}
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +000078
Rafael Espindolaf8f91b82013-08-01 21:42:11 +000079 const llvm::sys::fs::UniqueID &getUniqueID() const { return UniqueID; }
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +000080 unsigned getOffset() const { return Offset; }
81 time_t getModTime() const { return ModTime; }
82
83 bool isInvalid() const { return *this == PPRegion(); }
84
85 friend bool operator==(const PPRegion &lhs, const PPRegion &rhs) {
Rafael Espindolaf8f91b82013-08-01 21:42:11 +000086 return lhs.UniqueID == rhs.UniqueID && lhs.Offset == rhs.Offset &&
87 lhs.ModTime == rhs.ModTime;
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +000088 }
89};
90
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +000091} // end anonymous namespace
92
93namespace llvm {
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +000094
95 template <>
96 struct DenseMapInfo<PPRegion> {
97 static inline PPRegion getEmptyKey() {
Rafael Espindolaf8f91b82013-08-01 21:42:11 +000098 return PPRegion(llvm::sys::fs::UniqueID(0, 0), unsigned(-1), 0);
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +000099 }
100 static inline PPRegion getTombstoneKey() {
Rafael Espindolaf8f91b82013-08-01 21:42:11 +0000101 return PPRegion(llvm::sys::fs::UniqueID(0, 0), unsigned(-2), 0);
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000102 }
103
104 static unsigned getHashValue(const PPRegion &S) {
105 llvm::FoldingSetNodeID ID;
Rafael Espindolaf8f91b82013-08-01 21:42:11 +0000106 const llvm::sys::fs::UniqueID &UniqueID = S.getUniqueID();
107 ID.AddInteger(UniqueID.getFile());
108 ID.AddInteger(UniqueID.getDevice());
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000109 ID.AddInteger(S.getOffset());
110 ID.AddInteger(S.getModTime());
111 return ID.ComputeHash();
112 }
113
114 static bool isEqual(const PPRegion &LHS, const PPRegion &RHS) {
115 return LHS == RHS;
116 }
117 };
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000118}
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000119
120namespace {
121
Jan Korousb1c90792019-08-26 17:25:23 +0000122/// Keeps track of function bodies that have already been parsed.
123///
124/// Is thread-safe.
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000125class ThreadSafeParsedRegions {
126 mutable std::mutex Mutex;
127 llvm::DenseSet<PPRegion> ParsedRegions;
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000128
129public:
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000130 ~ThreadSafeParsedRegions() = default;
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000131
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000132 llvm::DenseSet<PPRegion> getParsedRegions() const {
133 std::lock_guard<std::mutex> MG(Mutex);
134 return ParsedRegions;
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000135 }
136
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000137 void addParsedRegions(ArrayRef<PPRegion> Regions) {
138 std::lock_guard<std::mutex> MG(Mutex);
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000139 ParsedRegions.insert(Regions.begin(), Regions.end());
140 }
141};
142
Jan Korousb1c90792019-08-26 17:25:23 +0000143/// Provides information whether source locations have already been parsed in
144/// another FrontendAction.
145///
146/// Is NOT thread-safe.
147class ParsedSrcLocationsTracker {
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000148 ThreadSafeParsedRegions &ParsedRegionsStorage;
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000149 PPConditionalDirectiveRecord &PPRec;
150 Preprocessor &PP;
151
Jan Korousb1c90792019-08-26 17:25:23 +0000152 /// Snapshot of the shared state at the point when this instance was
153 /// constructed.
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000154 llvm::DenseSet<PPRegion> ParsedRegionsSnapshot;
Jan Korousb1c90792019-08-26 17:25:23 +0000155 /// Regions that were queried during this instance lifetime.
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000156 SmallVector<PPRegion, 32> NewParsedRegions;
Jan Korousb1c90792019-08-26 17:25:23 +0000157
158 /// Caching the last queried region.
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000159 PPRegion LastRegion;
160 bool LastIsParsed;
161
162public:
Jan Korousb1c90792019-08-26 17:25:23 +0000163 /// Creates snapshot of \p ParsedRegionsStorage.
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000164 ParsedSrcLocationsTracker(ThreadSafeParsedRegions &ParsedRegionsStorage,
Jan Korousb1c90792019-08-26 17:25:23 +0000165 PPConditionalDirectiveRecord &ppRec,
166 Preprocessor &pp)
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000167 : ParsedRegionsStorage(ParsedRegionsStorage), PPRec(ppRec), PP(pp),
168 ParsedRegionsSnapshot(ParsedRegionsStorage.getParsedRegions()) {}
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000169
Jan Korousb1c90792019-08-26 17:25:23 +0000170 /// \returns true iff \p Loc has already been parsed.
171 ///
172 /// Can provide false-negative in case the location was parsed after this
173 /// instance had been constructed.
174 bool hasAlredyBeenParsed(SourceLocation Loc, FileID FID,
175 const FileEntry *FE) {
176 assert(FE);
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000177 PPRegion region = getRegion(Loc, FID, FE);
178 if (region.isInvalid())
179 return false;
180
181 // Check common case, consecutive functions in the same region.
182 if (LastRegion == region)
183 return LastIsParsed;
184
185 LastRegion = region;
Jan Korousb1c90792019-08-26 17:25:23 +0000186 // Source locations can't be revisited during single TU parsing.
187 // That means if we hit the same region again, it's a different location in
188 // the same region and so the "is parsed" value from the snapshot is still
189 // correct.
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000190 LastIsParsed = ParsedRegionsSnapshot.count(region);
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000191 if (!LastIsParsed)
Jan Korousb1c90792019-08-26 17:25:23 +0000192 NewParsedRegions.emplace_back(std::move(region));
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000193 return LastIsParsed;
194 }
195
Jan Korousb1c90792019-08-26 17:25:23 +0000196 /// Updates ParsedRegionsStorage with newly parsed regions.
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000197 void syncWithStorage() {
198 ParsedRegionsStorage.addParsedRegions(NewParsedRegions);
199 }
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000200
201private:
202 PPRegion getRegion(SourceLocation Loc, FileID FID, const FileEntry *FE) {
Jan Korousb1c90792019-08-26 17:25:23 +0000203 assert(FE);
204 auto Bail = [this, FE]() {
Rafael Espindolaf8f91b82013-08-01 21:42:11 +0000205 if (isParsedOnceInclude(FE)) {
206 const llvm::sys::fs::UniqueID &ID = FE->getUniqueID();
207 return PPRegion(ID, 0, FE->getModificationTime());
208 }
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000209 return PPRegion();
Jan Korousb1c90792019-08-26 17:25:23 +0000210 };
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000211
Jan Korousb1c90792019-08-26 17:25:23 +0000212 SourceLocation RegionLoc = PPRec.findConditionalDirectiveRegionLoc(Loc);
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000213 assert(RegionLoc.isFileID());
Jan Korousb1c90792019-08-26 17:25:23 +0000214 if (RegionLoc.isInvalid())
215 return Bail();
216
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000217 FileID RegionFID;
218 unsigned RegionOffset;
Jan Korousb1c90792019-08-26 17:25:23 +0000219 std::tie(RegionFID, RegionOffset) =
220 PPRec.getSourceManager().getDecomposedLoc(RegionLoc);
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000221
Jan Korousb1c90792019-08-26 17:25:23 +0000222 if (RegionFID != FID)
223 return Bail();
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000224
Rafael Espindolaf8f91b82013-08-01 21:42:11 +0000225 const llvm::sys::fs::UniqueID &ID = FE->getUniqueID();
226 return PPRegion(ID, RegionOffset, FE->getModificationTime());
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000227 }
228
229 bool isParsedOnceInclude(const FileEntry *FE) {
230 return PP.getHeaderSearchInfo().isFileMultipleIncludeGuarded(FE);
231 }
232};
233
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000234//===----------------------------------------------------------------------===//
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000235// IndexPPCallbacks
236//===----------------------------------------------------------------------===//
237
238class IndexPPCallbacks : public PPCallbacks {
239 Preprocessor &PP;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000240 CXIndexDataConsumer &DataConsumer;
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000241 bool IsMainFileEntered;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000242
243public:
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000244 IndexPPCallbacks(Preprocessor &PP, CXIndexDataConsumer &dataConsumer)
245 : PP(PP), DataConsumer(dataConsumer), IsMainFileEntered(false) { }
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000246
Craig Topper36835562014-03-15 07:47:46 +0000247 void FileChanged(SourceLocation Loc, FileChangeReason Reason,
248 SrcMgr::CharacteristicKind FileType, FileID PrevFID) override {
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000249 if (IsMainFileEntered)
250 return;
251
252 SourceManager &SM = PP.getSourceManager();
253 SourceLocation MainFileLoc = SM.getLocForStartOfFile(SM.getMainFileID());
254
255 if (Loc == MainFileLoc && Reason == PPCallbacks::EnterFile) {
256 IsMainFileEntered = true;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000257 DataConsumer.enteredMainFile(SM.getFileEntryForID(SM.getMainFileID()));
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000258 }
259 }
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000260
Craig Topper36835562014-03-15 07:47:46 +0000261 void InclusionDirective(SourceLocation HashLoc, const Token &IncludeTok,
262 StringRef FileName, bool IsAngled,
263 CharSourceRange FilenameRange, const FileEntry *File,
264 StringRef SearchPath, StringRef RelativePath,
Julie Hockett96fbe582018-05-10 19:05:36 +0000265 const Module *Imported,
266 SrcMgr::CharacteristicKind FileType) override {
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000267 bool isImport = (IncludeTok.is(tok::identifier) &&
268 IncludeTok.getIdentifierInfo()->getPPKeywordID() == tok::pp_import);
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000269 DataConsumer.ppIncludedFile(HashLoc, FileName, File, isImport, IsAngled,
Argyrios Kyrtzidis5e2ec482012-10-18 00:17:05 +0000270 Imported);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000271 }
272
273 /// MacroDefined - This hook is called whenever a macro definition is seen.
Craig Topper36835562014-03-15 07:47:46 +0000274 void MacroDefined(const Token &Id, const MacroDirective *MD) override {}
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000275
276 /// MacroUndefined - This hook is called whenever a macro #undef is seen.
277 /// MI is released immediately following this callback.
Craig Topper36835562014-03-15 07:47:46 +0000278 void MacroUndefined(const Token &MacroNameTok,
Vedant Kumar349a6242017-04-26 21:05:44 +0000279 const MacroDefinition &MD,
280 const MacroDirective *UD) override {}
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000281
282 /// MacroExpands - This is called by when a macro invocation is found.
Richard Smith36bd40d2015-05-04 03:15:40 +0000283 void MacroExpands(const Token &MacroNameTok, const MacroDefinition &MD,
Craig Topper36835562014-03-15 07:47:46 +0000284 SourceRange Range, const MacroArgs *Args) override {}
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000285
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000286 /// SourceRangeSkipped - This hook is called when a source range is skipped.
287 /// \param Range The SourceRange that was skipped. The range begins at the
288 /// #if/#else directive and ends after the #endif/#else directive.
Vedant Kumar3919a502017-09-11 20:47:42 +0000289 void SourceRangeSkipped(SourceRange Range, SourceLocation EndifLoc) override {
290 }
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000291};
292
293//===----------------------------------------------------------------------===//
294// IndexingConsumer
295//===----------------------------------------------------------------------===//
296
297class IndexingConsumer : public ASTConsumer {
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000298 CXIndexDataConsumer &DataConsumer;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000299
300public:
Jan Korousb1c90792019-08-26 17:25:23 +0000301 IndexingConsumer(CXIndexDataConsumer &dataConsumer,
302 ParsedSrcLocationsTracker *parsedLocsTracker)
Dmitri Gribenko349ef2f2019-08-29 11:47:34 +0000303 : DataConsumer(dataConsumer) {}
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000304
Craig Topper36835562014-03-15 07:47:46 +0000305 void Initialize(ASTContext &Context) override {
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000306 DataConsumer.setASTContext(Context);
307 DataConsumer.startedTranslationUnit();
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000308 }
309
Craig Topper36835562014-03-15 07:47:46 +0000310 bool HandleTopLevelDecl(DeclGroupRef DG) override {
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000311 return !DataConsumer.shouldAbort();
Argyrios Kyrtzidise5dc5b32012-02-10 20:10:44 +0000312 }
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000313};
314
315//===----------------------------------------------------------------------===//
Argyrios Kyrtzidiseffdbf52011-11-18 00:26:51 +0000316// CaptureDiagnosticConsumer
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000317//===----------------------------------------------------------------------===//
318
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000319class CaptureDiagnosticConsumer : public DiagnosticConsumer {
320 SmallVector<StoredDiagnostic, 4> Errors;
321public:
322
Craig Topper36835562014-03-15 07:47:46 +0000323 void HandleDiagnostic(DiagnosticsEngine::Level level,
324 const Diagnostic &Info) override {
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000325 if (level >= DiagnosticsEngine::Error)
326 Errors.push_back(StoredDiagnostic(level, Info));
327 }
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000328};
329
330//===----------------------------------------------------------------------===//
331// IndexingFrontendAction
332//===----------------------------------------------------------------------===//
333
334class IndexingFrontendAction : public ASTFrontendAction {
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000335 std::shared_ptr<CXIndexDataConsumer> DataConsumer;
Dmitri Gribenko8d320532019-08-29 11:43:05 +0000336 IndexingOptions Opts;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000337
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000338 ThreadSafeParsedRegions *SKData;
Jan Korousb1c90792019-08-26 17:25:23 +0000339 std::unique_ptr<ParsedSrcLocationsTracker> ParsedLocsTracker;
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000340
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000341public:
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000342 IndexingFrontendAction(std::shared_ptr<CXIndexDataConsumer> dataConsumer,
Dmitri Gribenko8d320532019-08-29 11:43:05 +0000343 const IndexingOptions &Opts,
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000344 ThreadSafeParsedRegions *skData)
Dmitri Gribenko8d320532019-08-29 11:43:05 +0000345 : DataConsumer(std::move(dataConsumer)), Opts(Opts), SKData(skData) {}
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000346
David Blaikie6beb6aa2014-08-10 19:56:51 +0000347 std::unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &CI,
348 StringRef InFile) override {
Argyrios Kyrtzidisf484b132012-10-03 21:05:51 +0000349 PreprocessorOptions &PPOpts = CI.getPreprocessorOpts();
350
Argyrios Kyrtzidisf484b132012-10-03 21:05:51 +0000351 if (!PPOpts.ImplicitPCHInclude.empty()) {
Harlan Haskins8d323d12019-08-01 21:31:56 +0000352 auto File = CI.getFileManager().getFile(PPOpts.ImplicitPCHInclude);
353 if (File)
354 DataConsumer->importedPCH(*File);
Argyrios Kyrtzidisf484b132012-10-03 21:05:51 +0000355 }
Argyrios Kyrtzidisb36ee5c2012-10-02 16:10:41 +0000356
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000357 DataConsumer->setASTContext(CI.getASTContext());
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000358 Preprocessor &PP = CI.getPreprocessor();
Jonas Devlieghere2b3d49b2019-08-14 23:04:18 +0000359 PP.addPPCallbacks(std::make_unique<IndexPPCallbacks>(PP, *DataConsumer));
David Blaikie41565462017-01-05 19:48:07 +0000360 DataConsumer->setPreprocessor(CI.getPreprocessorPtr());
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000361
362 if (SKData) {
David Blaikie6beb6aa2014-08-10 19:56:51 +0000363 auto *PPRec = new PPConditionalDirectiveRecord(PP.getSourceManager());
Craig Topperb8a70532014-09-10 04:53:53 +0000364 PP.addPPCallbacks(std::unique_ptr<PPCallbacks>(PPRec));
Jan Korousb1c90792019-08-26 17:25:23 +0000365 ParsedLocsTracker =
366 std::make_unique<ParsedSrcLocationsTracker>(*SKData, *PPRec, PP);
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000367 }
368
Dmitri Gribenko8d320532019-08-29 11:43:05 +0000369 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
370 Consumers.push_back(std::make_unique<IndexingConsumer>(
371 *DataConsumer, ParsedLocsTracker.get()));
Dmitri Gribenko349ef2f2019-08-29 11:47:34 +0000372 Consumers.push_back(createIndexingASTConsumer(
373 DataConsumer, Opts, CI.getPreprocessorPtr(),
374 [this](const Decl *D) { return this->shouldSkipFunctionBody(D); }));
Dmitri Gribenko8d320532019-08-29 11:43:05 +0000375 return std::make_unique<MultiplexConsumer>(std::move(Consumers));
Argyrios Kyrtzidisf2d99b02011-12-01 02:42:50 +0000376 }
377
Dmitri Gribenko349ef2f2019-08-29 11:47:34 +0000378 bool shouldSkipFunctionBody(const Decl *D) {
379 if (!ParsedLocsTracker) {
380 // Always skip bodies.
381 return true;
382 }
383
384 const SourceManager &SM = D->getASTContext().getSourceManager();
385 SourceLocation Loc = D->getLocation();
386 if (Loc.isMacroID())
387 return false;
388 if (SM.isInSystemHeader(Loc))
389 return true; // always skip bodies from system headers.
390
391 FileID FID;
392 unsigned Offset;
393 std::tie(FID, Offset) = SM.getDecomposedLoc(Loc);
394 // Don't skip bodies from main files; this may be revisited.
395 if (SM.getMainFileID() == FID)
396 return false;
397 const FileEntry *FE = SM.getFileEntryForID(FID);
398 if (!FE)
399 return false;
400
401 return ParsedLocsTracker->hasAlredyBeenParsed(Loc, FID, FE);
402 }
403
Craig Topper36835562014-03-15 07:47:46 +0000404 TranslationUnitKind getTranslationUnitKind() override {
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000405 if (DataConsumer->shouldIndexImplicitTemplateInsts())
Argyrios Kyrtzidis7e747952012-02-14 22:23:11 +0000406 return TU_Complete;
407 else
408 return TU_Prefix;
409 }
Craig Topper36835562014-03-15 07:47:46 +0000410 bool hasCodeCompletionSupport() const override { return false; }
Dmitri Gribenko349ef2f2019-08-29 11:47:34 +0000411
412 void EndSourceFileAction() override {
413 if (ParsedLocsTracker)
414 ParsedLocsTracker->syncWithStorage();
415 }
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000416};
417
418//===----------------------------------------------------------------------===//
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000419// clang_indexSourceFileUnit Implementation
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000420//===----------------------------------------------------------------------===//
421
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000422static IndexingOptions getIndexingOptionsFromCXOptions(unsigned index_options) {
423 IndexingOptions IdxOpts;
424 if (index_options & CXIndexOpt_IndexFunctionLocalSymbols)
425 IdxOpts.IndexFunctionLocals = true;
Eric Liu3e0051b2018-07-20 08:08:56 +0000426 if (index_options & CXIndexOpt_IndexImplicitTemplateInstantiations)
427 IdxOpts.IndexImplicitInstantiation = true;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000428 return IdxOpts;
429}
430
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000431struct IndexSessionData {
432 CXIndex CIdx;
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000433 std::unique_ptr<ThreadSafeParsedRegions> SkipBodyData =
434 std::make_unique<ThreadSafeParsedRegions>();
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000435
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000436 explicit IndexSessionData(CXIndex cIdx) : CIdx(cIdx) {}
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000437};
438
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000439} // anonymous namespace
440
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000441static CXErrorCode clang_indexSourceFile_Impl(
442 CXIndexAction cxIdxAction, CXClientData client_data,
443 IndexerCallbacks *client_index_callbacks, unsigned index_callbacks_size,
444 unsigned index_options, const char *source_filename,
445 const char *const *command_line_args, int num_command_line_args,
446 ArrayRef<CXUnsavedFile> unsaved_files, CXTranslationUnit *out_TU,
447 unsigned TU_options) {
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000448 if (out_TU)
Craig Topper69186e72014-06-08 08:38:04 +0000449 *out_TU = nullptr;
450 bool requestedToGetTU = (out_TU != nullptr);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000451
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000452 if (!cxIdxAction) {
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000453 return CXError_InvalidArguments;
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000454 }
455 if (!client_index_callbacks || index_callbacks_size == 0) {
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000456 return CXError_InvalidArguments;
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000457 }
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000458
459 IndexerCallbacks CB;
460 memset(&CB, 0, sizeof(CB));
461 unsigned ClientCBSize = index_callbacks_size < sizeof(CB)
462 ? index_callbacks_size : sizeof(CB);
463 memcpy(&CB, client_index_callbacks, ClientCBSize);
464
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000465 IndexSessionData *IdxSession = static_cast<IndexSessionData *>(cxIdxAction);
466 CIndexer *CXXIdx = static_cast<CIndexer *>(IdxSession->CIdx);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000467
Argyrios Kyrtzidis7317a5c2012-03-28 02:18:05 +0000468 if (CXXIdx->isOptEnabled(CXGlobalOpt_ThreadBackgroundPriorityForIndexing))
Argyrios Kyrtzidis58d5f3f2012-03-28 02:49:54 +0000469 setThreadBackgroundPriority();
Argyrios Kyrtzidis7317a5c2012-03-28 02:18:05 +0000470
Nikolai Kosjar8edd8da2019-06-11 14:14:24 +0000471 CaptureDiagsKind CaptureDiagnostics = CaptureDiagsKind::All;
472 if (TU_options & CXTranslationUnit_IgnoreNonErrorsFromIncludedFiles)
473 CaptureDiagnostics = CaptureDiagsKind::AllWithoutNonErrorsFromIncludes;
474 if (Logger::isLoggingEnabled())
475 CaptureDiagnostics = CaptureDiagsKind::None;
Argyrios Kyrtzidis828f4d42013-03-29 21:51:44 +0000476
Craig Topper69186e72014-06-08 08:38:04 +0000477 CaptureDiagnosticConsumer *CaptureDiag = nullptr;
Nikolai Kosjar8edd8da2019-06-11 14:14:24 +0000478 if (CaptureDiagnostics != CaptureDiagsKind::None)
Argyrios Kyrtzidis828f4d42013-03-29 21:51:44 +0000479 CaptureDiag = new CaptureDiagnosticConsumer();
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000480
481 // Configure the diagnostics.
Dylan Noblesmithc95d8192012-02-20 14:00:23 +0000482 IntrusiveRefCntPtr<DiagnosticsEngine>
Douglas Gregor811db4e2012-10-23 22:26:28 +0000483 Diags(CompilerInstance::createDiagnostics(new DiagnosticOptions,
Douglas Gregor811db4e2012-10-23 22:26:28 +0000484 CaptureDiag,
Douglas Gregor30071cea2013-05-03 23:07:45 +0000485 /*ShouldOwnClient=*/true));
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000486
487 // Recover resources if we crash before exiting this function.
488 llvm::CrashRecoveryContextCleanupRegistrar<DiagnosticsEngine,
489 llvm::CrashRecoveryContextReleaseRefCleanup<DiagnosticsEngine> >
Alp Tokerf994cef2014-07-05 03:08:06 +0000490 DiagCleanup(Diags.get());
Ahmed Charlesb8984322014-03-07 20:03:18 +0000491
492 std::unique_ptr<std::vector<const char *>> Args(
493 new std::vector<const char *>());
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000494
495 // Recover resources if we crash before exiting this method.
496 llvm::CrashRecoveryContextCleanupRegistrar<std::vector<const char*> >
497 ArgsCleanup(Args.get());
498
499 Args->insert(Args->end(), command_line_args,
500 command_line_args + num_command_line_args);
501
502 // The 'source_filename' argument is optional. If the caller does not
503 // specify it then it is assumed that the source file is specified
504 // in the actual argument list.
505 // Put the source file after command_line_args otherwise if '-x' flag is
506 // present it will be unused.
507 if (source_filename)
508 Args->push_back(source_filename);
David Blaikieea4395e2017-01-06 19:49:01 +0000509
510 std::shared_ptr<CompilerInvocation> CInvok =
511 createInvocationFromCommandLine(*Args, Diags);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000512
513 if (!CInvok)
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000514 return CXError_Failure;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000515
516 // Recover resources if we crash before exiting this function.
David Blaikieea4395e2017-01-06 19:49:01 +0000517 llvm::CrashRecoveryContextCleanupRegistrar<
518 std::shared_ptr<CompilerInvocation>,
519 llvm::CrashRecoveryContextDestructorCleanup<
520 std::shared_ptr<CompilerInvocation>>>
521 CInvokCleanup(&CInvok);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000522
523 if (CInvok->getFrontendOpts().Inputs.empty())
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000524 return CXError_Failure;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000525
Alp Toker9d85b182014-07-07 01:23:14 +0000526 typedef SmallVector<std::unique_ptr<llvm::MemoryBuffer>, 8> MemBufferOwner;
527 std::unique_ptr<MemBufferOwner> BufOwner(new MemBufferOwner);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000528
529 // Recover resources if we crash before exiting this method.
Alp Toker9d85b182014-07-07 01:23:14 +0000530 llvm::CrashRecoveryContextCleanupRegistrar<MemBufferOwner> BufOwnerCleanup(
531 BufOwner.get());
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000532
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000533 for (auto &UF : unsaved_files) {
Rafael Espindolad87f8d72014-08-27 20:03:29 +0000534 std::unique_ptr<llvm::MemoryBuffer> MB =
Alp Toker9d85b182014-07-07 01:23:14 +0000535 llvm::MemoryBuffer::getMemBufferCopy(getContents(UF), UF.Filename);
Rafael Espindolad87f8d72014-08-27 20:03:29 +0000536 CInvok->getPreprocessorOpts().addRemappedFile(UF.Filename, MB.get());
537 BufOwner->push_back(std::move(MB));
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000538 }
539
540 // Since libclang is primarily used by batch tools dealing with
541 // (often very broken) source code, where spell-checking can have a
542 // significant negative impact on performance (particularly when
543 // precompiled headers are involved), we disable it.
Ted Kremenek8cf47df2011-11-17 23:01:24 +0000544 CInvok->getLangOpts()->SpellChecking = false;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000545
Argyrios Kyrtzidis6c9ed7d2012-03-27 21:38:03 +0000546 if (index_options & CXIndexOpt_SuppressWarnings)
547 CInvok->getDiagnosticOpts().IgnoreWarnings = true;
548
Argyrios Kyrtzidisa3e2ff12015-11-20 03:36:21 +0000549 // Make sure to use the raw module format.
550 CInvok->getHeaderSearchOpts().ModuleFormat =
551 CXXIdx->getPCHContainerOperations()->getRawReader().getFormat();
552
David Blaikieea4395e2017-01-06 19:49:01 +0000553 auto Unit = ASTUnit::create(CInvok, Diags, CaptureDiagnostics,
554 /*UserFilesAreVolatile=*/true);
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000555 if (!Unit)
556 return CXError_InvalidArguments;
Ben Langmuir8832c062014-04-15 18:16:25 +0000557
David Blaikieea4395e2017-01-06 19:49:01 +0000558 auto *UPtr = Unit.get();
Ahmed Charlesb8984322014-03-07 20:03:18 +0000559 std::unique_ptr<CXTUOwner> CXTU(
David Blaikieea4395e2017-01-06 19:49:01 +0000560 new CXTUOwner(MakeCXTranslationUnit(CXXIdx, std::move(Unit))));
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000561
562 // Recover resources if we crash before exiting this method.
563 llvm::CrashRecoveryContextCleanupRegistrar<CXTUOwner>
564 CXTUCleanup(CXTU.get());
565
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000566 // Enable the skip-parsed-bodies optimization only for C++; this may be
567 // revisited.
568 bool SkipBodies = (index_options & CXIndexOpt_SkipParsedBodiesInSession) &&
569 CInvok->getLangOpts()->CPlusPlus;
570 if (SkipBodies)
571 CInvok->getFrontendOpts().SkipFunctionBodies = true;
572
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000573 auto DataConsumer =
574 std::make_shared<CXIndexDataConsumer>(client_data, CB, index_options,
575 CXTU->getTU());
Dmitri Gribenko8d320532019-08-29 11:43:05 +0000576 auto IndexAction = std::make_unique<IndexingFrontendAction>(
577 DataConsumer, getIndexingOptionsFromCXOptions(index_options),
578 SkipBodies ? IdxSession->SkipBodyData.get() : nullptr);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000579
580 // Recover resources if we crash before exiting this method.
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000581 llvm::CrashRecoveryContextCleanupRegistrar<FrontendAction>
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000582 IndexActionCleanup(IndexAction.get());
583
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000584 bool Persistent = requestedToGetTU;
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000585 bool OnlyLocalDecls = false;
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000586 bool PrecompilePreamble = false;
Benjamin Kramer5c248d82015-12-15 09:30:31 +0000587 bool CreatePreambleOnFirstParse = false;
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000588 bool CacheCodeCompletionResults = false;
589 PreprocessorOptions &PPOpts = CInvok->getPreprocessorOpts();
Argyrios Kyrtzidis4a280ff2012-03-07 01:51:17 +0000590 PPOpts.AllowPCHWithCompilerErrors = true;
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000591
592 if (requestedToGetTU) {
593 OnlyLocalDecls = CXXIdx->getOnlyLocalDecls();
594 PrecompilePreamble = TU_options & CXTranslationUnit_PrecompiledPreamble;
Benjamin Kramer5c248d82015-12-15 09:30:31 +0000595 CreatePreambleOnFirstParse =
596 TU_options & CXTranslationUnit_CreatePreambleOnFirstParse;
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000597 // FIXME: Add a flag for modules.
598 CacheCodeCompletionResults
599 = TU_options & CXTranslationUnit_CacheCompletionResults;
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000600 }
601
Argyrios Kyrtzidis6a80e752012-10-06 01:18:35 +0000602 if (TU_options & CXTranslationUnit_DetailedPreprocessingRecord) {
603 PPOpts.DetailedRecord = true;
604 }
Argyrios Kyrtzidisb36ee5c2012-10-02 16:10:41 +0000605
Argyrios Kyrtzidis15f6b8e2012-10-10 02:12:50 +0000606 if (!requestedToGetTU && !CInvok->getLangOpts()->Modules)
607 PPOpts.DetailedRecord = false;
608
Benjamin Kramer5c248d82015-12-15 09:30:31 +0000609 // Unless the user specified that they want the preamble on the first parse
610 // set it up to be created on the first reparse. This makes the first parse
611 // faster, trading for a slower (first) reparse.
612 unsigned PrecompilePreambleAfterNParses =
613 !PrecompilePreamble ? 0 : 2 - CreatePreambleOnFirstParse;
Argyrios Kyrtzidisac1cc932012-04-11 02:11:16 +0000614 DiagnosticErrorTrap DiagTrap(*Diags);
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000615 bool Success = ASTUnit::LoadFromCompilerInvocationAction(
David Blaikieea4395e2017-01-06 19:49:01 +0000616 std::move(CInvok), CXXIdx->getPCHContainerOperations(), Diags,
617 IndexAction.get(), UPtr, Persistent, CXXIdx->getClangResourcesPath(),
Benjamin Kramer5c248d82015-12-15 09:30:31 +0000618 OnlyLocalDecls, CaptureDiagnostics, PrecompilePreambleAfterNParses,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000619 CacheCodeCompletionResults,
620 /*IncludeBriefCommentsInCodeCompletion=*/false,
621 /*UserFilesAreVolatile=*/true);
Argyrios Kyrtzidisac1cc932012-04-11 02:11:16 +0000622 if (DiagTrap.hasErrorOccurred() && CXXIdx->getDisplayDiagnostics())
David Blaikieea4395e2017-01-06 19:49:01 +0000623 printDiagsToStderr(UPtr);
Argyrios Kyrtzidisac1cc932012-04-11 02:11:16 +0000624
David Blaikieea4395e2017-01-06 19:49:01 +0000625 if (isASTReadError(UPtr))
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000626 return CXError_ASTReadError;
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000627
Argyrios Kyrtzidisac1cc932012-04-11 02:11:16 +0000628 if (!Success)
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000629 return CXError_Failure;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000630
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000631 if (out_TU)
632 *out_TU = CXTU->takeTU();
633
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000634 return CXError_Success;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000635}
636
637//===----------------------------------------------------------------------===//
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000638// clang_indexTranslationUnit Implementation
639//===----------------------------------------------------------------------===//
640
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000641static void indexPreprocessingRecord(ASTUnit &Unit, CXIndexDataConsumer &IdxCtx) {
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000642 Preprocessor &PP = Unit.getPreprocessor();
643 if (!PP.getPreprocessingRecord())
644 return;
645
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000646 // FIXME: Only deserialize inclusion directives.
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000647
Argyrios Kyrtzidise445c722012-10-10 02:12:47 +0000648 bool isModuleFile = Unit.isModuleFile();
Benjamin Kramerb4ef6682015-02-06 17:25:10 +0000649 for (PreprocessedEntity *PPE : Unit.getLocalPreprocessingEntities()) {
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000650 if (InclusionDirective *ID = dyn_cast<InclusionDirective>(PPE)) {
Argyrios Kyrtzidis5e2ec482012-10-18 00:17:05 +0000651 SourceLocation Loc = ID->getSourceRange().getBegin();
652 // Modules have synthetic main files as input, give an invalid location
653 // if the location points to such a file.
654 if (isModuleFile && Unit.isInMainFileID(Loc))
655 Loc = SourceLocation();
656 IdxCtx.ppIncludedFile(Loc, ID->getFileName(),
657 ID->getFile(),
658 ID->getKind() == InclusionDirective::Import,
659 !ID->wasInQuotes(), ID->importedModule());
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000660 }
661 }
662}
663
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000664static CXErrorCode clang_indexTranslationUnit_Impl(
665 CXIndexAction idxAction, CXClientData client_data,
666 IndexerCallbacks *client_index_callbacks, unsigned index_callbacks_size,
667 unsigned index_options, CXTranslationUnit TU) {
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000668 // Check arguments.
Dmitri Gribenko852d6222014-02-11 15:02:48 +0000669 if (isNotUsableTU(TU)) {
Dmitri Gribenko256454f2014-02-11 14:34:14 +0000670 LOG_BAD_TU(TU);
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000671 return CXError_InvalidArguments;
Dmitri Gribenko256454f2014-02-11 14:34:14 +0000672 }
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000673 if (!client_index_callbacks || index_callbacks_size == 0) {
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000674 return CXError_InvalidArguments;
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000675 }
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000676
Dmitri Gribenko183436e2013-01-26 21:49:50 +0000677 CIndexer *CXXIdx = TU->CIdx;
Argyrios Kyrtzidis7317a5c2012-03-28 02:18:05 +0000678 if (CXXIdx->isOptEnabled(CXGlobalOpt_ThreadBackgroundPriorityForIndexing))
Argyrios Kyrtzidis58d5f3f2012-03-28 02:49:54 +0000679 setThreadBackgroundPriority();
Argyrios Kyrtzidis7317a5c2012-03-28 02:18:05 +0000680
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000681 IndexerCallbacks CB;
682 memset(&CB, 0, sizeof(CB));
683 unsigned ClientCBSize = index_callbacks_size < sizeof(CB)
684 ? index_callbacks_size : sizeof(CB);
685 memcpy(&CB, client_index_callbacks, ClientCBSize);
686
Benjamin Kramer6f33fca2018-04-23 14:30:21 +0000687 CXIndexDataConsumer DataConsumer(client_data, CB, index_options, TU);
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000688
Dmitri Gribenkoc22ea1c2013-01-26 18:53:38 +0000689 ASTUnit *Unit = cxtu::getASTUnit(TU);
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000690 if (!Unit)
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000691 return CXError_Failure;
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000692
Argyrios Kyrtzidis341de092012-09-25 19:29:50 +0000693 ASTUnit::ConcurrencyCheck Check(*Unit);
694
Argyrios Kyrtzidisf484b132012-10-03 21:05:51 +0000695 if (const FileEntry *PCHFile = Unit->getPCHFile())
Benjamin Kramer6f33fca2018-04-23 14:30:21 +0000696 DataConsumer.importedPCH(PCHFile);
Argyrios Kyrtzidisf484b132012-10-03 21:05:51 +0000697
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000698 FileManager &FileMgr = Unit->getFileManager();
699
700 if (Unit->getOriginalSourceFileName().empty())
Benjamin Kramer6f33fca2018-04-23 14:30:21 +0000701 DataConsumer.enteredMainFile(nullptr);
Harlan Haskins8d323d12019-08-01 21:31:56 +0000702 else if (auto MainFile = FileMgr.getFile(Unit->getOriginalSourceFileName()))
703 DataConsumer.enteredMainFile(*MainFile);
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000704 else
Harlan Haskins8d323d12019-08-01 21:31:56 +0000705 DataConsumer.enteredMainFile(nullptr);
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000706
Benjamin Kramer6f33fca2018-04-23 14:30:21 +0000707 DataConsumer.setASTContext(Unit->getASTContext());
708 DataConsumer.startedTranslationUnit();
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000709
Benjamin Kramer6f33fca2018-04-23 14:30:21 +0000710 indexPreprocessingRecord(*Unit, DataConsumer);
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000711 indexASTUnit(*Unit, DataConsumer, getIndexingOptionsFromCXOptions(index_options));
Benjamin Kramer6f33fca2018-04-23 14:30:21 +0000712 DataConsumer.indexDiagnostics();
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000713
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000714 return CXError_Success;
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000715}
716
717//===----------------------------------------------------------------------===//
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000718// libclang public APIs.
719//===----------------------------------------------------------------------===//
720
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000721int clang_index_isEntityObjCContainerKind(CXIdxEntityKind K) {
722 return CXIdxEntity_ObjCClass <= K && K <= CXIdxEntity_ObjCCategory;
723}
724
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000725const CXIdxObjCContainerDeclInfo *
726clang_index_getObjCContainerDeclInfo(const CXIdxDeclInfo *DInfo) {
727 if (!DInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000728 return nullptr;
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000729
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000730 const DeclInfo *DI = static_cast<const DeclInfo *>(DInfo);
731 if (const ObjCContainerDeclInfo *
732 ContInfo = dyn_cast<ObjCContainerDeclInfo>(DI))
733 return &ContInfo->ObjCContDeclInfo;
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000734
Craig Topper69186e72014-06-08 08:38:04 +0000735 return nullptr;
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000736}
737
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000738const CXIdxObjCInterfaceDeclInfo *
739clang_index_getObjCInterfaceDeclInfo(const CXIdxDeclInfo *DInfo) {
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000740 if (!DInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000741 return nullptr;
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000742
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000743 const DeclInfo *DI = static_cast<const DeclInfo *>(DInfo);
744 if (const ObjCInterfaceDeclInfo *
745 InterInfo = dyn_cast<ObjCInterfaceDeclInfo>(DI))
746 return &InterInfo->ObjCInterDeclInfo;
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000747
Craig Topper69186e72014-06-08 08:38:04 +0000748 return nullptr;
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000749}
750
751const CXIdxObjCCategoryDeclInfo *
752clang_index_getObjCCategoryDeclInfo(const CXIdxDeclInfo *DInfo){
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000753 if (!DInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000754 return nullptr;
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000755
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000756 const DeclInfo *DI = static_cast<const DeclInfo *>(DInfo);
757 if (const ObjCCategoryDeclInfo *
758 CatInfo = dyn_cast<ObjCCategoryDeclInfo>(DI))
759 return &CatInfo->ObjCCatDeclInfo;
760
Craig Topper69186e72014-06-08 08:38:04 +0000761 return nullptr;
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000762}
763
764const CXIdxObjCProtocolRefListInfo *
765clang_index_getObjCProtocolRefListInfo(const CXIdxDeclInfo *DInfo) {
766 if (!DInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000767 return nullptr;
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000768
769 const DeclInfo *DI = static_cast<const DeclInfo *>(DInfo);
770
771 if (const ObjCInterfaceDeclInfo *
772 InterInfo = dyn_cast<ObjCInterfaceDeclInfo>(DI))
773 return InterInfo->ObjCInterDeclInfo.protocols;
774
775 if (const ObjCProtocolDeclInfo *
776 ProtInfo = dyn_cast<ObjCProtocolDeclInfo>(DI))
777 return &ProtInfo->ObjCProtoRefListInfo;
778
Argyrios Kyrtzidis9b9f7a92011-12-13 18:47:45 +0000779 if (const ObjCCategoryDeclInfo *CatInfo = dyn_cast<ObjCCategoryDeclInfo>(DI))
780 return CatInfo->ObjCCatDeclInfo.protocols;
781
Craig Topper69186e72014-06-08 08:38:04 +0000782 return nullptr;
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000783}
784
Argyrios Kyrtzidis93db2922012-02-28 17:50:33 +0000785const CXIdxObjCPropertyDeclInfo *
786clang_index_getObjCPropertyDeclInfo(const CXIdxDeclInfo *DInfo) {
787 if (!DInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000788 return nullptr;
Argyrios Kyrtzidis93db2922012-02-28 17:50:33 +0000789
790 const DeclInfo *DI = static_cast<const DeclInfo *>(DInfo);
791 if (const ObjCPropertyDeclInfo *PropInfo = dyn_cast<ObjCPropertyDeclInfo>(DI))
792 return &PropInfo->ObjCPropDeclInfo;
793
Craig Topper69186e72014-06-08 08:38:04 +0000794 return nullptr;
Argyrios Kyrtzidis93db2922012-02-28 17:50:33 +0000795}
796
Argyrios Kyrtzidiseffdbf52011-11-18 00:26:51 +0000797const CXIdxIBOutletCollectionAttrInfo *
798clang_index_getIBOutletCollectionAttrInfo(const CXIdxAttrInfo *AInfo) {
799 if (!AInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000800 return nullptr;
Argyrios Kyrtzidiseffdbf52011-11-18 00:26:51 +0000801
802 const AttrInfo *DI = static_cast<const AttrInfo *>(AInfo);
803 if (const IBOutletCollectionInfo *
804 IBInfo = dyn_cast<IBOutletCollectionInfo>(DI))
805 return &IBInfo->IBCollInfo;
806
Craig Topper69186e72014-06-08 08:38:04 +0000807 return nullptr;
Argyrios Kyrtzidiseffdbf52011-11-18 00:26:51 +0000808}
809
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000810const CXIdxCXXClassDeclInfo *
811clang_index_getCXXClassDeclInfo(const CXIdxDeclInfo *DInfo) {
812 if (!DInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000813 return nullptr;
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000814
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000815 const DeclInfo *DI = static_cast<const DeclInfo *>(DInfo);
816 if (const CXXClassDeclInfo *ClassInfo = dyn_cast<CXXClassDeclInfo>(DI))
817 return &ClassInfo->CXXClassInfo;
818
Craig Topper69186e72014-06-08 08:38:04 +0000819 return nullptr;
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000820}
821
822CXIdxClientContainer
823clang_index_getClientContainer(const CXIdxContainerInfo *info) {
824 if (!info)
Craig Topper69186e72014-06-08 08:38:04 +0000825 return nullptr;
Benjamin Kramer7f107ee2011-11-29 12:31:20 +0000826 const ContainerInfo *Container = static_cast<const ContainerInfo *>(info);
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000827 return Container->IndexCtx->getClientContainerForDC(Container->DC);
828}
829
830void clang_index_setClientContainer(const CXIdxContainerInfo *info,
831 CXIdxClientContainer client) {
832 if (!info)
833 return;
Benjamin Kramer7f107ee2011-11-29 12:31:20 +0000834 const ContainerInfo *Container = static_cast<const ContainerInfo *>(info);
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000835 Container->IndexCtx->addContainerInMap(Container->DC, client);
836}
837
838CXIdxClientEntity clang_index_getClientEntity(const CXIdxEntityInfo *info) {
839 if (!info)
Craig Topper69186e72014-06-08 08:38:04 +0000840 return nullptr;
Benjamin Kramer7f107ee2011-11-29 12:31:20 +0000841 const EntityInfo *Entity = static_cast<const EntityInfo *>(info);
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000842 return Entity->IndexCtx->getClientEntity(Entity->Dcl);
843}
844
845void clang_index_setClientEntity(const CXIdxEntityInfo *info,
846 CXIdxClientEntity client) {
847 if (!info)
848 return;
Benjamin Kramer7f107ee2011-11-29 12:31:20 +0000849 const EntityInfo *Entity = static_cast<const EntityInfo *>(info);
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000850 Entity->IndexCtx->setClientEntity(Entity->Dcl, client);
851}
852
853CXIndexAction clang_IndexAction_create(CXIndex CIdx) {
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000854 return new IndexSessionData(CIdx);
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000855}
856
857void clang_IndexAction_dispose(CXIndexAction idxAction) {
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000858 if (idxAction)
859 delete static_cast<IndexSessionData *>(idxAction);
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000860}
861
862int clang_indexSourceFile(CXIndexAction idxAction,
863 CXClientData client_data,
864 IndexerCallbacks *index_callbacks,
865 unsigned index_callbacks_size,
866 unsigned index_options,
867 const char *source_filename,
868 const char * const *command_line_args,
869 int num_command_line_args,
870 struct CXUnsavedFile *unsaved_files,
871 unsigned num_unsaved_files,
872 CXTranslationUnit *out_TU,
873 unsigned TU_options) {
Benjamin Kramerc02670e2015-11-18 16:14:27 +0000874 SmallVector<const char *, 4> Args;
875 Args.push_back("clang");
876 Args.append(command_line_args, command_line_args + num_command_line_args);
877 return clang_indexSourceFileFullArgv(
878 idxAction, client_data, index_callbacks, index_callbacks_size,
879 index_options, source_filename, Args.data(), Args.size(), unsaved_files,
880 num_unsaved_files, out_TU, TU_options);
881}
882
883int clang_indexSourceFileFullArgv(
884 CXIndexAction idxAction, CXClientData client_data,
885 IndexerCallbacks *index_callbacks, unsigned index_callbacks_size,
886 unsigned index_options, const char *source_filename,
887 const char *const *command_line_args, int num_command_line_args,
888 struct CXUnsavedFile *unsaved_files, unsigned num_unsaved_files,
889 CXTranslationUnit *out_TU, unsigned TU_options) {
Argyrios Kyrtzidisea474352013-01-10 18:54:52 +0000890 LOG_FUNC_SECTION {
891 *Log << source_filename << ": ";
892 for (int i = 0; i != num_command_line_args; ++i)
893 *Log << command_line_args[i] << " ";
894 }
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000895
Alp Toker9d85b182014-07-07 01:23:14 +0000896 if (num_unsaved_files && !unsaved_files)
897 return CXError_InvalidArguments;
898
Alp Toker5c532982014-07-07 22:42:03 +0000899 CXErrorCode result = CXError_Failure;
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000900 auto IndexSourceFileImpl = [=, &result]() {
901 result = clang_indexSourceFile_Impl(
902 idxAction, client_data, index_callbacks, index_callbacks_size,
903 index_options, source_filename, command_line_args,
904 num_command_line_args,
905 llvm::makeArrayRef(unsaved_files, num_unsaved_files), out_TU,
906 TU_options);
907 };
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000908
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000909 llvm::CrashRecoveryContext CRC;
910
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000911 if (!RunSafely(CRC, IndexSourceFileImpl)) {
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000912 fprintf(stderr, "libclang: crash detected during indexing source file: {\n");
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000913 fprintf(stderr, " 'source_filename' : '%s'\n", source_filename);
914 fprintf(stderr, " 'command_line_args' : [");
915 for (int i = 0; i != num_command_line_args; ++i) {
916 if (i)
917 fprintf(stderr, ", ");
918 fprintf(stderr, "'%s'", command_line_args[i]);
919 }
920 fprintf(stderr, "],\n");
921 fprintf(stderr, " 'unsaved_files' : [");
922 for (unsigned i = 0; i != num_unsaved_files; ++i) {
923 if (i)
924 fprintf(stderr, ", ");
925 fprintf(stderr, "('%s', '...', %ld)", unsaved_files[i].Filename,
926 unsaved_files[i].Length);
927 }
928 fprintf(stderr, "],\n");
929 fprintf(stderr, " 'options' : %d,\n", TU_options);
930 fprintf(stderr, "}\n");
931
932 return 1;
933 } else if (getenv("LIBCLANG_RESOURCE_USAGE")) {
934 if (out_TU)
935 PrintLibclangResourceUsage(*out_TU);
936 }
Alp Toker5c532982014-07-07 22:42:03 +0000937
938 return result;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000939}
940
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000941int clang_indexTranslationUnit(CXIndexAction idxAction,
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000942 CXClientData client_data,
943 IndexerCallbacks *index_callbacks,
944 unsigned index_callbacks_size,
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000945 unsigned index_options,
946 CXTranslationUnit TU) {
Argyrios Kyrtzidisea474352013-01-10 18:54:52 +0000947 LOG_FUNC_SECTION {
948 *Log << TU;
949 }
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000950
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000951 CXErrorCode result;
952 auto IndexTranslationUnitImpl = [=, &result]() {
953 result = clang_indexTranslationUnit_Impl(
954 idxAction, client_data, index_callbacks, index_callbacks_size,
955 index_options, TU);
956 };
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000957
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000958 llvm::CrashRecoveryContext CRC;
959
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000960 if (!RunSafely(CRC, IndexTranslationUnitImpl)) {
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000961 fprintf(stderr, "libclang: crash detected during indexing TU\n");
962
963 return 1;
964 }
965
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000966 return result;
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000967}
968
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000969void clang_indexLoc_getFileLocation(CXIdxLoc location,
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000970 CXIdxClientFile *indexFile,
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000971 CXFile *file,
972 unsigned *line,
973 unsigned *column,
974 unsigned *offset) {
Craig Topper69186e72014-06-08 08:38:04 +0000975 if (indexFile) *indexFile = nullptr;
976 if (file) *file = nullptr;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000977 if (line) *line = 0;
978 if (column) *column = 0;
979 if (offset) *offset = 0;
980
981 SourceLocation Loc = SourceLocation::getFromRawEncoding(location.int_data);
982 if (!location.ptr_data[0] || Loc.isInvalid())
983 return;
984
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000985 CXIndexDataConsumer &DataConsumer =
986 *static_cast<CXIndexDataConsumer*>(location.ptr_data[0]);
987 DataConsumer.translateLoc(Loc, indexFile, file, line, column, offset);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000988}
989
990CXSourceLocation clang_indexLoc_getCXSourceLocation(CXIdxLoc location) {
991 SourceLocation Loc = SourceLocation::getFromRawEncoding(location.int_data);
992 if (!location.ptr_data[0] || Loc.isInvalid())
993 return clang_getNullLocation();
994
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000995 CXIndexDataConsumer &DataConsumer =
996 *static_cast<CXIndexDataConsumer*>(location.ptr_data[0]);
997 return cxloc::translateSourceLocation(DataConsumer.getASTContext(), Loc);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000998}