blob: f0303fdcd825c3bdffa2515d72660deafbe8baf3 [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) {
Richard Smith0a088ea2020-04-28 18:22:34 -0700230 return PP.getHeaderSearchInfo().isFileMultipleIncludeGuarded(FE) ||
231 PP.getHeaderSearchInfo().hasFileBeenImported(FE);
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000232 }
233};
234
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000235//===----------------------------------------------------------------------===//
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000236// IndexPPCallbacks
237//===----------------------------------------------------------------------===//
238
239class IndexPPCallbacks : public PPCallbacks {
240 Preprocessor &PP;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000241 CXIndexDataConsumer &DataConsumer;
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000242 bool IsMainFileEntered;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000243
244public:
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000245 IndexPPCallbacks(Preprocessor &PP, CXIndexDataConsumer &dataConsumer)
246 : PP(PP), DataConsumer(dataConsumer), IsMainFileEntered(false) { }
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000247
Craig Topper36835562014-03-15 07:47:46 +0000248 void FileChanged(SourceLocation Loc, FileChangeReason Reason,
249 SrcMgr::CharacteristicKind FileType, FileID PrevFID) override {
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000250 if (IsMainFileEntered)
251 return;
252
253 SourceManager &SM = PP.getSourceManager();
254 SourceLocation MainFileLoc = SM.getLocForStartOfFile(SM.getMainFileID());
255
256 if (Loc == MainFileLoc && Reason == PPCallbacks::EnterFile) {
257 IsMainFileEntered = true;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000258 DataConsumer.enteredMainFile(SM.getFileEntryForID(SM.getMainFileID()));
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000259 }
260 }
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000261
Craig Topper36835562014-03-15 07:47:46 +0000262 void InclusionDirective(SourceLocation HashLoc, const Token &IncludeTok,
263 StringRef FileName, bool IsAngled,
264 CharSourceRange FilenameRange, const FileEntry *File,
265 StringRef SearchPath, StringRef RelativePath,
Julie Hockett96fbe582018-05-10 19:05:36 +0000266 const Module *Imported,
267 SrcMgr::CharacteristicKind FileType) override {
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000268 bool isImport = (IncludeTok.is(tok::identifier) &&
269 IncludeTok.getIdentifierInfo()->getPPKeywordID() == tok::pp_import);
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000270 DataConsumer.ppIncludedFile(HashLoc, FileName, File, isImport, IsAngled,
Argyrios Kyrtzidis5e2ec482012-10-18 00:17:05 +0000271 Imported);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000272 }
273
274 /// MacroDefined - This hook is called whenever a macro definition is seen.
Craig Topper36835562014-03-15 07:47:46 +0000275 void MacroDefined(const Token &Id, const MacroDirective *MD) override {}
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000276
277 /// MacroUndefined - This hook is called whenever a macro #undef is seen.
278 /// MI is released immediately following this callback.
Craig Topper36835562014-03-15 07:47:46 +0000279 void MacroUndefined(const Token &MacroNameTok,
Vedant Kumar349a6242017-04-26 21:05:44 +0000280 const MacroDefinition &MD,
281 const MacroDirective *UD) override {}
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000282
283 /// MacroExpands - This is called by when a macro invocation is found.
Richard Smith36bd40d2015-05-04 03:15:40 +0000284 void MacroExpands(const Token &MacroNameTok, const MacroDefinition &MD,
Craig Topper36835562014-03-15 07:47:46 +0000285 SourceRange Range, const MacroArgs *Args) override {}
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000286
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000287 /// SourceRangeSkipped - This hook is called when a source range is skipped.
288 /// \param Range The SourceRange that was skipped. The range begins at the
289 /// #if/#else directive and ends after the #endif/#else directive.
Vedant Kumar3919a502017-09-11 20:47:42 +0000290 void SourceRangeSkipped(SourceRange Range, SourceLocation EndifLoc) override {
291 }
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000292};
293
294//===----------------------------------------------------------------------===//
295// IndexingConsumer
296//===----------------------------------------------------------------------===//
297
298class IndexingConsumer : public ASTConsumer {
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000299 CXIndexDataConsumer &DataConsumer;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000300
301public:
Jan Korousb1c90792019-08-26 17:25:23 +0000302 IndexingConsumer(CXIndexDataConsumer &dataConsumer,
303 ParsedSrcLocationsTracker *parsedLocsTracker)
Dmitri Gribenko349ef2f2019-08-29 11:47:34 +0000304 : DataConsumer(dataConsumer) {}
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000305
Craig Topper36835562014-03-15 07:47:46 +0000306 void Initialize(ASTContext &Context) override {
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000307 DataConsumer.setASTContext(Context);
308 DataConsumer.startedTranslationUnit();
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000309 }
310
Craig Topper36835562014-03-15 07:47:46 +0000311 bool HandleTopLevelDecl(DeclGroupRef DG) override {
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000312 return !DataConsumer.shouldAbort();
Argyrios Kyrtzidise5dc5b32012-02-10 20:10:44 +0000313 }
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000314};
315
316//===----------------------------------------------------------------------===//
Argyrios Kyrtzidiseffdbf52011-11-18 00:26:51 +0000317// CaptureDiagnosticConsumer
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000318//===----------------------------------------------------------------------===//
319
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000320class CaptureDiagnosticConsumer : public DiagnosticConsumer {
321 SmallVector<StoredDiagnostic, 4> Errors;
322public:
323
Craig Topper36835562014-03-15 07:47:46 +0000324 void HandleDiagnostic(DiagnosticsEngine::Level level,
325 const Diagnostic &Info) override {
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000326 if (level >= DiagnosticsEngine::Error)
327 Errors.push_back(StoredDiagnostic(level, Info));
328 }
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000329};
330
331//===----------------------------------------------------------------------===//
332// IndexingFrontendAction
333//===----------------------------------------------------------------------===//
334
335class IndexingFrontendAction : public ASTFrontendAction {
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000336 std::shared_ptr<CXIndexDataConsumer> DataConsumer;
Dmitri Gribenko8d320532019-08-29 11:43:05 +0000337 IndexingOptions Opts;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000338
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000339 ThreadSafeParsedRegions *SKData;
Jan Korousb1c90792019-08-26 17:25:23 +0000340 std::unique_ptr<ParsedSrcLocationsTracker> ParsedLocsTracker;
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000341
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000342public:
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000343 IndexingFrontendAction(std::shared_ptr<CXIndexDataConsumer> dataConsumer,
Dmitri Gribenko8d320532019-08-29 11:43:05 +0000344 const IndexingOptions &Opts,
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000345 ThreadSafeParsedRegions *skData)
Dmitri Gribenko8d320532019-08-29 11:43:05 +0000346 : DataConsumer(std::move(dataConsumer)), Opts(Opts), SKData(skData) {}
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000347
David Blaikie6beb6aa2014-08-10 19:56:51 +0000348 std::unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &CI,
349 StringRef InFile) override {
Argyrios Kyrtzidisf484b132012-10-03 21:05:51 +0000350 PreprocessorOptions &PPOpts = CI.getPreprocessorOpts();
351
Argyrios Kyrtzidisf484b132012-10-03 21:05:51 +0000352 if (!PPOpts.ImplicitPCHInclude.empty()) {
Harlan Haskins8d323d12019-08-01 21:31:56 +0000353 auto File = CI.getFileManager().getFile(PPOpts.ImplicitPCHInclude);
354 if (File)
355 DataConsumer->importedPCH(*File);
Argyrios Kyrtzidisf484b132012-10-03 21:05:51 +0000356 }
Argyrios Kyrtzidisb36ee5c2012-10-02 16:10:41 +0000357
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000358 DataConsumer->setASTContext(CI.getASTContext());
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000359 Preprocessor &PP = CI.getPreprocessor();
Jonas Devlieghere2b3d49b2019-08-14 23:04:18 +0000360 PP.addPPCallbacks(std::make_unique<IndexPPCallbacks>(PP, *DataConsumer));
David Blaikie41565462017-01-05 19:48:07 +0000361 DataConsumer->setPreprocessor(CI.getPreprocessorPtr());
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000362
363 if (SKData) {
David Blaikie6beb6aa2014-08-10 19:56:51 +0000364 auto *PPRec = new PPConditionalDirectiveRecord(PP.getSourceManager());
Craig Topperb8a70532014-09-10 04:53:53 +0000365 PP.addPPCallbacks(std::unique_ptr<PPCallbacks>(PPRec));
Jan Korousb1c90792019-08-26 17:25:23 +0000366 ParsedLocsTracker =
367 std::make_unique<ParsedSrcLocationsTracker>(*SKData, *PPRec, PP);
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000368 }
369
Dmitri Gribenko8d320532019-08-29 11:43:05 +0000370 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
371 Consumers.push_back(std::make_unique<IndexingConsumer>(
372 *DataConsumer, ParsedLocsTracker.get()));
Dmitri Gribenko349ef2f2019-08-29 11:47:34 +0000373 Consumers.push_back(createIndexingASTConsumer(
374 DataConsumer, Opts, CI.getPreprocessorPtr(),
375 [this](const Decl *D) { return this->shouldSkipFunctionBody(D); }));
Dmitri Gribenko8d320532019-08-29 11:43:05 +0000376 return std::make_unique<MultiplexConsumer>(std::move(Consumers));
Argyrios Kyrtzidisf2d99b02011-12-01 02:42:50 +0000377 }
378
Dmitri Gribenko349ef2f2019-08-29 11:47:34 +0000379 bool shouldSkipFunctionBody(const Decl *D) {
380 if (!ParsedLocsTracker) {
381 // Always skip bodies.
382 return true;
383 }
384
385 const SourceManager &SM = D->getASTContext().getSourceManager();
386 SourceLocation Loc = D->getLocation();
387 if (Loc.isMacroID())
388 return false;
389 if (SM.isInSystemHeader(Loc))
390 return true; // always skip bodies from system headers.
391
392 FileID FID;
393 unsigned Offset;
394 std::tie(FID, Offset) = SM.getDecomposedLoc(Loc);
395 // Don't skip bodies from main files; this may be revisited.
396 if (SM.getMainFileID() == FID)
397 return false;
398 const FileEntry *FE = SM.getFileEntryForID(FID);
399 if (!FE)
400 return false;
401
402 return ParsedLocsTracker->hasAlredyBeenParsed(Loc, FID, FE);
403 }
404
Craig Topper36835562014-03-15 07:47:46 +0000405 TranslationUnitKind getTranslationUnitKind() override {
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000406 if (DataConsumer->shouldIndexImplicitTemplateInsts())
Argyrios Kyrtzidis7e747952012-02-14 22:23:11 +0000407 return TU_Complete;
408 else
409 return TU_Prefix;
410 }
Craig Topper36835562014-03-15 07:47:46 +0000411 bool hasCodeCompletionSupport() const override { return false; }
Dmitri Gribenko349ef2f2019-08-29 11:47:34 +0000412
413 void EndSourceFileAction() override {
414 if (ParsedLocsTracker)
415 ParsedLocsTracker->syncWithStorage();
416 }
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000417};
418
419//===----------------------------------------------------------------------===//
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000420// clang_indexSourceFileUnit Implementation
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000421//===----------------------------------------------------------------------===//
422
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000423static IndexingOptions getIndexingOptionsFromCXOptions(unsigned index_options) {
424 IndexingOptions IdxOpts;
425 if (index_options & CXIndexOpt_IndexFunctionLocalSymbols)
426 IdxOpts.IndexFunctionLocals = true;
Eric Liu3e0051b2018-07-20 08:08:56 +0000427 if (index_options & CXIndexOpt_IndexImplicitTemplateInstantiations)
428 IdxOpts.IndexImplicitInstantiation = true;
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000429 return IdxOpts;
430}
431
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000432struct IndexSessionData {
433 CXIndex CIdx;
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000434 std::unique_ptr<ThreadSafeParsedRegions> SkipBodyData =
435 std::make_unique<ThreadSafeParsedRegions>();
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000436
Dmitri Gribenko84dd9f42019-09-05 09:48:39 +0000437 explicit IndexSessionData(CXIndex cIdx) : CIdx(cIdx) {}
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000438};
439
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000440} // anonymous namespace
441
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000442static CXErrorCode clang_indexSourceFile_Impl(
443 CXIndexAction cxIdxAction, CXClientData client_data,
444 IndexerCallbacks *client_index_callbacks, unsigned index_callbacks_size,
445 unsigned index_options, const char *source_filename,
446 const char *const *command_line_args, int num_command_line_args,
447 ArrayRef<CXUnsavedFile> unsaved_files, CXTranslationUnit *out_TU,
448 unsigned TU_options) {
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000449 if (out_TU)
Craig Topper69186e72014-06-08 08:38:04 +0000450 *out_TU = nullptr;
451 bool requestedToGetTU = (out_TU != nullptr);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000452
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000453 if (!cxIdxAction) {
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000454 return CXError_InvalidArguments;
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000455 }
456 if (!client_index_callbacks || index_callbacks_size == 0) {
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000457 return CXError_InvalidArguments;
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000458 }
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000459
460 IndexerCallbacks CB;
461 memset(&CB, 0, sizeof(CB));
462 unsigned ClientCBSize = index_callbacks_size < sizeof(CB)
463 ? index_callbacks_size : sizeof(CB);
464 memcpy(&CB, client_index_callbacks, ClientCBSize);
465
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000466 IndexSessionData *IdxSession = static_cast<IndexSessionData *>(cxIdxAction);
467 CIndexer *CXXIdx = static_cast<CIndexer *>(IdxSession->CIdx);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000468
Argyrios Kyrtzidis7317a5c2012-03-28 02:18:05 +0000469 if (CXXIdx->isOptEnabled(CXGlobalOpt_ThreadBackgroundPriorityForIndexing))
Argyrios Kyrtzidis58d5f3f2012-03-28 02:49:54 +0000470 setThreadBackgroundPriority();
Argyrios Kyrtzidis7317a5c2012-03-28 02:18:05 +0000471
Nikolai Kosjar8edd8da2019-06-11 14:14:24 +0000472 CaptureDiagsKind CaptureDiagnostics = CaptureDiagsKind::All;
473 if (TU_options & CXTranslationUnit_IgnoreNonErrorsFromIncludedFiles)
474 CaptureDiagnostics = CaptureDiagsKind::AllWithoutNonErrorsFromIncludes;
475 if (Logger::isLoggingEnabled())
476 CaptureDiagnostics = CaptureDiagsKind::None;
Argyrios Kyrtzidis828f4d42013-03-29 21:51:44 +0000477
Craig Topper69186e72014-06-08 08:38:04 +0000478 CaptureDiagnosticConsumer *CaptureDiag = nullptr;
Nikolai Kosjar8edd8da2019-06-11 14:14:24 +0000479 if (CaptureDiagnostics != CaptureDiagsKind::None)
Argyrios Kyrtzidis828f4d42013-03-29 21:51:44 +0000480 CaptureDiag = new CaptureDiagnosticConsumer();
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000481
482 // Configure the diagnostics.
Dylan Noblesmithc95d8192012-02-20 14:00:23 +0000483 IntrusiveRefCntPtr<DiagnosticsEngine>
Douglas Gregor811db4e2012-10-23 22:26:28 +0000484 Diags(CompilerInstance::createDiagnostics(new DiagnosticOptions,
Douglas Gregor811db4e2012-10-23 22:26:28 +0000485 CaptureDiag,
Douglas Gregor30071cea2013-05-03 23:07:45 +0000486 /*ShouldOwnClient=*/true));
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000487
488 // Recover resources if we crash before exiting this function.
489 llvm::CrashRecoveryContextCleanupRegistrar<DiagnosticsEngine,
490 llvm::CrashRecoveryContextReleaseRefCleanup<DiagnosticsEngine> >
Alp Tokerf994cef2014-07-05 03:08:06 +0000491 DiagCleanup(Diags.get());
Ahmed Charlesb8984322014-03-07 20:03:18 +0000492
493 std::unique_ptr<std::vector<const char *>> Args(
494 new std::vector<const char *>());
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000495
496 // Recover resources if we crash before exiting this method.
497 llvm::CrashRecoveryContextCleanupRegistrar<std::vector<const char*> >
498 ArgsCleanup(Args.get());
499
500 Args->insert(Args->end(), command_line_args,
501 command_line_args + num_command_line_args);
502
503 // The 'source_filename' argument is optional. If the caller does not
504 // specify it then it is assumed that the source file is specified
505 // in the actual argument list.
506 // Put the source file after command_line_args otherwise if '-x' flag is
507 // present it will be unused.
508 if (source_filename)
509 Args->push_back(source_filename);
David Blaikieea4395e2017-01-06 19:49:01 +0000510
511 std::shared_ptr<CompilerInvocation> CInvok =
512 createInvocationFromCommandLine(*Args, Diags);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000513
514 if (!CInvok)
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000515 return CXError_Failure;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000516
517 // Recover resources if we crash before exiting this function.
David Blaikieea4395e2017-01-06 19:49:01 +0000518 llvm::CrashRecoveryContextCleanupRegistrar<
519 std::shared_ptr<CompilerInvocation>,
520 llvm::CrashRecoveryContextDestructorCleanup<
521 std::shared_ptr<CompilerInvocation>>>
522 CInvokCleanup(&CInvok);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000523
524 if (CInvok->getFrontendOpts().Inputs.empty())
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000525 return CXError_Failure;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000526
Alp Toker9d85b182014-07-07 01:23:14 +0000527 typedef SmallVector<std::unique_ptr<llvm::MemoryBuffer>, 8> MemBufferOwner;
528 std::unique_ptr<MemBufferOwner> BufOwner(new MemBufferOwner);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000529
530 // Recover resources if we crash before exiting this method.
Alp Toker9d85b182014-07-07 01:23:14 +0000531 llvm::CrashRecoveryContextCleanupRegistrar<MemBufferOwner> BufOwnerCleanup(
532 BufOwner.get());
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000533
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000534 for (auto &UF : unsaved_files) {
Rafael Espindolad87f8d72014-08-27 20:03:29 +0000535 std::unique_ptr<llvm::MemoryBuffer> MB =
Alp Toker9d85b182014-07-07 01:23:14 +0000536 llvm::MemoryBuffer::getMemBufferCopy(getContents(UF), UF.Filename);
Rafael Espindolad87f8d72014-08-27 20:03:29 +0000537 CInvok->getPreprocessorOpts().addRemappedFile(UF.Filename, MB.get());
538 BufOwner->push_back(std::move(MB));
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000539 }
540
541 // Since libclang is primarily used by batch tools dealing with
542 // (often very broken) source code, where spell-checking can have a
543 // significant negative impact on performance (particularly when
544 // precompiled headers are involved), we disable it.
Ted Kremenek8cf47df2011-11-17 23:01:24 +0000545 CInvok->getLangOpts()->SpellChecking = false;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000546
Argyrios Kyrtzidis6c9ed7d2012-03-27 21:38:03 +0000547 if (index_options & CXIndexOpt_SuppressWarnings)
548 CInvok->getDiagnosticOpts().IgnoreWarnings = true;
549
Argyrios Kyrtzidisa3e2ff12015-11-20 03:36:21 +0000550 // Make sure to use the raw module format.
Benjamin Krameradcd0262020-01-28 20:23:46 +0100551 CInvok->getHeaderSearchOpts().ModuleFormat = std::string(
552 CXXIdx->getPCHContainerOperations()->getRawReader().getFormat());
Argyrios Kyrtzidisa3e2ff12015-11-20 03:36:21 +0000553
David Blaikieea4395e2017-01-06 19:49:01 +0000554 auto Unit = ASTUnit::create(CInvok, Diags, CaptureDiagnostics,
555 /*UserFilesAreVolatile=*/true);
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000556 if (!Unit)
557 return CXError_InvalidArguments;
Ben Langmuir8832c062014-04-15 18:16:25 +0000558
David Blaikieea4395e2017-01-06 19:49:01 +0000559 auto *UPtr = Unit.get();
Ahmed Charlesb8984322014-03-07 20:03:18 +0000560 std::unique_ptr<CXTUOwner> CXTU(
David Blaikieea4395e2017-01-06 19:49:01 +0000561 new CXTUOwner(MakeCXTranslationUnit(CXXIdx, std::move(Unit))));
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000562
563 // Recover resources if we crash before exiting this method.
564 llvm::CrashRecoveryContextCleanupRegistrar<CXTUOwner>
565 CXTUCleanup(CXTU.get());
566
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000567 // Enable the skip-parsed-bodies optimization only for C++; this may be
568 // revisited.
569 bool SkipBodies = (index_options & CXIndexOpt_SkipParsedBodiesInSession) &&
570 CInvok->getLangOpts()->CPlusPlus;
571 if (SkipBodies)
572 CInvok->getFrontendOpts().SkipFunctionBodies = true;
573
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000574 auto DataConsumer =
575 std::make_shared<CXIndexDataConsumer>(client_data, CB, index_options,
576 CXTU->getTU());
Dmitri Gribenko8d320532019-08-29 11:43:05 +0000577 auto IndexAction = std::make_unique<IndexingFrontendAction>(
578 DataConsumer, getIndexingOptionsFromCXOptions(index_options),
579 SkipBodies ? IdxSession->SkipBodyData.get() : nullptr);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000580
581 // Recover resources if we crash before exiting this method.
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000582 llvm::CrashRecoveryContextCleanupRegistrar<FrontendAction>
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000583 IndexActionCleanup(IndexAction.get());
584
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000585 bool Persistent = requestedToGetTU;
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000586 bool OnlyLocalDecls = false;
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000587 bool PrecompilePreamble = false;
Benjamin Kramer5c248d82015-12-15 09:30:31 +0000588 bool CreatePreambleOnFirstParse = false;
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000589 bool CacheCodeCompletionResults = false;
590 PreprocessorOptions &PPOpts = CInvok->getPreprocessorOpts();
Argyrios Kyrtzidis4a280ff2012-03-07 01:51:17 +0000591 PPOpts.AllowPCHWithCompilerErrors = true;
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000592
593 if (requestedToGetTU) {
594 OnlyLocalDecls = CXXIdx->getOnlyLocalDecls();
595 PrecompilePreamble = TU_options & CXTranslationUnit_PrecompiledPreamble;
Benjamin Kramer5c248d82015-12-15 09:30:31 +0000596 CreatePreambleOnFirstParse =
597 TU_options & CXTranslationUnit_CreatePreambleOnFirstParse;
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000598 // FIXME: Add a flag for modules.
599 CacheCodeCompletionResults
600 = TU_options & CXTranslationUnit_CacheCompletionResults;
Argyrios Kyrtzidisb11f5a42011-11-28 04:56:00 +0000601 }
602
Argyrios Kyrtzidis6a80e752012-10-06 01:18:35 +0000603 if (TU_options & CXTranslationUnit_DetailedPreprocessingRecord) {
604 PPOpts.DetailedRecord = true;
605 }
Argyrios Kyrtzidisb36ee5c2012-10-02 16:10:41 +0000606
Argyrios Kyrtzidis15f6b8e2012-10-10 02:12:50 +0000607 if (!requestedToGetTU && !CInvok->getLangOpts()->Modules)
608 PPOpts.DetailedRecord = false;
609
Benjamin Kramer5c248d82015-12-15 09:30:31 +0000610 // Unless the user specified that they want the preamble on the first parse
611 // set it up to be created on the first reparse. This makes the first parse
612 // faster, trading for a slower (first) reparse.
613 unsigned PrecompilePreambleAfterNParses =
614 !PrecompilePreamble ? 0 : 2 - CreatePreambleOnFirstParse;
Argyrios Kyrtzidisac1cc932012-04-11 02:11:16 +0000615 DiagnosticErrorTrap DiagTrap(*Diags);
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000616 bool Success = ASTUnit::LoadFromCompilerInvocationAction(
David Blaikieea4395e2017-01-06 19:49:01 +0000617 std::move(CInvok), CXXIdx->getPCHContainerOperations(), Diags,
618 IndexAction.get(), UPtr, Persistent, CXXIdx->getClangResourcesPath(),
Benjamin Kramer5c248d82015-12-15 09:30:31 +0000619 OnlyLocalDecls, CaptureDiagnostics, PrecompilePreambleAfterNParses,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000620 CacheCodeCompletionResults,
621 /*IncludeBriefCommentsInCodeCompletion=*/false,
622 /*UserFilesAreVolatile=*/true);
Argyrios Kyrtzidisac1cc932012-04-11 02:11:16 +0000623 if (DiagTrap.hasErrorOccurred() && CXXIdx->getDisplayDiagnostics())
David Blaikieea4395e2017-01-06 19:49:01 +0000624 printDiagsToStderr(UPtr);
Argyrios Kyrtzidisac1cc932012-04-11 02:11:16 +0000625
David Blaikieea4395e2017-01-06 19:49:01 +0000626 if (isASTReadError(UPtr))
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000627 return CXError_ASTReadError;
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000628
Argyrios Kyrtzidisac1cc932012-04-11 02:11:16 +0000629 if (!Success)
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000630 return CXError_Failure;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000631
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000632 if (out_TU)
633 *out_TU = CXTU->takeTU();
634
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000635 return CXError_Success;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000636}
637
638//===----------------------------------------------------------------------===//
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000639// clang_indexTranslationUnit Implementation
640//===----------------------------------------------------------------------===//
641
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000642static void indexPreprocessingRecord(ASTUnit &Unit, CXIndexDataConsumer &IdxCtx) {
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000643 Preprocessor &PP = Unit.getPreprocessor();
644 if (!PP.getPreprocessingRecord())
645 return;
646
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000647 // FIXME: Only deserialize inclusion directives.
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000648
Argyrios Kyrtzidise445c722012-10-10 02:12:47 +0000649 bool isModuleFile = Unit.isModuleFile();
Benjamin Kramerb4ef6682015-02-06 17:25:10 +0000650 for (PreprocessedEntity *PPE : Unit.getLocalPreprocessingEntities()) {
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000651 if (InclusionDirective *ID = dyn_cast<InclusionDirective>(PPE)) {
Argyrios Kyrtzidis5e2ec482012-10-18 00:17:05 +0000652 SourceLocation Loc = ID->getSourceRange().getBegin();
653 // Modules have synthetic main files as input, give an invalid location
654 // if the location points to such a file.
655 if (isModuleFile && Unit.isInMainFileID(Loc))
656 Loc = SourceLocation();
657 IdxCtx.ppIncludedFile(Loc, ID->getFileName(),
658 ID->getFile(),
659 ID->getKind() == InclusionDirective::Import,
660 !ID->wasInQuotes(), ID->importedModule());
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000661 }
662 }
663}
664
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000665static CXErrorCode clang_indexTranslationUnit_Impl(
666 CXIndexAction idxAction, CXClientData client_data,
667 IndexerCallbacks *client_index_callbacks, unsigned index_callbacks_size,
668 unsigned index_options, CXTranslationUnit TU) {
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000669 // Check arguments.
Dmitri Gribenko852d6222014-02-11 15:02:48 +0000670 if (isNotUsableTU(TU)) {
Dmitri Gribenko256454f2014-02-11 14:34:14 +0000671 LOG_BAD_TU(TU);
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000672 return CXError_InvalidArguments;
Dmitri Gribenko256454f2014-02-11 14:34:14 +0000673 }
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000674 if (!client_index_callbacks || index_callbacks_size == 0) {
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000675 return CXError_InvalidArguments;
Dmitri Gribenkoea4d1c32014-02-12 19:12:37 +0000676 }
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000677
Dmitri Gribenko183436e2013-01-26 21:49:50 +0000678 CIndexer *CXXIdx = TU->CIdx;
Argyrios Kyrtzidis7317a5c2012-03-28 02:18:05 +0000679 if (CXXIdx->isOptEnabled(CXGlobalOpt_ThreadBackgroundPriorityForIndexing))
Argyrios Kyrtzidis58d5f3f2012-03-28 02:49:54 +0000680 setThreadBackgroundPriority();
Argyrios Kyrtzidis7317a5c2012-03-28 02:18:05 +0000681
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000682 IndexerCallbacks CB;
683 memset(&CB, 0, sizeof(CB));
684 unsigned ClientCBSize = index_callbacks_size < sizeof(CB)
685 ? index_callbacks_size : sizeof(CB);
686 memcpy(&CB, client_index_callbacks, ClientCBSize);
687
Benjamin Kramer6f33fca2018-04-23 14:30:21 +0000688 CXIndexDataConsumer DataConsumer(client_data, CB, index_options, TU);
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000689
Dmitri Gribenkoc22ea1c2013-01-26 18:53:38 +0000690 ASTUnit *Unit = cxtu::getASTUnit(TU);
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000691 if (!Unit)
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000692 return CXError_Failure;
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000693
Argyrios Kyrtzidis341de092012-09-25 19:29:50 +0000694 ASTUnit::ConcurrencyCheck Check(*Unit);
695
Argyrios Kyrtzidisf484b132012-10-03 21:05:51 +0000696 if (const FileEntry *PCHFile = Unit->getPCHFile())
Benjamin Kramer6f33fca2018-04-23 14:30:21 +0000697 DataConsumer.importedPCH(PCHFile);
Argyrios Kyrtzidisf484b132012-10-03 21:05:51 +0000698
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000699 FileManager &FileMgr = Unit->getFileManager();
700
701 if (Unit->getOriginalSourceFileName().empty())
Benjamin Kramer6f33fca2018-04-23 14:30:21 +0000702 DataConsumer.enteredMainFile(nullptr);
Harlan Haskins8d323d12019-08-01 21:31:56 +0000703 else if (auto MainFile = FileMgr.getFile(Unit->getOriginalSourceFileName()))
704 DataConsumer.enteredMainFile(*MainFile);
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000705 else
Harlan Haskins8d323d12019-08-01 21:31:56 +0000706 DataConsumer.enteredMainFile(nullptr);
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000707
Benjamin Kramer6f33fca2018-04-23 14:30:21 +0000708 DataConsumer.setASTContext(Unit->getASTContext());
709 DataConsumer.startedTranslationUnit();
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000710
Benjamin Kramer6f33fca2018-04-23 14:30:21 +0000711 indexPreprocessingRecord(*Unit, DataConsumer);
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000712 indexASTUnit(*Unit, DataConsumer, getIndexingOptionsFromCXOptions(index_options));
Benjamin Kramer6f33fca2018-04-23 14:30:21 +0000713 DataConsumer.indexDiagnostics();
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000714
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000715 return CXError_Success;
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000716}
717
718//===----------------------------------------------------------------------===//
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000719// libclang public APIs.
720//===----------------------------------------------------------------------===//
721
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000722int clang_index_isEntityObjCContainerKind(CXIdxEntityKind K) {
723 return CXIdxEntity_ObjCClass <= K && K <= CXIdxEntity_ObjCCategory;
724}
725
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000726const CXIdxObjCContainerDeclInfo *
727clang_index_getObjCContainerDeclInfo(const CXIdxDeclInfo *DInfo) {
728 if (!DInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000729 return nullptr;
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000730
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000731 const DeclInfo *DI = static_cast<const DeclInfo *>(DInfo);
732 if (const ObjCContainerDeclInfo *
733 ContInfo = dyn_cast<ObjCContainerDeclInfo>(DI))
734 return &ContInfo->ObjCContDeclInfo;
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000735
Craig Topper69186e72014-06-08 08:38:04 +0000736 return nullptr;
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000737}
738
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000739const CXIdxObjCInterfaceDeclInfo *
740clang_index_getObjCInterfaceDeclInfo(const CXIdxDeclInfo *DInfo) {
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000741 if (!DInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000742 return nullptr;
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000743
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000744 const DeclInfo *DI = static_cast<const DeclInfo *>(DInfo);
745 if (const ObjCInterfaceDeclInfo *
746 InterInfo = dyn_cast<ObjCInterfaceDeclInfo>(DI))
747 return &InterInfo->ObjCInterDeclInfo;
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000748
Craig Topper69186e72014-06-08 08:38:04 +0000749 return nullptr;
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000750}
751
752const CXIdxObjCCategoryDeclInfo *
753clang_index_getObjCCategoryDeclInfo(const CXIdxDeclInfo *DInfo){
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000754 if (!DInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000755 return nullptr;
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000756
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000757 const DeclInfo *DI = static_cast<const DeclInfo *>(DInfo);
758 if (const ObjCCategoryDeclInfo *
759 CatInfo = dyn_cast<ObjCCategoryDeclInfo>(DI))
760 return &CatInfo->ObjCCatDeclInfo;
761
Craig Topper69186e72014-06-08 08:38:04 +0000762 return nullptr;
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000763}
764
765const CXIdxObjCProtocolRefListInfo *
766clang_index_getObjCProtocolRefListInfo(const CXIdxDeclInfo *DInfo) {
767 if (!DInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000768 return nullptr;
Argyrios Kyrtzidis86acd722011-11-14 22:39:19 +0000769
770 const DeclInfo *DI = static_cast<const DeclInfo *>(DInfo);
771
772 if (const ObjCInterfaceDeclInfo *
773 InterInfo = dyn_cast<ObjCInterfaceDeclInfo>(DI))
774 return InterInfo->ObjCInterDeclInfo.protocols;
775
776 if (const ObjCProtocolDeclInfo *
777 ProtInfo = dyn_cast<ObjCProtocolDeclInfo>(DI))
778 return &ProtInfo->ObjCProtoRefListInfo;
779
Argyrios Kyrtzidis9b9f7a92011-12-13 18:47:45 +0000780 if (const ObjCCategoryDeclInfo *CatInfo = dyn_cast<ObjCCategoryDeclInfo>(DI))
781 return CatInfo->ObjCCatDeclInfo.protocols;
782
Craig Topper69186e72014-06-08 08:38:04 +0000783 return nullptr;
Argyrios Kyrtzidis3e429e72011-11-12 02:16:30 +0000784}
785
Argyrios Kyrtzidis93db2922012-02-28 17:50:33 +0000786const CXIdxObjCPropertyDeclInfo *
787clang_index_getObjCPropertyDeclInfo(const CXIdxDeclInfo *DInfo) {
788 if (!DInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000789 return nullptr;
Argyrios Kyrtzidis93db2922012-02-28 17:50:33 +0000790
791 const DeclInfo *DI = static_cast<const DeclInfo *>(DInfo);
792 if (const ObjCPropertyDeclInfo *PropInfo = dyn_cast<ObjCPropertyDeclInfo>(DI))
793 return &PropInfo->ObjCPropDeclInfo;
794
Craig Topper69186e72014-06-08 08:38:04 +0000795 return nullptr;
Argyrios Kyrtzidis93db2922012-02-28 17:50:33 +0000796}
797
Argyrios Kyrtzidiseffdbf52011-11-18 00:26:51 +0000798const CXIdxIBOutletCollectionAttrInfo *
799clang_index_getIBOutletCollectionAttrInfo(const CXIdxAttrInfo *AInfo) {
800 if (!AInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000801 return nullptr;
Argyrios Kyrtzidiseffdbf52011-11-18 00:26:51 +0000802
803 const AttrInfo *DI = static_cast<const AttrInfo *>(AInfo);
804 if (const IBOutletCollectionInfo *
805 IBInfo = dyn_cast<IBOutletCollectionInfo>(DI))
806 return &IBInfo->IBCollInfo;
807
Craig Topper69186e72014-06-08 08:38:04 +0000808 return nullptr;
Argyrios Kyrtzidiseffdbf52011-11-18 00:26:51 +0000809}
810
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000811const CXIdxCXXClassDeclInfo *
812clang_index_getCXXClassDeclInfo(const CXIdxDeclInfo *DInfo) {
813 if (!DInfo)
Craig Topper69186e72014-06-08 08:38:04 +0000814 return nullptr;
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000815
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000816 const DeclInfo *DI = static_cast<const DeclInfo *>(DInfo);
817 if (const CXXClassDeclInfo *ClassInfo = dyn_cast<CXXClassDeclInfo>(DI))
818 return &ClassInfo->CXXClassInfo;
819
Craig Topper69186e72014-06-08 08:38:04 +0000820 return nullptr;
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000821}
822
823CXIdxClientContainer
824clang_index_getClientContainer(const CXIdxContainerInfo *info) {
825 if (!info)
Craig Topper69186e72014-06-08 08:38:04 +0000826 return nullptr;
Benjamin Kramer7f107ee2011-11-29 12:31:20 +0000827 const ContainerInfo *Container = static_cast<const ContainerInfo *>(info);
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000828 return Container->IndexCtx->getClientContainerForDC(Container->DC);
829}
830
831void clang_index_setClientContainer(const CXIdxContainerInfo *info,
832 CXIdxClientContainer client) {
833 if (!info)
834 return;
Benjamin Kramer7f107ee2011-11-29 12:31:20 +0000835 const ContainerInfo *Container = static_cast<const ContainerInfo *>(info);
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000836 Container->IndexCtx->addContainerInMap(Container->DC, client);
837}
838
839CXIdxClientEntity clang_index_getClientEntity(const CXIdxEntityInfo *info) {
840 if (!info)
Craig Topper69186e72014-06-08 08:38:04 +0000841 return nullptr;
Benjamin Kramer7f107ee2011-11-29 12:31:20 +0000842 const EntityInfo *Entity = static_cast<const EntityInfo *>(info);
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000843 return Entity->IndexCtx->getClientEntity(Entity->Dcl);
844}
845
846void clang_index_setClientEntity(const CXIdxEntityInfo *info,
847 CXIdxClientEntity client) {
848 if (!info)
849 return;
Benjamin Kramer7f107ee2011-11-29 12:31:20 +0000850 const EntityInfo *Entity = static_cast<const EntityInfo *>(info);
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000851 Entity->IndexCtx->setClientEntity(Entity->Dcl, client);
852}
853
854CXIndexAction clang_IndexAction_create(CXIndex CIdx) {
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000855 return new IndexSessionData(CIdx);
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000856}
857
858void clang_IndexAction_dispose(CXIndexAction idxAction) {
Argyrios Kyrtzidis8b71bc72012-12-06 19:41:16 +0000859 if (idxAction)
860 delete static_cast<IndexSessionData *>(idxAction);
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000861}
862
863int clang_indexSourceFile(CXIndexAction idxAction,
864 CXClientData client_data,
865 IndexerCallbacks *index_callbacks,
866 unsigned index_callbacks_size,
867 unsigned index_options,
868 const char *source_filename,
869 const char * const *command_line_args,
870 int num_command_line_args,
871 struct CXUnsavedFile *unsaved_files,
872 unsigned num_unsaved_files,
873 CXTranslationUnit *out_TU,
874 unsigned TU_options) {
Benjamin Kramerc02670e2015-11-18 16:14:27 +0000875 SmallVector<const char *, 4> Args;
876 Args.push_back("clang");
877 Args.append(command_line_args, command_line_args + num_command_line_args);
878 return clang_indexSourceFileFullArgv(
879 idxAction, client_data, index_callbacks, index_callbacks_size,
880 index_options, source_filename, Args.data(), Args.size(), unsaved_files,
881 num_unsaved_files, out_TU, TU_options);
882}
883
884int clang_indexSourceFileFullArgv(
885 CXIndexAction idxAction, CXClientData client_data,
886 IndexerCallbacks *index_callbacks, unsigned index_callbacks_size,
887 unsigned index_options, const char *source_filename,
888 const char *const *command_line_args, int num_command_line_args,
889 struct CXUnsavedFile *unsaved_files, unsigned num_unsaved_files,
890 CXTranslationUnit *out_TU, unsigned TU_options) {
Argyrios Kyrtzidisea474352013-01-10 18:54:52 +0000891 LOG_FUNC_SECTION {
892 *Log << source_filename << ": ";
893 for (int i = 0; i != num_command_line_args; ++i)
894 *Log << command_line_args[i] << " ";
895 }
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000896
Alp Toker9d85b182014-07-07 01:23:14 +0000897 if (num_unsaved_files && !unsaved_files)
898 return CXError_InvalidArguments;
899
Alp Toker5c532982014-07-07 22:42:03 +0000900 CXErrorCode result = CXError_Failure;
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000901 auto IndexSourceFileImpl = [=, &result]() {
902 result = clang_indexSourceFile_Impl(
903 idxAction, client_data, index_callbacks, index_callbacks_size,
904 index_options, source_filename, command_line_args,
905 num_command_line_args,
906 llvm::makeArrayRef(unsaved_files, num_unsaved_files), out_TU,
907 TU_options);
908 };
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000909
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000910 llvm::CrashRecoveryContext CRC;
911
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000912 if (!RunSafely(CRC, IndexSourceFileImpl)) {
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000913 fprintf(stderr, "libclang: crash detected during indexing source file: {\n");
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000914 fprintf(stderr, " 'source_filename' : '%s'\n", source_filename);
915 fprintf(stderr, " 'command_line_args' : [");
916 for (int i = 0; i != num_command_line_args; ++i) {
917 if (i)
918 fprintf(stderr, ", ");
919 fprintf(stderr, "'%s'", command_line_args[i]);
920 }
921 fprintf(stderr, "],\n");
922 fprintf(stderr, " 'unsaved_files' : [");
923 for (unsigned i = 0; i != num_unsaved_files; ++i) {
924 if (i)
925 fprintf(stderr, ", ");
926 fprintf(stderr, "('%s', '...', %ld)", unsaved_files[i].Filename,
927 unsaved_files[i].Length);
928 }
929 fprintf(stderr, "],\n");
930 fprintf(stderr, " 'options' : %d,\n", TU_options);
931 fprintf(stderr, "}\n");
932
933 return 1;
934 } else if (getenv("LIBCLANG_RESOURCE_USAGE")) {
935 if (out_TU)
936 PrintLibclangResourceUsage(*out_TU);
937 }
Alp Toker5c532982014-07-07 22:42:03 +0000938
939 return result;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000940}
941
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000942int clang_indexTranslationUnit(CXIndexAction idxAction,
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000943 CXClientData client_data,
944 IndexerCallbacks *index_callbacks,
945 unsigned index_callbacks_size,
Argyrios Kyrtzidis4c910b12011-11-22 07:24:51 +0000946 unsigned index_options,
947 CXTranslationUnit TU) {
Argyrios Kyrtzidisea474352013-01-10 18:54:52 +0000948 LOG_FUNC_SECTION {
949 *Log << TU;
950 }
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000951
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000952 CXErrorCode result;
953 auto IndexTranslationUnitImpl = [=, &result]() {
954 result = clang_indexTranslationUnit_Impl(
955 idxAction, client_data, index_callbacks, index_callbacks_size,
956 index_options, TU);
957 };
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000958
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000959 llvm::CrashRecoveryContext CRC;
960
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000961 if (!RunSafely(CRC, IndexTranslationUnitImpl)) {
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000962 fprintf(stderr, "libclang: crash detected during indexing TU\n");
963
964 return 1;
965 }
966
Benjamin Kramer11a9cd92015-07-25 20:55:44 +0000967 return result;
Argyrios Kyrtzidisd992e142011-11-15 06:20:16 +0000968}
969
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000970void clang_indexLoc_getFileLocation(CXIdxLoc location,
Argyrios Kyrtzidis7519c5e2011-11-11 00:23:36 +0000971 CXIdxClientFile *indexFile,
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000972 CXFile *file,
973 unsigned *line,
974 unsigned *column,
975 unsigned *offset) {
Craig Topper69186e72014-06-08 08:38:04 +0000976 if (indexFile) *indexFile = nullptr;
977 if (file) *file = nullptr;
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000978 if (line) *line = 0;
979 if (column) *column = 0;
980 if (offset) *offset = 0;
981
982 SourceLocation Loc = SourceLocation::getFromRawEncoding(location.int_data);
983 if (!location.ptr_data[0] || Loc.isInvalid())
984 return;
985
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000986 CXIndexDataConsumer &DataConsumer =
987 *static_cast<CXIndexDataConsumer*>(location.ptr_data[0]);
988 DataConsumer.translateLoc(Loc, indexFile, file, line, column, offset);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000989}
990
991CXSourceLocation clang_indexLoc_getCXSourceLocation(CXIdxLoc location) {
992 SourceLocation Loc = SourceLocation::getFromRawEncoding(location.int_data);
993 if (!location.ptr_data[0] || Loc.isInvalid())
994 return clang_getNullLocation();
995
Argyrios Kyrtzidisf4fb85b2016-02-12 23:10:59 +0000996 CXIndexDataConsumer &DataConsumer =
997 *static_cast<CXIndexDataConsumer*>(location.ptr_data[0]);
998 return cxloc::translateSourceLocation(DataConsumer.getASTContext(), Loc);
Argyrios Kyrtzidisdc199a32011-10-17 19:48:19 +0000999}