PPLexerChange.cpp revision 0b9e736308af5397f558ffc8e780c438c2fdb563
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" 168c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner#include "clang/Lex/HeaderSearch.h" 178c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner#include "clang/Lex/MacroInfo.h" 188c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner#include "clang/Basic/Diagnostic.h" 198c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner#include "clang/Basic/SourceManager.h" 208c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnerusing namespace clang; 218c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 228c32b1a7daf246b26e52b46604d91ce3717e28e5Chris LattnerPPCallbacks::~PPCallbacks() { 238c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 248c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 258c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 268c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner//===----------------------------------------------------------------------===// 276b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner// Miscellaneous Methods. 288c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner//===----------------------------------------------------------------------===// 298c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 308c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// isInPrimaryFile - Return true if we're in the top-level file, not in a 317d39d742383ade80c9d937729bfc539c6c978845Chris Lattner/// #include. This looks through macro expansions and active _Pragma lexers. 328c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnerbool Preprocessor::isInPrimaryFile() const { 338c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (CurLexer && !CurLexer->Is_PragmaLexer) 348c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return IncludeMacroStack.empty(); 358c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 368c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If there are any stacked lexers, we're in a #include. 378c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(IncludeMacroStack[0].TheLexer && 388c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner !IncludeMacroStack[0].TheLexer->Is_PragmaLexer && 398c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner "Top level include stack isn't our primary lexer?"); 408c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner for (unsigned i = 1, e = IncludeMacroStack.size(); i != e; ++i) 418c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (IncludeMacroStack[i].TheLexer && 428c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner !IncludeMacroStack[i].TheLexer->Is_PragmaLexer) 438c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return false; 448c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return true; 458c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 468c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 478c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// getCurrentLexer - Return the current file lexer being lexed from. Note 488c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// that this ignores any potentially active macro expansions and _Pragma 498c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// expansions going on at the time. 508c32b1a7daf246b26e52b46604d91ce3717e28e5Chris LattnerLexer *Preprocessor::getCurrentFileLexer() const { 518c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (CurLexer && !CurLexer->Is_PragmaLexer) return CurLexer; 528c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 538c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Look for a stacked lexer. 548c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner for (unsigned i = IncludeMacroStack.size(); i != 0; --i) { 558c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Lexer *L = IncludeMacroStack[i-1].TheLexer; 568c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (L && !L->Is_PragmaLexer) // Ignore macro & _Pragma expansions. 578c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return L; 588c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 598c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return 0; 608c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 618c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 626b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner 636b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner//===----------------------------------------------------------------------===// 646b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner// Methods for Entering and Callbacks for leaving various contexts 656b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner//===----------------------------------------------------------------------===// 668c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 678c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// EnterSourceFile - Add a source file to the top of the include stack and 688c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// start lexing tokens from it instead of the current buffer. Return true 698c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// on failure. 708c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnervoid Preprocessor::EnterSourceFile(unsigned FileID, 718c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner const DirectoryLookup *CurDir) { 728c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(CurTokenLexer == 0 && "Cannot #include a file inside a macro!"); 738c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner ++NumEnteredSourceFiles; 748c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 758c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (MaxIncludeStackDepth < IncludeMacroStack.size()) 768c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner MaxIncludeStackDepth = IncludeMacroStack.size(); 778c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 788c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Lexer *TheLexer = new Lexer(SourceLocation::getFileLoc(FileID, 0), *this); 798c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner EnterSourceFileWithLexer(TheLexer, CurDir); 808c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 81721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner 828c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// EnterSourceFile - Add a source file to the top of the include stack and 838c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// start lexing tokens from it instead of the current buffer. 848c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnervoid Preprocessor::EnterSourceFileWithLexer(Lexer *TheLexer, 858c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner const DirectoryLookup *CurDir) { 868c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 878c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Add the current lexer to the include stack. 888c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (CurLexer || CurTokenLexer) 898c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner IncludeMacroStack.push_back(IncludeStackInfo(CurLexer, CurDirLookup, 908c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurTokenLexer)); 918c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 928c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurLexer = TheLexer; 938c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurDirLookup = CurDir; 948c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurTokenLexer = 0; 958c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 968c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Notify the client, if desired, that we are in a new source file. 978c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (Callbacks && !CurLexer->Is_PragmaLexer) { 980b9e736308af5397f558ffc8e780c438c2fdb563Chris Lattner SrcMgr::Characteristic_t FileType = 990b9e736308af5397f558ffc8e780c438c2fdb563Chris Lattner SourceMgr.getFileCharacteristic(CurLexer->getFileLoc()); 1008c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1018c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Callbacks->FileChanged(CurLexer->getFileLoc(), 1028c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner PPCallbacks::EnterFile, FileType); 1038c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 1048c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 1058c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1068c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1078c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1088c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// EnterMacro - Add a Macro to the top of the include stack and start lexing 1098c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// tokens from it instead of the current buffer. 1108c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnervoid Preprocessor::EnterMacro(Token &Tok, MacroArgs *Args) { 1118c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner IncludeMacroStack.push_back(IncludeStackInfo(CurLexer, CurDirLookup, 1128c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurTokenLexer)); 1138c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurLexer = 0; 1148c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurDirLookup = 0; 1158c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1168c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (NumCachedTokenLexers == 0) { 1178c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurTokenLexer = new TokenLexer(Tok, Args, *this); 1188c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } else { 1198c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurTokenLexer = TokenLexerCache[--NumCachedTokenLexers]; 1208c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurTokenLexer->Init(Tok, Args); 1218c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 1228c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 1238c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1248c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// EnterTokenStream - Add a "macro" context to the top of the include stack, 1256b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// which will cause the lexer to start returning the specified tokens. 1266b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// 1276b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// If DisableMacroExpansion is true, tokens lexed from the token stream will 1286b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// not be subject to further macro expansion. Otherwise, these tokens will 1296b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// be re-macro-expanded when/if expansion is enabled. 1306b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// 1316b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// If OwnsTokens is false, this method assumes that the specified stream of 1326b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// tokens has a permanent owner somewhere, so they do not need to be copied. 1336b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// If it is true, it assumes the array of tokens is allocated with new[] and 1346b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// must be freed. 1356b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner/// 1366b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattnervoid Preprocessor::EnterTokenStream(const Token *Toks, unsigned NumToks, 1376b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner bool DisableMacroExpansion, 1386b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner bool OwnsTokens) { 1398c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Save our current state. 1408c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner IncludeMacroStack.push_back(IncludeStackInfo(CurLexer, CurDirLookup, 1418c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurTokenLexer)); 1428c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurLexer = 0; 1438c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurDirLookup = 0; 1448c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1458c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Create a macro expander to expand from the specified token stream. 1468c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (NumCachedTokenLexers == 0) { 1476b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner CurTokenLexer = new TokenLexer(Toks, NumToks, DisableMacroExpansion, 1486b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner OwnsTokens, *this); 1498c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } else { 1508c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurTokenLexer = TokenLexerCache[--NumCachedTokenLexers]; 1516b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner CurTokenLexer->Init(Toks, NumToks, DisableMacroExpansion, OwnsTokens); 1528c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 1538c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 1548c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1558c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// HandleEndOfFile - This callback is invoked when the lexer hits the end of 1568c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// the current file. This either returns the EOF token or pops a level off 1578c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// the include stack and keeps going. 1588c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnerbool Preprocessor::HandleEndOfFile(Token &Result, bool isEndOfMacro) { 1598c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(!CurTokenLexer && 1608c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner "Ending a file when currently in a macro!"); 1618c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1628c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // See if this file had a controlling macro. 1638c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (CurLexer) { // Not ending a macro, ignore it. 1648c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (const IdentifierInfo *ControllingMacro = 1658c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurLexer->MIOpt.GetControllingMacroAtEndOfFile()) { 1668c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Okay, this has a controlling macro, remember in PerFileInfo. 1678c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (const FileEntry *FE = 1688c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner SourceMgr.getFileEntryForLoc(CurLexer->getFileLoc())) 1698c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner HeaderInfo.SetFileControllingMacro(FE, ControllingMacro); 1708c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 1718c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 1728c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1738c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If this is a #include'd file, pop it off the include stack and continue 1748c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // lexing the #includer file. 1758c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (!IncludeMacroStack.empty()) { 1768c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // We're done with the #included file. 1778c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner RemoveTopOfLexerStack(); 1788c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1798c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Notify the client, if desired, that we are in a new source file. 1808c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (Callbacks && !isEndOfMacro && CurLexer) { 1810b9e736308af5397f558ffc8e780c438c2fdb563Chris Lattner SrcMgr::Characteristic_t FileType = 1820b9e736308af5397f558ffc8e780c438c2fdb563Chris Lattner SourceMgr.getFileCharacteristic(CurLexer->getFileLoc()); 1838c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1848c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Callbacks->FileChanged(CurLexer->getSourceLocation(CurLexer->BufferPtr), 1858c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner PPCallbacks::ExitFile, FileType); 1868c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 1878c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1888c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Client should lex another token. 1898c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return false; 1908c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 1918c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 1928c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If the file ends with a newline, form the EOF token on the newline itself, 1938c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // rather than "on the line following it", which doesn't exist. This makes 1948c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // diagnostics relating to the end of file include the last file that the user 1958c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // actually typed, which is goodness. 1968c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner const char *EndPos = CurLexer->BufferEnd; 1978c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (EndPos != CurLexer->BufferStart && 1988c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner (EndPos[-1] == '\n' || EndPos[-1] == '\r')) { 1998c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner --EndPos; 2008c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2018c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Handle \n\r and \r\n: 2028c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (EndPos != CurLexer->BufferStart && 2038c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner (EndPos[-1] == '\n' || EndPos[-1] == '\r') && 2048c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner EndPos[-1] != EndPos[0]) 2058c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner --EndPos; 2068c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 2078c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2088c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Result.startToken(); 2098c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurLexer->BufferPtr = EndPos; 2108c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurLexer->FormTokenWithChars(Result, EndPos); 2118c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Result.setKind(tok::eof); 2128c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2138c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // We're done with the #included file. 2148c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner delete CurLexer; 2158c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurLexer = 0; 2168c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2178c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // This is the end of the top-level file. If the diag::pp_macro_not_used 2188c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // diagnostic is enabled, look for macros that have not been used. 2198c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (Diags.getDiagnosticLevel(diag::pp_macro_not_used) != Diagnostic::Ignored){ 2208c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner for (llvm::DenseMap<IdentifierInfo*, MacroInfo*>::iterator I = 2218c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Macros.begin(), E = Macros.end(); I != E; ++I) { 2228c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (!I->second->isUsed()) 2238c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Diag(I->second->getDefinitionLoc(), diag::pp_macro_not_used); 2248c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 2258c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 2268c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return true; 2278c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 2288c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2298c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// HandleEndOfTokenLexer - This callback is invoked when the current TokenLexer 2308c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// hits the end of its token stream. 2318c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnerbool Preprocessor::HandleEndOfTokenLexer(Token &Result) { 2328c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(CurTokenLexer && !CurLexer && 2338c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner "Ending a macro when currently in a #include file!"); 2348c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2358c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Delete or cache the now-dead macro expander. 2368c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (NumCachedTokenLexers == TokenLexerCacheSize) 2378c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner delete CurTokenLexer; 2388c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner else 2398c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner TokenLexerCache[NumCachedTokenLexers++] = CurTokenLexer; 2408c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2418c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Handle this like a #include file being popped off the stack. 2428c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurTokenLexer = 0; 2438c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return HandleEndOfFile(Result, true); 2448c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 2458c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2468c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// RemoveTopOfLexerStack - Pop the current lexer/macro exp off the top of the 2478c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// lexer stack. This should only be used in situations where the current 2488c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// state of the top-of-stack lexer is unknown. 2498c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnervoid Preprocessor::RemoveTopOfLexerStack() { 2508c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(!IncludeMacroStack.empty() && "Ran out of stack entries to load"); 2518c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2528c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (CurTokenLexer) { 2538c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Delete or cache the now-dead macro expander. 2548c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (NumCachedTokenLexers == TokenLexerCacheSize) 2558c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner delete CurTokenLexer; 2568c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner else 2578c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner TokenLexerCache[NumCachedTokenLexers++] = CurTokenLexer; 2588c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } else { 2598c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner delete CurLexer; 2608c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 2618c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurLexer = IncludeMacroStack.back().TheLexer; 2628c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurDirLookup = IncludeMacroStack.back().TheDirLookup; 2638c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner CurTokenLexer = IncludeMacroStack.back().TheTokenLexer; 2648c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner IncludeMacroStack.pop_back(); 2658c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 2668c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2678c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// HandleMicrosoftCommentPaste - When the macro expander pastes together a 2688c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// comment (/##/) in microsoft mode, this method handles updating the current 2698c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner/// state, returning the token on the next source line. 2708c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattnervoid Preprocessor::HandleMicrosoftCommentPaste(Token &Tok) { 2718c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(CurTokenLexer && !CurLexer && 2728c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner "Pasted comment can only be formed from macro"); 2738c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2748c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // We handle this by scanning for the closest real lexer, switching it to 2758c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // raw mode and preprocessor mode. This will cause it to return \n as an 2768c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // explicit EOM token. 2778c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Lexer *FoundLexer = 0; 2788c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner bool LexerWasInPPMode = false; 2798c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner for (unsigned i = 0, e = IncludeMacroStack.size(); i != e; ++i) { 2808c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner IncludeStackInfo &ISI = *(IncludeMacroStack.end()-i-1); 2818c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (ISI.TheLexer == 0) continue; // Scan for a real lexer. 2828c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2838c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Once we find a real lexer, mark it as raw mode (disabling macro 2848c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // expansions) and preprocessor mode (return EOM). We know that the lexer 2858c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // was *not* in raw mode before, because the macro that the comment came 2868c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // from was expanded. However, it could have already been in preprocessor 2878c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // mode (#if COMMENT) in which case we have to return it to that mode and 2888c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // return EOM. 2898c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer = ISI.TheLexer; 2908c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer->LexingRawMode = true; 2918c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner LexerWasInPPMode = FoundLexer->ParsingPreprocessorDirective; 2928c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer->ParsingPreprocessorDirective = true; 2938c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner break; 2948c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 2958c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 2968c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Okay, we either found and switched over the lexer, or we didn't find a 2978c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // lexer. In either case, finish off the macro the comment came from, getting 2988c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // the next token. 2998c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (!HandleEndOfTokenLexer(Tok)) Lex(Tok); 3008c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 3018c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Discarding comments as long as we don't have EOF or EOM. This 'comments 3028c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // out' the rest of the line, including any tokens that came from other macros 3038c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // that were active, as in: 3048c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // #define submacro a COMMENT b 3058c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // submacro c 3068c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // which should lex to 'a' only: 'b' and 'c' should be removed. 3078c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner while (Tok.isNot(tok::eom) && Tok.isNot(tok::eof)) 3088c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner Lex(Tok); 3098c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 3108c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If we got an eom token, then we successfully found the end of the line. 3118c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (Tok.is(tok::eom)) { 3128c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(FoundLexer && "Can't get end of line without an active lexer"); 3138c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Restore the lexer back to normal mode instead of raw mode. 3148c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer->LexingRawMode = false; 3158c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 3168c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If the lexer was already in preprocessor mode, just return the EOM token 3178c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // to finish the preprocessor line. 3188c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner if (LexerWasInPPMode) return; 3198c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 3208c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // Otherwise, switch out of PP mode and return the next lexed token. 3218c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner FoundLexer->ParsingPreprocessorDirective = false; 3228c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner return Lex(Tok); 3238c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner } 3248c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner 3258c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // If we got an EOF token, then we reached the end of the token stream but 3268c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // didn't find an explicit \n. This can only happen if there was no lexer 3278c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // active (an active lexer would return EOM at EOF if there was no \n in 3288c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner // preprocessor directive mode), so just return EOF as our token. 3298c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner assert(!FoundLexer && "Lexer should return EOM before EOF in PP mode"); 3308c32b1a7daf246b26e52b46604d91ce3717e28e5Chris Lattner} 331