1a3b605ef0d535c5c5ac3f00e1e2d46fa7336d26cChris Lattner//===--- PPDirectives.cpp - Directive Handling for Preprocessor -----------===// 2141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// 3141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// The LLVM Compiler Infrastructure 4141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// 5141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// This file is distributed under the University of Illinois Open Source 6141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// License. See LICENSE.TXT for details. 7141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// 8141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 9dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// 10dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// \file 11dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// \brief Implements # directive processing for the Preprocessor. 12dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// 13141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 14141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 15141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner#include "clang/Lex/Preprocessor.h" 1655fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "clang/Basic/FileManager.h" 1755fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "clang/Basic/SourceManager.h" 1855fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "clang/Lex/CodeCompletionHandler.h" 19141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner#include "clang/Lex/HeaderSearch.h" 20056ec12ca14ee5014ea49786f719ceaa299a7e19Daniel Jasper#include "clang/Lex/HeaderSearchOptions.h" 21500d3297d2a21edeac4d46cbcbe21bc2352c2a28Chris Lattner#include "clang/Lex/LexDiagnostic.h" 2255fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "clang/Lex/LiteralSupport.h" 2355fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "clang/Lex/MacroInfo.h" 24fba18aa8f2cd1994dc65e8cb9f4be201c560dc0bDouglas Gregor#include "clang/Lex/ModuleLoader.h" 2580c60f72848896f867f6b7e664e7060d9e78f019Douglas Gregor#include "clang/Lex/Pragma.h" 26359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner#include "llvm/ADT/APInt.h" 27e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor#include "llvm/Support/ErrorHandling.h" 28651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines#include "llvm/Support/FileSystem.h" 2931672b1745195d709b641f1c0f44e203742fa73bAaron Ballman#include "llvm/Support/SaveAndRestore.h" 30141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnerusing namespace clang; 31141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 32141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 33141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// Utility Methods for Preprocessor Directive Handling. 34141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 35141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 36f47724bf78299c7a50f008e0443c5f9f9f279ddcChris LattnerMacroInfo *Preprocessor::AllocateMacroInfo() { 379714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek MacroInfoChain *MIChain; 381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 399714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek if (MICache) { 409714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek MIChain = MICache; 419714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek MICache = MICache->Next; 42af8fa25c0d4e0540952a50bbd06dc1558954ccd9Ted Kremenek } 439714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek else { 449714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek MIChain = BP.Allocate<MacroInfoChain>(); 459714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek } 469714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek 479714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek MIChain->Next = MIChainHead; 486bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines MIChain->Prev = nullptr; 499714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek if (MIChainHead) 509714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek MIChainHead->Prev = MIChain; 519714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek MIChainHead = MIChain; 529714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek 539714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek return &(MIChain->MI); 54f47724bf78299c7a50f008e0443c5f9f9f279ddcChris Lattner} 55f47724bf78299c7a50f008e0443c5f9f9f279ddcChris Lattner 56f47724bf78299c7a50f008e0443c5f9f9f279ddcChris LattnerMacroInfo *Preprocessor::AllocateMacroInfo(SourceLocation L) { 57f47724bf78299c7a50f008e0443c5f9f9f279ddcChris Lattner MacroInfo *MI = AllocateMacroInfo(); 580ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek new (MI) MacroInfo(L); 590ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek return MI; 600ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek} 610ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek 62baa74bd3968028d8e5b10ee9b50d0dceb41e85a9Argyrios KyrtzidisMacroInfo *Preprocessor::AllocateDeserializedMacroInfo(SourceLocation L, 63baa74bd3968028d8e5b10ee9b50d0dceb41e85a9Argyrios Kyrtzidis unsigned SubModuleID) { 64651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines static_assert(llvm::AlignOf<MacroInfo>::Alignment >= sizeof(SubModuleID), 65651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines "alignment for MacroInfo is less than the ID"); 663e25b990f1e2ba2a9a63dde5fd111492a7f6194aArgyrios Kyrtzidis DeserializedMacroInfoChain *MIChain = 673e25b990f1e2ba2a9a63dde5fd111492a7f6194aArgyrios Kyrtzidis BP.Allocate<DeserializedMacroInfoChain>(); 683e25b990f1e2ba2a9a63dde5fd111492a7f6194aArgyrios Kyrtzidis MIChain->Next = DeserialMIChainHead; 693e25b990f1e2ba2a9a63dde5fd111492a7f6194aArgyrios Kyrtzidis DeserialMIChainHead = MIChain; 703e25b990f1e2ba2a9a63dde5fd111492a7f6194aArgyrios Kyrtzidis 713e25b990f1e2ba2a9a63dde5fd111492a7f6194aArgyrios Kyrtzidis MacroInfo *MI = &MIChain->MI; 72baa74bd3968028d8e5b10ee9b50d0dceb41e85a9Argyrios Kyrtzidis new (MI) MacroInfo(L); 73baa74bd3968028d8e5b10ee9b50d0dceb41e85a9Argyrios Kyrtzidis MI->FromASTFile = true; 74baa74bd3968028d8e5b10ee9b50d0dceb41e85a9Argyrios Kyrtzidis MI->setOwningModuleID(SubModuleID); 75baa74bd3968028d8e5b10ee9b50d0dceb41e85a9Argyrios Kyrtzidis return MI; 76baa74bd3968028d8e5b10ee9b50d0dceb41e85a9Argyrios Kyrtzidis} 77baa74bd3968028d8e5b10ee9b50d0dceb41e85a9Argyrios Kyrtzidis 78c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios KyrtzidisDefMacroDirective * 79c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios KyrtzidisPreprocessor::AllocateDefMacroDirective(MacroInfo *MI, SourceLocation Loc, 80c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis bool isImported) { 81c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis DefMacroDirective *MD = BP.Allocate<DefMacroDirective>(); 82c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis new (MD) DefMacroDirective(MI, Loc, isImported); 83c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis return MD; 84c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis} 85c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis 86c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios KyrtzidisUndefMacroDirective * 87c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios KyrtzidisPreprocessor::AllocateUndefMacroDirective(SourceLocation UndefLoc) { 88c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis UndefMacroDirective *MD = BP.Allocate<UndefMacroDirective>(); 89c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis new (MD) UndefMacroDirective(UndefLoc); 90c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis return MD; 91c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis} 92c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis 93c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios KyrtzidisVisibilityMacroDirective * 94c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios KyrtzidisPreprocessor::AllocateVisibilityMacroDirective(SourceLocation Loc, 95c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis bool isPublic) { 96c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis VisibilityMacroDirective *MD = BP.Allocate<VisibilityMacroDirective>(); 97c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis new (MD) VisibilityMacroDirective(Loc, isPublic); 989818a1d443e97677dd3422305de9cc2b1fb2a8c1Argyrios Kyrtzidis return MD; 99f47724bf78299c7a50f008e0443c5f9f9f279ddcChris Lattner} 100f47724bf78299c7a50f008e0443c5f9f9f279ddcChris Lattner 101dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// \brief Release the specified MacroInfo to be reused for allocating 102dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// new MacroInfo objects. 1032c1ab9079cb117dc0470ab423fe0bc5177546339Chris Lattnervoid Preprocessor::ReleaseMacroInfo(MacroInfo *MI) { 104ef8225444452a1486bd721f3285301fe84643b00Stephen Hines MacroInfoChain *MIChain = (MacroInfoChain *)MI; 1059714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek if (MacroInfoChain *Prev = MIChain->Prev) { 1069714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek MacroInfoChain *Next = MIChain->Next; 1079714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek Prev->Next = Next; 1089714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek if (Next) 1099714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek Next->Prev = Prev; 110ef8225444452a1486bd721f3285301fe84643b00Stephen Hines } else { 1119714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek assert(MIChainHead == MIChain); 1129714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek MIChainHead = MIChain->Next; 1136bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines MIChainHead->Prev = nullptr; 1149714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek } 1159714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek MIChain->Next = MICache; 1169714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek MICache = MIChain; 1170301b3ff132a4d986c092d161cb77d74b04cd2a6Chris Lattner 1189714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek MI->Destroy(); 1199714a2385cb66b6efa373fc668641de602dd9adbTed Kremenek} 1200301b3ff132a4d986c092d161cb77d74b04cd2a6Chris Lattner 121dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// \brief Read and discard all tokens remaining on the current line until 122dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// the tok::eod token is found. 123141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::DiscardUntilEndOfDirective() { 124141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token Tmp; 125141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner do { 126141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tmp); 127a5ef584fd3d18da0c98342b4b6453948b7eb30d3Peter Collingbourne assert(Tmp.isNot(tok::eof) && "EOF seen while discarding directive tokens"); 12884021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne } while (Tmp.isNot(tok::eod)); 129141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 130141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1316bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hinesbool Preprocessor::CheckMacroName(Token &MacroNameTok, char isDefineUndef) { 132141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Missing macro name? 1336bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (MacroNameTok.is(tok::eod)) 1346bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines return Diag(MacroNameTok, diag::err_pp_missing_macro_name); 1351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 136141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner IdentifierInfo *II = MacroNameTok.getIdentifierInfo(); 1376bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (!II) { 138453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor bool Invalid = false; 139453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor std::string Spelling = getSpelling(MacroNameTok, &Invalid); 140453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor if (Invalid) 1416bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines return Diag(MacroNameTok, diag::err_pp_macro_not_identifier); 142ef8225444452a1486bd721f3285301fe84643b00Stephen Hines II = getIdentifierInfo(Spelling); 143f4fb07ed4dfd144a39d904fc77b3b0bab580eb2eNico Weber 144ef8225444452a1486bd721f3285301fe84643b00Stephen Hines if (!II->isCPlusPlusOperatorKeyword()) 145ef8225444452a1486bd721f3285301fe84643b00Stephen Hines return Diag(MacroNameTok, diag::err_pp_macro_not_identifier); 146f4fb07ed4dfd144a39d904fc77b3b0bab580eb2eNico Weber 147ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // C++ 2.5p2: Alternative tokens behave the same as its primary token 148ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // except for their spellings. 149ef8225444452a1486bd721f3285301fe84643b00Stephen Hines Diag(MacroNameTok, getLangOpts().MicrosoftExt 150ef8225444452a1486bd721f3285301fe84643b00Stephen Hines ? diag::ext_pp_operator_used_as_macro_name 151ef8225444452a1486bd721f3285301fe84643b00Stephen Hines : diag::err_pp_operator_used_as_macro_name) 152ef8225444452a1486bd721f3285301fe84643b00Stephen Hines << II << MacroNameTok.getKind(); 1536bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 154ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // Allow #defining |and| and friends for Microsoft compatibility or 155ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // recovery when legacy C headers are included in C++. 156ef8225444452a1486bd721f3285301fe84643b00Stephen Hines MacroNameTok.setIdentifierInfo(II); 1576bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines } 1586bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 1596bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (isDefineUndef && II->getPPKeywordID() == tok::pp_defined) { 160eed55e6061768c0faff62dda22c6edad9d286501Richard Smith // Error if defining "defined": C99 6.10.8/4, C++ [cpp.predefined]p4. 1616bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines return Diag(MacroNameTok, diag::err_defined_macro_name); 1626bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines } 1636bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 1646bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (isDefineUndef == 2 && II->hasMacroDefinition() && 1656bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines getMacroInfo(II)->isBuiltinMacro()) { 166eed55e6061768c0faff62dda22c6edad9d286501Richard Smith // Warn if undefining "__LINE__" and other builtins, per C99 6.10.8/4 167eed55e6061768c0faff62dda22c6edad9d286501Richard Smith // and C++ [cpp.predefined]p4], but allow it as an extension. 168eed55e6061768c0faff62dda22c6edad9d286501Richard Smith Diag(MacroNameTok, diag::ext_pp_undef_builtin_macro); 169141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1716bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines // Okay, we got a good identifier. 1726bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines return false; 1736bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines} 1746bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 1756bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines/// \brief Lex and validate a macro name, which occurs after a 1766bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines/// \#define or \#undef. 1776bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines/// 1786bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines/// This sets the token kind to eod and discards the rest 1796bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines/// of the macro line if the macro name is invalid. \p isDefineUndef is 1 if 1806bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines/// this is due to a a \#define, 2 if \#undef directive, 0 if it is something 1816bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines/// else (e.g. \#ifdef). 1826bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hinesvoid Preprocessor::ReadMacroName(Token &MacroNameTok, char isDefineUndef) { 1836bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines // Read the token, don't allow macro expansion on it. 1846bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines LexUnexpandedToken(MacroNameTok); 1856bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 1866bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (MacroNameTok.is(tok::code_completion)) { 1876bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (CodeComplete) 1886bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines CodeComplete->CodeCompleteMacroName(isDefineUndef == 1); 1896bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines setCodeCompletionReached(); 1906bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines LexUnexpandedToken(MacroNameTok); 1916bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines } 1926bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 1936bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (!CheckMacroName(MacroNameTok, isDefineUndef)) 1946bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines return; 1956bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 1966bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines // Invalid macro name, read and discard the rest of the line and set the 1976bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines // token kind to tok::eod if necessary. 1986bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (MacroNameTok.isNot(tok::eod)) { 1996bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines MacroNameTok.setKind(tok::eod); 2006bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines DiscardUntilEndOfDirective(); 2016bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines } 202141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 203141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 204dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// \brief Ensure that the next token is a tok::eod token. 205dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// 206dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// If not, emit a diagnostic and consume up until the eod. If EnableMacros is 207ab82f41b217ce588a9456c0b4411f219d3ed0df8Chris Lattner/// true, then we consider macros that expand to zero tokens as being ok. 208ab82f41b217ce588a9456c0b4411f219d3ed0df8Chris Lattnervoid Preprocessor::CheckEndOfDirective(const char *DirType, bool EnableMacros) { 209141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token Tmp; 210ab82f41b217ce588a9456c0b4411f219d3ed0df8Chris Lattner // Lex unexpanded tokens for most directives: macros might expand to zero 211ab82f41b217ce588a9456c0b4411f219d3ed0df8Chris Lattner // tokens, causing us to miss diagnosing invalid lines. Some directives (like 212ab82f41b217ce588a9456c0b4411f219d3ed0df8Chris Lattner // #line) allow empty macros. 213ab82f41b217ce588a9456c0b4411f219d3ed0df8Chris Lattner if (EnableMacros) 214ab82f41b217ce588a9456c0b4411f219d3ed0df8Chris Lattner Lex(Tmp); 215ab82f41b217ce588a9456c0b4411f219d3ed0df8Chris Lattner else 216ab82f41b217ce588a9456c0b4411f219d3ed0df8Chris Lattner LexUnexpandedToken(Tmp); 2171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 218141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // There should be no tokens after the directive, but we allow them as an 219141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // extension. 220141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner while (Tmp.is(tok::comment)) // Skip comments in -C mode. 221141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tmp); 2221eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 22384021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (Tmp.isNot(tok::eod)) { 224959875a66d74d38b8f2d499662afb142d249bf3eChris Lattner // Add a fixit in GNU/C99/C++ mode. Don't offer a fixit for strict-C89, 225b2eb53d9fd973a1a02e05e67a3307b3efd12eff2Peter Collingbourne // or if this is a macro-style preprocessing directive, because it is more 226b2eb53d9fd973a1a02e05e67a3307b3efd12eff2Peter Collingbourne // trouble than it is worth to insert /**/ and check that there is no /**/ 227b2eb53d9fd973a1a02e05e67a3307b3efd12eff2Peter Collingbourne // in the range also. 228849b243d4065f56742a4677d6dc8277609a151f8Douglas Gregor FixItHint Hint; 2294e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie if ((LangOpts.GNUMode || LangOpts.C99 || LangOpts.CPlusPlus) && 230b2eb53d9fd973a1a02e05e67a3307b3efd12eff2Peter Collingbourne !CurTokenLexer) 231849b243d4065f56742a4677d6dc8277609a151f8Douglas Gregor Hint = FixItHint::CreateInsertion(Tmp.getLocation(),"//"); 232849b243d4065f56742a4677d6dc8277609a151f8Douglas Gregor Diag(Tmp, diag::ext_pp_extra_tokens_at_eol) << DirType << Hint; 233141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 234141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 235141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 236141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 237141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 238141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 239dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// SkipExcludedConditionalBlock - We just read a \#if or related directive and 240dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// decided that the subsequent tokens are in the \#if'd out portion of the 241dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// file. Lex the rest of the file, until we see an \#endif. If 242141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// FoundNonSkipPortion is true, then we have already emitted code for part of 243dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// this \#if directive, so \#else/\#elif blocks should never be entered. 244dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// If ElseOk is true, then \#else directives are ok, if not, then we have 245dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// already seen one so a \#else directive is a duplicate. When this returns, 246dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// the caller can lex the first valid token. 247141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::SkipExcludedConditionalBlock(SourceLocation IfTokenLoc, 248141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool FoundNonSkipPortion, 2496b4ff04dd22e7159887ea6c1bb8b1c01fc9c70a9Argyrios Kyrtzidis bool FoundElse, 2506b4ff04dd22e7159887ea6c1bb8b1c01fc9c70a9Argyrios Kyrtzidis SourceLocation ElseLoc) { 251141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumSkipped; 2527247c88d1e41514a41085f83ebf03dd5220e054aDavid Blaikie assert(!CurTokenLexer && CurPPLexer && "Lexing a macro, not a file?"); 253141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 25460e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->pushConditionalLevel(IfTokenLoc, /*isSkipping*/false, 255141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FoundNonSkipPortion, FoundElse); 2561eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 257268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (CurPTHLexer) { 258268ee7016a2811803989487c0ad3799486092c63Ted Kremenek PTHSkipExcludedConditionalBlock(); 259268ee7016a2811803989487c0ad3799486092c63Ted Kremenek return; 260268ee7016a2811803989487c0ad3799486092c63Ted Kremenek } 2611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 262141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Enter raw mode to disable identifier lookup (and thus macro expansion), 263141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // disabling warnings, etc. 26460e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->LexingRawMode = true; 265141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token Tok; 266141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner while (1) { 2672c6b193d574e0780ff0b8450ce1fde105f4881acChris Lattner CurLexer->Lex(Tok); 2681eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 269f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor if (Tok.is(tok::code_completion)) { 270f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor if (CodeComplete) 271f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor CodeComplete->CodeCompleteInConditionalExclusion(); 2727d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis setCodeCompletionReached(); 273f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor continue; 274f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor } 275f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor 276141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is the end of the buffer, we have an error. 277141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Tok.is(tok::eof)) { 278141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Emit errors for each unterminated conditional on the stack, including 279141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // the current one. 28060e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek while (!CurPPLexer->ConditionalStack.empty()) { 2817d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis if (CurLexer->getFileLoc() != CodeCompletionFileLoc) 2822d474ba9e8ae43a1a5a9f72718c0d79092b9453fDouglas Gregor Diag(CurPPLexer->ConditionalStack.back().IfLoc, 2832d474ba9e8ae43a1a5a9f72718c0d79092b9453fDouglas Gregor diag::err_pp_unterminated_conditional); 28460e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ConditionalStack.pop_back(); 2851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 2861eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 287141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Just return and let the caller lex after this #include. 288141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 289141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 2901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 291141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this token is not a preprocessor directive, just skip it. 292141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Tok.isNot(tok::hash) || !Tok.isAtStartOfLine()) 293141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner continue; 2941eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 295141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // We just parsed a # character at the start of a line, so we're in 296141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // directive mode. Tell the lexer this so any newlines we see will be 29784021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // converted into an EOD token (this terminates the macro). 29860e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ParsingPreprocessorDirective = true; 299c7d1ca52ae1f33a105ad1be217304f74a34c45f3Jordan Rose if (CurLexer) CurLexer->SetKeepWhitespaceMode(false); 300141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 3011eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 302141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the next token, the directive flavor. 303141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 3041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 305141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this isn't an identifier directive (e.g. is "# 1\n" or "#\n", or 306141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // something bogus), skip it. 307c4bf2b9afb7d47445a9dc6bc848657098a4e3851Abramo Bagnara if (Tok.isNot(tok::raw_identifier)) { 30860e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ParsingPreprocessorDirective = false; 309141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Restore comment saving mode. 3106aad4a31b35df07fe818f193fcfd3c0197aea467Jordan Rose if (CurLexer) CurLexer->resetExtendedTokenMode(); 311141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner continue; 312141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 313141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 314141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If the first letter isn't i or e, it isn't intesting to us. We know that 315141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // this is safe in the face of spelling differences, because there is no way 316141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // to spell an i/e in a strange way that is another letter. Skipping this 317141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // allows us to avoid looking up the identifier info for #define/#undef and 318141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // other common directives. 3196bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines StringRef RI = Tok.getRawIdentifier(); 320c4bf2b9afb7d47445a9dc6bc848657098a4e3851Abramo Bagnara 3216bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines char FirstChar = RI[0]; 3221eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (FirstChar >= 'a' && FirstChar <= 'z' && 323141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FirstChar != 'i' && FirstChar != 'e') { 32460e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ParsingPreprocessorDirective = false; 325141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Restore comment saving mode. 3266aad4a31b35df07fe818f193fcfd3c0197aea467Jordan Rose if (CurLexer) CurLexer->resetExtendedTokenMode(); 327141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner continue; 328141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 3291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 330141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the identifier name without trigraphs or embedded newlines. Note 331141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // that we can't use Tok.getIdentifierInfo() because its lookup is disabled 332141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // when skipping. 333b939a4e8b471f6a5e996fa57b2fd9df30b59cb60Benjamin Kramer char DirectiveBuf[20]; 3345f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner StringRef Directive; 3356bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (!Tok.needsCleaning() && RI.size() < 20) { 3366bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Directive = RI; 337141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 338141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner std::string DirectiveStr = getSpelling(Tok); 339b939a4e8b471f6a5e996fa57b2fd9df30b59cb60Benjamin Kramer unsigned IdLen = DirectiveStr.size(); 340141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (IdLen >= 20) { 34160e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ParsingPreprocessorDirective = false; 342141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Restore comment saving mode. 3436aad4a31b35df07fe818f193fcfd3c0197aea467Jordan Rose if (CurLexer) CurLexer->resetExtendedTokenMode(); 344141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner continue; 345141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 346b939a4e8b471f6a5e996fa57b2fd9df30b59cb60Benjamin Kramer memcpy(DirectiveBuf, &DirectiveStr[0], IdLen); 3475f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner Directive = StringRef(DirectiveBuf, IdLen); 348141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 3491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 350b939a4e8b471f6a5e996fa57b2fd9df30b59cb60Benjamin Kramer if (Directive.startswith("if")) { 3515f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner StringRef Sub = Directive.substr(2); 352b939a4e8b471f6a5e996fa57b2fd9df30b59cb60Benjamin Kramer if (Sub.empty() || // "if" 353b939a4e8b471f6a5e996fa57b2fd9df30b59cb60Benjamin Kramer Sub == "def" || // "ifdef" 354b939a4e8b471f6a5e996fa57b2fd9df30b59cb60Benjamin Kramer Sub == "ndef") { // "ifndef" 355141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // We know the entire #if/#ifdef/#ifndef block will be skipped, don't 356141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // bother parsing the condition. 357141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 35860e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->pushConditionalLevel(Tok.getLocation(), /*wasskipping*/true, 359141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*foundnonskip*/false, 3603a1a8749cf6239f29e834f18a4e08638126678d9Chandler Carruth /*foundelse*/false); 361141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 362b939a4e8b471f6a5e996fa57b2fd9df30b59cb60Benjamin Kramer } else if (Directive[0] == 'e') { 3635f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner StringRef Sub = Directive.substr(1); 364b939a4e8b471f6a5e996fa57b2fd9df30b59cb60Benjamin Kramer if (Sub == "ndif") { // "endif" 365141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner PPConditionalInfo CondInfo; 366141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CondInfo.WasSkipping = true; // Silence bogus warning. 36760e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek bool InCond = CurPPLexer->popConditionalLevel(CondInfo); 368c6ed729f669044f5072a49d79041f455d971ece3Jeffrey Yasskin (void)InCond; // Silence warning in no-asserts mode. 369141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner assert(!InCond && "Can't be skipping if not in a conditional!"); 3701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 371141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If we popped the outermost skipping block, we're done skipping! 372bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis if (!CondInfo.WasSkipping) { 373bc9e5582467e70ec38b9fc5d3605152e86e2a5f8Richard Smith // Restore the value of LexingRawMode so that trailing comments 374bc9e5582467e70ec38b9fc5d3605152e86e2a5f8Richard Smith // are handled correctly, if we've reached the outermost block. 375bc9e5582467e70ec38b9fc5d3605152e86e2a5f8Richard Smith CurPPLexer->LexingRawMode = false; 376986f317944658ecb1c8c279c1c8a0079396d42bfRichard Smith CheckEndOfDirective("endif"); 377bc9e5582467e70ec38b9fc5d3605152e86e2a5f8Richard Smith CurPPLexer->LexingRawMode = true; 378bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis if (Callbacks) 379bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis Callbacks->Endif(Tok.getLocation(), CondInfo.IfLoc); 380141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 381986f317944658ecb1c8c279c1c8a0079396d42bfRichard Smith } else { 382986f317944658ecb1c8c279c1c8a0079396d42bfRichard Smith DiscardUntilEndOfDirective(); 383bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis } 384b939a4e8b471f6a5e996fa57b2fd9df30b59cb60Benjamin Kramer } else if (Sub == "lse") { // "else". 385141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #else directive in a skipping conditional. If not in some other 386141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // skipping conditional, and if #else hasn't already been seen, enter it 387141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // as a non-skipping conditional. 38860e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek PPConditionalInfo &CondInfo = CurPPLexer->peekConditionalLevel(); 3891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 390141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a #else with a #else before it, report the error. 391141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CondInfo.FoundElse) Diag(Tok, diag::pp_err_else_after_else); 3921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 393141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Note that we've seen a #else in this conditional. 394141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CondInfo.FoundElse = true; 3951eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 396141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If the conditional is at the top level, and the #if block wasn't 397141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // entered, enter the #else block now. 398141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (!CondInfo.WasSkipping && !CondInfo.FoundNonSkip) { 399141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CondInfo.FoundNonSkip = true; 400bc9e5582467e70ec38b9fc5d3605152e86e2a5f8Richard Smith // Restore the value of LexingRawMode so that trailing comments 401bc9e5582467e70ec38b9fc5d3605152e86e2a5f8Richard Smith // are handled correctly. 402bc9e5582467e70ec38b9fc5d3605152e86e2a5f8Richard Smith CurPPLexer->LexingRawMode = false; 403e26224e61c8a3b607c73c52f2cd0344065d7b412Argyrios Kyrtzidis CheckEndOfDirective("else"); 404bc9e5582467e70ec38b9fc5d3605152e86e2a5f8Richard Smith CurPPLexer->LexingRawMode = true; 405bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis if (Callbacks) 406bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis Callbacks->Else(Tok.getLocation(), CondInfo.IfLoc); 407141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 408e26224e61c8a3b607c73c52f2cd0344065d7b412Argyrios Kyrtzidis } else { 409e26224e61c8a3b607c73c52f2cd0344065d7b412Argyrios Kyrtzidis DiscardUntilEndOfDirective(); // C99 6.10p4. 410141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 411b939a4e8b471f6a5e996fa57b2fd9df30b59cb60Benjamin Kramer } else if (Sub == "lif") { // "elif". 41260e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek PPConditionalInfo &CondInfo = CurPPLexer->peekConditionalLevel(); 413141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 414651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // If this is a #elif with a #else before it, report the error. 415651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (CondInfo.FoundElse) Diag(Tok, diag::pp_err_elif_after_else); 416651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 417141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is in a skipping block or if we're already handled this #if 418141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // block, don't bother parsing the condition. 419141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CondInfo.WasSkipping || CondInfo.FoundNonSkip) { 420141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 421141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 422651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines const SourceLocation CondBegin = CurPPLexer->getSourceLocation(); 423141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Restore the value of LexingRawMode so that identifiers are 424141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // looked up, etc, inside the #elif expression. 42560e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek assert(CurPPLexer->LexingRawMode && "We have to be skipping here!"); 42660e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->LexingRawMode = false; 4276bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines IdentifierInfo *IfNDefMacro = nullptr; 428651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines const bool CondValue = EvaluateDirectiveExpression(IfNDefMacro); 42960e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->LexingRawMode = true; 430651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (Callbacks) { 431651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines const SourceLocation CondEnd = CurPPLexer->getSourceLocation(); 432bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis Callbacks->Elif(Tok.getLocation(), 433651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines SourceRange(CondBegin, CondEnd), 434651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines (CondValue ? PPCallbacks::CVK_True : PPCallbacks::CVK_False), CondInfo.IfLoc); 435651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 436651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // If this condition is true, enter it! 437651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (CondValue) { 438651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines CondInfo.FoundNonSkip = true; 439651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines break; 440651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 441141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 442141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 443141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 4441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 44560e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ParsingPreprocessorDirective = false; 446141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Restore comment saving mode. 4476aad4a31b35df07fe818f193fcfd3c0197aea467Jordan Rose if (CurLexer) CurLexer->resetExtendedTokenMode(); 448141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 449141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 450141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Finally, if we are out of the conditional (saw an #endif or ran off the end 451141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // of the file, just stop skipping and return to lexing whatever came after 452141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // the #if block. 45360e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->LexingRawMode = false; 4546b4ff04dd22e7159887ea6c1bb8b1c01fc9c70a9Argyrios Kyrtzidis 4556b4ff04dd22e7159887ea6c1bb8b1c01fc9c70a9Argyrios Kyrtzidis if (Callbacks) { 4566b4ff04dd22e7159887ea6c1bb8b1c01fc9c70a9Argyrios Kyrtzidis SourceLocation BeginLoc = ElseLoc.isValid() ? ElseLoc : IfTokenLoc; 4576b4ff04dd22e7159887ea6c1bb8b1c01fc9c70a9Argyrios Kyrtzidis Callbacks->SourceRangeSkipped(SourceRange(BeginLoc, Tok.getLocation())); 4586b4ff04dd22e7159887ea6c1bb8b1c01fc9c70a9Argyrios Kyrtzidis } 459141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 460141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 461268ee7016a2811803989487c0ad3799486092c63Ted Kremenekvoid Preprocessor::PTHSkipExcludedConditionalBlock() { 4621eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 4631eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump while (1) { 464268ee7016a2811803989487c0ad3799486092c63Ted Kremenek assert(CurPTHLexer); 465268ee7016a2811803989487c0ad3799486092c63Ted Kremenek assert(CurPTHLexer->LexingRawMode == false); 4661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 467268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // Skip to the next '#else', '#elif', or #endif. 468268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (CurPTHLexer->SkipBlock()) { 469268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // We have reached an #endif. Both the '#' and 'endif' tokens 470268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // have been consumed by the PTHLexer. Just pop off the condition level. 471268ee7016a2811803989487c0ad3799486092c63Ted Kremenek PPConditionalInfo CondInfo; 472268ee7016a2811803989487c0ad3799486092c63Ted Kremenek bool InCond = CurPTHLexer->popConditionalLevel(CondInfo); 473c6ed729f669044f5072a49d79041f455d971ece3Jeffrey Yasskin (void)InCond; // Silence warning in no-asserts mode. 474268ee7016a2811803989487c0ad3799486092c63Ted Kremenek assert(!InCond && "Can't be skipping if not in a conditional!"); 475268ee7016a2811803989487c0ad3799486092c63Ted Kremenek break; 476268ee7016a2811803989487c0ad3799486092c63Ted Kremenek } 4771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 478268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // We have reached a '#else' or '#elif'. Lex the next token to get 479268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // the directive flavor. 480268ee7016a2811803989487c0ad3799486092c63Ted Kremenek Token Tok; 481268ee7016a2811803989487c0ad3799486092c63Ted Kremenek LexUnexpandedToken(Tok); 4821eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 483268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // We can actually look up the IdentifierInfo here since we aren't in 484268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // raw mode. 485268ee7016a2811803989487c0ad3799486092c63Ted Kremenek tok::PPKeywordKind K = Tok.getIdentifierInfo()->getPPKeywordID(); 486268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 487268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (K == tok::pp_else) { 488268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // #else: Enter the else condition. We aren't in a nested condition 489268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // since we skip those. We're always in the one matching the last 490268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // blocked we skipped. 491268ee7016a2811803989487c0ad3799486092c63Ted Kremenek PPConditionalInfo &CondInfo = CurPTHLexer->peekConditionalLevel(); 492268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // Note that we've seen a #else in this conditional. 493268ee7016a2811803989487c0ad3799486092c63Ted Kremenek CondInfo.FoundElse = true; 4941eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 495268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // If the #if block wasn't entered then enter the #else block now. 496268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (!CondInfo.FoundNonSkip) { 497268ee7016a2811803989487c0ad3799486092c63Ted Kremenek CondInfo.FoundNonSkip = true; 4981eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 49984021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // Scan until the eod token. 500e5680f3cd678014cf0872d34726dc804b0cbbdd4Ted Kremenek CurPTHLexer->ParsingPreprocessorDirective = true; 5018533bd5a32a12c51341e82d2aef083acbac7c04cDaniel Dunbar DiscardUntilEndOfDirective(); 502e5680f3cd678014cf0872d34726dc804b0cbbdd4Ted Kremenek CurPTHLexer->ParsingPreprocessorDirective = false; 5031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 504268ee7016a2811803989487c0ad3799486092c63Ted Kremenek break; 505268ee7016a2811803989487c0ad3799486092c63Ted Kremenek } 5061eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 507268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // Otherwise skip this block. 508268ee7016a2811803989487c0ad3799486092c63Ted Kremenek continue; 509268ee7016a2811803989487c0ad3799486092c63Ted Kremenek } 5101eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 511268ee7016a2811803989487c0ad3799486092c63Ted Kremenek assert(K == tok::pp_elif); 512268ee7016a2811803989487c0ad3799486092c63Ted Kremenek PPConditionalInfo &CondInfo = CurPTHLexer->peekConditionalLevel(); 513268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 514268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // If this is a #elif with a #else before it, report the error. 515268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (CondInfo.FoundElse) 516268ee7016a2811803989487c0ad3799486092c63Ted Kremenek Diag(Tok, diag::pp_err_elif_after_else); 5171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 518268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // If this is in a skipping block or if we're already handled this #if 5191eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // block, don't bother parsing the condition. We just skip this block. 520268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (CondInfo.FoundNonSkip) 521268ee7016a2811803989487c0ad3799486092c63Ted Kremenek continue; 522268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 523268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // Evaluate the condition of the #elif. 5246bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines IdentifierInfo *IfNDefMacro = nullptr; 525268ee7016a2811803989487c0ad3799486092c63Ted Kremenek CurPTHLexer->ParsingPreprocessorDirective = true; 526268ee7016a2811803989487c0ad3799486092c63Ted Kremenek bool ShouldEnter = EvaluateDirectiveExpression(IfNDefMacro); 527268ee7016a2811803989487c0ad3799486092c63Ted Kremenek CurPTHLexer->ParsingPreprocessorDirective = false; 528268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 529268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // If this condition is true, enter it! 530268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (ShouldEnter) { 531268ee7016a2811803989487c0ad3799486092c63Ted Kremenek CondInfo.FoundNonSkip = true; 532268ee7016a2811803989487c0ad3799486092c63Ted Kremenek break; 533268ee7016a2811803989487c0ad3799486092c63Ted Kremenek } 534268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 535268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // Otherwise, skip this block and go to the next one. 536268ee7016a2811803989487c0ad3799486092c63Ted Kremenek continue; 537268ee7016a2811803989487c0ad3799486092c63Ted Kremenek } 538268ee7016a2811803989487c0ad3799486092c63Ted Kremenek} 539268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 540ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel JasperModule *Preprocessor::getModuleForLocation(SourceLocation FilenameLoc) { 541ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper ModuleMap &ModMap = HeaderInfo.getModuleMap(); 542ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper if (SourceMgr.isInMainFile(FilenameLoc)) { 543ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper if (Module *CurMod = getCurrentModule()) 544ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper return CurMod; // Compiling a module. 545ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper return HeaderInfo.getModuleMap().SourceModule; // Compiling a source. 546ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper } 547ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper // Try to determine the module of the include directive. 548651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // FIXME: Look into directly passing the FileEntry from LookupFile instead. 549651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines FileID IDOfIncl = SourceMgr.getFileID(SourceMgr.getExpansionLoc(FilenameLoc)); 550ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper if (const FileEntry *EntryOfIncl = SourceMgr.getFileEntryForID(IDOfIncl)) { 551ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper // The include comes from a file. 552ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper return ModMap.findModuleForHeader(EntryOfIncl).getModule(); 553ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper } else { 554ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper // The include does not come from a file, 555ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper // so it is probably a module compilation. 556ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper return getCurrentModule(); 557ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper } 558ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper} 559ddd2dfc1d3f4a36cbe8cd775c588623a17049f9fDaniel Jasper 560b5142bb7af5c70fffd09f05172a1379a35a9c29aChandler Carruthconst FileEntry *Preprocessor::LookupFile( 561bc3f628815b3841dc99109e7f67f9afa7793bc94Lawrence Crowl SourceLocation FilenameLoc, 5625f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner StringRef Filename, 563b5142bb7af5c70fffd09f05172a1379a35a9c29aChandler Carruth bool isAngled, 564b5142bb7af5c70fffd09f05172a1379a35a9c29aChandler Carruth const DirectoryLookup *FromDir, 565b5142bb7af5c70fffd09f05172a1379a35a9c29aChandler Carruth const DirectoryLookup *&CurDir, 5665f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner SmallVectorImpl<char> *SearchPath, 567fba18aa8f2cd1994dc65e8cb9f4be201c560dc0bDouglas Gregor SmallVectorImpl<char> *RelativePath, 568bc3f628815b3841dc99109e7f67f9afa7793bc94Lawrence Crowl ModuleMap::KnownHeader *SuggestedModule, 5691c2e9332fa69727425a3a2b912e36e2ab62083f8Douglas Gregor bool SkipCache) { 570651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // If the header lookup mechanism may be relative to the current inclusion 571651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // stack, record the parent #includes. 572651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines SmallVector<const FileEntry *, 16> Includers; 5731072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner if (!FromDir) { 5742b2453a7d8fe732561795431f39ceb2b2a832d84Chris Lattner FileID FID = getCurrentFileLexer()->getFileID(); 575651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines const FileEntry *FileEnt = SourceMgr.getFileEntryForID(FID); 5761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 577be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner // If there is no file entry associated with this file, it must be the 578be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner // predefines buffer. Any other file is not lexed with a normal lexer, so 57910fe93d57c11f068aa4d78eb4ca7f60329818306Douglas Gregor // it won't be scanned for preprocessor directives. If we have the 58010fe93d57c11f068aa4d78eb4ca7f60329818306Douglas Gregor // predefines buffer, resolve #include references (which come from the 58110fe93d57c11f068aa4d78eb4ca7f60329818306Douglas Gregor // -include command line argument) as if they came from the main file, this 58210fe93d57c11f068aa4d78eb4ca7f60329818306Douglas Gregor // affects file lookup etc. 583651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (!FileEnt) 584651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines FileEnt = SourceMgr.getFileEntryForID(SourceMgr.getMainFileID()); 585651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 586651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (FileEnt) 587651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Includers.push_back(FileEnt); 588651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 589651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // MSVC searches the current include stack from top to bottom for 590651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // headers included by quoted include directives. 591651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // See: http://msdn.microsoft.com/en-us/library/36k2cdd4.aspx 592651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (LangOpts.MSVCCompat && !isAngled) { 593651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines for (unsigned i = 0, e = IncludeMacroStack.size(); i != e; ++i) { 594651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines IncludeStackInfo &ISEntry = IncludeMacroStack[e - i - 1]; 595651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (IsFileLexer(ISEntry)) 596651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if ((FileEnt = SourceMgr.getFileEntryForID( 597651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines ISEntry.ThePPLexer->getFileID()))) 598651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Includers.push_back(FileEnt); 599651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 600be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner } 6011072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner } 6021eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6031072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner // Do a standard file entry lookup. 6041072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner CurDir = CurDirLookup; 605b5142bb7af5c70fffd09f05172a1379a35a9c29aChandler Carruth const FileEntry *FE = HeaderInfo.LookupFile( 606651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Filename, FilenameLoc, isAngled, FromDir, CurDir, Includers, SearchPath, 607651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines RelativePath, SuggestedModule, SkipCache); 608bc3f628815b3841dc99109e7f67f9afa7793bc94Lawrence Crowl if (FE) { 609651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (SuggestedModule && !LangOpts.AsmPreprocessor) 610651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines HeaderInfo.getModuleMap().diagnoseHeaderInclusion( 611651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines getModuleForLocation(FilenameLoc), FilenameLoc, Filename, FE); 612bc3f628815b3841dc99109e7f67f9afa7793bc94Lawrence Crowl return FE; 613bc3f628815b3841dc99109e7f67f9afa7793bc94Lawrence Crowl } 6141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 615651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines const FileEntry *CurFileEnt; 6161072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner // Otherwise, see if this is a subframework header. If so, this is relative 6171072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner // to one of the headers on the #include stack. Walk the list of the current 6181072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner // headers on the #include stack and pass them to HeaderInfo. 61981d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek if (IsFileLexer()) { 6206bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if ((CurFileEnt = SourceMgr.getFileEntryForID(CurPPLexer->getFileID()))) { 621b5142bb7af5c70fffd09f05172a1379a35a9c29aChandler Carruth if ((FE = HeaderInfo.LookupSubframeworkHeader(Filename, CurFileEnt, 6221b58c74af272a1d8228b8161c93a8a018456098eDouglas Gregor SearchPath, RelativePath, 6236bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines SuggestedModule))) { 6246bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (SuggestedModule && !LangOpts.AsmPreprocessor) 6256bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines HeaderInfo.getModuleMap().diagnoseHeaderInclusion( 6266bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines getModuleForLocation(FilenameLoc), FilenameLoc, Filename, FE); 6271072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner return FE; 6286bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines } 6296bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines } 6301072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner } 6311eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6321072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner for (unsigned i = 0, e = IncludeMacroStack.size(); i != e; ++i) { 6331072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner IncludeStackInfo &ISEntry = IncludeMacroStack[e-i-1]; 63481d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek if (IsFileLexer(ISEntry)) { 6351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if ((CurFileEnt = 6366bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines SourceMgr.getFileEntryForID(ISEntry.ThePPLexer->getFileID()))) { 6377412494982c8b50c90961302c3a718633b2c3ab7Manuel Klimek if ((FE = HeaderInfo.LookupSubframeworkHeader( 6381b58c74af272a1d8228b8161c93a8a018456098eDouglas Gregor Filename, CurFileEnt, SearchPath, RelativePath, 6396bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines SuggestedModule))) { 6406bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (SuggestedModule && !LangOpts.AsmPreprocessor) 6416bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines HeaderInfo.getModuleMap().diagnoseHeaderInclusion( 6426bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines getModuleForLocation(FilenameLoc), FilenameLoc, Filename, FE); 6431072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner return FE; 6446bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines } 6456bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines } 6461072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner } 6471072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner } 6481eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6491072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner // Otherwise, we really couldn't find the file. 6506bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines return nullptr; 6511072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner} 6521072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner 653141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 654141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 655141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// Preprocessor Directive Handling. 656141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 657141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 6588c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikieclass Preprocessor::ResetMacroExpansionHelper { 6598c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikiepublic: 6608c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie ResetMacroExpansionHelper(Preprocessor *pp) 6618c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie : PP(pp), save(pp->DisableMacroExpansion) { 6628c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie if (pp->MacroExpansionInDirectivesOverride) 6638c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie pp->DisableMacroExpansion = false; 6648c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie } 6658c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie ~ResetMacroExpansionHelper() { 6668c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie PP->DisableMacroExpansion = save; 6678c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie } 6688c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikieprivate: 6698c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie Preprocessor *PP; 6708c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie bool save; 6718c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie}; 6728c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie 673141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// HandleDirective - This callback is invoked when the lexer sees a # token 6741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// at the start of a line. This consumes the directive, modifies the 675141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// lexer/preprocessor state, and advances the lexer(s) so that the next token 676141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// read is the correct one. 677141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleDirective(Token &Result) { 678141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // FIXME: Traditional: # with whitespace before it not recognized by K&R? 6791eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 680141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // We just parsed a # character at the start of a line, so we're in directive 681141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // mode. Tell the lexer this so any newlines we see will be converted into an 68284021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // EOD token (which terminates the directive). 68360e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ParsingPreprocessorDirective = true; 6846aad4a31b35df07fe818f193fcfd3c0197aea467Jordan Rose if (CurLexer) CurLexer->SetKeepWhitespaceMode(false); 6851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 686671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu bool ImmediatelyAfterTopLevelIfndef = 687671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu CurPPLexer->MIOpt.getImmediatelyAfterTopLevelIfndef(); 688671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu CurPPLexer->MIOpt.resetImmediatelyAfterTopLevelIfndef(); 689671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu 690141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumDirectives; 691193575455e00eca03fd7177f60e3f2e6263cb661Kovarththanan Rajaratnam 692141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // We are about to read a token. For the multiple-include optimization FA to 6931eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // work, we have to remember if we had read any tokens *before* this 694141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // pp-directive. 6951d9c54df56391ac4740db27d551782e81189cb51Chris Lattner bool ReadAnyTokensBeforeDirective =CurPPLexer->MIOpt.getHasReadAnyTokensVal(); 6961eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 69742aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // Save the '#' token in case we need to return it later. 69842aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner Token SavedHash = Result; 6991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 700141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the next token, the directive flavor. This isn't expanded due to 701141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.3p8. 702141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Result); 7031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 704141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.3p11: Is this preprocessor directive in macro invocation? e.g.: 705141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #define A(x) #x 706141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // A(abc 707141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #warning blah 708141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // def) 709a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith // If so, the user is relying on undefined behavior, emit a diagnostic. Do 710a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith // not support this for #include-like directives, since that can result in 711a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith // terrible diagnostics, and does not work in GCC. 712a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith if (InMacroArgs) { 713a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith if (IdentifierInfo *II = Result.getIdentifierInfo()) { 714a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith switch (II->getPPKeywordID()) { 715a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith case tok::pp_include: 716a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith case tok::pp_import: 717a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith case tok::pp_include_next: 718a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith case tok::pp___include_macros: 719a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith Diag(Result, diag::err_embedded_include) << II->getName(); 720a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith DiscardUntilEndOfDirective(); 721a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith return; 722a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith default: 723a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith break; 724a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith } 725a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith } 726141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Result, diag::ext_embedded_directive); 727a3ca4d655974ad66e432a6c78dd08b277a639edfRichard Smith } 7281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7298c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie // Temporarily enable macro expansion if set so 7308c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie // and reset to previous state when returning from this function. 7318c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie ResetMacroExpansionHelper helper(this); 7328c0b3787e7ccc7978b42dfbb84da2b802c743a5dDavid Blaikie 733141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner switch (Result.getKind()) { 73484021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne case tok::eod: 735141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; // null directive. 736f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor case tok::code_completion: 737f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor if (CodeComplete) 738f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor CodeComplete->CodeCompleteDirective( 739f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor CurPPLexer->getConditionalStackDepth() > 0); 7407d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis setCodeCompletionReached(); 741f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor return; 742478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner case tok::numeric_constant: // # 7 GNU line marker directive. 7434e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie if (getLangOpts().AsmPreprocessor) 7445f607c4b75abeedded11eff079dee73561d98203Chris Lattner break; // # 4 is not a preprocessor directive in .S files. 745478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return HandleDigitDirective(Result); 746141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner default: 747141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner IdentifierInfo *II = Result.getIdentifierInfo(); 7486bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (!II) break; // Not an identifier. 7491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 750141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Ask what the preprocessor keyword ID is. 751141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner switch (II->getPPKeywordID()) { 752141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner default: break; 753141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.1 - Conditional Inclusion. 754141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_if: 755141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIfDirective(Result, ReadAnyTokensBeforeDirective); 756141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_ifdef: 757141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIfdefDirective(Result, false, true/*not valid for miopt*/); 758141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_ifndef: 759141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIfdefDirective(Result, true, ReadAnyTokensBeforeDirective); 760141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_elif: 761141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleElifDirective(Result); 762141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_else: 763141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleElseDirective(Result); 764141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_endif: 765141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleEndifDirective(Result); 7661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 767141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.2 - Source File Inclusion. 768141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_include: 769ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor // Handle #include. 770ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor return HandleIncludeDirective(SavedHash.getLocation(), Result); 771b8e240ed8b8f58c7b7fe82776bd6147b437f5d53Chris Lattner case tok::pp___include_macros: 772ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor // Handle -imacros. 773ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor return HandleIncludeMacrosDirective(SavedHash.getLocation(), Result); 7741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 775141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.3 - Macro Replacement. 776141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_define: 777671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu return HandleDefineDirective(Result, ImmediatelyAfterTopLevelIfndef); 778141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_undef: 779141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleUndefDirective(Result); 780141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 781141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.4 - Line Control. 782141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_line: 783359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner return HandleLineDirective(Result); 7841eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 785141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.5 - Error Directive. 786141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_error: 787141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleUserDiagnosticDirective(Result, false); 7881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 789141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.6 - Pragma Directive. 790141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_pragma: 7910189fd61ec72d86e008aa5615be80581f84cf703Enea Zaffanella return HandlePragmaDirective(SavedHash.getLocation(), PIK_HashPragma); 7921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 793141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // GNU Extensions. 794141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_import: 795ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor return HandleImportDirective(SavedHash.getLocation(), Result); 796141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_include_next: 797ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor return HandleIncludeNextDirective(SavedHash.getLocation(), Result); 7981eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 799141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_warning: 800141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Result, diag::ext_pp_warning_directive); 801141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleUserDiagnosticDirective(Result, true); 802141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_ident: 803141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIdentSCCSDirective(Result); 804141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_sccs: 805141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIdentSCCSDirective(Result); 806141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_assert: 807141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner //isExtension = true; // FIXME: implement #assert 808141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 809141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_unassert: 810141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner //isExtension = true; // FIXME: implement #unassert 811141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 8127143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor 8131ac13c37d8af0145b7e03fea70b7b1476b8828c9Douglas Gregor case tok::pp___public_macro: 8144e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie if (getLangOpts().Modules) 81594ad28b31433058445a27db722f60402ee820beaDouglas Gregor return HandleMacroPublicDirective(Result); 81694ad28b31433058445a27db722f60402ee820beaDouglas Gregor break; 81794ad28b31433058445a27db722f60402ee820beaDouglas Gregor 8181ac13c37d8af0145b7e03fea70b7b1476b8828c9Douglas Gregor case tok::pp___private_macro: 8194e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie if (getLangOpts().Modules) 82094ad28b31433058445a27db722f60402ee820beaDouglas Gregor return HandleMacroPrivateDirective(Result); 82194ad28b31433058445a27db722f60402ee820beaDouglas Gregor break; 822141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 823141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 824141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 8251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 82642aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // If this is a .S file, treat unknown # directives as non-preprocessor 82742aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // directives. This is important because # may be a comment or introduce 82842aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // various pseudo-ops. Just return the # token and push back the following 82942aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // token to be lexed next time. 8304e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie if (getLangOpts().AsmPreprocessor) { 8313d399a010102966158f6b69b07d636f113dc6ab4Daniel Dunbar Token *Toks = new Token[2]; 83242aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // Return the # and the token after it. 8331eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Toks[0] = SavedHash; 83442aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner Toks[1] = Result; 835ba3ca5271a01eae7cbd6a19ace004d75012c02a8Chris Lattner 836ba3ca5271a01eae7cbd6a19ace004d75012c02a8Chris Lattner // If the second token is a hashhash token, then we need to translate it to 837ba3ca5271a01eae7cbd6a19ace004d75012c02a8Chris Lattner // unknown so the token lexer doesn't try to perform token pasting. 838ba3ca5271a01eae7cbd6a19ace004d75012c02a8Chris Lattner if (Result.is(tok::hashhash)) 839ba3ca5271a01eae7cbd6a19ace004d75012c02a8Chris Lattner Toks[1].setKind(tok::unknown); 840ba3ca5271a01eae7cbd6a19ace004d75012c02a8Chris Lattner 84142aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // Enter this token stream so that we re-lex the tokens. Make sure to 84242aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // enable macro expansion, in case the token after the # is an identifier 84342aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // that is expanded. 84442aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner EnterTokenStream(Toks, 2, false, true); 84542aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner return; 84642aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner } 8471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 848141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If we reached here, the preprocessing token is not valid! 849141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Result, diag::err_pp_invalid_directive); 8501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 851141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the rest of the PP line. 852141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 8531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 854141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Okay, we're done parsing the directive. 855141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 856141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 857478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// GetLineValue - Convert a numeric token into an unsigned value, emitting 858478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// Diagnostic DiagID if it is invalid, and returning the value in Val. 859478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattnerstatic bool GetLineValue(Token &DigitTok, unsigned &Val, 860ec27608da7f15b265135f5743fe71da1f8e25ee9Michael Ilseman unsigned DiagID, Preprocessor &PP, 861ec27608da7f15b265135f5743fe71da1f8e25ee9Michael Ilseman bool IsGNULineDirective=false) { 862359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner if (DigitTok.isNot(tok::numeric_constant)) { 863478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Diag(DigitTok, DiagID); 8641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 86584021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (DigitTok.isNot(tok::eod)) 866478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.DiscardUntilEndOfDirective(); 867478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 868359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner } 8691eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 870f7ccbad5d9949e7ddd1cbef43d482553b811e026Dylan Noblesmith SmallString<64> IntegerBuffer; 871359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner IntegerBuffer.resize(DigitTok.getLength()); 872359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner const char *DigitTokBegin = &IntegerBuffer[0]; 873453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor bool Invalid = false; 874453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor unsigned ActualLength = PP.getSpelling(DigitTok, DigitTokBegin, &Invalid); 875453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor if (Invalid) 876453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor return true; 877453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor 878dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner // Verify that we have a simple digit-sequence, and compute the value. This 879dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner // is always a simple digit string computed in decimal, so we do this manually 880dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner // here. 881dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner Val = 0; 882dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner for (unsigned i = 0; i != ActualLength; ++i) { 8839a17677bb8a332e873137187aba91f64d3fd16a0Richard Smith // C++1y [lex.fcon]p1: 8849a17677bb8a332e873137187aba91f64d3fd16a0Richard Smith // Optional separating single quotes in a digit-sequence are ignored 8859a17677bb8a332e873137187aba91f64d3fd16a0Richard Smith if (DigitTokBegin[i] == '\'') 8869a17677bb8a332e873137187aba91f64d3fd16a0Richard Smith continue; 8879a17677bb8a332e873137187aba91f64d3fd16a0Richard Smith 8883f6f51e28231f65de9c2dd150a2d757b2162cfa3Jordan Rose if (!isDigit(DigitTokBegin[i])) { 889dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner PP.Diag(PP.AdvanceToTokenCharacter(DigitTok.getLocation(), i), 890ec27608da7f15b265135f5743fe71da1f8e25ee9Michael Ilseman diag::err_pp_line_digit_sequence) << IsGNULineDirective; 891dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner PP.DiscardUntilEndOfDirective(); 892dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner return true; 893dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner } 8941eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 895dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner unsigned NextVal = Val*10+(DigitTokBegin[i]-'0'); 896dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner if (NextVal < Val) { // overflow. 897dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner PP.Diag(DigitTok, DiagID); 898dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner PP.DiscardUntilEndOfDirective(); 899dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner return true; 900dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner } 901dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner Val = NextVal; 902359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner } 9031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 904540f9ae1023bba27052c742cd92d0b32361b28ebFariborz Jahanian if (DigitTokBegin[0] == '0' && Val) 905ec27608da7f15b265135f5743fe71da1f8e25ee9Michael Ilseman PP.Diag(DigitTok.getLocation(), diag::warn_pp_line_decimal) 906ec27608da7f15b265135f5743fe71da1f8e25ee9Michael Ilseman << IsGNULineDirective; 9071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 908478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return false; 909478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner} 910478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 911dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// \brief Handle a \#line directive: C99 6.10.4. 912dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// 913dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// The two acceptable forms are: 914dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// \verbatim 915478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// # line digit-sequence 916478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// # line digit-sequence "s-char-sequence" 917dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// \endverbatim 918478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattnervoid Preprocessor::HandleLineDirective(Token &Tok) { 919478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // Read the line # and string argument. Per C99 6.10.4p5, these tokens are 920478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // expanded. 921478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Token DigitTok; 922478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Lex(DigitTok); 923478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 924478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // Validate the number and convert it to an unsigned. 925478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner unsigned LineNo; 926dc8c90da158030c0d0c62539e2da0adccc09f271Chris Lattner if (GetLineValue(DigitTok, LineNo, diag::err_pp_line_requires_integer,*this)) 927478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return; 928540f9ae1023bba27052c742cd92d0b32361b28ebFariborz Jahanian 929540f9ae1023bba27052c742cd92d0b32361b28ebFariborz Jahanian if (LineNo == 0) 930540f9ae1023bba27052c742cd92d0b32361b28ebFariborz Jahanian Diag(DigitTok, diag::ext_pp_line_zero); 931478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 932478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // Enforce C99 6.10.4p3: "The digit sequence shall not specify ... a 933478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // number greater than 2147483647". C90 requires that the line # be <= 32767. 934158ebfba7545b3a9947f87bed83ea710df95ac3dEli Friedman unsigned LineLimit = 32768U; 93580ad52f327b532bded5c5b0ee38779d841c6cd35Richard Smith if (LangOpts.C99 || LangOpts.CPlusPlus11) 936158ebfba7545b3a9947f87bed83ea710df95ac3dEli Friedman LineLimit = 2147483648U; 937359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner if (LineNo >= LineLimit) 938359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner Diag(DigitTok, diag::ext_pp_line_too_big) << LineLimit; 93980ad52f327b532bded5c5b0ee38779d841c6cd35Richard Smith else if (LangOpts.CPlusPlus11 && LineNo >= 32768U) 940661a99690bc133bbaa029da925481d4a860dec90Richard Smith Diag(DigitTok, diag::warn_cxx98_compat_pp_line_too_big); 9411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 9425b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner int FilenameID = -1; 943359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner Token StrTok; 944359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner Lex(StrTok); 945359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner 94684021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // If the StrTok is "eod", then it wasn't present. Otherwise, it must be a 94784021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // string followed by eod. 94884021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (StrTok.is(tok::eod)) 949359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner ; // ok 950359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner else if (StrTok.isNot(tok::string_literal)) { 951359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner Diag(StrTok, diag::err_pp_line_invalid_filename); 95299831e4677a7e2e051af636221694d60ba31fcdbRichard Smith return DiscardUntilEndOfDirective(); 95399831e4677a7e2e051af636221694d60ba31fcdbRichard Smith } else if (StrTok.hasUDSuffix()) { 95499831e4677a7e2e051af636221694d60ba31fcdbRichard Smith Diag(StrTok, diag::err_invalid_string_udl); 95599831e4677a7e2e051af636221694d60ba31fcdbRichard Smith return DiscardUntilEndOfDirective(); 956359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner } else { 9575b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner // Parse and validate the string, converting it into a unique ID. 958ef8225444452a1486bd721f3285301fe84643b00Stephen Hines StringLiteralParser Literal(StrTok, *this); 9595cee1195584fa8672253139c86e922daeda69b9eDouglas Gregor assert(Literal.isAscii() && "Didn't allow wide strings in"); 9605b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner if (Literal.hadError) 9615b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner return DiscardUntilEndOfDirective(); 9625b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner if (Literal.Pascal) { 9635b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner Diag(StrTok, diag::err_pp_linemarker_invalid_filename); 9645b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner return DiscardUntilEndOfDirective(); 9655b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner } 96665aa6885818d4b4eea2e5a9d12085b2398148662Jay Foad FilenameID = SourceMgr.getLineTableFilenameID(Literal.GetString()); 9671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 96884021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // Verify that there is nothing after the string, other than EOD. Because 969ab82f41b217ce588a9456c0b4411f219d3ed0df8Chris Lattner // of C99 6.10.4p5, macros that expand to empty tokens are ok. 970ab82f41b217ce588a9456c0b4411f219d3ed0df8Chris Lattner CheckEndOfDirective("line", true); 971359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner } 9721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 9734c4ea17d7f991516c37a871dfa4bbe5723fa85f0Chris Lattner SourceMgr.AddLineNote(DigitTok.getLocation(), LineNo, FilenameID); 9741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 97516629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner if (Callbacks) 97686d0ef74303e9164a0860ce849af597d34f937abChris Lattner Callbacks->FileChanged(CurPPLexer->getSourceLocation(), 97786d0ef74303e9164a0860ce849af597d34f937abChris Lattner PPCallbacks::RenameFile, 97816629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner SrcMgr::C_User); 979359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner} 980359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner 981478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// ReadLineMarkerFlags - Parse and validate any flags at the end of a GNU line 982478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// marker directive. 983478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattnerstatic bool ReadLineMarkerFlags(bool &IsFileEntry, bool &IsFileExit, 984478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner bool &IsSystemHeader, bool &IsExternCHeader, 985478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Preprocessor &PP) { 986478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner unsigned FlagVal; 987478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Token FlagTok; 988478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Lex(FlagTok); 98984021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (FlagTok.is(tok::eod)) return false; 990478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (GetLineValue(FlagTok, FlagVal, diag::err_pp_linemarker_invalid_flag, PP)) 991478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 992478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 993478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (FlagVal == 1) { 994478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner IsFileEntry = true; 9951eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 996478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Lex(FlagTok); 99784021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (FlagTok.is(tok::eod)) return false; 998478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (GetLineValue(FlagTok, FlagVal, diag::err_pp_linemarker_invalid_flag,PP)) 999478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 1000478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner } else if (FlagVal == 2) { 1001478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner IsFileExit = true; 10021eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1003137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner SourceManager &SM = PP.getSourceManager(); 1004137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner // If we are leaving the current presumed file, check to make sure the 1005137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner // presumed include stack isn't empty! 1006137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner FileID CurFileID = 1007e7b2b6e87dbe5b1207f77b6ff9c210a02f95bb39Chandler Carruth SM.getDecomposedExpansionLoc(FlagTok.getLocation()).first; 1008137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner PresumedLoc PLoc = SM.getPresumedLoc(FlagTok.getLocation()); 1009cb7b1e17b63967317ab5cc55682168cf0380519aDouglas Gregor if (PLoc.isInvalid()) 1010cb7b1e17b63967317ab5cc55682168cf0380519aDouglas Gregor return true; 1011cb7b1e17b63967317ab5cc55682168cf0380519aDouglas Gregor 1012137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner // If there is no include loc (main file) or if the include loc is in a 1013137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner // different physical file, then we aren't in a "1" line marker flag region. 1014137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner SourceLocation IncLoc = PLoc.getIncludeLoc(); 1015137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner if (IncLoc.isInvalid() || 1016e7b2b6e87dbe5b1207f77b6ff9c210a02f95bb39Chandler Carruth SM.getDecomposedExpansionLoc(IncLoc).first != CurFileID) { 1017137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner PP.Diag(FlagTok, diag::err_pp_linemarker_invalid_pop); 1018137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner PP.DiscardUntilEndOfDirective(); 1019137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner return true; 1020137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner } 10211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1022478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Lex(FlagTok); 102384021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (FlagTok.is(tok::eod)) return false; 1024478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (GetLineValue(FlagTok, FlagVal, diag::err_pp_linemarker_invalid_flag,PP)) 1025478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 1026478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner } 1027478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 1028478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // We must have 3 if there are still flags. 1029478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (FlagVal != 3) { 1030478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Diag(FlagTok, diag::err_pp_linemarker_invalid_flag); 10315b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner PP.DiscardUntilEndOfDirective(); 1032478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 1033478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner } 10341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1035478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner IsSystemHeader = true; 10361eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1037478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Lex(FlagTok); 103884021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (FlagTok.is(tok::eod)) return false; 10399d79ebac47ffde6a1cb312f4c09b66b1b9a397fbChris Lattner if (GetLineValue(FlagTok, FlagVal, diag::err_pp_linemarker_invalid_flag, PP)) 1040478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 1041478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 1042478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // We must have 4 if there is yet another flag. 1043478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (FlagVal != 4) { 1044478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Diag(FlagTok, diag::err_pp_linemarker_invalid_flag); 10455b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner PP.DiscardUntilEndOfDirective(); 1046478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 1047478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner } 10481eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1049478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner IsExternCHeader = true; 10501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1051478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Lex(FlagTok); 105284021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (FlagTok.is(tok::eod)) return false; 1053478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 1054478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // There are no more valid flags here. 1055478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Diag(FlagTok, diag::err_pp_linemarker_invalid_flag); 10565b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner PP.DiscardUntilEndOfDirective(); 1057478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 1058478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner} 1059478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 1060478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// HandleDigitDirective - Handle a GNU line marker directive, whose syntax is 1061478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// one of the following forms: 1062478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// 1063478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// # 42 10641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// # 42 "file" ('1' | '2')? 1065478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// # 42 "file" ('1' | '2')? '3' '4'? 1066478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// 1067478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattnervoid Preprocessor::HandleDigitDirective(Token &DigitTok) { 1068478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // Validate the number and convert it to an unsigned. GNU does not have a 1069478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // line # limit other than it fit in 32-bits. 1070478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner unsigned LineNo; 1071478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (GetLineValue(DigitTok, LineNo, diag::err_pp_linemarker_requires_integer, 1072ec27608da7f15b265135f5743fe71da1f8e25ee9Michael Ilseman *this, true)) 1073478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return; 10741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1075478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Token StrTok; 1076478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Lex(StrTok); 10771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1078478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner bool IsFileEntry = false, IsFileExit = false; 1079478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner bool IsSystemHeader = false, IsExternCHeader = false; 10805b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner int FilenameID = -1; 10815b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner 108284021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // If the StrTok is "eod", then it wasn't present. Otherwise, it must be a 108384021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // string followed by eod. 108484021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (StrTok.is(tok::eod)) 1085478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner ; // ok 1086478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner else if (StrTok.isNot(tok::string_literal)) { 1087478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Diag(StrTok, diag::err_pp_linemarker_invalid_filename); 10885b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner return DiscardUntilEndOfDirective(); 108999831e4677a7e2e051af636221694d60ba31fcdbRichard Smith } else if (StrTok.hasUDSuffix()) { 109099831e4677a7e2e051af636221694d60ba31fcdbRichard Smith Diag(StrTok, diag::err_invalid_string_udl); 109199831e4677a7e2e051af636221694d60ba31fcdbRichard Smith return DiscardUntilEndOfDirective(); 1092478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner } else { 10935b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner // Parse and validate the string, converting it into a unique ID. 1094ef8225444452a1486bd721f3285301fe84643b00Stephen Hines StringLiteralParser Literal(StrTok, *this); 10955cee1195584fa8672253139c86e922daeda69b9eDouglas Gregor assert(Literal.isAscii() && "Didn't allow wide strings in"); 10965b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner if (Literal.hadError) 10975b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner return DiscardUntilEndOfDirective(); 10985b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner if (Literal.Pascal) { 10995b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner Diag(StrTok, diag::err_pp_linemarker_invalid_filename); 11005b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner return DiscardUntilEndOfDirective(); 11015b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner } 110265aa6885818d4b4eea2e5a9d12085b2398148662Jay Foad FilenameID = SourceMgr.getLineTableFilenameID(Literal.GetString()); 11031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1104478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // If a filename was present, read any flags that are present. 11051eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (ReadLineMarkerFlags(IsFileEntry, IsFileExit, 11065b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner IsSystemHeader, IsExternCHeader, *this)) 1107478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return; 1108478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner } 11091eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 11109d79ebac47ffde6a1cb312f4c09b66b1b9a397fbChris Lattner // Create a line note with this information. 11119d79ebac47ffde6a1cb312f4c09b66b1b9a397fbChris Lattner SourceMgr.AddLineNote(DigitTok.getLocation(), LineNo, FilenameID, 11121eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump IsFileEntry, IsFileExit, 11139d79ebac47ffde6a1cb312f4c09b66b1b9a397fbChris Lattner IsSystemHeader, IsExternCHeader); 11141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 111516629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner // If the preprocessor has callbacks installed, notify them of the #line 111616629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner // change. This is used so that the line marker comes out in -E mode for 111716629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner // example. 111816629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner if (Callbacks) { 111916629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner PPCallbacks::FileChangeReason Reason = PPCallbacks::RenameFile; 112016629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner if (IsFileEntry) 112116629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner Reason = PPCallbacks::EnterFile; 112216629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner else if (IsFileExit) 112316629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner Reason = PPCallbacks::ExitFile; 112416629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner SrcMgr::CharacteristicKind FileKind = SrcMgr::C_User; 112516629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner if (IsExternCHeader) 112616629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner FileKind = SrcMgr::C_ExternCSystem; 112716629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner else if (IsSystemHeader) 112816629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner FileKind = SrcMgr::C_System; 11291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 113086d0ef74303e9164a0860ce849af597d34f937abChris Lattner Callbacks->FileChanged(CurPPLexer->getSourceLocation(), Reason, FileKind); 113116629386f1326608dc1ff9f4ff785fb3fae0bfb3Chris Lattner } 1132478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner} 1133478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 1134478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 1135099dd05b579ccefa97bd4f4a3088d4c262f080e4Chris Lattner/// HandleUserDiagnosticDirective - Handle a #warning or #error directive. 1136099dd05b579ccefa97bd4f4a3088d4c262f080e4Chris Lattner/// 11371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid Preprocessor::HandleUserDiagnosticDirective(Token &Tok, 1138141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool isWarning) { 1139099dd05b579ccefa97bd4f4a3088d4c262f080e4Chris Lattner // PTH doesn't emit #warning or #error directives. 1140099dd05b579ccefa97bd4f4a3088d4c262f080e4Chris Lattner if (CurPTHLexer) 1141359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner return CurPTHLexer->DiscardToEndOfLine(); 1142359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner 1143141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the rest of the line raw. We do this because we don't want macros 1144141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // to be expanded and we don't require that the tokens be valid preprocessing 1145141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // tokens. For example, this is allowed: "#warning ` 'foo". GCC does 1146141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // collapse multiple consequtive white space between tokens, but this isn't 1147141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // specified by the standard. 11483093b20d824a953d8bc7a786dd952414898f8d6dBenjamin Kramer SmallString<128> Message; 11493093b20d824a953d8bc7a786dd952414898f8d6dBenjamin Kramer CurLexer->ReadToEndOfLine(&Message); 115034a2c42ba8cc58a404238a3c1cbc4a7442e57832Ted Kremenek 115134a2c42ba8cc58a404238a3c1cbc4a7442e57832Ted Kremenek // Find the first non-whitespace character, so that we can make the 115234a2c42ba8cc58a404238a3c1cbc4a7442e57832Ted Kremenek // diagnostic more succinct. 11533093b20d824a953d8bc7a786dd952414898f8d6dBenjamin Kramer StringRef Msg = Message.str().ltrim(" "); 11543093b20d824a953d8bc7a786dd952414898f8d6dBenjamin Kramer 1155359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner if (isWarning) 115634a2c42ba8cc58a404238a3c1cbc4a7442e57832Ted Kremenek Diag(Tok, diag::pp_hash_warning) << Msg; 1157359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner else 115834a2c42ba8cc58a404238a3c1cbc4a7442e57832Ted Kremenek Diag(Tok, diag::err_pp_hash_error) << Msg; 1159141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1160141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1161141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// HandleIdentSCCSDirective - Handle a #ident/#sccs directive. 1162141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 1163141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleIdentSCCSDirective(Token &Tok) { 1164141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Yes, this directive is an extension. 1165141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::ext_pp_ident_directive); 11661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1167141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the string argument. 1168141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token StrTok; 1169141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Lex(StrTok); 11701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1171141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If the token kind isn't a string, it's a malformed directive. 1172141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (StrTok.isNot(tok::string_literal) && 11733692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner StrTok.isNot(tok::wide_string_literal)) { 11743692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner Diag(StrTok, diag::err_pp_malformed_ident); 117584021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (StrTok.isNot(tok::eod)) 1176099dd05b579ccefa97bd4f4a3088d4c262f080e4Chris Lattner DiscardUntilEndOfDirective(); 11773692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner return; 11783692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner } 11791eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 118099831e4677a7e2e051af636221694d60ba31fcdbRichard Smith if (StrTok.hasUDSuffix()) { 118199831e4677a7e2e051af636221694d60ba31fcdbRichard Smith Diag(StrTok, diag::err_invalid_string_udl); 118299831e4677a7e2e051af636221694d60ba31fcdbRichard Smith return DiscardUntilEndOfDirective(); 118399831e4677a7e2e051af636221694d60ba31fcdbRichard Smith } 118499831e4677a7e2e051af636221694d60ba31fcdbRichard Smith 118584021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // Verify that there is nothing after the string, other than EOD. 118635410d5cbbb18735d76e00496540d416dc49b577Chris Lattner CheckEndOfDirective("ident"); 1187141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1188453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor if (Callbacks) { 1189453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor bool Invalid = false; 1190453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor std::string Str = getSpelling(StrTok, &Invalid); 1191453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor if (!Invalid) 1192453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor Callbacks->Ident(Tok.getLocation(), Str); 1193453091cc2082e207ea2c2dda645a9bc01b37fb0cDouglas Gregor } 1194141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1195141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 119694ad28b31433058445a27db722f60402ee820beaDouglas Gregor/// \brief Handle a #public directive. 119794ad28b31433058445a27db722f60402ee820beaDouglas Gregorvoid Preprocessor::HandleMacroPublicDirective(Token &Tok) { 11987143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor Token MacroNameTok; 11997143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor ReadMacroName(MacroNameTok, 2); 12007143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor 12017143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor // Error reading macro name? If so, diagnostic already issued. 12027143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor if (MacroNameTok.is(tok::eod)) 12037143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor return; 12047143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor 12051ac13c37d8af0145b7e03fea70b7b1476b8828c9Douglas Gregor // Check to see if this is the last token on the #__public_macro line. 12061ac13c37d8af0145b7e03fea70b7b1476b8828c9Douglas Gregor CheckEndOfDirective("__public_macro"); 12077143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor 12089317ab94bb68122ba6fc728eb73c1308fb913cd1Argyrios Kyrtzidis IdentifierInfo *II = MacroNameTok.getIdentifierInfo(); 12097143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor // Okay, we finally have a valid identifier to undef. 12109317ab94bb68122ba6fc728eb73c1308fb913cd1Argyrios Kyrtzidis MacroDirective *MD = getMacroDirective(II); 12117143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor 12127143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor // If the macro is not defined, this is an error. 12136bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (!MD) { 12149317ab94bb68122ba6fc728eb73c1308fb913cd1Argyrios Kyrtzidis Diag(MacroNameTok, diag::err_pp_visibility_non_macro) << II; 12157143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor return; 12167143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor } 12177143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor 12187143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor // Note that this macro has now been exported. 1219c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis appendMacroDirective(II, AllocateVisibilityMacroDirective( 1220c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis MacroNameTok.getLocation(), /*IsPublic=*/true)); 1221aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor} 1222aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor 122394ad28b31433058445a27db722f60402ee820beaDouglas Gregor/// \brief Handle a #private directive. 1224aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregorvoid Preprocessor::HandleMacroPrivateDirective(Token &Tok) { 1225aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor Token MacroNameTok; 1226aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor ReadMacroName(MacroNameTok, 2); 1227aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor 1228aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor // Error reading macro name? If so, diagnostic already issued. 1229aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor if (MacroNameTok.is(tok::eod)) 1230aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor return; 1231aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor 12321ac13c37d8af0145b7e03fea70b7b1476b8828c9Douglas Gregor // Check to see if this is the last token on the #__private_macro line. 12331ac13c37d8af0145b7e03fea70b7b1476b8828c9Douglas Gregor CheckEndOfDirective("__private_macro"); 1234aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor 12359317ab94bb68122ba6fc728eb73c1308fb913cd1Argyrios Kyrtzidis IdentifierInfo *II = MacroNameTok.getIdentifierInfo(); 1236aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor // Okay, we finally have a valid identifier to undef. 12379317ab94bb68122ba6fc728eb73c1308fb913cd1Argyrios Kyrtzidis MacroDirective *MD = getMacroDirective(II); 1238aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor 1239aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor // If the macro is not defined, this is an error. 12406bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (!MD) { 12419317ab94bb68122ba6fc728eb73c1308fb913cd1Argyrios Kyrtzidis Diag(MacroNameTok, diag::err_pp_visibility_non_macro) << II; 1242aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor return; 1243aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor } 1244aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor 1245aa93a875605536d72a10359a0098396192b7d4ecDouglas Gregor // Note that this macro has now been marked private. 1246c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis appendMacroDirective(II, AllocateVisibilityMacroDirective( 1247c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis MacroNameTok.getLocation(), /*IsPublic=*/false)); 12487143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor} 12497143aab97c6e849a5a5005b7853b8c7d5af008edDouglas Gregor 1250141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 1251141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// Preprocessor Include Directive Handling. 1252141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 1253141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1254141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// GetIncludeFilenameSpelling - Turn the specified lexer token into a fully 1255dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// checked and spelled filename, e.g. as an operand of \#include. This returns 1256141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// true if the input filename was in <>'s or false if it were in ""'s. The 1257141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// caller is expected to provide a buffer that is large enough to hold the 1258141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// spelling of the filename, but is also expected to handle the case when 1259141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// this method decides to use a different buffer. 1260141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnerbool Preprocessor::GetIncludeFilenameSpelling(SourceLocation Loc, 12615f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner StringRef &Buffer) { 1262141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the text form of the filename. 1263a139481e62fdb209d9d87a54a5733f989d2e8d51Chris Lattner assert(!Buffer.empty() && "Can't have tokens with empty spellings!"); 12641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1265141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Make sure the filename is <x> or "x". 1266141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool isAngled; 1267a139481e62fdb209d9d87a54a5733f989d2e8d51Chris Lattner if (Buffer[0] == '<') { 1268a139481e62fdb209d9d87a54a5733f989d2e8d51Chris Lattner if (Buffer.back() != '>') { 1269141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Loc, diag::err_pp_expects_filename); 12705f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner Buffer = StringRef(); 1271141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1272141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1273141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner isAngled = true; 1274a139481e62fdb209d9d87a54a5733f989d2e8d51Chris Lattner } else if (Buffer[0] == '"') { 1275a139481e62fdb209d9d87a54a5733f989d2e8d51Chris Lattner if (Buffer.back() != '"') { 1276141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Loc, diag::err_pp_expects_filename); 12775f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner Buffer = StringRef(); 1278141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1279141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1280141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner isAngled = false; 1281141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 1282141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Loc, diag::err_pp_expects_filename); 12835f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner Buffer = StringRef(); 1284141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1285141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 12861eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1287141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Diagnose #include "" as invalid. 1288a139481e62fdb209d9d87a54a5733f989d2e8d51Chris Lattner if (Buffer.size() <= 2) { 1289141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Loc, diag::err_pp_empty_filename); 12905f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner Buffer = StringRef(); 1291a139481e62fdb209d9d87a54a5733f989d2e8d51Chris Lattner return true; 1292141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 12931eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1294141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Skip the brackets. 1295a139481e62fdb209d9d87a54a5733f989d2e8d51Chris Lattner Buffer = Buffer.substr(1, Buffer.size()-2); 1296141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return isAngled; 1297141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1298141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1299651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// \brief Handle cases where the \#include name is expanded from a macro 1300651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// as multiple tokens, which need to be glued together. 1301651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// 1302651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// This occurs for code like: 1303651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// \code 1304651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// \#define FOO <a/b.h> 1305651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// \#include FOO 1306651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// \endcode 1307651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// because in this case, "<a/b.h>" is returned as 7 tokens, not one. 1308651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// 1309651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// This code concatenates and consumes tokens up to the '>' token. It returns 1310651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// false if the > was found, otherwise it returns true if it finds and consumes 1311651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// the EOD marker. 1312651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesbool Preprocessor::ConcatenateIncludeName(SmallString<128> &FilenameBuffer, 1313ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor SourceLocation &End) { 1314141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token CurTok; 13151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1316a28cc090f265d5bdaef9ebb24fb9d579928d3a18John Thompson Lex(CurTok); 131784021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne while (CurTok.isNot(tok::eod)) { 1318ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor End = CurTok.getLocation(); 1319ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor 132025bb03bc0f2561e830d866d5905b20c5475d6762Douglas Gregor // FIXME: Provide code completion for #includes. 132125bb03bc0f2561e830d866d5905b20c5475d6762Douglas Gregor if (CurTok.is(tok::code_completion)) { 13227d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis setCodeCompletionReached(); 132325bb03bc0f2561e830d866d5905b20c5475d6762Douglas Gregor Lex(CurTok); 132425bb03bc0f2561e830d866d5905b20c5475d6762Douglas Gregor continue; 132525bb03bc0f2561e830d866d5905b20c5475d6762Douglas Gregor } 132625bb03bc0f2561e830d866d5905b20c5475d6762Douglas Gregor 1327141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Append the spelling of this token to the buffer. If there was a space 1328141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // before it, add it now. 1329141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CurTok.hasLeadingSpace()) 1330141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameBuffer.push_back(' '); 13311eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1332141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the spelling of the token, directly into FilenameBuffer if possible. 1333141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner unsigned PreAppendSize = FilenameBuffer.size(); 1334141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameBuffer.resize(PreAppendSize+CurTok.getLength()); 13351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1336141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const char *BufPtr = &FilenameBuffer[PreAppendSize]; 1337a28cc090f265d5bdaef9ebb24fb9d579928d3a18John Thompson unsigned ActualLen = getSpelling(CurTok, BufPtr); 13381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1339141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If the token was spelled somewhere else, copy it into FilenameBuffer. 1340141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (BufPtr != &FilenameBuffer[PreAppendSize]) 1341141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner memcpy(&FilenameBuffer[PreAppendSize], BufPtr, ActualLen); 13421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1343141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Resize FilenameBuffer to the correct size. 1344141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CurTok.getLength() != ActualLen) 1345141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameBuffer.resize(PreAppendSize+ActualLen); 13461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1347141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If we found the '>' marker, return success. 1348141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CurTok.is(tok::greater)) 1349141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return false; 13501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1351a28cc090f265d5bdaef9ebb24fb9d579928d3a18John Thompson Lex(CurTok); 1352141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1353141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 135484021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // If we hit the eod marker, emit an error and return true so that the caller 135584021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // knows the EOD has been read. 1356a28cc090f265d5bdaef9ebb24fb9d579928d3a18John Thompson Diag(CurTok.getLocation(), diag::err_pp_expects_filename); 1357141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1358141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1359141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1360651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines/// \brief Push a token onto the token stream containing an annotation. 1361651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesstatic void EnterAnnotationToken(Preprocessor &PP, 1362651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines SourceLocation Begin, SourceLocation End, 1363651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines tok::TokenKind Kind, void *AnnotationVal) { 1364651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Token *Tok = new Token[1]; 1365651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Tok[0].startToken(); 1366651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Tok[0].setKind(Kind); 1367651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Tok[0].setLocation(Begin); 1368651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Tok[0].setAnnotationEndLoc(End); 1369651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Tok[0].setAnnotationValue(AnnotationVal); 1370651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines PP.EnterTokenStream(Tok, 1, true, true); 1371651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines} 1372651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 1373dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// HandleIncludeDirective - The "\#include" tokens have just been read, read 1374dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// the file to be included from the lexer, then include it! This is a common 1375dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// routine with functionality shared between \#include, \#include_next and 1376dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// \#import. LookupFrom is set when this is a \#include_next directive, it 13771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// specifies the file to start searching from. 1378ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregorvoid Preprocessor::HandleIncludeDirective(SourceLocation HashLoc, 1379ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor Token &IncludeTok, 1380141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const DirectoryLookup *LookupFrom, 1381141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool isImport) { 1382141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1383141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token FilenameTok; 138460e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->LexIncludeFilename(FilenameTok); 13851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1386141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Reserve a buffer to get the spelling. 1387f7ccbad5d9949e7ddd1cbef43d482553b811e026Dylan Noblesmith SmallString<128> FilenameBuffer; 13885f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner StringRef Filename; 1389ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor SourceLocation End; 1390e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor SourceLocation CharEnd; // the end of this directive, in characters 1391ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor 1392141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner switch (FilenameTok.getKind()) { 139384021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne case tok::eod: 139484021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // If the token kind is EOD, the error has already been diagnosed. 1395141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 13961eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1397141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::angle_string_literal: 1398ddeea5644367c9c153c9fee9e51bdea85ce43cbdBenjamin Kramer case tok::string_literal: 1399ddeea5644367c9c153c9fee9e51bdea85ce43cbdBenjamin Kramer Filename = getSpelling(FilenameTok, FilenameBuffer); 1400ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor End = FilenameTok.getLocation(); 1401cfa1caa92611184f59c2f3e606c53ddcc726449aArgyrios Kyrtzidis CharEnd = End.getLocWithOffset(FilenameTok.getLength()); 1402141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 14031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1404141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::less: 1405141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // This could be a <foo/bar.h> file coming from a macro expansion. In this 1406141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // case, glue the tokens together into FilenameBuffer and interpret those. 1407141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameBuffer.push_back('<'); 1408ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor if (ConcatenateIncludeName(FilenameBuffer, End)) 140984021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne return; // Found <eod> but no ">"? Diagnostic already emitted. 1410a139481e62fdb209d9d87a54a5733f989d2e8d51Chris Lattner Filename = FilenameBuffer.str(); 1411cfa1caa92611184f59c2f3e606c53ddcc726449aArgyrios Kyrtzidis CharEnd = End.getLocWithOffset(1); 1412141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 1413141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner default: 1414141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(FilenameTok.getLocation(), diag::err_pp_expects_filename); 1415141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 1416141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1417141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 14181eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1419f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis CharSourceRange FilenameRange 1420f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis = CharSourceRange::getCharRange(FilenameTok.getLocation(), CharEnd); 14214c55c54db8e676aa3e042188773d9d82d59fff91Aaron Ballman StringRef OriginalFilename = Filename; 1422193575455e00eca03fd7177f60e3f2e6263cb661Kovarththanan Rajaratnam bool isAngled = 1423a139481e62fdb209d9d87a54a5733f989d2e8d51Chris Lattner GetIncludeFilenameSpelling(FilenameTok.getLocation(), Filename); 1424141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If GetIncludeFilenameSpelling set the start ptr to null, there was an 1425141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // error. 1426a139481e62fdb209d9d87a54a5733f989d2e8d51Chris Lattner if (Filename.empty()) { 1427141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 1428141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1429141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 14301eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 143184021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne // Verify that there is nothing after the filename, other than EOD. Note that 14329cb51ce03caf0755759f7e67aea7d4be684ff738Chris Lattner // we allow macros that expand to nothing after the filename, because this 14339cb51ce03caf0755759f7e67aea7d4be684ff738Chris Lattner // falls into the category of "#include pp-tokens new-line" specified in 14349cb51ce03caf0755759f7e67aea7d4be684ff738Chris Lattner // C99 6.10.2p4. 1435e013d685c6689ac7ae103ee88acf573422d1ed6aDaniel Dunbar CheckEndOfDirective(IncludeTok.getIdentifierInfo()->getNameStart(), true); 1436141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1437141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Check that we don't have infinite #include recursion. 14383692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner if (IncludeMacroStack.size() == MaxAllowedIncludeStackDepth-1) { 14393692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner Diag(FilenameTok, diag::err_pp_include_too_deep); 14403692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner return; 14413692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner } 14421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 14438dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall // Complain about attempts to #include files in an audit pragma. 14448dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall if (PragmaARCCFCodeAuditedLoc.isValid()) { 14458dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall Diag(HashLoc, diag::err_pp_include_in_arc_cf_code_audited); 14468dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall Diag(PragmaARCCFCodeAuditedLoc, diag::note_pragma_entered_here); 14478dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall 14488dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall // Immediately leave the pragma. 14498dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall PragmaARCCFCodeAuditedLoc = SourceLocation(); 14508dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall } 14518dfac0baaf0f81d3945bcb306480e358ba8d1f08John McCall 14524c55c54db8e676aa3e042188773d9d82d59fff91Aaron Ballman if (HeaderInfo.HasIncludeAliasMap()) { 14534c55c54db8e676aa3e042188773d9d82d59fff91Aaron Ballman // Map the filename with the brackets still attached. If the name doesn't 14544c55c54db8e676aa3e042188773d9d82d59fff91Aaron Ballman // map to anything, fall back on the filename we've already gotten the 14554c55c54db8e676aa3e042188773d9d82d59fff91Aaron Ballman // spelling for. 14564c55c54db8e676aa3e042188773d9d82d59fff91Aaron Ballman StringRef NewName = HeaderInfo.MapHeaderToIncludeAlias(OriginalFilename); 14574c55c54db8e676aa3e042188773d9d82d59fff91Aaron Ballman if (!NewName.empty()) 14584c55c54db8e676aa3e042188773d9d82d59fff91Aaron Ballman Filename = NewName; 14594c55c54db8e676aa3e042188773d9d82d59fff91Aaron Ballman } 14604c55c54db8e676aa3e042188773d9d82d59fff91Aaron Ballman 1461141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Search include directories. 1462141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const DirectoryLookup *CurDir; 1463f7ccbad5d9949e7ddd1cbef43d482553b811e026Dylan Noblesmith SmallString<1024> SearchPath; 1464f7ccbad5d9949e7ddd1cbef43d482553b811e026Dylan Noblesmith SmallString<1024> RelativePath; 1465b5142bb7af5c70fffd09f05172a1379a35a9c29aChandler Carruth // We get the raw path only if we have 'Callbacks' to which we later pass 1466b5142bb7af5c70fffd09f05172a1379a35a9c29aChandler Carruth // the path. 1467bc3f628815b3841dc99109e7f67f9afa7793bc94Lawrence Crowl ModuleMap::KnownHeader SuggestedModule; 1468bc3f628815b3841dc99109e7f67f9afa7793bc94Lawrence Crowl SourceLocation FilenameLoc = FilenameTok.getLocation(); 1469651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines SmallString<128> NormalizedPath; 1470651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (LangOpts.MSVCCompat) { 1471651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines NormalizedPath = Filename.str(); 1472651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines llvm::sys::fs::normalize_separators(NormalizedPath); 1473651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 1474b5142bb7af5c70fffd09f05172a1379a35a9c29aChandler Carruth const FileEntry *File = LookupFile( 1475651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines FilenameLoc, LangOpts.MSVCCompat ? NormalizedPath.c_str() : Filename, 14766bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines isAngled, LookupFrom, CurDir, Callbacks ? &SearchPath : nullptr, 14776bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Callbacks ? &RelativePath : nullptr, 14786bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines HeaderInfo.getHeaderSearchOpts().ModuleMaps ? &SuggestedModule : nullptr); 1479fba18aa8f2cd1994dc65e8cb9f4be201c560dc0bDouglas Gregor 14808cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor if (Callbacks) { 14818cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor if (!File) { 14828cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor // Give the clients a chance to recover. 1483f7ccbad5d9949e7ddd1cbef43d482553b811e026Dylan Noblesmith SmallString<128> RecoveryPath; 14848cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor if (Callbacks->FileNotFound(Filename, RecoveryPath)) { 14858cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor if (const DirectoryEntry *DE = FileMgr.getDirectory(RecoveryPath)) { 14868cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor // Add the recovery path to the list of search paths. 14871ea6bc0fd9c1ff9fa03e8a829a79c4167445d503Daniel Dunbar DirectoryLookup DL(DE, SrcMgr::C_User, false); 14888cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor HeaderInfo.AddSearchPath(DL, isAngled); 14898cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor 14908cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor // Try the lookup again, skipping the cache. 1491651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines File = LookupFile(FilenameLoc, 1492651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines LangOpts.MSVCCompat ? NormalizedPath.c_str() 1493651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines : Filename, 14946bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines isAngled, LookupFrom, CurDir, nullptr, nullptr, 1495651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines HeaderInfo.getHeaderSearchOpts().ModuleMaps 1496056ec12ca14ee5014ea49786f719ceaa299a7e19Daniel Jasper ? &SuggestedModule 14976bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines : nullptr, 1498056ec12ca14ee5014ea49786f719ceaa299a7e19Daniel Jasper /*SkipCache*/ true); 14998cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor } 15008cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor } 15018cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor } 15028cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor 1503056ec12ca14ee5014ea49786f719ceaa299a7e19Daniel Jasper if (!SuggestedModule || !getLangOpts().Modules) { 1504f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis // Notify the callback object that we've seen an inclusion directive. 1505651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Callbacks->InclusionDirective(HashLoc, IncludeTok, 1506651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines LangOpts.MSVCCompat ? NormalizedPath.c_str() 1507651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines : Filename, 1508651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines isAngled, FilenameRange, File, SearchPath, 15096bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines RelativePath, /*ImportedModule=*/nullptr); 1510f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis } 15118cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor } 15126bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines 15136bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (!File) { 1514a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman if (!SuppressIncludeNotFoundError) { 1515a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman // If the file could not be located and it was included via angle 1516a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman // brackets, we can attempt a lookup as though it were a quoted path to 1517a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman // provide the user with a possible fixit. 1518a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman if (isAngled) { 1519056ec12ca14ee5014ea49786f719ceaa299a7e19Daniel Jasper File = LookupFile( 1520651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines FilenameLoc, LangOpts.MSVCCompat ? NormalizedPath.c_str() : Filename, 15216bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines false, LookupFrom, CurDir, Callbacks ? &SearchPath : nullptr, 15226bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Callbacks ? &RelativePath : nullptr, 15236bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines HeaderInfo.getHeaderSearchOpts().ModuleMaps ? &SuggestedModule 15246bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines : nullptr); 1525a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman if (File) { 1526a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman SourceRange Range(FilenameTok.getLocation(), CharEnd); 1527a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman Diag(FilenameTok, diag::err_pp_file_not_found_not_fatal) << 1528a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman Filename << 1529a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman FixItHint::CreateReplacement(Range, "\"" + Filename.str() + "\""); 1530a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman } 1531a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman } 1532a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman // If the file is still not found, just go with the vanilla diagnostic 1533a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman if (!File) 1534a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman Diag(FilenameTok, diag::err_pp_file_not_found) << Filename; 1535a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman } 1536a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman if (!File) 1537a52f5a3ee2156849b3b91255c360b9f0bb1ebd51Aaron Ballman return; 15388cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor } 15398cfbe6a31ad51cb19046607ad6b792638e69b88eDouglas Gregor 1540fba18aa8f2cd1994dc65e8cb9f4be201c560dc0bDouglas Gregor // If we are supposed to import a module rather than including the header, 1541fba18aa8f2cd1994dc65e8cb9f4be201c560dc0bDouglas Gregor // do so now. 1542056ec12ca14ee5014ea49786f719ceaa299a7e19Daniel Jasper if (SuggestedModule && getLangOpts().Modules) { 15433d3589db579f7695667b913c5043dd264ebe546fDouglas Gregor // Compute the module access path corresponding to this module. 15443d3589db579f7695667b913c5043dd264ebe546fDouglas Gregor // FIXME: Should we have a second loadModule() overload to avoid this 15453d3589db579f7695667b913c5043dd264ebe546fDouglas Gregor // extra lookup step? 1546cfa88f893915ceb8ae4ce2f17c46c24a4d67502fDmitri Gribenko SmallVector<std::pair<IdentifierInfo *, SourceLocation>, 2> Path; 1547bc3f628815b3841dc99109e7f67f9afa7793bc94Lawrence Crowl for (Module *Mod = SuggestedModule.getModule(); Mod; Mod = Mod->Parent) 15483d3589db579f7695667b913c5043dd264ebe546fDouglas Gregor Path.push_back(std::make_pair(getIdentifierInfo(Mod->Name), 15493d3589db579f7695667b913c5043dd264ebe546fDouglas Gregor FilenameTok.getLocation())); 15503d3589db579f7695667b913c5043dd264ebe546fDouglas Gregor std::reverse(Path.begin(), Path.end()); 15513d3589db579f7695667b913c5043dd264ebe546fDouglas Gregor 1552e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor // Warn that we're replacing the include/import with a module import. 1553f7ccbad5d9949e7ddd1cbef43d482553b811e026Dylan Noblesmith SmallString<128> PathString; 1554e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor for (unsigned I = 0, N = Path.size(); I != N; ++I) { 1555e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor if (I) 1556e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor PathString += '.'; 1557e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor PathString += Path[I].first->getName(); 1558e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor } 1559e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor int IncludeKind = 0; 1560e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor 1561e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor switch (IncludeTok.getIdentifierInfo()->getPPKeywordID()) { 1562e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor case tok::pp_include: 1563e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor IncludeKind = 0; 1564e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor break; 1565e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor 1566e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor case tok::pp_import: 1567e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor IncludeKind = 1; 1568e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor break; 1569e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor 1570edee9699964a1f38892c74acc555883bf26b51a3Douglas Gregor case tok::pp_include_next: 1571edee9699964a1f38892c74acc555883bf26b51a3Douglas Gregor IncludeKind = 2; 1572edee9699964a1f38892c74acc555883bf26b51a3Douglas Gregor break; 1573e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor 1574e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor case tok::pp___include_macros: 1575e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor IncludeKind = 3; 1576e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor break; 1577e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor 1578e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor default: 1579e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor llvm_unreachable("unknown include directive kind"); 1580e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor } 1581e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor 15825e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor // Determine whether we are actually building the module that this 15835e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor // include directive maps to. 15845e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor bool BuildingImportedModule 15854e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie = Path[0].first->getName() == getLangOpts().CurrentModule; 1586651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 15874e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie if (!BuildingImportedModule && getLangOpts().ObjC2) { 15885e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor // If we're not building the imported module, warn that we're going 15895e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor // to automatically turn this inclusion directive into a module import. 1590c13a34b690d2dc2a03c2fea75a0a1438636c19ceDouglas Gregor // We only do this in Objective-C, where we have a module-import syntax. 15915e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor CharSourceRange ReplaceRange(SourceRange(HashLoc, CharEnd), 15925e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor /*IsTokenRange=*/false); 15935e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor Diag(HashLoc, diag::warn_auto_module_import) 15945e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor << IncludeKind << PathString 15955e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor << FixItHint::CreateReplacement(ReplaceRange, 15961b257afbae854c6817f26b7d61c4fed8ff7aebadDouglas Gregor "@import " + PathString.str().str() + ";"); 15975e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor } 1598e3a8256a9c1f2f1037fcb844ed7666759124a852Douglas Gregor 159926297f57634994b4ae47a0774c372d6944265bb2Richard Smith // Load the module. Only make macros visible. We'll make the declarations 160026297f57634994b4ae47a0774c372d6944265bb2Richard Smith // visible when the parser gets here. 160126297f57634994b4ae47a0774c372d6944265bb2Richard Smith Module::NameVisibilityKind Visibility = Module::MacrosVisible; 1602463d90986ec54c62bf8fe31193ef5db701db48a5Douglas Gregor ModuleLoadResult Imported 1603305dc3ebaa0bea5f3b789e4b54afc79c25907615Douglas Gregor = TheModuleLoader.loadModule(IncludeTok.getLocation(), Path, Visibility, 1604305dc3ebaa0bea5f3b789e4b54afc79c25907615Douglas Gregor /*IsIncludeDirective=*/true); 16056bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines assert((Imported == nullptr || Imported == SuggestedModule.getModule()) && 1606eb788e9b49d55bbbc661f1a9db8a54525ecdd0bcArgyrios Kyrtzidis "the imported module is different than the suggested one"); 16073b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis 16083b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis if (!Imported && hadModuleLoaderFatalFailure()) { 16093b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis // With a fatal failure in the module loader, we abort parsing. 16103b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis Token &Result = IncludeTok; 16113b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis if (CurLexer) { 16123b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis Result.startToken(); 16133b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis CurLexer->FormTokenWithChars(Result, CurLexer->BufferEnd, tok::eof); 16143b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis CurLexer->cutOffLexing(); 16153b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis } else { 16163b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis assert(CurPTHLexer && "#include but no current lexer set!"); 16173b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis CurPTHLexer->getEOF(Result); 16183b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis } 16193b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis return; 16203b7deda7137e62810a810ce25b062927a9fc7c71Argyrios Kyrtzidis } 162126297f57634994b4ae47a0774c372d6944265bb2Richard Smith 16225e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor // If this header isn't part of the module we're building, we're done. 1623f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis if (!BuildingImportedModule && Imported) { 1624f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis if (Callbacks) { 1625f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis Callbacks->InclusionDirective(HashLoc, IncludeTok, Filename, isAngled, 1626f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis FilenameRange, File, 1627f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis SearchPath, RelativePath, Imported); 1628f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis } 162926297f57634994b4ae47a0774c372d6944265bb2Richard Smith 163026297f57634994b4ae47a0774c372d6944265bb2Richard Smith if (IncludeKind != 3) { 163126297f57634994b4ae47a0774c372d6944265bb2Richard Smith // Let the parser know that we hit a module import, and it should 163226297f57634994b4ae47a0774c372d6944265bb2Richard Smith // make the module visible. 163326297f57634994b4ae47a0774c372d6944265bb2Richard Smith // FIXME: Produce this as the current token directly, rather than 163426297f57634994b4ae47a0774c372d6944265bb2Richard Smith // allocating a new token for it. 1635651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines EnterAnnotationToken(*this, HashLoc, End, tok::annot_module_include, 1636651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Imported); 163726297f57634994b4ae47a0774c372d6944265bb2Richard Smith } 16385e3f9223db88227d6d21679c613b139d8160186dDouglas Gregor return; 1639f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis } 1640463d90986ec54c62bf8fe31193ef5db701db48a5Douglas Gregor 1641463d90986ec54c62bf8fe31193ef5db701db48a5Douglas Gregor // If we failed to find a submodule that we expected to find, we can 1642463d90986ec54c62bf8fe31193ef5db701db48a5Douglas Gregor // continue. Otherwise, there's an error in the included file, so we 1643463d90986ec54c62bf8fe31193ef5db701db48a5Douglas Gregor // don't want to include it. 1644463d90986ec54c62bf8fe31193ef5db701db48a5Douglas Gregor if (!BuildingImportedModule && !Imported.isMissingExpected()) { 1645463d90986ec54c62bf8fe31193ef5db701db48a5Douglas Gregor return; 1646463d90986ec54c62bf8fe31193ef5db701db48a5Douglas Gregor } 1647f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis } 1648f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis 1649f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis if (Callbacks && SuggestedModule) { 1650f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis // We didn't notify the callback object that we've seen an inclusion 1651f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis // directive before. Now that we are parsing the include normally and not 1652f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis // turning it to a module import, notify the callback object. 1653f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis Callbacks->InclusionDirective(HashLoc, IncludeTok, Filename, isAngled, 1654f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis FilenameRange, File, 1655f8afcffe6a0213760b64c211812b1750e1e1e967Argyrios Kyrtzidis SearchPath, RelativePath, 16566bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines /*ImportedModule=*/nullptr); 1657fba18aa8f2cd1994dc65e8cb9f4be201c560dc0bDouglas Gregor } 1658fba18aa8f2cd1994dc65e8cb9f4be201c560dc0bDouglas Gregor 1659721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner // The #included file will be considered to be a system header if either it is 1660721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner // in a system include directory, or if the #includer is a system include 1661721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner // header. 16621eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump SrcMgr::CharacteristicKind FileCharacter = 16630b9e736308af5397f558ffc8e780c438c2fdb563Chris Lattner std::max(HeaderInfo.getFileDirFlavor(File), 1664693faa6e6918994bc22aacf078a889bb93e0fe25Chris Lattner SourceMgr.getFileCharacteristic(FilenameTok.getLocation())); 16651eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 16666fbe3ebeaef08665a37423f8425314c90b8b5bcfChris Lattner // Ask HeaderInfo if we should enter this #include file. If not, #including 16676fbe3ebeaef08665a37423f8425314c90b8b5bcfChris Lattner // this file will have no effect. 16686fbe3ebeaef08665a37423f8425314c90b8b5bcfChris Lattner if (!HeaderInfo.ShouldEnterIncludeFile(File, isImport)) { 1669e127a0d80155b45dafe77f2b4380e5fa111a3345Chris Lattner if (Callbacks) 16706fbe3ebeaef08665a37423f8425314c90b8b5bcfChris Lattner Callbacks->FileSkipped(*File, FilenameTok, FileCharacter); 16716fbe3ebeaef08665a37423f8425314c90b8b5bcfChris Lattner return; 16726fbe3ebeaef08665a37423f8425314c90b8b5bcfChris Lattner } 16736fbe3ebeaef08665a37423f8425314c90b8b5bcfChris Lattner 1674141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Look up the file, create a File ID for it. 1675db81d38d9cd468a9eeffe8ab092be4d48e43888eArgyrios Kyrtzidis SourceLocation IncludePos = End; 1676db81d38d9cd468a9eeffe8ab092be4d48e43888eArgyrios Kyrtzidis // If the filename string was the result of macro expansions, set the include 1677db81d38d9cd468a9eeffe8ab092be4d48e43888eArgyrios Kyrtzidis // position on the file where it will be included and after the expansions. 1678db81d38d9cd468a9eeffe8ab092be4d48e43888eArgyrios Kyrtzidis if (IncludePos.isMacroID()) 1679db81d38d9cd468a9eeffe8ab092be4d48e43888eArgyrios Kyrtzidis IncludePos = SourceMgr.getExpansionRange(IncludePos).second; 1680db81d38d9cd468a9eeffe8ab092be4d48e43888eArgyrios Kyrtzidis FileID FID = SourceMgr.createFileID(File, IncludePos, FileCharacter); 1681d57b7ff9bebc4c45f325fc1be6f238cfcd4c3732Peter Collingbourne assert(!FID.isInvalid() && "Expected valid file ID"); 1682141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1683651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // Determine if we're switching to building a new submodule, and which one. 1684651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines ModuleMap::KnownHeader BuildingModule; 1685651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (getLangOpts().Modules && !getLangOpts().CurrentModule.empty()) { 1686651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Module *RequestingModule = getModuleForLocation(FilenameLoc); 1687651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines BuildingModule = 1688651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines HeaderInfo.getModuleMap().findModuleForHeader(File, RequestingModule); 1689651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 1690651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 1691651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // If all is good, enter the new file! 1692651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (EnterSourceFile(FID, CurDir, FilenameTok.getLocation())) 1693651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines return; 1694651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 1695651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // If we're walking into another part of the same module, let the parser 1696651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines // know that any future declarations are within that other submodule. 1697651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (BuildingModule) { 1698651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines assert(!CurSubmodule && "should not have marked this as a module yet"); 1699651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines CurSubmodule = BuildingModule.getModule(); 1700651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 1701651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines EnterAnnotationToken(*this, HashLoc, End, tok::annot_module_begin, 1702651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines CurSubmodule); 1703651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 1704141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1705141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1706dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// HandleIncludeNextDirective - Implements \#include_next. 1707141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 1708ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregorvoid Preprocessor::HandleIncludeNextDirective(SourceLocation HashLoc, 1709ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor Token &IncludeNextTok) { 1710141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(IncludeNextTok, diag::ext_pp_include_next_directive); 17111eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1712141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #include_next is like #include, except that we start searching after 1713141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // the current found directory. If we can't do this, issue a 1714141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // diagnostic. 1715141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const DirectoryLookup *Lookup = CurDirLookup; 1716141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (isInPrimaryFile()) { 17176bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Lookup = nullptr; 1718141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(IncludeNextTok, diag::pp_include_next_in_primary); 17196bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines } else if (!Lookup) { 1720141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(IncludeNextTok, diag::pp_include_next_absolute_path); 1721141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 1722141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Start looking up in the next directory. 1723141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++Lookup; 1724141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 17251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1726ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor return HandleIncludeDirective(HashLoc, IncludeNextTok, Lookup); 1727141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1728141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1729dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// HandleMicrosoftImportDirective - Implements \#import for Microsoft Mode 17304207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballmanvoid Preprocessor::HandleMicrosoftImportDirective(Token &Tok) { 17314207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman // The Microsoft #import directive takes a type library and generates header 17324207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman // files from it, and includes those. This is beyond the scope of what clang 17334207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman // does, so we ignore it and error out. However, #import can optionally have 17344207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman // trailing attributes that span multiple lines. We're going to eat those 17354207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman // so we can continue processing from there. 17364207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman Diag(Tok, diag::err_pp_import_directive_ms ); 17374207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman 17384207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman // Read tokens until we get to the end of the directive. Note that the 17394207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman // directive can be split over multiple lines using the backslash character. 17404207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman DiscardUntilEndOfDirective(); 17414207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman} 17424207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman 1743dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// HandleImportDirective - Implements \#import. 1744141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 1745ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregorvoid Preprocessor::HandleImportDirective(SourceLocation HashLoc, 1746ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor Token &ImportTok) { 17474207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman if (!LangOpts.ObjC1) { // #import is standard for ObjC. 1748651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (LangOpts.MSVCCompat) 17494207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman return HandleMicrosoftImportDirective(ImportTok); 1750b627c8d683c4d3facd774c432b1fdc2d35819369Chris Lattner Diag(ImportTok, diag::ext_pp_import_directive); 17514207edaf03da28fa917a94b31c5c1eef0e6417dcAaron Ballman } 17526bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines return HandleIncludeDirective(HashLoc, ImportTok, nullptr, true); 1753141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1754141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1755de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner/// HandleIncludeMacrosDirective - The -imacros command line option turns into a 1756de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner/// pseudo directive in the predefines buffer. This handles it by sucking all 1757de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner/// tokens through the preprocessor and discarding them (only keeping the side 1758de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner/// effects on the preprocessor). 1759ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregorvoid Preprocessor::HandleIncludeMacrosDirective(SourceLocation HashLoc, 1760ecdcb883cbc6bb4a2445dc6f02d58d9bdb54a0edDouglas Gregor Token &IncludeMacrosTok) { 1761de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner // This directive should only occur in the predefines buffer. If not, emit an 1762de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner // error and reject it. 1763de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner SourceLocation Loc = IncludeMacrosTok.getLocation(); 1764de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner if (strcmp(SourceMgr.getBufferName(Loc), "<built-in>") != 0) { 1765de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner Diag(IncludeMacrosTok.getLocation(), 1766de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner diag::pp_include_macros_out_of_predefines); 1767de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner DiscardUntilEndOfDirective(); 1768de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner return; 1769de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner } 17701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1771fd10511b3e686c5b045f8324b0632f3624d9ef05Chris Lattner // Treat this as a normal #include for checking purposes. If this is 1772fd10511b3e686c5b045f8324b0632f3624d9ef05Chris Lattner // successful, it will push a new lexer onto the include stack. 17736bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines HandleIncludeDirective(HashLoc, IncludeMacrosTok, nullptr, false); 17741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1775fd10511b3e686c5b045f8324b0632f3624d9ef05Chris Lattner Token TmpTok; 1776fd10511b3e686c5b045f8324b0632f3624d9ef05Chris Lattner do { 1777fd10511b3e686c5b045f8324b0632f3624d9ef05Chris Lattner Lex(TmpTok); 1778fd10511b3e686c5b045f8324b0632f3624d9ef05Chris Lattner assert(TmpTok.isNot(tok::eof) && "Didn't find end of -imacros!"); 1779fd10511b3e686c5b045f8324b0632f3624d9ef05Chris Lattner } while (TmpTok.isNot(tok::hashhash)); 1780de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner} 1781de076650fa79a02743b5fe57a72f991ba24779f9Chris Lattner 1782141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 1783141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// Preprocessor Macro Directive Handling. 1784141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 1785141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1786141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// ReadMacroDefinitionArgList - The ( starting an argument list of a macro 1787141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// definition has just been read. Lex the rest of the arguments and the 1788141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// closing ), updating MI with what we learn. Return true if an error occurs 1789141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// parsing the arg list. 1790e2e8768c290ceceb3ac2e369b5243f40d6c0e3e2Abramo Bagnarabool Preprocessor::ReadMacroDefinitionArgList(MacroInfo *MI, Token &Tok) { 17915f9e272e632e951b1efe824cd16acb4d96077930Chris Lattner SmallVector<IdentifierInfo*, 32> Arguments; 17921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1793141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner while (1) { 1794141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1795141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner switch (Tok.getKind()) { 1796141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::r_paren: 1797141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Found the end of the argument list. 1798cf29e0716bb3ecbbc15b74cd648367d6b075fdf0Chris Lattner if (Arguments.empty()) // #define FOO() 1799141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return false; 1800141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Otherwise we have #define FOO(A,) 1801141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_expected_ident_in_arg_list); 1802141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1803141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::ellipsis: // #define X(... -> C99 varargs 18044e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie if (!LangOpts.C99) 180580ad52f327b532bded5c5b0ee38779d841c6cd35Richard Smith Diag(Tok, LangOpts.CPlusPlus11 ? 1806661a99690bc133bbaa029da925481d4a860dec90Richard Smith diag::warn_cxx98_compat_variadic_macro : 1807661a99690bc133bbaa029da925481d4a860dec90Richard Smith diag::ext_variadic_macro); 1808141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1809617bb317a7aeb6c3468a4170a5d6c1058da7cea1Joey Gouly // OpenCL v1.2 s6.9.e: variadic macros are not supported. 1810617bb317a7aeb6c3468a4170a5d6c1058da7cea1Joey Gouly if (LangOpts.OpenCL) { 1811617bb317a7aeb6c3468a4170a5d6c1058da7cea1Joey Gouly Diag(Tok, diag::err_pp_opencl_variadic_macros); 1812617bb317a7aeb6c3468a4170a5d6c1058da7cea1Joey Gouly return true; 1813617bb317a7aeb6c3468a4170a5d6c1058da7cea1Joey Gouly } 1814617bb317a7aeb6c3468a4170a5d6c1058da7cea1Joey Gouly 1815141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Lex the token after the identifier. 1816141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1817141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Tok.isNot(tok::r_paren)) { 1818141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_missing_rparen_in_macro_def); 1819141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1820141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1821141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Add the __VA_ARGS__ identifier as an argument. 1822141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Arguments.push_back(Ident__VA_ARGS__); 1823141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->setIsC99Varargs(); 1824685befeb5f6472585bae473a6389e47cab9eac67Chris Lattner MI->setArgumentList(&Arguments[0], Arguments.size(), BP); 1825141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return false; 182684021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne case tok::eod: // #define X( 1827141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_missing_rparen_in_macro_def); 1828141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1829141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner default: 1830141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Handle keywords and identifiers here to accept things like 1831141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #define Foo(for) for. 1832141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner IdentifierInfo *II = Tok.getIdentifierInfo(); 18336bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (!II) { 1834141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #define X(1 1835141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_invalid_tok_in_arg_list); 1836141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1837141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1838141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1839141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is already used as an argument, it is used multiple times (e.g. 1840141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #define X(A,A. 18411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (std::find(Arguments.begin(), Arguments.end(), II) != 1842141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Arguments.end()) { // C99 6.10.3p6 18436cf3ed7be70a7a9c269a65e3316884f41c7373d4Chris Lattner Diag(Tok, diag::err_pp_duplicate_name_in_arg_list) << II; 1844141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1845141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 18461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1847141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Add the argument to the macro info. 1848141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Arguments.push_back(II); 18491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1850141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Lex the token after the identifier. 1851141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 18521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1853141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner switch (Tok.getKind()) { 1854141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner default: // #define X(A B 1855141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_expected_comma_in_arg_list); 1856141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1857141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::r_paren: // #define X(A) 1858685befeb5f6472585bae473a6389e47cab9eac67Chris Lattner MI->setArgumentList(&Arguments[0], Arguments.size(), BP); 1859141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return false; 1860141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::comma: // #define X(A, 1861141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 1862141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::ellipsis: // #define X(A... -> GCC extension 1863141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Diagnose extension. 1864141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::ext_named_variadic_macro); 18651eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1866141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Lex the token after the identifier. 1867141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1868141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Tok.isNot(tok::r_paren)) { 1869141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_missing_rparen_in_macro_def); 1870141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1871141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 18721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1873141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->setIsGNUVarargs(); 1874685befeb5f6472585bae473a6389e47cab9eac67Chris Lattner MI->setArgumentList(&Arguments[0], Arguments.size(), BP); 1875141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return false; 1876141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1877141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1878141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1879141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1880141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1881dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// HandleDefineDirective - Implements \#define. This consumes the entire macro 1882141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// line then lets the caller lex the next real token. 1883671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieuvoid Preprocessor::HandleDefineDirective(Token &DefineTok, 1884671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu bool ImmediatelyAfterHeaderGuard) { 1885141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumDefined; 1886141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1887141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token MacroNameTok; 1888141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ReadMacroName(MacroNameTok, 1); 18891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1890141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Error reading macro name? If so, diagnostic already issued. 189184021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (MacroNameTok.is(tok::eod)) 1892141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1893141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 18942451b528fe114595d0f10ef2c05047928558ab0fChris Lattner Token LastTok = MacroNameTok; 18952451b528fe114595d0f10ef2c05047928558ab0fChris Lattner 1896141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If we are supposed to keep comments in #defines, reenable comment saving 1897141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // mode. 1898ac6b06df32e907cac388a92310650b5895c11241Ted Kremenek if (CurLexer) CurLexer->SetCommentRetentionState(KeepMacroComments); 18991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1900141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Create the new macro. 19010ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek MacroInfo *MI = AllocateMacroInfo(MacroNameTok.getLocation()); 19021eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1903141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token Tok; 1904141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 19051eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1906141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a function-like macro definition, parse the argument list, 1907141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // marking each of the identifiers as being used as macro arguments. Also, 1908141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // check other constraints on the first token of the macro body. 190984021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (Tok.is(tok::eod)) { 1910671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu if (ImmediatelyAfterHeaderGuard) { 1911671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu // Save this macro information since it may part of a header guard. 1912671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu CurPPLexer->MIOpt.SetDefinedMacro(MacroNameTok.getIdentifierInfo(), 1913671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu MacroNameTok.getLocation()); 1914671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu } 1915141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If there is no body to this macro, we have no special handling here. 19166272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner } else if (Tok.hasLeadingSpace()) { 19176272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner // This is a normal token with leading space. Clear the leading space 19186272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner // marker on the first token to get proper expansion. 19196272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner Tok.clearFlag(Token::LeadingSpace); 19206272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner } else if (Tok.is(tok::l_paren)) { 1921141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // This is a function-like macro definition. Read the argument list. 1922141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->setIsFunctionLike(); 1923e2e8768c290ceceb3ac2e369b5243f40d6c0e3e2Abramo Bagnara if (ReadMacroDefinitionArgList(MI, LastTok)) { 1924141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Forget about MI. 19250ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek ReleaseMacroInfo(MI); 1926141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Throw away the rest of the line. 192760e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->ParsingPreprocessorDirective) 1928141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 1929141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1930141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1931141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 19328fde5978a63bcce5c294a93b2a5dd424d7628971Chris Lattner // If this is a definition of a variadic C99 function-like macro, not using 19338fde5978a63bcce5c294a93b2a5dd424d7628971Chris Lattner // the GNU named varargs extension, enabled __VA_ARGS__. 19341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 19358fde5978a63bcce5c294a93b2a5dd424d7628971Chris Lattner // "Poison" __VA_ARGS__, which can only appear in the expansion of a macro. 19368fde5978a63bcce5c294a93b2a5dd424d7628971Chris Lattner // This gets unpoisoned where it is allowed. 19378fde5978a63bcce5c294a93b2a5dd424d7628971Chris Lattner assert(Ident__VA_ARGS__->isPoisoned() && "__VA_ARGS__ should be poisoned!"); 19388fde5978a63bcce5c294a93b2a5dd424d7628971Chris Lattner if (MI->isC99Varargs()) 19398fde5978a63bcce5c294a93b2a5dd424d7628971Chris Lattner Ident__VA_ARGS__->setIsPoisoned(false); 19401eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1941141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the first token after the arg list for down below. 1942141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 194380ad52f327b532bded5c5b0ee38779d841c6cd35Richard Smith } else if (LangOpts.C99 || LangOpts.CPlusPlus11) { 1944141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 requires whitespace between the macro definition and the body. Emit 1945141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // a diagnostic for something like "#define X+". 19466272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner Diag(Tok, diag::ext_c99_whitespace_required_after_macro_name); 1947141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 19486272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner // C90 6.8 TC1 says: "In the definition of an object-like macro, if the 19496272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner // first character of a replacement list is not a character required by 19506272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner // subclause 5.2.1, then there shall be white-space separation between the 19516272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner // identifier and the replacement list.". 5.2.1 lists this set: 19526272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner // "A-Za-z0-9!"#%&'()*+,_./:;<=>?[\]^_{|}~" as well as whitespace, which 19536272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner // is irrelevant here. 19546272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner bool isInvalid = false; 19556272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner if (Tok.is(tok::at)) // @ is not in the list above. 19566272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner isInvalid = true; 19576272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner else if (Tok.is(tok::unknown)) { 19586272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner // If we have an unknown token, it is something strange like "`". Since 19596272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner // all of valid characters would have lexed into a single character 19606272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner // token of some sort, we know this is not a valid case. 19616272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner isInvalid = true; 19626272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner } 19636272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner if (isInvalid) 19646272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner Diag(Tok, diag::ext_missing_whitespace_after_macro_name); 19656272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner else 19666272bcfe5dc148d293ccce9db19df9e71c991cdeChris Lattner Diag(Tok, diag::warn_missing_whitespace_after_macro_name); 1967141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 19682451b528fe114595d0f10ef2c05047928558ab0fChris Lattner 196984021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (!Tok.is(tok::eod)) 19702451b528fe114595d0f10ef2c05047928558ab0fChris Lattner LastTok = Tok; 19712451b528fe114595d0f10ef2c05047928558ab0fChris Lattner 1972141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the rest of the macro body. 1973141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MI->isObjectLike()) { 1974141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Object-like macros are very simple, just read their body. 197584021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne while (Tok.isNot(tok::eod)) { 19762451b528fe114595d0f10ef2c05047928558ab0fChris Lattner LastTok = Tok; 1977141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->AddTokenToBody(Tok); 1978141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the next token of the macro. 1979141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1980141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 19811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1982141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 19833240469102eca90fa5123ec9636fa0364df3034cChris Lattner // Otherwise, read the body of a function-like macro. While we are at it, 19843240469102eca90fa5123ec9636fa0364df3034cChris Lattner // check C99 6.10.3.2p1: ensure that # operators are followed by macro 19853240469102eca90fa5123ec9636fa0364df3034cChris Lattner // parameters in function-like macro expansions. 198684021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne while (Tok.isNot(tok::eod)) { 19872451b528fe114595d0f10ef2c05047928558ab0fChris Lattner LastTok = Tok; 1988141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 19894fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman if (Tok.isNot(tok::hash) && Tok.isNot(tok::hashhash)) { 19903240469102eca90fa5123ec9636fa0364df3034cChris Lattner MI->AddTokenToBody(Tok); 19911eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1992141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the next token of the macro. 1993141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1994141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner continue; 1995141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 19961eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1997bd89fdcbe6ad28d5052ec7295d4afefeaf4a4135Richard Smith // If we're in -traditional mode, then we should ignore stringification 1998bd89fdcbe6ad28d5052ec7295d4afefeaf4a4135Richard Smith // and token pasting. Mark the tokens as unknown so as not to confuse 1999bd89fdcbe6ad28d5052ec7295d4afefeaf4a4135Richard Smith // things. 2000bd89fdcbe6ad28d5052ec7295d4afefeaf4a4135Richard Smith if (getLangOpts().TraditionalCPP) { 2001bd89fdcbe6ad28d5052ec7295d4afefeaf4a4135Richard Smith Tok.setKind(tok::unknown); 2002bd89fdcbe6ad28d5052ec7295d4afefeaf4a4135Richard Smith MI->AddTokenToBody(Tok); 2003bd89fdcbe6ad28d5052ec7295d4afefeaf4a4135Richard Smith 2004bd89fdcbe6ad28d5052ec7295d4afefeaf4a4135Richard Smith // Get the next token of the macro. 2005bd89fdcbe6ad28d5052ec7295d4afefeaf4a4135Richard Smith LexUnexpandedToken(Tok); 2006bd89fdcbe6ad28d5052ec7295d4afefeaf4a4135Richard Smith continue; 2007bd89fdcbe6ad28d5052ec7295d4afefeaf4a4135Richard Smith } 2008bd89fdcbe6ad28d5052ec7295d4afefeaf4a4135Richard Smith 20094fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman if (Tok.is(tok::hashhash)) { 20104fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman 20114fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman // If we see token pasting, check if it looks like the gcc comma 20124fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman // pasting extension. We'll use this information to suppress 20134fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman // diagnostics later on. 20144fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman 20154fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman // Get the next token of the macro. 20164fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman LexUnexpandedToken(Tok); 20174fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman 20184fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman if (Tok.is(tok::eod)) { 20194fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman MI->AddTokenToBody(LastTok); 20204fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman break; 20214fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman } 20224fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman 20234fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman unsigned NumTokens = MI->getNumTokens(); 20244fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman if (NumTokens && Tok.getIdentifierInfo() == Ident__VA_ARGS__ && 20254fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman MI->getReplacementToken(NumTokens-1).is(tok::comma)) 20264fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman MI->setHasCommaPasting(); 20274fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman 2028974cbc5e43c4aeb9bf4a6bb7ed2718a20a910437David Majnemer // Things look ok, add the '##' token to the macro. 20294fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman MI->AddTokenToBody(LastTok); 20304fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman continue; 20314fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman } 20324fa4b480270c14dfdcd0dfd4f76938e973082e3bEli Friedman 2033141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the next token of the macro. 2034141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 20351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20363240469102eca90fa5123ec9636fa0364df3034cChris Lattner // Check for a valid macro arg identifier. 20376bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (Tok.getIdentifierInfo() == nullptr || 20383240469102eca90fa5123ec9636fa0364df3034cChris Lattner MI->getArgumentNum(Tok.getIdentifierInfo()) == -1) { 20393240469102eca90fa5123ec9636fa0364df3034cChris Lattner 20403240469102eca90fa5123ec9636fa0364df3034cChris Lattner // If this is assembler-with-cpp mode, we accept random gibberish after 20413240469102eca90fa5123ec9636fa0364df3034cChris Lattner // the '#' because '#' is often a comment character. However, change 20423240469102eca90fa5123ec9636fa0364df3034cChris Lattner // the kind of the token to tok::unknown so that the preprocessor isn't 20433240469102eca90fa5123ec9636fa0364df3034cChris Lattner // confused. 20444e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie if (getLangOpts().AsmPreprocessor && Tok.isNot(tok::eod)) { 20453240469102eca90fa5123ec9636fa0364df3034cChris Lattner LastTok.setKind(tok::unknown); 2046995544ef901f70589025c278e112547966a1df09Eli Friedman MI->AddTokenToBody(LastTok); 2047995544ef901f70589025c278e112547966a1df09Eli Friedman continue; 20483240469102eca90fa5123ec9636fa0364df3034cChris Lattner } else { 20493240469102eca90fa5123ec9636fa0364df3034cChris Lattner Diag(Tok, diag::err_pp_stringize_not_parameter); 20503240469102eca90fa5123ec9636fa0364df3034cChris Lattner ReleaseMacroInfo(MI); 20511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20523240469102eca90fa5123ec9636fa0364df3034cChris Lattner // Disable __VA_ARGS__ again. 20533240469102eca90fa5123ec9636fa0364df3034cChris Lattner Ident__VA_ARGS__->setIsPoisoned(true); 20543240469102eca90fa5123ec9636fa0364df3034cChris Lattner return; 20553240469102eca90fa5123ec9636fa0364df3034cChris Lattner } 2056141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 20571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20583240469102eca90fa5123ec9636fa0364df3034cChris Lattner // Things look ok, add the '#' and param name tokens to the macro. 20593240469102eca90fa5123ec9636fa0364df3034cChris Lattner MI->AddTokenToBody(LastTok); 2060141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->AddTokenToBody(Tok); 20613240469102eca90fa5123ec9636fa0364df3034cChris Lattner LastTok = Tok; 20621eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2063141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the next token of the macro. 2064141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 2065141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 2066141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 20671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20681eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2069141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Disable __VA_ARGS__ again. 2070141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Ident__VA_ARGS__->setIsPoisoned(true); 2071141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2072fc8f0e14ad142ed811e90fbd9a30e419e301c717Chris Lattner // Check that there is no paste (##) operator at the beginning or end of the 2073141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // replacement list. 2074141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner unsigned NumTokens = MI->getNumTokens(); 2075141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (NumTokens != 0) { 2076141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MI->getReplacementToken(0).is(tok::hashhash)) { 2077141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(MI->getReplacementToken(0), diag::err_paste_at_start); 20780ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek ReleaseMacroInfo(MI); 2079141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 2080141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 2081141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MI->getReplacementToken(NumTokens-1).is(tok::hashhash)) { 2082141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(MI->getReplacementToken(NumTokens-1), diag::err_paste_at_end); 20830ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek ReleaseMacroInfo(MI); 2084141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 2085141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 2086141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 20871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20882451b528fe114595d0f10ef2c05047928558ab0fChris Lattner MI->setDefinitionEndLoc(LastTok.getLocation()); 20891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2090141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Finally, if this identifier already had a macro defined for it, verify that 20918a64bb58c3b24d7d97895e435bbc0965c99bd3beAlexander Kornienko // the macro bodies are identical, and issue diagnostics if they are not. 20929818a1d443e97677dd3422305de9cc2b1fb2a8c1Argyrios Kyrtzidis if (const MacroInfo *OtherMI=getMacroInfo(MacroNameTok.getIdentifierInfo())) { 209341c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner // It is very common for system headers to have tons of macro redefinitions 209441c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner // and for warnings to be disabled in system headers. If this is the case, 209541c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner // then don't bother calling MacroInfo::isIdenticalTo. 20967f549dfd7b1d3b2b09e5878eeb754efae253d557Chris Lattner if (!getDiagnostics().getSuppressSystemWarnings() || 209741c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner !SourceMgr.isInSystemHeader(DefineTok.getLocation())) { 2098a33e0504f61132ac43f4f89af43b12c87e987c20Argyrios Kyrtzidis if (!OtherMI->isUsed() && OtherMI->isWarnIfUnused()) 209941c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner Diag(OtherMI->getDefinitionLoc(), diag::pp_macro_not_used); 2100141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2101eed55e6061768c0faff62dda22c6edad9d286501Richard Smith // Warn if defining "__LINE__" and other builtins, per C99 6.10.8/4 and 2102eed55e6061768c0faff62dda22c6edad9d286501Richard Smith // C++ [cpp.predefined]p4, but allow it as an extension. 2103eed55e6061768c0faff62dda22c6edad9d286501Richard Smith if (OtherMI->isBuiltinMacro()) 2104eed55e6061768c0faff62dda22c6edad9d286501Richard Smith Diag(MacroNameTok, diag::ext_pp_redef_builtin_macro); 2105f47724bf78299c7a50f008e0443c5f9f9f279ddcChris Lattner // Macros must be identical. This means all tokens and whitespace 2106bd25ff8632e18bb3af761369fd3b0f1b48fdf061Argyrios Kyrtzidis // separation must be the same. C99 6.10.3p2. 2107eed55e6061768c0faff62dda22c6edad9d286501Richard Smith else if (!OtherMI->isAllowRedefinitionsWithoutWarning() && 2108bd25ff8632e18bb3af761369fd3b0f1b48fdf061Argyrios Kyrtzidis !MI->isIdenticalTo(*OtherMI, *this, /*Syntactic=*/LangOpts.MicrosoftExt)) { 210941c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner Diag(MI->getDefinitionLoc(), diag::ext_pp_macro_redef) 211041c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner << MacroNameTok.getIdentifierInfo(); 211141c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner Diag(OtherMI->getDefinitionLoc(), diag::note_previous_definition); 211241c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner } 2113141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 2114a33e0504f61132ac43f4f89af43b12c87e987c20Argyrios Kyrtzidis if (OtherMI->isWarnIfUnused()) 2115a33e0504f61132ac43f4f89af43b12c87e987c20Argyrios Kyrtzidis WarnUnusedMacroLocs.erase(OtherMI->getDefinitionLoc()); 2116141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 21171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2118c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis DefMacroDirective *MD = 2119c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis appendDefMacroDirective(MacroNameTok.getIdentifierInfo(), MI); 21201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 21210827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis assert(!MI->isUsed()); 21220827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis // If we need warning for not using the macro, add its location in the 21230827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis // warn-because-unused-macro set. If it gets used it will be removed from set. 212424146975f1af8c1b4b14e8545f218129d0e7dfebEli Friedman if (getSourceManager().isInMainFile(MI->getDefinitionLoc()) && 2125ef8225444452a1486bd721f3285301fe84643b00Stephen Hines !Diags->isIgnored(diag::pp_macro_not_used, MI->getDefinitionLoc())) { 21260827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis MI->setIsWarnIfUnused(true); 21270827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis WarnUnusedMacroLocs.insert(MI->getDefinitionLoc()); 21280827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis } 21290827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis 2130f4a72b07747cd6ae1a9f6974e148ae504c879349Chris Lattner // If the callbacks want to know, tell them about the macro definition. 2131f4a72b07747cd6ae1a9f6974e148ae504c879349Chris Lattner if (Callbacks) 2132c515978bd3a703aa733f846a0094ffa84d149074Argyrios Kyrtzidis Callbacks->MacroDefined(MacroNameTok, MD); 2133141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 2134141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2135dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// HandleUndefDirective - Implements \#undef. 2136141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 2137141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleUndefDirective(Token &UndefTok) { 2138141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumUndefined; 2139141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2140141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token MacroNameTok; 2141141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ReadMacroName(MacroNameTok, 2); 21421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2143141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Error reading macro name? If so, diagnostic already issued. 214484021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (MacroNameTok.is(tok::eod)) 2145141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 21461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2147141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Check to see if this is the last token on the #undef line. 214835410d5cbbb18735d76e00496540d416dc49b577Chris Lattner CheckEndOfDirective("undef"); 21491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2150141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Okay, we finally have a valid identifier to undef. 21519818a1d443e97677dd3422305de9cc2b1fb2a8c1Argyrios Kyrtzidis MacroDirective *MD = getMacroDirective(MacroNameTok.getIdentifierInfo()); 21526bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines const MacroInfo *MI = MD ? MD->getMacroInfo() : nullptr; 21531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 215436845474e217b952c720f4f87923bc78059640c5Argyrios Kyrtzidis // If the callbacks want to know, tell them about the macro #undef. 215536845474e217b952c720f4f87923bc78059640c5Argyrios Kyrtzidis // Note: no matter if the macro was defined or not. 215636845474e217b952c720f4f87923bc78059640c5Argyrios Kyrtzidis if (Callbacks) 2157c515978bd3a703aa733f846a0094ffa84d149074Argyrios Kyrtzidis Callbacks->MacroUndefined(MacroNameTok, MD); 215836845474e217b952c720f4f87923bc78059640c5Argyrios Kyrtzidis 2159141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If the macro is not defined, this is a noop undef, just return. 21606bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (!MI) 21616bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines return; 2162141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 21631f8dcfca6c57606b9f4f96404642c02562289b83Argyrios Kyrtzidis if (!MI->isUsed() && MI->isWarnIfUnused()) 2164141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(MI->getDefinitionLoc(), diag::pp_macro_not_used); 216541c17473e3ece9e60d97c5d9397866b7730cf7eeChris Lattner 21660827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis if (MI->isWarnIfUnused()) 21670827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis WarnUnusedMacroLocs.erase(MI->getDefinitionLoc()); 21680827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis 2169c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis appendMacroDirective(MacroNameTok.getIdentifierInfo(), 2170c56fff7fd231aebf4b152f60f8f11ef91835c48aArgyrios Kyrtzidis AllocateUndefMacroDirective(MacroNameTok.getLocation())); 2171141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 2172141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2173141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2174141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 2175141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// Preprocessor Conditional Directive Handling. 2176141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 2177141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2178dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// HandleIfdefDirective - Implements the \#ifdef/\#ifndef directive. isIfndef 2179dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// is true when this is a \#ifndef directive. ReadAnyTokensBeforeDirective is 2180dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// true if any tokens have been returned or pp-directives activated before this 2181dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// \#ifndef has been lexed. 2182141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 2183141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleIfdefDirective(Token &Result, bool isIfndef, 2184141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool ReadAnyTokensBeforeDirective) { 2185141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumIf; 2186141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token DirectiveTok = Result; 2187141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2188141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token MacroNameTok; 2189141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ReadMacroName(MacroNameTok); 21901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2191141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Error reading macro name? If so, diagnostic already issued. 219284021556baceb76eedf7d44be8ba71d9b8cfaccePeter Collingbourne if (MacroNameTok.is(tok::eod)) { 2193141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Skip code until we get to #endif. This helps with recovery by not 2194141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // emitting an error when the #endif is reached. 2195141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner SkipExcludedConditionalBlock(DirectiveTok.getLocation(), 2196141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*Foundnonskip*/false, /*FoundElse*/false); 2197141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 2198141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 21991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2200141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Check to see if this is the last token on the #if[n]def line. 220135410d5cbbb18735d76e00496540d416dc49b577Chris Lattner CheckEndOfDirective(isIfndef ? "ifndef" : "ifdef"); 2202141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 220313d283d6a2f50cc4a2b03357191d49672de0eb9bChris Lattner IdentifierInfo *MII = MacroNameTok.getIdentifierInfo(); 2204c515978bd3a703aa733f846a0094ffa84d149074Argyrios Kyrtzidis MacroDirective *MD = getMacroDirective(MII); 22056bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines MacroInfo *MI = MD ? MD->getMacroInfo() : nullptr; 2206193575455e00eca03fd7177f60e3f2e6263cb661Kovarththanan Rajaratnam 220760e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->getConditionalStackDepth() == 0) { 220813d283d6a2f50cc4a2b03357191d49672de0eb9bChris Lattner // If the start of a top-level #ifdef and if the macro is not defined, 220913d283d6a2f50cc4a2b03357191d49672de0eb9bChris Lattner // inform MIOpt that this might be the start of a proper include guard. 221013d283d6a2f50cc4a2b03357191d49672de0eb9bChris Lattner // Otherwise it is some other form of unknown conditional which we can't 221113d283d6a2f50cc4a2b03357191d49672de0eb9bChris Lattner // handle. 22126bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines if (!ReadAnyTokensBeforeDirective && !MI) { 2213141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner assert(isIfndef && "#ifdef shouldn't reach here"); 2214671538e8a51eab5bd65a1f9f327ba7f44f84e486Richard Trieu CurPPLexer->MIOpt.EnterTopLevelIfndef(MII, MacroNameTok.getLocation()); 2215141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else 221660e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->MIOpt.EnterTopLevelConditional(); 2217141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 2218141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2219141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If there is a macro, process it. 2220141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MI) // Mark it used. 22210827408865e32789e0ec4b8113a302ccdc531423Argyrios Kyrtzidis markMacroAsUsed(MI); 22221eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2223bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis if (Callbacks) { 2224bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis if (isIfndef) 2225c515978bd3a703aa733f846a0094ffa84d149074Argyrios Kyrtzidis Callbacks->Ifndef(DirectiveTok.getLocation(), MacroNameTok, MD); 2226bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis else 2227c515978bd3a703aa733f846a0094ffa84d149074Argyrios Kyrtzidis Callbacks->Ifdef(DirectiveTok.getLocation(), MacroNameTok, MD); 2228bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis } 2229bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis 2230141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Should we include the stuff contained by this directive? 2231141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (!MI == isIfndef) { 2232141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Yes, remember that we are inside a conditional, then lex the next token. 22331d9c54df56391ac4740db27d551782e81189cb51Chris Lattner CurPPLexer->pushConditionalLevel(DirectiveTok.getLocation(), 22341d9c54df56391ac4740db27d551782e81189cb51Chris Lattner /*wasskip*/false, /*foundnonskip*/true, 22351d9c54df56391ac4740db27d551782e81189cb51Chris Lattner /*foundelse*/false); 2236141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 223708985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein // No, skip the contents of this block. 2238141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner SkipExcludedConditionalBlock(DirectiveTok.getLocation(), 22391eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump /*Foundnonskip*/false, 2240141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*FoundElse*/false); 2241141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 2242141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 2243141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2244dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// HandleIfDirective - Implements the \#if directive. 2245141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 2246141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleIfDirective(Token &IfToken, 2247141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool ReadAnyTokensBeforeDirective) { 2248141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumIf; 22491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 225008985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein // Parse and evaluate the conditional expression. 22516bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines IdentifierInfo *IfNDefMacro = nullptr; 225208985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein const SourceLocation ConditionalBegin = CurPPLexer->getSourceLocation(); 225308985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein const bool ConditionalTrue = EvaluateDirectiveExpression(IfNDefMacro); 225408985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein const SourceLocation ConditionalEnd = CurPPLexer->getSourceLocation(); 22550049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes 22560049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes // If this condition is equivalent to #ifndef X, and if this is the first 22570049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes // directive seen, handle it for the multiple-include optimization. 225860e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->getConditionalStackDepth() == 0) { 225913d283d6a2f50cc4a2b03357191d49672de0eb9bChris Lattner if (!ReadAnyTokensBeforeDirective && IfNDefMacro && ConditionalTrue) 22604196019db7a9b22d09c31a290c49d45eab2fa1d3Richard Smith // FIXME: Pass in the location of the macro name, not the 'if' token. 22614196019db7a9b22d09c31a290c49d45eab2fa1d3Richard Smith CurPPLexer->MIOpt.EnterTopLevelIfndef(IfNDefMacro, IfToken.getLocation()); 22620049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes else 226360e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->MIOpt.EnterTopLevelConditional(); 22640049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes } 22650049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes 2266bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis if (Callbacks) 2267bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis Callbacks->If(IfToken.getLocation(), 22686a04b5e8c4f15c724b8b89a9c0ea702586ad1852John Thompson SourceRange(ConditionalBegin, ConditionalEnd), 2269651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines (ConditionalTrue ? PPCallbacks::CVK_True : PPCallbacks::CVK_False)); 2270bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis 2271141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Should we include the stuff contained by this directive? 2272141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (ConditionalTrue) { 2273141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Yes, remember that we are inside a conditional, then lex the next token. 227460e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->pushConditionalLevel(IfToken.getLocation(), /*wasskip*/false, 2275141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*foundnonskip*/true, /*foundelse*/false); 2276141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 227708985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein // No, skip the contents of this block. 22781eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump SkipExcludedConditionalBlock(IfToken.getLocation(), /*Foundnonskip*/false, 2279141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*FoundElse*/false); 2280141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 2281141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 2282141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2283dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// HandleEndifDirective - Implements the \#endif directive. 2284141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 2285141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleEndifDirective(Token &EndifToken) { 2286141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumEndif; 22871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2288141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Check that this is the whole directive. 228935410d5cbbb18735d76e00496540d416dc49b577Chris Lattner CheckEndOfDirective("endif"); 22901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2291141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner PPConditionalInfo CondInfo; 229260e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->popConditionalLevel(CondInfo)) { 2293141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // No conditionals on the stack: this is an #endif without an #if. 22943692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner Diag(EndifToken, diag::err_pp_endif_without_if); 22953692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner return; 2296141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 22971eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2298141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this the end of a top-level #endif, inform MIOpt. 229960e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->getConditionalStackDepth() == 0) 230060e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->MIOpt.ExitTopLevelConditional(); 23011eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 230260e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek assert(!CondInfo.WasSkipping && !CurPPLexer->LexingRawMode && 2303141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner "This code should only be reachable in the non-skipping case!"); 2304141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 230508985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein if (Callbacks) 2306bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis Callbacks->Endif(EndifToken.getLocation(), CondInfo.IfLoc); 230708985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein} 2308141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2309dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// HandleElseDirective - Implements the \#else directive. 231008985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein/// 2311141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleElseDirective(Token &Result) { 2312141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumElse; 23131eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2314141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #else directive in a non-skipping conditional... start skipping. 231535410d5cbbb18735d76e00496540d416dc49b577Chris Lattner CheckEndOfDirective("else"); 23161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2317141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner PPConditionalInfo CI; 23183692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner if (CurPPLexer->popConditionalLevel(CI)) { 23193692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner Diag(Result, diag::pp_err_else_without_if); 23203692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner return; 23213692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner } 23221eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2323141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a top-level #else, inform the MIOpt. 232460e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->getConditionalStackDepth() == 0) 232560e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->MIOpt.EnterTopLevelConditional(); 2326141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2327141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a #else with a #else before it, report the error. 2328141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CI.FoundElse) Diag(Result, diag::pp_err_else_after_else); 23291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2330bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis if (Callbacks) 2331bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis Callbacks->Else(Result.getLocation(), CI.IfLoc); 2332bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis 233308985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein // Finally, skip the rest of the contents of this block. 233408985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein SkipExcludedConditionalBlock(CI.IfLoc, /*Foundnonskip*/true, 23356b4ff04dd22e7159887ea6c1bb8b1c01fc9c70a9Argyrios Kyrtzidis /*FoundElse*/true, Result.getLocation()); 2336141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 2337141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2338dc20169f3869ec7f4bfd4e62e81a21b4cb49e34dJames Dennett/// HandleElifDirective - Implements the \#elif directive. 233908985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein/// 2340141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleElifDirective(Token &ElifToken) { 2341141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumElse; 23421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2343141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #elif directive in a non-skipping conditional... start skipping. 2344141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // We don't care what the condition is, because we will always skip it (since 2345141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // the block immediately before it was included). 234608985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein const SourceLocation ConditionalBegin = CurPPLexer->getSourceLocation(); 2347141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 234808985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein const SourceLocation ConditionalEnd = CurPPLexer->getSourceLocation(); 2349141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 2350141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner PPConditionalInfo CI; 23513692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner if (CurPPLexer->popConditionalLevel(CI)) { 23523692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner Diag(ElifToken, diag::pp_err_elif_without_if); 23533692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner return; 23543692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner } 23551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2356141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a top-level #elif, inform the MIOpt. 235760e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->getConditionalStackDepth() == 0) 235860e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->MIOpt.EnterTopLevelConditional(); 23591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2360141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a #elif with a #else before it, report the error. 2361141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CI.FoundElse) Diag(ElifToken, diag::pp_err_elif_after_else); 2362bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis 2363bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis if (Callbacks) 2364bb660666883de8b32999c1e5fbe3c32e2cafbdf6Argyrios Kyrtzidis Callbacks->Elif(ElifToken.getLocation(), 23656a04b5e8c4f15c724b8b89a9c0ea702586ad1852John Thompson SourceRange(ConditionalBegin, ConditionalEnd), 2366651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines PPCallbacks::CVK_NotEvaluated, CI.IfLoc); 2367141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 236808985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein // Finally, skip the rest of the contents of this block. 236908985b91e5a87e7731ba24c675f2dc9f9cb645d4Craig Silverstein SkipExcludedConditionalBlock(CI.IfLoc, /*Foundnonskip*/true, 23706b4ff04dd22e7159887ea6c1bb8b1c01fc9c70a9Argyrios Kyrtzidis /*FoundElse*/CI.FoundElse, 23716b4ff04dd22e7159887ea6c1bb8b1c01fc9c70a9Argyrios Kyrtzidis ElifToken.getLocation()); 2372141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 2373