18c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner//===--- PPLexerChange.cpp - Handle changing lexers in the preprocessor ---===// 28c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner// 38c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner// The LLVM Compiler Infrastructure 48c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner// 58c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner// This file is distributed under the University of Illinois Open Source 68c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner// License. See LICENSE.TXT for details. 78c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner// 88c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner//===----------------------------------------------------------------------===// 98c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner// 108c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner// This file implements pieces of the Preprocessor interface that manage the 118c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner// current lexer stack. 128c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner// 138c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner//===----------------------------------------------------------------------===// 148c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 158c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner#include "clang/Lex/Preprocessor.h" 16aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor#include "clang/Basic/FileManager.h" 178c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner#include "clang/Basic/SourceManager.h" 1855fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "clang/Lex/HeaderSearch.h" 1955fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "clang/Lex/LexDiagnostic.h" 2055fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "clang/Lex/MacroInfo.h" 2187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar#include "clang/Lex/PTHManager.h" 2255fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "llvm/ADT/StringSwitch.h" 23585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor#include "llvm/Support/FileSystem.h" 2415ba2af0f9ad52e67e908179b8ec2eb404e11c61Ted Kremenek#include "llvm/Support/MemoryBuffer.h" 258229d22e6449851b89361bf2f41804557328be63Rafael Espindola#include "llvm/Support/Path.h" 268c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnerusing namespace clang; 278c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 284b391087f9c5582d448ab66ccbc7028f7673f380Ted KremenekPPCallbacks::~PPCallbacks() {} 298c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 308c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner//===----------------------------------------------------------------------===// 316b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner// Miscellaneous Methods. 328c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner//===----------------------------------------------------------------------===// 338c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 348c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// isInPrimaryFile - Return true if we're in the top-level file, not in a 351a5f9000b690d08e65b6b8821e4f7c57d63beb1dJames Dennett/// \#include. This looks through macro expansions and active _Pragma lexers. 368c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnerbool Preprocessor::isInPrimaryFile() const { 3781d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek if (IsFileLexer()) 388c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return IncludeMacroStack.empty(); 391eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 408c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If there are any stacked lexers, we're in a #include. 4181d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek assert(IsFileLexer(IncludeMacroStack[0]) && 428c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner "Top level include stack isn't our primary lexer?"); 438c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner for (unsigned i = 1, e = IncludeMacroStack.size(); i != e; ++i) 4481d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek if (IsFileLexer(IncludeMacroStack[i])) 458c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return false; 468c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return true; 478c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 488c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 498c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// getCurrentLexer - Return the current file lexer being lexed from. Note 508c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// that this ignores any potentially active macro expansions and _Pragma 518c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// expansions going on at the time. 5268e48e4a81767997ef0231e47eca4f665102c95eTed KremenekPreprocessorLexer *Preprocessor::getCurrentFileLexer() const { 5381d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek if (IsFileLexer()) 5468e48e4a81767997ef0231e47eca4f665102c95eTed Kremenek return CurPPLexer; 551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 568c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Look for a stacked lexer. 578c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner for (unsigned i = IncludeMacroStack.size(); i != 0; --i) { 5868e48e4a81767997ef0231e47eca4f665102c95eTed Kremenek const IncludeStackInfo& ISI = IncludeMacroStack[i-1]; 5981d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek if (IsFileLexer(ISI)) 6068e48e4a81767997ef0231e47eca4f665102c95eTed Kremenek return ISI.ThePPLexer; 618c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 626bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines return nullptr; 638c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 648c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 656b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner 666b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner//===----------------------------------------------------------------------===// 676b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner// Methods for Entering and Callbacks for leaving various contexts 686b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner//===----------------------------------------------------------------------===// 698c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 708c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// EnterSourceFile - Add a source file to the top of the include stack and 71e7f2cbd8c093dcaebaa04c3f7b8fb1a0b4533b15Nuno Lopes/// start lexing tokens from it instead of the current buffer. 72651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesbool Preprocessor::EnterSourceFile(FileID FID, const DirectoryLookup *CurDir, 73e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner SourceLocation Loc) { 747247c88d1e41514a41085f83ebf03dd5220e054aDavid Blaikie assert(!CurTokenLexer && "Cannot #include a file inside a macro!"); 758c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner ++NumEnteredSourceFiles; 761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 778c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (MaxIncludeStackDepth < IncludeMacroStack.size()) 788c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner MaxIncludeStackDepth = IncludeMacroStack.size(); 798c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 806137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek if (PTH) { 816e2901407bff59aeb4cc301cc58b034723d0eb49Chris Lattner if (PTHLexer *PL = PTH->CreateLexer(FID)) { 826e2901407bff59aeb4cc301cc58b034723d0eb49Chris Lattner EnterSourceFileWithPTH(PL, CurDir); 83651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines return false; 846e2901407bff59aeb4cc301cc58b034723d0eb49Chris Lattner } 856137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek } 866e2901407bff59aeb4cc301cc58b034723d0eb49Chris Lattner 876e2901407bff59aeb4cc301cc58b034723d0eb49Chris Lattner // Get the MemoryBuffer for this FID, if it fails, we fail. 88aae58b0c3efb5fa9f97a3e4b1c1a2d31077efe5bDouglas Gregor bool Invalid = false; 89e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner const llvm::MemoryBuffer *InputFile = 90e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner getSourceManager().getBuffer(FID, Loc, &Invalid); 91e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner if (Invalid) { 92e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner SourceLocation FileStart = SourceMgr.getLocForStartOfFile(FID); 93e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner Diag(Loc, diag::err_pp_error_opening_file) 94e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner << std::string(SourceMgr.getBufferName(FileStart)) << ""; 95651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines return true; 96e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner } 977d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis 987d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis if (isCodeCompletionEnabled() && 997d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis SourceMgr.getFileEntryForID(FID) == CodeCompletionFile) { 1007d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CodeCompletionFileLoc = SourceMgr.getLocForStartOfFile(FID); 1017d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CodeCompletionLoc = 102a64ccefdf0ea4e03ec88805d71b0af74950c7472Argyrios Kyrtzidis CodeCompletionFileLoc.getLocWithOffset(CodeCompletionOffset); 1037d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis } 1047d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis 1056e2901407bff59aeb4cc301cc58b034723d0eb49Chris Lattner EnterSourceFileWithLexer(new Lexer(FID, InputFile, *this), CurDir); 106651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines return false; 1071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump} 108721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner 1096137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek/// EnterSourceFileWithLexer - Add a source file to the top of the include stack 1106137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek/// and start lexing tokens from it instead of the current buffer. 1111eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid Preprocessor::EnterSourceFileWithLexer(Lexer *TheLexer, 1128c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner const DirectoryLookup *CurDir) { 1131eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1148c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Add the current lexer to the include stack. 11541938c8493b4380df738263166b746eacb33c309Ted Kremenek if (CurPPLexer || CurTokenLexer) 116ed04c4cdca11119cac7d2fd65685444ce25f9e37Ted Kremenek PushIncludeMacroStack(); 117ed04c4cdca11119cac7d2fd65685444ce25f9e37Ted Kremenek 118caaa7df2c78bbd40197823034c0275f3dcbd63e7Ted Kremenek CurLexer.reset(TheLexer); 1199c1b750c59d510e6c9eccb1f37bccc46ccfe6844Ted Kremenek CurPPLexer = TheLexer; 1208c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurDirLookup = CurDir; 1216bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines CurSubmodule = nullptr; 122b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor if (CurLexerKind != CLK_LexAfterModuleImport) 123b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor CurLexerKind = CLK_Lexer; 12487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 1258c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Notify the client, if desired, that we are in a new source file. 1268c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (Callbacks && !CurLexer->Is_PragmaLexer) { 1279d72851fec9e9c62570a027d42701562bbf29751Chris Lattner SrcMgr::CharacteristicKind FileType = 1280b9e736308af5397f558ffc8e780c438c2fdb563Chris Lattner SourceMgr.getFileCharacteristic(CurLexer->getFileLoc()); 1291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1308c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Callbacks->FileChanged(CurLexer->getFileLoc(), 1318c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner PPCallbacks::EnterFile, FileType); 1328c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 1338c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 1348c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1356137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek/// EnterSourceFileWithPTH - Add a source file to the top of the include stack 1366137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek/// and start getting tokens from it using the PTH cache. 1371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid Preprocessor::EnterSourceFileWithPTH(PTHLexer *PL, 1386137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek const DirectoryLookup *CurDir) { 1391eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1406137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek if (CurPPLexer || CurTokenLexer) 1416137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek PushIncludeMacroStack(); 1428c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1436137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek CurDirLookup = CurDir; 1446137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek CurPTHLexer.reset(PL); 1456137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek CurPPLexer = CurPTHLexer.get(); 1466bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines CurSubmodule = nullptr; 147b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor if (CurLexerKind != CLK_LexAfterModuleImport) 148b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor CurLexerKind = CLK_PTHLexer; 149b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor 1506137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek // Notify the client, if desired, that we are in a new source file. 1516137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek if (Callbacks) { 1522b2453a7d8fe732561795431f39ceb2b2a832d84Chris Lattner FileID FID = CurPPLexer->getFileID(); 1538c61b53fdb283dade0bbf51c3c5befbc5d0aefa7Chris Lattner SourceLocation EnterLoc = SourceMgr.getLocForStartOfFile(FID); 1548c61b53fdb283dade0bbf51c3c5befbc5d0aefa7Chris Lattner SrcMgr::CharacteristicKind FileType = 1558c61b53fdb283dade0bbf51c3c5befbc5d0aefa7Chris Lattner SourceMgr.getFileCharacteristic(EnterLoc); 1568c61b53fdb283dade0bbf51c3c5befbc5d0aefa7Chris Lattner Callbacks->FileChanged(EnterLoc, PPCallbacks::EnterFile, FileType); 1576137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek } 1586137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek} 1598c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1608c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// EnterMacro - Add a Macro to the top of the include stack and start lexing 1618c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// tokens from it instead of the current buffer. 162e7fb48466afcbf2c4ccdfa658824282fdc3c512cChris Lattnervoid Preprocessor::EnterMacro(Token &Tok, SourceLocation ILEnd, 163c30981a563a8947cb26b1e308d122fa2ef90fcebRichard Smith MacroInfo *Macro, MacroArgs *Args) { 164176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines std::unique_ptr<TokenLexer> TokLexer; 1658c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (NumCachedTokenLexers == 0) { 166176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines TokLexer = llvm::make_unique<TokenLexer>(Tok, ILEnd, Macro, Args, *this); 1678c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } else { 168176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines TokLexer = std::move(TokenLexerCache[--NumCachedTokenLexers]); 169bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis TokLexer->Init(Tok, ILEnd, Macro, Args); 1708c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 171bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis 172bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis PushIncludeMacroStack(); 1736bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines CurDirLookup = nullptr; 174176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines CurTokenLexer = std::move(TokLexer); 175b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor if (CurLexerKind != CLK_LexAfterModuleImport) 176b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor CurLexerKind = CLK_TokenLexer; 1778c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 1788c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1798c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// EnterTokenStream - Add a "macro" context to the top of the include stack, 1806b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// which will cause the lexer to start returning the specified tokens. 1816b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// 1826b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// If DisableMacroExpansion is true, tokens lexed from the token stream will 1836b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// not be subject to further macro expansion. Otherwise, these tokens will 1846b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// be re-macro-expanded when/if expansion is enabled. 1856b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// 1866b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// If OwnsTokens is false, this method assumes that the specified stream of 1876b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// tokens has a permanent owner somewhere, so they do not need to be copied. 1886b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// If it is true, it assumes the array of tokens is allocated with new[] and 1896b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// must be freed. 1906b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// 1916b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattnervoid Preprocessor::EnterTokenStream(const Token *Toks, unsigned NumToks, 1926b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner bool DisableMacroExpansion, 1936b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner bool OwnsTokens) { 194176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines if (CurLexerKind == CLK_CachingLexer) { 195176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines if (CachedLexPos < CachedTokens.size()) { 196176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines // We're entering tokens into the middle of our cached token stream. We 197176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines // can't represent that, so just insert the tokens into the buffer. 198176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines CachedTokens.insert(CachedTokens.begin() + CachedLexPos, 199176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines Toks, Toks + NumToks); 200176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines if (OwnsTokens) 201176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines delete [] Toks; 202176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines return; 203176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines } 204176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 205176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines // New tokens are at the end of the cached token sequnece; insert the 206176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines // token stream underneath the caching lexer. 207176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines ExitCachingLexMode(); 208176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines EnterTokenStream(Toks, NumToks, DisableMacroExpansion, OwnsTokens); 209176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines EnterCachingLexMode(); 210176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines return; 211176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines } 212176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines 2138c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Create a macro expander to expand from the specified token stream. 214176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines std::unique_ptr<TokenLexer> TokLexer; 2158c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (NumCachedTokenLexers == 0) { 216176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines TokLexer = llvm::make_unique<TokenLexer>( 217176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines Toks, NumToks, DisableMacroExpansion, OwnsTokens, *this); 2188c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } else { 219176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines TokLexer = std::move(TokenLexerCache[--NumCachedTokenLexers]); 220bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis TokLexer->Init(Toks, NumToks, DisableMacroExpansion, OwnsTokens); 2218c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 222bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis 223bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // Save our current state. 224bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis PushIncludeMacroStack(); 2256bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines CurDirLookup = nullptr; 226176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines CurTokenLexer = std::move(TokLexer); 227b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor if (CurLexerKind != CLK_LexAfterModuleImport) 228b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor CurLexerKind = CLK_TokenLexer; 2298c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 2308c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 231585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor/// \brief Compute the relative path that names the given file relative to 232585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor/// the given directory. 233585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregorstatic void computeRelativePath(FileManager &FM, const DirectoryEntry *Dir, 234585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor const FileEntry *File, 235f7ccbad5d9949e7ddd1cbef43d482553b811e026Dylan Noblesmith SmallString<128> &Result) { 236585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor Result.clear(); 237585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 238585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor StringRef FilePath = File->getDir()->getName(); 239585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor StringRef Path = FilePath; 240585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor while (!Path.empty()) { 241585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (const DirectoryEntry *CurDir = FM.getDirectory(Path)) { 242585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (CurDir == Dir) { 243585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor Result = FilePath.substr(Path.size()); 244585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor llvm::sys::path::append(Result, 245585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor llvm::sys::path::filename(File->getName())); 246585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor return; 247585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 248585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 249585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 250585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor Path = llvm::sys::path::parent_path(Path); 251585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 252585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 253585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor Result = File->getName(); 254585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor} 255585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 256d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedmanvoid Preprocessor::PropagateLineStartLeadingSpaceInfo(Token &Result) { 257d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman if (CurTokenLexer) { 258d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman CurTokenLexer->PropagateLineStartLeadingSpaceInfo(Result); 259d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman return; 260d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman } 261d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman if (CurLexer) { 262d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman CurLexer->PropagateLineStartLeadingSpaceInfo(Result); 263d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman return; 264d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman } 265d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman // FIXME: Handle other kinds of lexers? It generally shouldn't matter, 266d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman // but it might if they're empty? 267d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman} 268d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman 269651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines/// \brief Determine the location to use as the end of the buffer for a lexer. 270651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines/// 271651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines/// If the file ends with a newline, form the EOF token on the newline itself, 272651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines/// rather than "on the line following it", which doesn't exist. This makes 273651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines/// diagnostics relating to the end of file include the last file that the user 274651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines/// actually typed, which is goodness. 275651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesconst char *Preprocessor::getCurLexerEndPos() { 276651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines const char *EndPos = CurLexer->BufferEnd; 277651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (EndPos != CurLexer->BufferStart && 278651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines (EndPos[-1] == '\n' || EndPos[-1] == '\r')) { 279651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines --EndPos; 280651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 281651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // Handle \n\r and \r\n: 282651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (EndPos != CurLexer->BufferStart && 283651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines (EndPos[-1] == '\n' || EndPos[-1] == '\r') && 284651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines EndPos[-1] != EndPos[0]) 285651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines --EndPos; 286651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 287651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 288651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines return EndPos; 289651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 290651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 291651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 2928c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// HandleEndOfFile - This callback is invoked when the lexer hits the end of 2938c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// the current file. This either returns the EOF token or pops a level off 2948c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// the include stack and keeps going. 2958c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnerbool Preprocessor::HandleEndOfFile(Token &Result, bool isEndOfMacro) { 2968c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(!CurTokenLexer && 2978c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner "Ending a file when currently in a macro!"); 2981eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2998c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // See if this file had a controlling macro. 3001a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek if (CurPPLexer) { // Not ending a macro, ignore it. 3011eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (const IdentifierInfo *ControllingMacro = 3021a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek CurPPLexer->MIOpt.GetControllingMacroAtEndOfFile()) { 30383d63c78810556d26b62ac4cbae2eda6cdd2570cSteve Naroff // Okay, this has a controlling macro, remember in HeaderFileInfo. 30487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar if (const FileEntry *FE = CurPPLexer->getFileEntry()) { 3058c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner HeaderInfo.SetFileControllingMacro(FE, ControllingMacro); 3066bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (MacroInfo *MI = 3076bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines getMacroInfo(const_cast<IdentifierInfo*>(ControllingMacro))) { 3086bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines MI->UsedForHeaderGuard = true; 3096bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines } 310671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu if (const IdentifierInfo *DefinedMacro = 311671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu CurPPLexer->MIOpt.GetDefinedMacro()) { 312b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar if (!isMacroDefined(ControllingMacro) && 313671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu DefinedMacro != ControllingMacro && 314671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu HeaderInfo.FirstTimeLexingFile(FE)) { 315223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi 316223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi // If the edit distance between the two macros is more than 50%, 317223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi // DefinedMacro may not be header guard, or can be header guard of 318223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi // another header file. Therefore, it maybe defining something 319223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi // completely different. This can be observed in the wild when 320223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi // handling feature macros or header guards in different files. 321223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi 322223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi const StringRef ControllingMacroName = ControllingMacro->getName(); 323223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi const StringRef DefinedMacroName = DefinedMacro->getName(); 324223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi const size_t MaxHalfLength = std::max(ControllingMacroName.size(), 325223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi DefinedMacroName.size()) / 2; 326223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi const unsigned ED = ControllingMacroName.edit_distance( 327223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi DefinedMacroName, true, MaxHalfLength); 328223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi if (ED <= MaxHalfLength) { 329223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi // Emit a warning for a bad header guard. 330223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi Diag(CurPPLexer->MIOpt.GetMacroLocation(), 331223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi diag::warn_header_guard) 332223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi << CurPPLexer->MIOpt.GetMacroLocation() << ControllingMacro; 333223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi Diag(CurPPLexer->MIOpt.GetDefinedLocation(), 334223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi diag::note_header_guard) 335223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi << CurPPLexer->MIOpt.GetDefinedLocation() << DefinedMacro 336223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi << ControllingMacro 337223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi << FixItHint::CreateReplacement( 338223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi CurPPLexer->MIOpt.GetDefinedLocation(), 339223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi ControllingMacro->getName()); 340223e7a8b0fadbbc9eaea1fb460cd90c8d9c8dd28Ismail Pazarbasi } 341671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu } 342671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu } 343671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu } 3448c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 3458c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 3461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3473eff3214647fe25e80dbf1dd096cc73a11d9a77aJohn McCall // Complain about reaching a true EOF within arc_cf_code_audited. 3483eff3214647fe25e80dbf1dd096cc73a11d9a77aJohn McCall // We don't want to complain about reaching the end of a macro 3493eff3214647fe25e80dbf1dd096cc73a11d9a77aJohn McCall // instantiation or a _Pragma. 3503eff3214647fe25e80dbf1dd096cc73a11d9a77aJohn McCall if (PragmaARCCFCodeAuditedLoc.isValid() && 351d80d90d65895a2004b0d01c67ac417cde6cc62fdJohn McCall !isEndOfMacro && !(CurLexer && CurLexer->Is_PragmaLexer)) { 3528dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall Diag(PragmaARCCFCodeAuditedLoc, diag::err_pp_eof_in_arc_cf_code_audited); 3538dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall 3548dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall // Recover by leaving immediately. 3558dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall PragmaARCCFCodeAuditedLoc = SourceLocation(); 3568dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall } 3578dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall 35887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // Complain about reaching a true EOF within assume_nonnull. 35987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // We don't want to complain about reaching the end of a macro 36087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // instantiation or a _Pragma. 36187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar if (PragmaAssumeNonNullLoc.isValid() && 36287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar !isEndOfMacro && !(CurLexer && CurLexer->Is_PragmaLexer)) { 36387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar Diag(PragmaAssumeNonNullLoc, diag::err_pp_eof_in_assume_nonnull); 36487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 36587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // Recover by leaving immediately. 36687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar PragmaAssumeNonNullLoc = SourceLocation(); 36787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar } 36887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 3698c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If this is a #include'd file, pop it off the include stack and continue 3708c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // lexing the #includer file. 3718c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (!IncludeMacroStack.empty()) { 3727d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis 3737d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis // If we lexed the code-completion file, act as if we reached EOF. 3747d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis if (isCodeCompletionEnabled() && CurPPLexer && 3757d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis SourceMgr.getLocForStartOfFile(CurPPLexer->getFileID()) == 3767d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CodeCompletionFileLoc) { 3777d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis if (CurLexer) { 3787d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis Result.startToken(); 3797d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CurLexer->FormTokenWithChars(Result, CurLexer->BufferEnd, tok::eof); 3807d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CurLexer.reset(); 3817d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis } else { 3827d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis assert(CurPTHLexer && "Got EOF but no current lexer set!"); 3837d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CurPTHLexer->getEOF(Result); 3847d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CurPTHLexer.reset(); 3857d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis } 3867d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis 3876bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines CurPPLexer = nullptr; 3887d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis return true; 3897d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis } 3907d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis 391d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis if (!isEndOfMacro && CurPPLexer && 392d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis SourceMgr.getIncludeLoc(CurPPLexer->getFileID()).isValid()) { 393d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis // Notify SourceManager to record the number of FileIDs that were created 394d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis // during lexing of the #include'd file. 395d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis unsigned NumFIDs = 396d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis SourceMgr.local_sloc_entry_size() - 397d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis CurPPLexer->getInitialNumSLocEntries() + 1/*#include'd file*/; 398d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis SourceMgr.setNumCreatedFIDsForFileID(CurPPLexer->getFileID(), NumFIDs); 399d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis } 400d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis 401c892c5fa92db137ff68d95afb13fe969d17f4fb2Argyrios Kyrtzidis FileID ExitedFID; 402c892c5fa92db137ff68d95afb13fe969d17f4fb2Argyrios Kyrtzidis if (Callbacks && !isEndOfMacro && CurPPLexer) 403c892c5fa92db137ff68d95afb13fe969d17f4fb2Argyrios Kyrtzidis ExitedFID = CurPPLexer->getFileID(); 404651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 405651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines bool LeavingSubmodule = CurSubmodule && CurLexer; 406651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (LeavingSubmodule) { 407651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // Notify the parser that we've left the module. 408651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines const char *EndPos = getCurLexerEndPos(); 409651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Result.startToken(); 410651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines CurLexer->BufferPtr = EndPos; 411651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines CurLexer->FormTokenWithChars(Result, EndPos, tok::annot_module_end); 412651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Result.setAnnotationEndLoc(Result.getLocation()); 413651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Result.setAnnotationValue(CurSubmodule); 414b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 415b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // We're done with this submodule. 416b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar LeaveSubmodule(); 417651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 418651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 4198c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // We're done with the #included file. 4208c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner RemoveTopOfLexerStack(); 4218c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 422d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman // Propagate info about start-of-line/leading white-space/etc. 423d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman PropagateLineStartLeadingSpaceInfo(Result); 424d2f9308220af22bfc1bcd3bc2cad118dbd8be013Eli Friedman 4258c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Notify the client, if desired, that we are in a new source file. 4261a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek if (Callbacks && !isEndOfMacro && CurPPLexer) { 4279d72851fec9e9c62570a027d42701562bbf29751Chris Lattner SrcMgr::CharacteristicKind FileType = 4288c61b53fdb283dade0bbf51c3c5befbc5d0aefa7Chris Lattner SourceMgr.getFileCharacteristic(CurPPLexer->getSourceLocation()); 4298c61b53fdb283dade0bbf51c3c5befbc5d0aefa7Chris Lattner Callbacks->FileChanged(CurPPLexer->getSourceLocation(), 430c892c5fa92db137ff68d95afb13fe969d17f4fb2Argyrios Kyrtzidis PPCallbacks::ExitFile, FileType, ExitedFID); 4318c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 4328c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 433651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // Client should lex another token unless we generated an EOM. 434651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines return LeavingSubmodule; 4358c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 4368c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 437651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // If this is the end of the main file, form an EOF token. 4381a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek if (CurLexer) { 439651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines const char *EndPos = getCurLexerEndPos(); 4401a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek Result.startToken(); 4411a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek CurLexer->BufferPtr = EndPos; 4421a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek CurLexer->FormTokenWithChars(Result, EndPos, tok::eof); 4431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 444bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis if (isCodeCompletionEnabled()) { 445bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // Inserting the code-completion point increases the source buffer by 1, 446bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // but the main FileID was created before inserting the point. 447bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // Compensate by reducing the EOF location by 1, otherwise the location 448bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // will point to the next FileID. 449bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // FIXME: This is hacky, the code-completion point should probably be 450bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // inserted before the main FileID is created. 451bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis if (CurLexer->getFileLoc() == CodeCompletionFileLoc) 452bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis Result.setLocation(Result.getLocation().getLocWithOffset(-1)); 453bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis } 454bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis 455e55329d6834647ba0e06f8a319e5d84c77310035Axel Naumann if (!isIncrementalProcessingEnabled()) 456e55329d6834647ba0e06f8a319e5d84c77310035Axel Naumann // We're done with lexing. 457e55329d6834647ba0e06f8a319e5d84c77310035Axel Naumann CurLexer.reset(); 45867116083e70ad44799808c7472d9cd9e7e21d4d5Chris Lattner } else { 45967116083e70ad44799808c7472d9cd9e7e21d4d5Chris Lattner assert(CurPTHLexer && "Got EOF but no current lexer set!"); 46059d08cb672136322375e5400578ee1fbd0947de2Ted Kremenek CurPTHLexer->getEOF(Result); 4611a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek CurPTHLexer.reset(); 4628c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 463e55329d6834647ba0e06f8a319e5d84c77310035Axel Naumann 464e55329d6834647ba0e06f8a319e5d84c77310035Axel Naumann if (!isIncrementalProcessingEnabled()) 4656bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines CurPPLexer = nullptr; 4668c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 467651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (TUKind == TU_Complete) { 468651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // This is the end of the top-level file. 'WarnUnusedMacroLocs' has 469651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // collected all macro locations that we need to warn because they are not 470651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // used. 471651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines for (WarnUnusedMacroLocsTy::iterator 472651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines I=WarnUnusedMacroLocs.begin(), E=WarnUnusedMacroLocs.end(); 473651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines I!=E; ++I) 474651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Diag(*I, diag::pp_macro_not_used); 475651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 476dbd8209b33e6c9f151e4913a9c095d64a95439c4Daniel Dunbar 477585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor // If we are building a module that has an umbrella header, make sure that 478585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor // each of the headers within the directory covered by the umbrella header 479585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor // was actually included by the umbrella header. 480585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (Module *Mod = getCurrentModule()) { 481585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (Mod->getUmbrellaHeader()) { 482585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor SourceLocation StartLoc 483585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor = SourceMgr.getLocForStartOfFile(SourceMgr.getMainFileID()); 484585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 485c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines if (!getDiagnostics().isIgnored(diag::warn_uncovered_module_header, 486c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines StartLoc)) { 48751f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor ModuleMap &ModMap = getHeaderSearchInfo().getModuleMap(); 488b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar const DirectoryEntry *Dir = Mod->getUmbrellaDir().Entry; 489c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines vfs::FileSystem &FS = *FileMgr.getVirtualFileSystem(); 490c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines std::error_code EC; 491c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines for (vfs::recursive_directory_iterator Entry(FS, Dir->getName(), EC), End; 492585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor Entry != End && !EC; Entry.increment(EC)) { 493585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor using llvm::StringSwitch; 494585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 49551f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor // Check whether this entry has an extension typically associated with 496585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor // headers. 497c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines if (!StringSwitch<bool>(llvm::sys::path::extension(Entry->getName())) 49851f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor .Cases(".h", ".H", ".hh", ".hpp", true) 49951f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor .Default(false)) 500585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor continue; 501585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 502c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines if (const FileEntry *Header = 503c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines getFileManager().getFile(Entry->getName())) 504585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (!getSourceManager().hasFileInfo(Header)) { 50551f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor if (!ModMap.isHeaderInUnavailableModule(Header)) { 50651f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor // Find the relative path that would access this header. 507f7ccbad5d9949e7ddd1cbef43d482553b811e026Dylan Noblesmith SmallString<128> RelativePath; 50851f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor computeRelativePath(FileMgr, Dir, Header, RelativePath); 50951f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor Diag(StartLoc, diag::warn_uncovered_module_header) 510c9c3907e66659e4457593fdec4a27c671c12e041Douglas Gregor << Mod->getFullModuleName() << RelativePath; 51151f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor } 512585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 513585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 514585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 515585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 516585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 51758ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor 5188c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return true; 5198c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 5208c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 5218c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// HandleEndOfTokenLexer - This callback is invoked when the current TokenLexer 5228c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// hits the end of its token stream. 5238c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnerbool Preprocessor::HandleEndOfTokenLexer(Token &Result) { 5241a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek assert(CurTokenLexer && !CurPPLexer && 5258c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner "Ending a macro when currently in a #include file!"); 5268c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 5275b3284a9275a27f5c4410e25eb8933be540601d6Argyrios Kyrtzidis if (!MacroExpandingLexersStack.empty() && 5285b3284a9275a27f5c4410e25eb8933be540601d6Argyrios Kyrtzidis MacroExpandingLexersStack.back().first == CurTokenLexer.get()) 5295b3284a9275a27f5c4410e25eb8933be540601d6Argyrios Kyrtzidis removeCachedMacroExpandedTokensOfLastLexer(); 5305b3284a9275a27f5c4410e25eb8933be540601d6Argyrios Kyrtzidis 5318c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Delete or cache the now-dead macro expander. 5328c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (NumCachedTokenLexers == TokenLexerCacheSize) 533caaa7df2c78bbd40197823034c0275f3dcbd63e7Ted Kremenek CurTokenLexer.reset(); 5348c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner else 535176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines TokenLexerCache[NumCachedTokenLexers++] = std::move(CurTokenLexer); 5368c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 5378c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Handle this like a #include file being popped off the stack. 5388c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return HandleEndOfFile(Result, true); 5398c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 5408c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 5418c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// RemoveTopOfLexerStack - Pop the current lexer/macro exp off the top of the 5428c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// lexer stack. This should only be used in situations where the current 5438c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// state of the top-of-stack lexer is unknown. 5448c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnervoid Preprocessor::RemoveTopOfLexerStack() { 5458c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(!IncludeMacroStack.empty() && "Ran out of stack entries to load"); 5461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 5478c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (CurTokenLexer) { 5488c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Delete or cache the now-dead macro expander. 5498c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (NumCachedTokenLexers == TokenLexerCacheSize) 550caaa7df2c78bbd40197823034c0275f3dcbd63e7Ted Kremenek CurTokenLexer.reset(); 5518c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner else 552176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines TokenLexerCache[NumCachedTokenLexers++] = std::move(CurTokenLexer); 5531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 5541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 555ed04c4cdca11119cac7d2fd65685444ce25f9e37Ted Kremenek PopIncludeMacroStack(); 5568c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 5578c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 5588c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// HandleMicrosoftCommentPaste - When the macro expander pastes together a 5598c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// comment (/##/) in microsoft mode, this method handles updating the current 5608c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// state, returning the token on the next source line. 5618c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnervoid Preprocessor::HandleMicrosoftCommentPaste(Token &Tok) { 5621a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek assert(CurTokenLexer && !CurPPLexer && 5638c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner "Pasted comment can only be formed from macro"); 5648c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // We handle this by scanning for the closest real lexer, switching it to 5658c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // raw mode and preprocessor mode. This will cause it to return \n as an 56684021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // explicit EOD token. 5676bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines PreprocessorLexer *FoundLexer = nullptr; 5688c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner bool LexerWasInPPMode = false; 5698c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner for (unsigned i = 0, e = IncludeMacroStack.size(); i != e; ++i) { 5708c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner IncludeStackInfo &ISI = *(IncludeMacroStack.end()-i-1); 5716bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (ISI.ThePPLexer == nullptr) continue; // Scan for a real lexer. 5721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 5738c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Once we find a real lexer, mark it as raw mode (disabling macro 57484021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // expansions) and preprocessor mode (return EOD). We know that the lexer 5758c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // was *not* in raw mode before, because the macro that the comment came 5768c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // from was expanded. However, it could have already been in preprocessor 5778c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // mode (#if COMMENT) in which case we have to return it to that mode and 57884021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // return EOD. 5791a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek FoundLexer = ISI.ThePPLexer; 5808c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer->LexingRawMode = true; 5818c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner LexerWasInPPMode = FoundLexer->ParsingPreprocessorDirective; 5828c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer->ParsingPreprocessorDirective = true; 5838c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner break; 5848c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 5851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 5868c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Okay, we either found and switched over the lexer, or we didn't find a 5878c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // lexer. In either case, finish off the macro the comment came from, getting 5888c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // the next token. 5898c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (!HandleEndOfTokenLexer(Tok)) Lex(Tok); 5901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 59184021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // Discarding comments as long as we don't have EOF or EOD. This 'comments 5928c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // out' the rest of the line, including any tokens that came from other macros 5938c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // that were active, as in: 5948c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // #define submacro a COMMENT b 5958c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // submacro c 5968c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // which should lex to 'a' only: 'b' and 'c' should be removed. 59784021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne while (Tok.isNot(tok::eod) && Tok.isNot(tok::eof)) 5988c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Lex(Tok); 5991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 60084021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // If we got an eod token, then we successfully found the end of the line. 60184021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (Tok.is(tok::eod)) { 6028c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(FoundLexer && "Can't get end of line without an active lexer"); 6038c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Restore the lexer back to normal mode instead of raw mode. 6048c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer->LexingRawMode = false; 6051eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 60684021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // If the lexer was already in preprocessor mode, just return the EOD token 6078c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // to finish the preprocessor line. 6088c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (LexerWasInPPMode) return; 6091eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6108c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Otherwise, switch out of PP mode and return the next lexed token. 6118c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer->ParsingPreprocessorDirective = false; 6128c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return Lex(Tok); 6138c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 6141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6158c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If we got an EOF token, then we reached the end of the token stream but 6168c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // didn't find an explicit \n. This can only happen if there was no lexer 61784021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // active (an active lexer would return EOD at EOF if there was no \n in 6188c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // preprocessor directive mode), so just return EOF as our token. 61984021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne assert(!FoundLexer && "Lexer should return EOD before EOF in PP mode"); 6208c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 621b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 622b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainarvoid Preprocessor::EnterSubmodule(Module *M, SourceLocation ImportLoc) { 623b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar if (!getLangOpts().ModulesLocalVisibility) { 624b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // Just track that we entered this submodule. 6254967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar BuildingSubmoduleStack.push_back(BuildingSubmoduleInfo( 6264967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar M, ImportLoc, CurSubmoduleState, PendingModuleMacroNames.size())); 627b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar return; 628b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar } 629b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 630b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // Resolve as much of the module definition as we can now, before we enter 631b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // one of its headers. 632b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // FIXME: Can we enable Complain here? 633b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // FIXME: Can we do this when local visibility is disabled? 634b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar ModuleMap &ModMap = getHeaderSearchInfo().getModuleMap(); 635b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar ModMap.resolveExports(M, /*Complain=*/false); 636b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar ModMap.resolveUses(M, /*Complain=*/false); 637b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar ModMap.resolveConflicts(M, /*Complain=*/false); 638b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 639b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // If this is the first time we've entered this module, set up its state. 640b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar auto R = Submodules.insert(std::make_pair(M, SubmoduleState())); 641b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar auto &State = R.first->second; 642b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar bool FirstTime = R.second; 643b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar if (FirstTime) { 644b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // Determine the set of starting macros for this submodule; take these 645b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // from the "null" module (the predefines buffer). 64687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // 64787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // FIXME: If we have local visibility but not modules enabled, the 64887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // NullSubmoduleState is polluted by #defines in the top-level source 64987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // file. 650b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar auto &StartingMacros = NullSubmoduleState.Macros; 651b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 652b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // Restore to the starting state. 653b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // FIXME: Do this lazily, when each macro name is first referenced. 654b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar for (auto &Macro : StartingMacros) { 65587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // Skip uninteresting macros. 65687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar if (!Macro.second.getLatest() && 65787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar Macro.second.getOverriddenMacros().empty()) 65887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar continue; 65987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 660b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar MacroState MS(Macro.second.getLatest()); 661b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar MS.setOverriddenMacros(*this, Macro.second.getOverriddenMacros()); 662b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar State.Macros.insert(std::make_pair(Macro.first, std::move(MS))); 663b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar } 664b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar } 665b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 666b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // Track that we entered this module. 6674967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar BuildingSubmoduleStack.push_back(BuildingSubmoduleInfo( 6684967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar M, ImportLoc, CurSubmoduleState, PendingModuleMacroNames.size())); 669b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 670b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // Switch to this submodule as the current submodule. 671b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar CurSubmoduleState = &State; 672b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 673b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // This module is visible to itself. 674b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar if (FirstTime) 675b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar makeModuleVisible(M, ImportLoc); 676b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar} 677b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 6784967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainarbool Preprocessor::needModuleMacros() const { 6794967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar // If we're not within a submodule, we never need to create ModuleMacros. 6804967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar if (BuildingSubmoduleStack.empty()) 6814967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar return false; 6824967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar // If we are tracking module macro visibility even for textually-included 6834967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar // headers, we need ModuleMacros. 6844967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar if (getLangOpts().ModulesLocalVisibility) 6854967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar return true; 6864967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar // Otherwise, we only need module macros if we're actually compiling a module 6874967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar // interface. 6884967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar return getLangOpts().CompilingModule; 6894967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar} 6904967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar 691b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainarvoid Preprocessor::LeaveSubmodule() { 692b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar auto &Info = BuildingSubmoduleStack.back(); 693b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 694b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar Module *LeavingMod = Info.M; 695b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar SourceLocation ImportLoc = Info.ImportLoc; 696b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 6974967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar if (!needModuleMacros() || 6984967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar (!getLangOpts().ModulesLocalVisibility && 6994967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar LeavingMod->getTopLevelModuleName() != getLangOpts().CurrentModule)) { 7004967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar // If we don't need module macros, or this is not a module for which we 7014967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar // are tracking macro visibility, don't build any, and preserve the list 7024967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar // of pending names for the surrounding submodule. 7034967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar BuildingSubmoduleStack.pop_back(); 7044967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar makeModuleVisible(LeavingMod, ImportLoc); 7054967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar return; 7064967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar } 7074967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar 708b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // Create ModuleMacros for any macros defined in this submodule. 7094967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar llvm::SmallPtrSet<const IdentifierInfo*, 8> VisitedMacros; 7104967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar for (unsigned I = Info.OuterPendingModuleMacroNames; 7114967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar I != PendingModuleMacroNames.size(); ++I) { 7124967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar auto *II = const_cast<IdentifierInfo*>(PendingModuleMacroNames[I]); 7134967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar if (!VisitedMacros.insert(II).second) 7144967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar continue; 7154967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar 7164967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar auto MacroIt = CurSubmoduleState->Macros.find(II); 7174967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar if (MacroIt == CurSubmoduleState->Macros.end()) 7184967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar continue; 7194967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar auto &Macro = MacroIt->second; 720b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 721b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // Find the starting point for the MacroDirective chain in this submodule. 722b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar MacroDirective *OldMD = nullptr; 7234967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar auto *OldState = Info.OuterSubmoduleState; 7244967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar if (getLangOpts().ModulesLocalVisibility) 7254967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar OldState = &NullSubmoduleState; 7264967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar if (OldState && OldState != CurSubmoduleState) { 727b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // FIXME: It'd be better to start at the state from when we most recently 728b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // entered this submodule, but it doesn't really matter. 7294967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar auto &OldMacros = OldState->Macros; 7304967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar auto OldMacroIt = OldMacros.find(II); 7314967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar if (OldMacroIt == OldMacros.end()) 732b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar OldMD = nullptr; 733b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar else 7344967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar OldMD = OldMacroIt->second.getLatest(); 735b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar } 736b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 737b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // This module may have exported a new macro. If so, create a ModuleMacro 738b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // representing that fact. 739b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar bool ExplicitlyPublic = false; 7404967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar for (auto *MD = Macro.getLatest(); MD != OldMD; MD = MD->getPrevious()) { 741b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar assert(MD && "broken macro directive chain"); 742b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 7434967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar // Stop on macros defined in other submodules of this module that we 7444967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar // #included along the way. There's no point doing this if we're 7454967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar // tracking local submodule visibility, since there can be no such 7464967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar // directives in our list. 747b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar if (!getLangOpts().ModulesLocalVisibility) { 748b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar Module *Mod = getModuleContainingLocation(MD->getLocation()); 7494967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar if (Mod != LeavingMod && 7504967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar Mod->getTopLevelModule() == LeavingMod->getTopLevelModule()) 751b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar break; 752b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar } 753b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 754b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar if (auto *VisMD = dyn_cast<VisibilityMacroDirective>(MD)) { 755b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // The latest visibility directive for a name in a submodule affects 756b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // all the directives that come before it. 757b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar if (VisMD->isPublic()) 758b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar ExplicitlyPublic = true; 759b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar else if (!ExplicitlyPublic) 760b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // Private with no following public directive: not exported. 761b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar break; 762b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar } else { 763b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar MacroInfo *Def = nullptr; 764b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar if (DefMacroDirective *DefMD = dyn_cast<DefMacroDirective>(MD)) 765b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar Def = DefMD->getInfo(); 766b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 767b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // FIXME: Issue a warning if multiple headers for the same submodule 768b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // define a macro, rather than silently ignoring all but the first. 769b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar bool IsNew; 770b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // Don't bother creating a module macro if it would represent a #undef 771b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // that doesn't override anything. 7724967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar if (Def || !Macro.getOverriddenMacros().empty()) 773b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar addModuleMacro(LeavingMod, II, Def, 7744967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar Macro.getOverriddenMacros(), IsNew); 775b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar break; 776b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar } 777b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar } 778b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar } 7794967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar PendingModuleMacroNames.resize(Info.OuterPendingModuleMacroNames); 780b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 78187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // FIXME: Before we leave this submodule, we should parse all the other 78287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // headers within it. Otherwise, we're left with an inconsistent state 78387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // where we've made the module visible but don't yet have its complete 78487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar // contents. 78587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar 786b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // Put back the outer module's state, if we're tracking it. 787b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar if (getLangOpts().ModulesLocalVisibility) 788b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar CurSubmoduleState = Info.OuterSubmoduleState; 789b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 790b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar BuildingSubmoduleStack.pop_back(); 791b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar 792b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar // A nested #include makes the included submodule visible. 79387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar makeModuleVisible(LeavingMod, ImportLoc); 794b6d6993e6e6d3daf4d9876794254d20a134e37c2Pirama Arumuga Nainar} 795