PPLexerChange.cpp revision 671538e8a51eab5bd65a1f9f327ba7f44f84e486
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" 2155fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "llvm/ADT/StringSwitch.h" 22585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor#include "llvm/Support/FileSystem.h" 2315ba2af0f9ad52e67e908179b8ec2eb404e11c61Ted Kremenek#include "llvm/Support/MemoryBuffer.h" 248229d22e6449851b89361bf2f41804557328be63Rafael Espindola#include "llvm/Support/Path.h" 258c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnerusing namespace clang; 268c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 274b391087f9c5582d448ab66ccbc7028f7673f380Ted KremenekPPCallbacks::~PPCallbacks() {} 288c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 298c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner//===----------------------------------------------------------------------===// 306b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner// Miscellaneous Methods. 318c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner//===----------------------------------------------------------------------===// 328c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 338c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// isInPrimaryFile - Return true if we're in the top-level file, not in a 341a5f9000b690d08e65b6b8821e4f7c57d63beb1dJames Dennett/// \#include. This looks through macro expansions and active _Pragma lexers. 358c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnerbool Preprocessor::isInPrimaryFile() const { 3681d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek if (IsFileLexer()) 378c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return IncludeMacroStack.empty(); 381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 398c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If there are any stacked lexers, we're in a #include. 4081d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek assert(IsFileLexer(IncludeMacroStack[0]) && 418c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner "Top level include stack isn't our primary lexer?"); 428c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner for (unsigned i = 1, e = IncludeMacroStack.size(); i != e; ++i) 4381d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek if (IsFileLexer(IncludeMacroStack[i])) 448c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return false; 458c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return true; 468c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 478c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 488c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// getCurrentLexer - Return the current file lexer being lexed from. Note 498c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// that this ignores any potentially active macro expansions and _Pragma 508c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// expansions going on at the time. 5168e48e4a81767997ef0231e47eca4f665102c95eTed KremenekPreprocessorLexer *Preprocessor::getCurrentFileLexer() const { 5281d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek if (IsFileLexer()) 5368e48e4a81767997ef0231e47eca4f665102c95eTed Kremenek return CurPPLexer; 541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 558c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Look for a stacked lexer. 568c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner for (unsigned i = IncludeMacroStack.size(); i != 0; --i) { 5768e48e4a81767997ef0231e47eca4f665102c95eTed Kremenek const IncludeStackInfo& ISI = IncludeMacroStack[i-1]; 5881d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek if (IsFileLexer(ISI)) 5968e48e4a81767997ef0231e47eca4f665102c95eTed Kremenek return ISI.ThePPLexer; 608c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 618c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return 0; 628c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 638c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 646b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner 656b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner//===----------------------------------------------------------------------===// 666b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner// Methods for Entering and Callbacks for leaving various contexts 676b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner//===----------------------------------------------------------------------===// 688c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 698c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// EnterSourceFile - Add a source file to the top of the include stack and 70e7f2cbd8c093dcaebaa04c3f7b8fb1a0b4533b15Nuno Lopes/// start lexing tokens from it instead of the current buffer. 71e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattnervoid Preprocessor::EnterSourceFile(FileID FID, const DirectoryLookup *CurDir, 72e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner SourceLocation Loc) { 737247c88d1e41514a41085f83ebf03dd5220e054aDavid Blaikie assert(!CurTokenLexer && "Cannot #include a file inside a macro!"); 748c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner ++NumEnteredSourceFiles; 751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 768c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (MaxIncludeStackDepth < IncludeMacroStack.size()) 778c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner MaxIncludeStackDepth = IncludeMacroStack.size(); 788c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 796137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek if (PTH) { 806e2901407bff59aeb4cc301cc58b034723d0eb49Chris Lattner if (PTHLexer *PL = PTH->CreateLexer(FID)) { 816e2901407bff59aeb4cc301cc58b034723d0eb49Chris Lattner EnterSourceFileWithPTH(PL, CurDir); 82e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner return; 836e2901407bff59aeb4cc301cc58b034723d0eb49Chris Lattner } 846137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek } 856e2901407bff59aeb4cc301cc58b034723d0eb49Chris Lattner 866e2901407bff59aeb4cc301cc58b034723d0eb49Chris Lattner // Get the MemoryBuffer for this FID, if it fails, we fail. 87aae58b0c3efb5fa9f97a3e4b1c1a2d31077efe5bDouglas Gregor bool Invalid = false; 88e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner const llvm::MemoryBuffer *InputFile = 89e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner getSourceManager().getBuffer(FID, Loc, &Invalid); 90e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner if (Invalid) { 91e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner SourceLocation FileStart = SourceMgr.getLocForStartOfFile(FID); 92e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner Diag(Loc, diag::err_pp_error_opening_file) 93e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner << std::string(SourceMgr.getBufferName(FileStart)) << ""; 94e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner return; 95e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner } 967d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis 977d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis if (isCodeCompletionEnabled() && 987d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis SourceMgr.getFileEntryForID(FID) == CodeCompletionFile) { 997d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CodeCompletionFileLoc = SourceMgr.getLocForStartOfFile(FID); 1007d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CodeCompletionLoc = 101a64ccefdf0ea4e03ec88805d71b0af74950c7472Argyrios Kyrtzidis CodeCompletionFileLoc.getLocWithOffset(CodeCompletionOffset); 1027d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis } 1037d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis 1046e2901407bff59aeb4cc301cc58b034723d0eb49Chris Lattner EnterSourceFileWithLexer(new Lexer(FID, InputFile, *this), CurDir); 105e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner return; 1061eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump} 107721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner 1086137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek/// EnterSourceFileWithLexer - Add a source file to the top of the include stack 1096137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek/// and start lexing tokens from it instead of the current buffer. 1101eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid Preprocessor::EnterSourceFileWithLexer(Lexer *TheLexer, 1118c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner const DirectoryLookup *CurDir) { 1121eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1138c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Add the current lexer to the include stack. 11441938c8493b4380df738263166b746eacb33c309Ted Kremenek if (CurPPLexer || CurTokenLexer) 115ed04c4cdca11119cac7d2fd65685444ce25f9e37Ted Kremenek PushIncludeMacroStack(); 116ed04c4cdca11119cac7d2fd65685444ce25f9e37Ted Kremenek 117caaa7df2c78bbd40197823034c0275f3dcbd63e7Ted Kremenek CurLexer.reset(TheLexer); 1189c1b750c59d510e6c9eccb1f37bccc46ccfe6844Ted Kremenek CurPPLexer = TheLexer; 1198c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurDirLookup = CurDir; 120b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor if (CurLexerKind != CLK_LexAfterModuleImport) 121b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor CurLexerKind = CLK_Lexer; 122b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor 1238c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Notify the client, if desired, that we are in a new source file. 1248c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (Callbacks && !CurLexer->Is_PragmaLexer) { 1259d72851fec9e9c62570a027d42701562bbf29751Chris Lattner SrcMgr::CharacteristicKind FileType = 1260b9e736308af5397f558ffc8e780c438c2fdb563Chris Lattner SourceMgr.getFileCharacteristic(CurLexer->getFileLoc()); 1271eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1288c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Callbacks->FileChanged(CurLexer->getFileLoc(), 1298c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner PPCallbacks::EnterFile, FileType); 1308c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 1318c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 1328c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1336137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek/// EnterSourceFileWithPTH - Add a source file to the top of the include stack 1346137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek/// and start getting tokens from it using the PTH cache. 1351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid Preprocessor::EnterSourceFileWithPTH(PTHLexer *PL, 1366137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek const DirectoryLookup *CurDir) { 1371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1386137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek if (CurPPLexer || CurTokenLexer) 1396137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek PushIncludeMacroStack(); 1408c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1416137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek CurDirLookup = CurDir; 1426137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek CurPTHLexer.reset(PL); 1436137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek CurPPLexer = CurPTHLexer.get(); 144b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor if (CurLexerKind != CLK_LexAfterModuleImport) 145b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor CurLexerKind = CLK_PTHLexer; 146b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor 1476137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek // Notify the client, if desired, that we are in a new source file. 1486137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek if (Callbacks) { 1492b2453a7d8fe732561795431f39ceb2b2a832d84Chris Lattner FileID FID = CurPPLexer->getFileID(); 1508c61b53fdb283dade0bbf51c3c5befbc5d0aefa7Chris Lattner SourceLocation EnterLoc = SourceMgr.getLocForStartOfFile(FID); 1518c61b53fdb283dade0bbf51c3c5befbc5d0aefa7Chris Lattner SrcMgr::CharacteristicKind FileType = 1528c61b53fdb283dade0bbf51c3c5befbc5d0aefa7Chris Lattner SourceMgr.getFileCharacteristic(EnterLoc); 1538c61b53fdb283dade0bbf51c3c5befbc5d0aefa7Chris Lattner Callbacks->FileChanged(EnterLoc, PPCallbacks::EnterFile, FileType); 1546137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek } 1556137dc99ef0c2b14050631367057758b0d596cb3Ted Kremenek} 1568c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1578c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// EnterMacro - Add a Macro to the top of the include stack and start lexing 1588c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// tokens from it instead of the current buffer. 159e7fb48466afcbf2c4ccdfa658824282fdc3c512cChris Lattnervoid Preprocessor::EnterMacro(Token &Tok, SourceLocation ILEnd, 160c30981a563a8947cb26b1e308d122fa2ef90fcebRichard Smith MacroInfo *Macro, MacroArgs *Args) { 161bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis TokenLexer *TokLexer; 1628c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (NumCachedTokenLexers == 0) { 163bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis TokLexer = new TokenLexer(Tok, ILEnd, Macro, Args, *this); 1648c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } else { 165bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis TokLexer = TokenLexerCache[--NumCachedTokenLexers]; 166bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis TokLexer->Init(Tok, ILEnd, Macro, Args); 1678c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 168bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis 169bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis PushIncludeMacroStack(); 170bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis CurDirLookup = 0; 171bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis CurTokenLexer.reset(TokLexer); 172b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor if (CurLexerKind != CLK_LexAfterModuleImport) 173b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor CurLexerKind = CLK_TokenLexer; 1748c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 1758c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1768c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// EnterTokenStream - Add a "macro" context to the top of the include stack, 1776b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// which will cause the lexer to start returning the specified tokens. 1786b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// 1796b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// If DisableMacroExpansion is true, tokens lexed from the token stream will 1806b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// not be subject to further macro expansion. Otherwise, these tokens will 1816b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// be re-macro-expanded when/if expansion is enabled. 1826b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// 1836b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// If OwnsTokens is false, this method assumes that the specified stream of 1846b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// tokens has a permanent owner somewhere, so they do not need to be copied. 1856b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// If it is true, it assumes the array of tokens is allocated with new[] and 1866b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// must be freed. 1876b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// 1886b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattnervoid Preprocessor::EnterTokenStream(const Token *Toks, unsigned NumToks, 1896b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner bool DisableMacroExpansion, 1906b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner bool OwnsTokens) { 1918c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Create a macro expander to expand from the specified token stream. 192bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis TokenLexer *TokLexer; 1938c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (NumCachedTokenLexers == 0) { 194bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis TokLexer = new TokenLexer(Toks, NumToks, DisableMacroExpansion, 195bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis OwnsTokens, *this); 1968c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } else { 197bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis TokLexer = TokenLexerCache[--NumCachedTokenLexers]; 198bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis TokLexer->Init(Toks, NumToks, DisableMacroExpansion, OwnsTokens); 1998c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 200bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis 201bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // Save our current state. 202bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis PushIncludeMacroStack(); 203bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis CurDirLookup = 0; 204bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis CurTokenLexer.reset(TokLexer); 205b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor if (CurLexerKind != CLK_LexAfterModuleImport) 206b8db7cd9ac05c522855631670ec2e97255384f5aDouglas Gregor CurLexerKind = CLK_TokenLexer; 2078c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 2088c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 209585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor/// \brief Compute the relative path that names the given file relative to 210585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor/// the given directory. 211585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregorstatic void computeRelativePath(FileManager &FM, const DirectoryEntry *Dir, 212585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor const FileEntry *File, 213f7ccbad5d9949e7ddd1cbef43d482553b811e026Dylan Noblesmith SmallString<128> &Result) { 214585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor Result.clear(); 215585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 216585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor StringRef FilePath = File->getDir()->getName(); 217585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor StringRef Path = FilePath; 218585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor while (!Path.empty()) { 219585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (const DirectoryEntry *CurDir = FM.getDirectory(Path)) { 220585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (CurDir == Dir) { 221585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor Result = FilePath.substr(Path.size()); 222585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor llvm::sys::path::append(Result, 223585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor llvm::sys::path::filename(File->getName())); 224585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor return; 225585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 226585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 227585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 228585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor Path = llvm::sys::path::parent_path(Path); 229585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 230585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 231585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor Result = File->getName(); 232585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor} 233585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 2348c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// HandleEndOfFile - This callback is invoked when the lexer hits the end of 2358c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// the current file. This either returns the EOF token or pops a level off 2368c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// the include stack and keeps going. 2378c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnerbool Preprocessor::HandleEndOfFile(Token &Result, bool isEndOfMacro) { 2388c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(!CurTokenLexer && 2398c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner "Ending a file when currently in a macro!"); 2401eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2418c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // See if this file had a controlling macro. 2421a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek if (CurPPLexer) { // Not ending a macro, ignore it. 2431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (const IdentifierInfo *ControllingMacro = 2441a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek CurPPLexer->MIOpt.GetControllingMacroAtEndOfFile()) { 24583d63c78810556d26b62ac4cbae2eda6cdd2570cSteve Naroff // Okay, this has a controlling macro, remember in HeaderFileInfo. 2461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (const FileEntry *FE = 247671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu SourceMgr.getFileEntryForID(CurPPLexer->getFileID())) { 2488c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner HeaderInfo.SetFileControllingMacro(FE, ControllingMacro); 249671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu if (const IdentifierInfo *DefinedMacro = 250671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu CurPPLexer->MIOpt.GetDefinedMacro()) { 251671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu if (!ControllingMacro->hasMacroDefinition() && 252671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu DefinedMacro != ControllingMacro && 253671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu HeaderInfo.FirstTimeLexingFile(FE)) { 254671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu // Emit a warning for a bad header guard. 255671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu Diag(CurPPLexer->MIOpt.GetMacroLocation(), 256671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu diag::warn_header_guard) 257671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu << CurPPLexer->MIOpt.GetMacroLocation() 258671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu << ControllingMacro; 259671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu Diag(CurPPLexer->MIOpt.GetDefinedLocation(), 260671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu diag::note_header_guard) 261671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu << CurPPLexer->MIOpt.GetDefinedLocation() 262671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu << DefinedMacro 263671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu << ControllingMacro 264671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu << FixItHint::CreateReplacement( 265671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu CurPPLexer->MIOpt.GetDefinedLocation(), 266671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu ControllingMacro->getName()); 267671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu } 268671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu } 269671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu } 2708c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 2718c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 2721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2733eff3214647fe25e80dbf1dd096cc73a11d9a77aJohn McCall // Complain about reaching a true EOF within arc_cf_code_audited. 2743eff3214647fe25e80dbf1dd096cc73a11d9a77aJohn McCall // We don't want to complain about reaching the end of a macro 2753eff3214647fe25e80dbf1dd096cc73a11d9a77aJohn McCall // instantiation or a _Pragma. 2763eff3214647fe25e80dbf1dd096cc73a11d9a77aJohn McCall if (PragmaARCCFCodeAuditedLoc.isValid() && 277d80d90d65895a2004b0d01c67ac417cde6cc62fdJohn McCall !isEndOfMacro && !(CurLexer && CurLexer->Is_PragmaLexer)) { 2788dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall Diag(PragmaARCCFCodeAuditedLoc, diag::err_pp_eof_in_arc_cf_code_audited); 2798dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall 2808dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall // Recover by leaving immediately. 2818dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall PragmaARCCFCodeAuditedLoc = SourceLocation(); 2828dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall } 2838dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall 2848c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If this is a #include'd file, pop it off the include stack and continue 2858c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // lexing the #includer file. 2868c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (!IncludeMacroStack.empty()) { 2877d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis 2887d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis // If we lexed the code-completion file, act as if we reached EOF. 2897d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis if (isCodeCompletionEnabled() && CurPPLexer && 2907d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis SourceMgr.getLocForStartOfFile(CurPPLexer->getFileID()) == 2917d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CodeCompletionFileLoc) { 2927d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis if (CurLexer) { 2937d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis Result.startToken(); 2947d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CurLexer->FormTokenWithChars(Result, CurLexer->BufferEnd, tok::eof); 2957d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CurLexer.reset(); 2967d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis } else { 2977d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis assert(CurPTHLexer && "Got EOF but no current lexer set!"); 2987d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CurPTHLexer->getEOF(Result); 2997d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CurPTHLexer.reset(); 3007d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis } 3017d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis 3027d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis CurPPLexer = 0; 3037d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis return true; 3047d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis } 3057d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis 306d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis if (!isEndOfMacro && CurPPLexer && 307d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis SourceMgr.getIncludeLoc(CurPPLexer->getFileID()).isValid()) { 308d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis // Notify SourceManager to record the number of FileIDs that were created 309d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis // during lexing of the #include'd file. 310d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis unsigned NumFIDs = 311d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis SourceMgr.local_sloc_entry_size() - 312d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis CurPPLexer->getInitialNumSLocEntries() + 1/*#include'd file*/; 313d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis SourceMgr.setNumCreatedFIDsForFileID(CurPPLexer->getFileID(), NumFIDs); 314d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis } 315d9d2b679d0728ea7f539f38aaea38e26b8b08043Argyrios Kyrtzidis 316c892c5fa92db137ff68d95afb13fe969d17f4fb2Argyrios Kyrtzidis FileID ExitedFID; 317c892c5fa92db137ff68d95afb13fe969d17f4fb2Argyrios Kyrtzidis if (Callbacks && !isEndOfMacro && CurPPLexer) 318c892c5fa92db137ff68d95afb13fe969d17f4fb2Argyrios Kyrtzidis ExitedFID = CurPPLexer->getFileID(); 319c892c5fa92db137ff68d95afb13fe969d17f4fb2Argyrios Kyrtzidis 3208c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // We're done with the #included file. 3218c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner RemoveTopOfLexerStack(); 3228c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 3238c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Notify the client, if desired, that we are in a new source file. 3241a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek if (Callbacks && !isEndOfMacro && CurPPLexer) { 3259d72851fec9e9c62570a027d42701562bbf29751Chris Lattner SrcMgr::CharacteristicKind FileType = 3268c61b53fdb283dade0bbf51c3c5befbc5d0aefa7Chris Lattner SourceMgr.getFileCharacteristic(CurPPLexer->getSourceLocation()); 3278c61b53fdb283dade0bbf51c3c5befbc5d0aefa7Chris Lattner Callbacks->FileChanged(CurPPLexer->getSourceLocation(), 328c892c5fa92db137ff68d95afb13fe969d17f4fb2Argyrios Kyrtzidis PPCallbacks::ExitFile, FileType, ExitedFID); 3298c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 3308c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 3318c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Client should lex another token. 3328c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return false; 3338c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 3348c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 3358c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If the file ends with a newline, form the EOF token on the newline itself, 3368c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // rather than "on the line following it", which doesn't exist. This makes 3378c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // diagnostics relating to the end of file include the last file that the user 3388c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // actually typed, which is goodness. 3391a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek if (CurLexer) { 3401a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek const char *EndPos = CurLexer->BufferEnd; 3411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (EndPos != CurLexer->BufferStart && 3421a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek (EndPos[-1] == '\n' || EndPos[-1] == '\r')) { 3438c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner --EndPos; 3441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3451a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek // Handle \n\r and \r\n: 3461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (EndPos != CurLexer->BufferStart && 3471a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek (EndPos[-1] == '\n' || EndPos[-1] == '\r') && 3481a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek EndPos[-1] != EndPos[0]) 3491a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek --EndPos; 3501a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek } 3511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3521a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek Result.startToken(); 3531a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek CurLexer->BufferPtr = EndPos; 3541a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek CurLexer->FormTokenWithChars(Result, EndPos, tok::eof); 3551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 356bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis if (isCodeCompletionEnabled()) { 357bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // Inserting the code-completion point increases the source buffer by 1, 358bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // but the main FileID was created before inserting the point. 359bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // Compensate by reducing the EOF location by 1, otherwise the location 360bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // will point to the next FileID. 361bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // FIXME: This is hacky, the code-completion point should probably be 362bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis // inserted before the main FileID is created. 363bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis if (CurLexer->getFileLoc() == CodeCompletionFileLoc) 364bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis Result.setLocation(Result.getLocation().getLocWithOffset(-1)); 365bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis } 366bb06b5000b9639a92e92c368ff3e5e5f8bb1e724Argyrios Kyrtzidis 367e55329d6834647ba0e06f8a319e5d84c77310035Axel Naumann if (!isIncrementalProcessingEnabled()) 368e55329d6834647ba0e06f8a319e5d84c77310035Axel Naumann // We're done with lexing. 369e55329d6834647ba0e06f8a319e5d84c77310035Axel Naumann CurLexer.reset(); 37067116083e70ad44799808c7472d9cd9e7e21d4d5Chris Lattner } else { 37167116083e70ad44799808c7472d9cd9e7e21d4d5Chris Lattner assert(CurPTHLexer && "Got EOF but no current lexer set!"); 37259d08cb672136322375e5400578ee1fbd0947de2Ted Kremenek CurPTHLexer->getEOF(Result); 3731a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek CurPTHLexer.reset(); 3748c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 375e55329d6834647ba0e06f8a319e5d84c77310035Axel Naumann 376e55329d6834647ba0e06f8a319e5d84c77310035Axel Naumann if (!isIncrementalProcessingEnabled()) 377e55329d6834647ba0e06f8a319e5d84c77310035Axel Naumann CurPPLexer = 0; 3788c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 3790827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis // This is the end of the top-level file. 'WarnUnusedMacroLocs' has collected 3800827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis // all macro locations that we need to warn because they are not used. 3810827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis for (WarnUnusedMacroLocsTy::iterator 3820827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis I=WarnUnusedMacroLocs.begin(), E=WarnUnusedMacroLocs.end(); I!=E; ++I) 3830827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis Diag(*I, diag::pp_macro_not_used); 384dbd8209b33e6c9f151e4913a9c095d64a95439c4Daniel Dunbar 385585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor // If we are building a module that has an umbrella header, make sure that 386585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor // each of the headers within the directory covered by the umbrella header 387585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor // was actually included by the umbrella header. 388585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (Module *Mod = getCurrentModule()) { 389585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (Mod->getUmbrellaHeader()) { 390585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor SourceLocation StartLoc 391585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor = SourceMgr.getLocForStartOfFile(SourceMgr.getMainFileID()); 392585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 393585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (getDiagnostics().getDiagnosticLevel( 394585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor diag::warn_uncovered_module_header, 395585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor StartLoc) != DiagnosticsEngine::Ignored) { 39651f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor ModuleMap &ModMap = getHeaderSearchInfo().getModuleMap(); 397224bfeeaf046103937a5d1c8f8a9a7b79c6c14edDouglas Gregor typedef llvm::sys::fs::recursive_directory_iterator 398585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor recursive_directory_iterator; 399585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor const DirectoryEntry *Dir = Mod->getUmbrellaDir(); 400585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor llvm::error_code EC; 401585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor for (recursive_directory_iterator Entry(Dir->getName(), EC), End; 402585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor Entry != End && !EC; Entry.increment(EC)) { 403585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor using llvm::StringSwitch; 404585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 40551f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor // Check whether this entry has an extension typically associated with 406585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor // headers. 407585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (!StringSwitch<bool>(llvm::sys::path::extension(Entry->path())) 40851f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor .Cases(".h", ".H", ".hh", ".hpp", true) 40951f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor .Default(false)) 410585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor continue; 411585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor 412585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (const FileEntry *Header = getFileManager().getFile(Entry->path())) 413585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor if (!getSourceManager().hasFileInfo(Header)) { 41451f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor if (!ModMap.isHeaderInUnavailableModule(Header)) { 41551f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor // Find the relative path that would access this header. 416f7ccbad5d9949e7ddd1cbef43d482553b811e026Dylan Noblesmith SmallString<128> RelativePath; 41751f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor computeRelativePath(FileMgr, Dir, Header, RelativePath); 41851f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor Diag(StartLoc, diag::warn_uncovered_module_header) 419c9c3907e66659e4457593fdec4a27c671c12e041Douglas Gregor << Mod->getFullModuleName() << RelativePath; 42051f564f80d9f71e175635b452ffeeeff899e9bf1Douglas Gregor } 421585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 422585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 423585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 424585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 42558ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor 42658ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor // Check whether there are any headers that were included, but not 42758ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor // mentioned at all in the module map. Such headers 42858ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor SourceLocation StartLoc 42958ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor = SourceMgr.getLocForStartOfFile(SourceMgr.getMainFileID()); 43058ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor if (getDiagnostics().getDiagnosticLevel(diag::warn_forgotten_module_header, 43158ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor StartLoc) 43258ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor != DiagnosticsEngine::Ignored) { 43358ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor ModuleMap &ModMap = getHeaderSearchInfo().getModuleMap(); 43458ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor for (unsigned I = 0, N = SourceMgr.local_sloc_entry_size(); I != N; ++I) { 43558ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor // We only care about file entries. 43658ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor const SrcMgr::SLocEntry &Entry = SourceMgr.getLocalSLocEntry(I); 43758ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor if (!Entry.isFile()) 43858ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor continue; 43958ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor 44058ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor // Dig out the actual file. 44158ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor const FileEntry *File = Entry.getFile().getContentCache()->OrigEntry; 44258ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor if (!File) 44358ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor continue; 44458ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor 44558ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor // If it's not part of a module and not unknown, complain. 44658ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor if (!ModMap.findModuleForHeader(File) && 44758ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor !ModMap.isHeaderInUnavailableModule(File)) { 44858ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor Diag(StartLoc, diag::warn_forgotten_module_header) 44958ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor << File->getName() << Mod->getFullModuleName(); 45058ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor } 45158ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor } 45258ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor } 453585ec93e1bd4fdd5a37aa19848e5f92084f0d923Douglas Gregor } 45458ea48dc1dd970f131207e00ae7ece159d1a08edDouglas Gregor 4558c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return true; 4568c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 4578c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 4588c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// HandleEndOfTokenLexer - This callback is invoked when the current TokenLexer 4598c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// hits the end of its token stream. 4608c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnerbool Preprocessor::HandleEndOfTokenLexer(Token &Result) { 4611a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek assert(CurTokenLexer && !CurPPLexer && 4628c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner "Ending a macro when currently in a #include file!"); 4638c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 4645b3284a9275a27f5c4410e25eb8933be540601d6Argyrios Kyrtzidis if (!MacroExpandingLexersStack.empty() && 4655b3284a9275a27f5c4410e25eb8933be540601d6Argyrios Kyrtzidis MacroExpandingLexersStack.back().first == CurTokenLexer.get()) 4665b3284a9275a27f5c4410e25eb8933be540601d6Argyrios Kyrtzidis removeCachedMacroExpandedTokensOfLastLexer(); 4675b3284a9275a27f5c4410e25eb8933be540601d6Argyrios Kyrtzidis 4688c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Delete or cache the now-dead macro expander. 4698c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (NumCachedTokenLexers == TokenLexerCacheSize) 470caaa7df2c78bbd40197823034c0275f3dcbd63e7Ted Kremenek CurTokenLexer.reset(); 4718c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner else 472caaa7df2c78bbd40197823034c0275f3dcbd63e7Ted Kremenek TokenLexerCache[NumCachedTokenLexers++] = CurTokenLexer.take(); 4738c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 4748c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Handle this like a #include file being popped off the stack. 4758c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return HandleEndOfFile(Result, true); 4768c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 4778c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 4788c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// RemoveTopOfLexerStack - Pop the current lexer/macro exp off the top of the 4798c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// lexer stack. This should only be used in situations where the current 4808c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// state of the top-of-stack lexer is unknown. 4818c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnervoid Preprocessor::RemoveTopOfLexerStack() { 4828c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(!IncludeMacroStack.empty() && "Ran out of stack entries to load"); 4831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 4848c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (CurTokenLexer) { 4858c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Delete or cache the now-dead macro expander. 4868c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (NumCachedTokenLexers == TokenLexerCacheSize) 487caaa7df2c78bbd40197823034c0275f3dcbd63e7Ted Kremenek CurTokenLexer.reset(); 4888c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner else 489caaa7df2c78bbd40197823034c0275f3dcbd63e7Ted Kremenek TokenLexerCache[NumCachedTokenLexers++] = CurTokenLexer.take(); 4901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 4911eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 492ed04c4cdca11119cac7d2fd65685444ce25f9e37Ted Kremenek PopIncludeMacroStack(); 4938c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 4948c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 4958c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// HandleMicrosoftCommentPaste - When the macro expander pastes together a 4968c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// comment (/##/) in microsoft mode, this method handles updating the current 4978c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// state, returning the token on the next source line. 4988c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnervoid Preprocessor::HandleMicrosoftCommentPaste(Token &Tok) { 4991a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek assert(CurTokenLexer && !CurPPLexer && 5008c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner "Pasted comment can only be formed from macro"); 5011eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 5028c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // We handle this by scanning for the closest real lexer, switching it to 5038c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // raw mode and preprocessor mode. This will cause it to return \n as an 50484021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // explicit EOD token. 5051a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek PreprocessorLexer *FoundLexer = 0; 5068c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner bool LexerWasInPPMode = false; 5078c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner for (unsigned i = 0, e = IncludeMacroStack.size(); i != e; ++i) { 5088c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner IncludeStackInfo &ISI = *(IncludeMacroStack.end()-i-1); 5091a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek if (ISI.ThePPLexer == 0) continue; // Scan for a real lexer. 5101eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 5118c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Once we find a real lexer, mark it as raw mode (disabling macro 51284021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // expansions) and preprocessor mode (return EOD). We know that the lexer 5138c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // was *not* in raw mode before, because the macro that the comment came 5148c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // from was expanded. However, it could have already been in preprocessor 5158c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // mode (#if COMMENT) in which case we have to return it to that mode and 51684021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // return EOD. 5171a531570d294ffc300cce1bc5e73de847a370f4fTed Kremenek FoundLexer = ISI.ThePPLexer; 5188c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer->LexingRawMode = true; 5198c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner LexerWasInPPMode = FoundLexer->ParsingPreprocessorDirective; 5208c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer->ParsingPreprocessorDirective = true; 5218c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner break; 5228c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 5231eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 5248c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Okay, we either found and switched over the lexer, or we didn't find a 5258c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // lexer. In either case, finish off the macro the comment came from, getting 5268c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // the next token. 5278c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (!HandleEndOfTokenLexer(Tok)) Lex(Tok); 5281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 52984021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // Discarding comments as long as we don't have EOF or EOD. This 'comments 5308c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // out' the rest of the line, including any tokens that came from other macros 5318c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // that were active, as in: 5328c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // #define submacro a COMMENT b 5338c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // submacro c 5348c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // which should lex to 'a' only: 'b' and 'c' should be removed. 53584021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne while (Tok.isNot(tok::eod) && Tok.isNot(tok::eof)) 5368c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Lex(Tok); 5371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 53884021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // If we got an eod token, then we successfully found the end of the line. 53984021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (Tok.is(tok::eod)) { 5408c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(FoundLexer && "Can't get end of line without an active lexer"); 5418c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Restore the lexer back to normal mode instead of raw mode. 5428c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer->LexingRawMode = false; 5431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 54484021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // If the lexer was already in preprocessor mode, just return the EOD token 5458c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // to finish the preprocessor line. 5468c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (LexerWasInPPMode) return; 5471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 5488c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Otherwise, switch out of PP mode and return the next lexed token. 5498c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer->ParsingPreprocessorDirective = false; 5508c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return Lex(Tok); 5518c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 5521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 5538c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If we got an EOF token, then we reached the end of the token stream but 5548c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // didn't find an explicit \n. This can only happen if there was no lexer 55584021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // active (an active lexer would return EOD at EOF if there was no \n in 5568c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // preprocessor directive mode), so just return EOF as our token. 55784021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne assert(!FoundLexer && "Lexer should return EOD before EOF in PP mode"); 5588c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 559