PPDirectives.cpp revision 42aa16cccb3d6cd4195ccff9c32d8cb50a25a094
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//===----------------------------------------------------------------------===// 9141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// 10141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// This file implements # directive processing for the Preprocessor. 11141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// 12141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 13141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 14141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner#include "clang/Lex/Preprocessor.h" 15359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner#include "clang/Lex/LiteralSupport.h" 16141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner#include "clang/Lex/HeaderSearch.h" 17141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner#include "clang/Lex/MacroInfo.h" 18500d3297d2a21edeac4d46cbcbe21bc2352c2a28Chris Lattner#include "clang/Lex/LexDiagnostic.h" 19141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner#include "clang/Basic/SourceManager.h" 20359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner#include "llvm/ADT/APInt.h" 21141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnerusing namespace clang; 22141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 23141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 24141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// Utility Methods for Preprocessor Directive Handling. 25141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 26141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 270301b3ff132a4d986c092d161cb77d74b04cd2a6Chris LattnerMacroInfo *Preprocessor::AllocateMacroInfo(SourceLocation L) { 280ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek MacroInfo *MI; 290ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek 300ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek if (!MICache.empty()) { 310ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek MI = MICache.back(); 320ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek MICache.pop_back(); 330301b3ff132a4d986c092d161cb77d74b04cd2a6Chris Lattner } else 340301b3ff132a4d986c092d161cb77d74b04cd2a6Chris Lattner MI = (MacroInfo*) BP.Allocate<MacroInfo>(); 350ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek new (MI) MacroInfo(L); 360ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek return MI; 370ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek} 380ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek 390301b3ff132a4d986c092d161cb77d74b04cd2a6Chris Lattner/// ReleaseMacroInfo - Release the specified MacroInfo. This memory will 400301b3ff132a4d986c092d161cb77d74b04cd2a6Chris Lattner/// be reused for allocating new MacroInfo objects. 410301b3ff132a4d986c092d161cb77d74b04cd2a6Chris Lattnervoid Preprocessor::ReleaseMacroInfo(MacroInfo* MI) { 420301b3ff132a4d986c092d161cb77d74b04cd2a6Chris Lattner MICache.push_back(MI); 43685befeb5f6472585bae473a6389e47cab9eac67Chris Lattner MI->FreeArgumentList(BP); 440301b3ff132a4d986c092d161cb77d74b04cd2a6Chris Lattner} 450301b3ff132a4d986c092d161cb77d74b04cd2a6Chris Lattner 460301b3ff132a4d986c092d161cb77d74b04cd2a6Chris Lattner 47141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// DiscardUntilEndOfDirective - Read and discard all tokens remaining on the 48141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// current line until the tok::eom token is found. 49141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::DiscardUntilEndOfDirective() { 50141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token Tmp; 51141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner do { 52141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tmp); 53141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } while (Tmp.isNot(tok::eom)); 54141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 55141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 56141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// ReadMacroName - Lex and validate a macro name, which occurs after a 57141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// #define or #undef. This sets the token kind to eom and discards the rest 58141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// of the macro line if the macro name is invalid. isDefineUndef is 1 if 59141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// this is due to a a #define, 2 if #undef directive, 0 if it is something 60141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// else (e.g. #ifdef). 61141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::ReadMacroName(Token &MacroNameTok, char isDefineUndef) { 62141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the token, don't allow macro expansion on it. 63141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(MacroNameTok); 64141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 65141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Missing macro name? 663692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner if (MacroNameTok.is(tok::eom)) { 673692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner Diag(MacroNameTok, diag::err_pp_missing_macro_name); 683692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner return; 693692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner } 70141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 71141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner IdentifierInfo *II = MacroNameTok.getIdentifierInfo(); 72141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (II == 0) { 73141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner std::string Spelling = getSpelling(MacroNameTok); 749485d2382c1e3833ccbed20a185f6ab96d4dd703Chris Lattner const IdentifierInfo &Info = Identifiers.get(Spelling); 759485d2382c1e3833ccbed20a185f6ab96d4dd703Chris Lattner if (Info.isCPlusPlusOperatorKeyword()) 76141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C++ 2.5p2: Alternative tokens behave the same as its primary token 77141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // except for their spellings. 7856b05c8829efd13b7e5b333f8f587c71d025c67dChris Lattner Diag(MacroNameTok, diag::err_pp_operator_used_as_macro_name) << Spelling; 79141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner else 80141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(MacroNameTok, diag::err_pp_macro_not_identifier); 81141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Fall through on error. 82141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else if (isDefineUndef && II->getPPKeywordID() == tok::pp_defined) { 83141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Error if defining "defined": C99 6.10.8.4. 84141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(MacroNameTok, diag::err_defined_macro_name); 85141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else if (isDefineUndef && II->hasMacroDefinition() && 86141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner getMacroInfo(II)->isBuiltinMacro()) { 87141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Error if defining "__LINE__" and other builtins: C99 6.10.8.4. 88141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (isDefineUndef == 1) 89141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(MacroNameTok, diag::pp_redef_builtin_macro); 90141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner else 91141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(MacroNameTok, diag::pp_undef_builtin_macro); 92141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 93141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Okay, we got a good identifier node. Return it. 94141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 95141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 96141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 97141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Invalid macro name, read and discard the rest of the line. Then set the 98141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // token kind to tok::eom. 99141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MacroNameTok.setKind(tok::eom); 100141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return DiscardUntilEndOfDirective(); 101141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 102141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 103141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// CheckEndOfDirective - Ensure that the next token is a tok::eom token. If 104141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// not, emit a diagnostic and consume up until the eom. 105141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::CheckEndOfDirective(const char *DirType) { 106141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token Tmp; 107141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Lex unexpanded tokens: macros might expand to zero tokens, causing us to 108141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // miss diagnosing invalid lines. 109141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tmp); 110141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 111141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // There should be no tokens after the directive, but we allow them as an 112141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // extension. 113141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner while (Tmp.is(tok::comment)) // Skip comments in -C mode. 114141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tmp); 115141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 116141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Tmp.isNot(tok::eom)) { 11756b05c8829efd13b7e5b333f8f587c71d025c67dChris Lattner Diag(Tmp, diag::ext_pp_extra_tokens_at_eol) << DirType; 118141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 119141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 120141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 121141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 122141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 123141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 124141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// SkipExcludedConditionalBlock - We just read a #if or related directive and 125141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// decided that the subsequent tokens are in the #if'd out portion of the 126141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// file. Lex the rest of the file, until we see an #endif. If 127141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// FoundNonSkipPortion is true, then we have already emitted code for part of 128141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// this #if directive, so #else/#elif blocks should never be entered. If ElseOk 129141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// is true, then #else directives are ok, if not, then we have already seen one 130141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// so a #else directive is a duplicate. When this returns, the caller can lex 131141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// the first valid token. 132141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::SkipExcludedConditionalBlock(SourceLocation IfTokenLoc, 133141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool FoundNonSkipPortion, 134141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool FoundElse) { 135141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumSkipped; 136f6452c5421c5db5a7ceff581525f286931d97f1aTed Kremenek assert(CurTokenLexer == 0 && CurPPLexer && "Lexing a macro, not a file?"); 137141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 13860e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->pushConditionalLevel(IfTokenLoc, /*isSkipping*/false, 139141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FoundNonSkipPortion, FoundElse); 140141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 141268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (CurPTHLexer) { 142268ee7016a2811803989487c0ad3799486092c63Ted Kremenek PTHSkipExcludedConditionalBlock(); 143268ee7016a2811803989487c0ad3799486092c63Ted Kremenek return; 144268ee7016a2811803989487c0ad3799486092c63Ted Kremenek } 145268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 146141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Enter raw mode to disable identifier lookup (and thus macro expansion), 147141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // disabling warnings, etc. 14860e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->LexingRawMode = true; 149141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token Tok; 150141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner while (1) { 151f6452c5421c5db5a7ceff581525f286931d97f1aTed Kremenek if (CurLexer) 152f6452c5421c5db5a7ceff581525f286931d97f1aTed Kremenek CurLexer->Lex(Tok); 153f6452c5421c5db5a7ceff581525f286931d97f1aTed Kremenek else 154f6452c5421c5db5a7ceff581525f286931d97f1aTed Kremenek CurPTHLexer->Lex(Tok); 155141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 156141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is the end of the buffer, we have an error. 157141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Tok.is(tok::eof)) { 158141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Emit errors for each unterminated conditional on the stack, including 159141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // the current one. 16060e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek while (!CurPPLexer->ConditionalStack.empty()) { 16160e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek Diag(CurPPLexer->ConditionalStack.back().IfLoc, 162141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner diag::err_pp_unterminated_conditional); 16360e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ConditionalStack.pop_back(); 164141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 165141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 166141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Just return and let the caller lex after this #include. 167141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 168141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 169141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 170141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this token is not a preprocessor directive, just skip it. 171141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Tok.isNot(tok::hash) || !Tok.isAtStartOfLine()) 172141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner continue; 173141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 174141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // We just parsed a # character at the start of a line, so we're in 175141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // directive mode. Tell the lexer this so any newlines we see will be 176141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // converted into an EOM token (this terminates the macro). 17760e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ParsingPreprocessorDirective = true; 178ac6b06df32e907cac388a92310650b5895c11241Ted Kremenek if (CurLexer) CurLexer->SetCommentRetentionState(false); 179141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 180141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 181141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the next token, the directive flavor. 182141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 183141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 184141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this isn't an identifier directive (e.g. is "# 1\n" or "#\n", or 185141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // something bogus), skip it. 186141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Tok.isNot(tok::identifier)) { 18760e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ParsingPreprocessorDirective = false; 188141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Restore comment saving mode. 189ac6b06df32e907cac388a92310650b5895c11241Ted Kremenek if (CurLexer) CurLexer->SetCommentRetentionState(KeepComments); 190141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner continue; 191141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 192141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 193141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If the first letter isn't i or e, it isn't intesting to us. We know that 194141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // this is safe in the face of spelling differences, because there is no way 195141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // to spell an i/e in a strange way that is another letter. Skipping this 196141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // allows us to avoid looking up the identifier info for #define/#undef and 197141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // other common directives. 198141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const char *RawCharData = SourceMgr.getCharacterData(Tok.getLocation()); 199141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner char FirstChar = RawCharData[0]; 200141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (FirstChar >= 'a' && FirstChar <= 'z' && 201141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FirstChar != 'i' && FirstChar != 'e') { 20260e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ParsingPreprocessorDirective = false; 203141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Restore comment saving mode. 204ac6b06df32e907cac388a92310650b5895c11241Ted Kremenek if (CurLexer) CurLexer->SetCommentRetentionState(KeepComments); 205141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner continue; 206141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 207141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 208141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the identifier name without trigraphs or embedded newlines. Note 209141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // that we can't use Tok.getIdentifierInfo() because its lookup is disabled 210141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // when skipping. 211141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // TODO: could do this with zero copies in the no-clean case by using 212141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // strncmp below. 213141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner char Directive[20]; 214141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner unsigned IdLen; 215141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (!Tok.needsCleaning() && Tok.getLength() < 20) { 216141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner IdLen = Tok.getLength(); 217141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner memcpy(Directive, RawCharData, IdLen); 218141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Directive[IdLen] = 0; 219141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 220141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner std::string DirectiveStr = getSpelling(Tok); 221141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner IdLen = DirectiveStr.size(); 222141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (IdLen >= 20) { 22360e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ParsingPreprocessorDirective = false; 224141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Restore comment saving mode. 225ac6b06df32e907cac388a92310650b5895c11241Ted Kremenek if (CurLexer) CurLexer->SetCommentRetentionState(KeepComments); 226141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner continue; 227141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 228141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner memcpy(Directive, &DirectiveStr[0], IdLen); 229141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Directive[IdLen] = 0; 230202fd2c4fb8d98ea9990df9bc157b11bc26ac2faChris Lattner FirstChar = Directive[0]; 231141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 232141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 233141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (FirstChar == 'i' && Directive[1] == 'f') { 234141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if ((IdLen == 2) || // "if" 235141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner (IdLen == 5 && !strcmp(Directive+2, "def")) || // "ifdef" 236141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner (IdLen == 6 && !strcmp(Directive+2, "ndef"))) { // "ifndef" 237141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // We know the entire #if/#ifdef/#ifndef block will be skipped, don't 238141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // bother parsing the condition. 239141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 24060e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->pushConditionalLevel(Tok.getLocation(), /*wasskipping*/true, 241141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*foundnonskip*/false, 242141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*fnddelse*/false); 243141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 244141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else if (FirstChar == 'e') { 245141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (IdLen == 5 && !strcmp(Directive+1, "ndif")) { // "endif" 246141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CheckEndOfDirective("#endif"); 247141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner PPConditionalInfo CondInfo; 248141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CondInfo.WasSkipping = true; // Silence bogus warning. 24960e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek bool InCond = CurPPLexer->popConditionalLevel(CondInfo); 250141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner InCond = InCond; // Silence warning in no-asserts mode. 251141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner assert(!InCond && "Can't be skipping if not in a conditional!"); 252141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 253141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If we popped the outermost skipping block, we're done skipping! 254141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (!CondInfo.WasSkipping) 255141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 256141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else if (IdLen == 4 && !strcmp(Directive+1, "lse")) { // "else". 257141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #else directive in a skipping conditional. If not in some other 258141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // skipping conditional, and if #else hasn't already been seen, enter it 259141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // as a non-skipping conditional. 260141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CheckEndOfDirective("#else"); 26160e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek PPConditionalInfo &CondInfo = CurPPLexer->peekConditionalLevel(); 262141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 263141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a #else with a #else before it, report the error. 264141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CondInfo.FoundElse) Diag(Tok, diag::pp_err_else_after_else); 265141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 266141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Note that we've seen a #else in this conditional. 267141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CondInfo.FoundElse = true; 268141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 269141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If the conditional is at the top level, and the #if block wasn't 270141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // entered, enter the #else block now. 271141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (!CondInfo.WasSkipping && !CondInfo.FoundNonSkip) { 272141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CondInfo.FoundNonSkip = true; 273141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 274141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 275141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else if (IdLen == 4 && !strcmp(Directive+1, "lif")) { // "elif". 27660e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek PPConditionalInfo &CondInfo = CurPPLexer->peekConditionalLevel(); 277141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 278141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool ShouldEnter; 279141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is in a skipping block or if we're already handled this #if 280141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // block, don't bother parsing the condition. 281141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CondInfo.WasSkipping || CondInfo.FoundNonSkip) { 282141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 283141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ShouldEnter = false; 284141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 285141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Restore the value of LexingRawMode so that identifiers are 286141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // looked up, etc, inside the #elif expression. 28760e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek assert(CurPPLexer->LexingRawMode && "We have to be skipping here!"); 28860e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->LexingRawMode = false; 289141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner IdentifierInfo *IfNDefMacro = 0; 290141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ShouldEnter = EvaluateDirectiveExpression(IfNDefMacro); 29160e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->LexingRawMode = true; 292141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 293141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 294141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a #elif with a #else before it, report the error. 295141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CondInfo.FoundElse) Diag(Tok, diag::pp_err_elif_after_else); 296141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 297141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this condition is true, enter it! 298141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (ShouldEnter) { 299141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CondInfo.FoundNonSkip = true; 300141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 301141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 302141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 303141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 304141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 30560e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ParsingPreprocessorDirective = false; 306141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Restore comment saving mode. 307ac6b06df32e907cac388a92310650b5895c11241Ted Kremenek if (CurLexer) CurLexer->SetCommentRetentionState(KeepComments); 308141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 309141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 310141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Finally, if we are out of the conditional (saw an #endif or ran off the end 311141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // of the file, just stop skipping and return to lexing whatever came after 312141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // the #if block. 31360e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->LexingRawMode = false; 314141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 315141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 316268ee7016a2811803989487c0ad3799486092c63Ted Kremenekvoid Preprocessor::PTHSkipExcludedConditionalBlock() { 317268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 318268ee7016a2811803989487c0ad3799486092c63Ted Kremenek while(1) { 319268ee7016a2811803989487c0ad3799486092c63Ted Kremenek assert(CurPTHLexer); 320268ee7016a2811803989487c0ad3799486092c63Ted Kremenek assert(CurPTHLexer->LexingRawMode == false); 321268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 322268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // Skip to the next '#else', '#elif', or #endif. 323268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (CurPTHLexer->SkipBlock()) { 324268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // We have reached an #endif. Both the '#' and 'endif' tokens 325268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // have been consumed by the PTHLexer. Just pop off the condition level. 326268ee7016a2811803989487c0ad3799486092c63Ted Kremenek PPConditionalInfo CondInfo; 327268ee7016a2811803989487c0ad3799486092c63Ted Kremenek bool InCond = CurPTHLexer->popConditionalLevel(CondInfo); 328268ee7016a2811803989487c0ad3799486092c63Ted Kremenek InCond = InCond; // Silence warning in no-asserts mode. 329268ee7016a2811803989487c0ad3799486092c63Ted Kremenek assert(!InCond && "Can't be skipping if not in a conditional!"); 330268ee7016a2811803989487c0ad3799486092c63Ted Kremenek break; 331268ee7016a2811803989487c0ad3799486092c63Ted Kremenek } 332268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 333268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // We have reached a '#else' or '#elif'. Lex the next token to get 334268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // the directive flavor. 335268ee7016a2811803989487c0ad3799486092c63Ted Kremenek Token Tok; 336268ee7016a2811803989487c0ad3799486092c63Ted Kremenek LexUnexpandedToken(Tok); 337268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 338268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // We can actually look up the IdentifierInfo here since we aren't in 339268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // raw mode. 340268ee7016a2811803989487c0ad3799486092c63Ted Kremenek tok::PPKeywordKind K = Tok.getIdentifierInfo()->getPPKeywordID(); 341268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 342268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (K == tok::pp_else) { 343268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // #else: Enter the else condition. We aren't in a nested condition 344268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // since we skip those. We're always in the one matching the last 345268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // blocked we skipped. 346268ee7016a2811803989487c0ad3799486092c63Ted Kremenek PPConditionalInfo &CondInfo = CurPTHLexer->peekConditionalLevel(); 347268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // Note that we've seen a #else in this conditional. 348268ee7016a2811803989487c0ad3799486092c63Ted Kremenek CondInfo.FoundElse = true; 349268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 350268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // If the #if block wasn't entered then enter the #else block now. 351268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (!CondInfo.FoundNonSkip) { 352268ee7016a2811803989487c0ad3799486092c63Ted Kremenek CondInfo.FoundNonSkip = true; 353e5680f3cd678014cf0872d34726dc804b0cbbdd4Ted Kremenek 354e5680f3cd678014cf0872d34726dc804b0cbbdd4Ted Kremenek // Consume the eom token. 355e5680f3cd678014cf0872d34726dc804b0cbbdd4Ted Kremenek CurPTHLexer->ParsingPreprocessorDirective = true; 356e5680f3cd678014cf0872d34726dc804b0cbbdd4Ted Kremenek LexUnexpandedToken(Tok); 357e5680f3cd678014cf0872d34726dc804b0cbbdd4Ted Kremenek assert(Tok.is(tok::eom)); 358e5680f3cd678014cf0872d34726dc804b0cbbdd4Ted Kremenek CurPTHLexer->ParsingPreprocessorDirective = false; 359e5680f3cd678014cf0872d34726dc804b0cbbdd4Ted Kremenek 360268ee7016a2811803989487c0ad3799486092c63Ted Kremenek break; 361268ee7016a2811803989487c0ad3799486092c63Ted Kremenek } 362268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 363268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // Otherwise skip this block. 364268ee7016a2811803989487c0ad3799486092c63Ted Kremenek continue; 365268ee7016a2811803989487c0ad3799486092c63Ted Kremenek } 366268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 367268ee7016a2811803989487c0ad3799486092c63Ted Kremenek assert(K == tok::pp_elif); 368268ee7016a2811803989487c0ad3799486092c63Ted Kremenek PPConditionalInfo &CondInfo = CurPTHLexer->peekConditionalLevel(); 369268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 370268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // If this is a #elif with a #else before it, report the error. 371268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (CondInfo.FoundElse) 372268ee7016a2811803989487c0ad3799486092c63Ted Kremenek Diag(Tok, diag::pp_err_elif_after_else); 373268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 374268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // If this is in a skipping block or if we're already handled this #if 375268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // block, don't bother parsing the condition. We just skip this block. 376268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (CondInfo.FoundNonSkip) 377268ee7016a2811803989487c0ad3799486092c63Ted Kremenek continue; 378268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 379268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // Evaluate the condition of the #elif. 380268ee7016a2811803989487c0ad3799486092c63Ted Kremenek IdentifierInfo *IfNDefMacro = 0; 381268ee7016a2811803989487c0ad3799486092c63Ted Kremenek CurPTHLexer->ParsingPreprocessorDirective = true; 382268ee7016a2811803989487c0ad3799486092c63Ted Kremenek bool ShouldEnter = EvaluateDirectiveExpression(IfNDefMacro); 383268ee7016a2811803989487c0ad3799486092c63Ted Kremenek CurPTHLexer->ParsingPreprocessorDirective = false; 384268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 385268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // If this condition is true, enter it! 386268ee7016a2811803989487c0ad3799486092c63Ted Kremenek if (ShouldEnter) { 387268ee7016a2811803989487c0ad3799486092c63Ted Kremenek CondInfo.FoundNonSkip = true; 388268ee7016a2811803989487c0ad3799486092c63Ted Kremenek break; 389268ee7016a2811803989487c0ad3799486092c63Ted Kremenek } 390268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 391268ee7016a2811803989487c0ad3799486092c63Ted Kremenek // Otherwise, skip this block and go to the next one. 392268ee7016a2811803989487c0ad3799486092c63Ted Kremenek continue; 393268ee7016a2811803989487c0ad3799486092c63Ted Kremenek } 394268ee7016a2811803989487c0ad3799486092c63Ted Kremenek} 395268ee7016a2811803989487c0ad3799486092c63Ted Kremenek 3961072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner/// LookupFile - Given a "foo" or <foo> reference, look up the indicated file, 3971072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner/// return null on failure. isAngled indicates whether the file reference is 3981072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner/// for system #include's or not (i.e. using <> instead of ""). 3991072509e126e70c85652ab0056bcabd72edff7e5Chris Lattnerconst FileEntry *Preprocessor::LookupFile(const char *FilenameStart, 4001072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner const char *FilenameEnd, 4011072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner bool isAngled, 4021072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner const DirectoryLookup *FromDir, 4031072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner const DirectoryLookup *&CurDir) { 4041072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner // If the header lookup mechanism may be relative to the current file, pass in 4051072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner // info about where the current file is. 4061072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner const FileEntry *CurFileEnt = 0; 4071072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner if (!FromDir) { 4082b2453a7d8fe732561795431f39ceb2b2a832d84Chris Lattner FileID FID = getCurrentFileLexer()->getFileID(); 4092b2453a7d8fe732561795431f39ceb2b2a832d84Chris Lattner CurFileEnt = SourceMgr.getFileEntryForID(FID); 410be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner 411be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner // If there is no file entry associated with this file, it must be the 412be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner // predefines buffer. Any other file is not lexed with a normal lexer, so 413be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner // it won't be scanned for preprocessor directives. If we have the 414be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner // predefines buffer, resolve #include references (which come from the 415be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner // -include command line argument) as if they came from the main file, this 416be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner // affects file lookup etc. 417be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner if (CurFileEnt == 0) { 418be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner FID = SourceMgr.getMainFileID(); 419be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner CurFileEnt = SourceMgr.getFileEntryForID(FID); 420be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner } 4211072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner } 4221072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner 4231072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner // Do a standard file entry lookup. 4241072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner CurDir = CurDirLookup; 4251072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner const FileEntry *FE = 426be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner HeaderInfo.LookupFile(FilenameStart, FilenameEnd, 427be5c64d7a765acaf9454e7a511233771472bf811Chris Lattner isAngled, FromDir, CurDir, CurFileEnt); 4281072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner if (FE) return FE; 4291072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner 4301072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner // Otherwise, see if this is a subframework header. If so, this is relative 4311072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner // to one of the headers on the #include stack. Walk the list of the current 4321072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner // headers on the #include stack and pass them to HeaderInfo. 43381d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek if (IsFileLexer()) { 43441938c8493b4380df738263166b746eacb33c309Ted Kremenek if ((CurFileEnt = SourceMgr.getFileEntryForID(CurPPLexer->getFileID()))) 4351072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner if ((FE = HeaderInfo.LookupSubframeworkHeader(FilenameStart, FilenameEnd, 4361072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner CurFileEnt))) 4371072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner return FE; 4381072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner } 4391072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner 4401072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner for (unsigned i = 0, e = IncludeMacroStack.size(); i != e; ++i) { 4411072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner IncludeStackInfo &ISEntry = IncludeMacroStack[e-i-1]; 44281d24e135c60dcbe421864e6a4334ba99b8fe7ecTed Kremenek if (IsFileLexer(ISEntry)) { 4431072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner if ((CurFileEnt = 44441938c8493b4380df738263166b746eacb33c309Ted Kremenek SourceMgr.getFileEntryForID(ISEntry.ThePPLexer->getFileID()))) 4451072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner if ((FE = HeaderInfo.LookupSubframeworkHeader(FilenameStart, 4461072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner FilenameEnd, CurFileEnt))) 4471072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner return FE; 4481072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner } 4491072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner } 4501072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner 4511072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner // Otherwise, we really couldn't find the file. 4521072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner return 0; 4531072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner} 4541072509e126e70c85652ab0056bcabd72edff7e5Chris Lattner 455141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 456141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 457141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// Preprocessor Directive Handling. 458141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 459141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 460141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// HandleDirective - This callback is invoked when the lexer sees a # token 461141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// at the start of a line. This consumes the directive, modifies the 462141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// lexer/preprocessor state, and advances the lexer(s) so that the next token 463141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// read is the correct one. 464141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleDirective(Token &Result) { 465141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // FIXME: Traditional: # with whitespace before it not recognized by K&R? 466141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 467141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // We just parsed a # character at the start of a line, so we're in directive 468141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // mode. Tell the lexer this so any newlines we see will be converted into an 469141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // EOM token (which terminates the directive). 47060e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->ParsingPreprocessorDirective = true; 471141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 472141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumDirectives; 473141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 474141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // We are about to read a token. For the multiple-include optimization FA to 475141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // work, we have to remember if we had read any tokens *before* this 476141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // pp-directive. 47760e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek bool ReadAnyTokensBeforeDirective = CurPPLexer->MIOpt.getHasReadAnyTokensVal(); 478141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 47942aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // Save the '#' token in case we need to return it later. 48042aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner Token SavedHash = Result; 48142aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner 482141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the next token, the directive flavor. This isn't expanded due to 483141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.3p8. 484141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Result); 485141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 486141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.3p11: Is this preprocessor directive in macro invocation? e.g.: 487141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #define A(x) #x 488141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // A(abc 489141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #warning blah 490141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // def) 491141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If so, the user is relying on non-portable behavior, emit a diagnostic. 492141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (InMacroArgs) 493141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Result, diag::ext_embedded_directive); 494141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 495141e71fec621f65ab401dbe66609f7d3c033c6a5Chris LattnerTryAgain: 496141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner switch (Result.getKind()) { 497141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::eom: 498141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; // null directive. 499141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::comment: 500141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Handle stuff like "# /*foo*/ define X" in -E -C mode. 501141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Result); 502141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner goto TryAgain; 503141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 504478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner case tok::numeric_constant: // # 7 GNU line marker directive. 5055f607c4b75abeedded11eff079dee73561d98203Chris Lattner if (getLangOptions().AsmPreprocessor) 5065f607c4b75abeedded11eff079dee73561d98203Chris Lattner break; // # 4 is not a preprocessor directive in .S files. 507478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return HandleDigitDirective(Result); 508141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner default: 509141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner IdentifierInfo *II = Result.getIdentifierInfo(); 510141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (II == 0) break; // Not an identifier. 511141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 512141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Ask what the preprocessor keyword ID is. 513141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner switch (II->getPPKeywordID()) { 514141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner default: break; 515141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.1 - Conditional Inclusion. 516141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_if: 517141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIfDirective(Result, ReadAnyTokensBeforeDirective); 518141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_ifdef: 519141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIfdefDirective(Result, false, true/*not valid for miopt*/); 520141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_ifndef: 521141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIfdefDirective(Result, true, ReadAnyTokensBeforeDirective); 522141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_elif: 523141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleElifDirective(Result); 524141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_else: 525141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleElseDirective(Result); 526141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_endif: 527141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleEndifDirective(Result); 528141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 529141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.2 - Source File Inclusion. 530141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_include: 531141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIncludeDirective(Result); // Handle #include. 532141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 533141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.3 - Macro Replacement. 534141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_define: 535141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleDefineDirective(Result); 536141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_undef: 537141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleUndefDirective(Result); 538141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 539141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.4 - Line Control. 540141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_line: 541359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner return HandleLineDirective(Result); 542141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 543141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.5 - Error Directive. 544141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_error: 545141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleUserDiagnosticDirective(Result, false); 546141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 547141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 6.10.6 - Pragma Directive. 548141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_pragma: 549141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandlePragmaDirective(); 550141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 551141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // GNU Extensions. 552141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_import: 553141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleImportDirective(Result); 554141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_include_next: 555141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIncludeNextDirective(Result); 556141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 557141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_warning: 558141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Result, diag::ext_pp_warning_directive); 559141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleUserDiagnosticDirective(Result, true); 560141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_ident: 561141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIdentSCCSDirective(Result); 562141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_sccs: 563141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIdentSCCSDirective(Result); 564141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_assert: 565141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner //isExtension = true; // FIXME: implement #assert 566141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 567141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::pp_unassert: 568141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner //isExtension = true; // FIXME: implement #unassert 569141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 570141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 571141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 572141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 573141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 57442aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // If this is a .S file, treat unknown # directives as non-preprocessor 57542aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // directives. This is important because # may be a comment or introduce 57642aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // various pseudo-ops. Just return the # token and push back the following 57742aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // token to be lexed next time. 57842aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner if (getLangOptions().AsmPreprocessor) { 57942aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner Token *Toks = new Token[2](); 58042aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // Return the # and the token after it. 58142aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner Toks[0] = SavedHash; 58242aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner Toks[1] = Result; 58342aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // Enter this token stream so that we re-lex the tokens. Make sure to 58442aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // enable macro expansion, in case the token after the # is an identifier 58542aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner // that is expanded. 58642aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner EnterTokenStream(Toks, 2, false, true); 58742aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner return; 58842aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner } 58942aa16cccb3d6cd4195ccff9c32d8cb50a25a094Chris Lattner 590141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If we reached here, the preprocessing token is not valid! 591141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Result, diag::err_pp_invalid_directive); 592141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 593141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the rest of the PP line. 594141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 595141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 596141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Okay, we're done parsing the directive. 597141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 598141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 599478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// GetLineValue - Convert a numeric token into an unsigned value, emitting 600478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// Diagnostic DiagID if it is invalid, and returning the value in Val. 601478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattnerstatic bool GetLineValue(Token &DigitTok, unsigned &Val, 602478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner unsigned DiagID, Preprocessor &PP) { 603359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner if (DigitTok.isNot(tok::numeric_constant)) { 604478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Diag(DigitTok, DiagID); 605478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 606359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner if (DigitTok.isNot(tok::eom)) 607478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.DiscardUntilEndOfDirective(); 608478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 609359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner } 610359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner 611359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner llvm::SmallString<64> IntegerBuffer; 612359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner IntegerBuffer.resize(DigitTok.getLength()); 613359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner const char *DigitTokBegin = &IntegerBuffer[0]; 614478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner unsigned ActualLength = PP.getSpelling(DigitTok, DigitTokBegin); 615359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner NumericLiteralParser Literal(DigitTokBegin, DigitTokBegin+ActualLength, 616478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner DigitTok.getLocation(), PP); 617359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner if (Literal.hadError) 618478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; // Error already emitted. 619359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner 620359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner if (Literal.isFloatingLiteral() || Literal.isImaginary) { 621478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Diag(DigitTok, DiagID); 622478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 623359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner } 624359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner 625359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner // Parse the integer literal into Result. 626478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner llvm::APInt APVal(32, 0); 627478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (Literal.GetIntegerValue(APVal)) { 628359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner // Overflow parsing integer literal. 629478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Diag(DigitTok, DiagID); 630478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 631359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner } 632478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Val = APVal.getZExtValue(); 633478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 634478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // Reject 0, this is needed both by #line numbers and flags. 635478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (Val == 0) { 636478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Diag(DigitTok, DiagID); 637478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.DiscardUntilEndOfDirective(); 638478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 639359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner } 640359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner 641478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return false; 642478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner} 643478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 644478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// HandleLineDirective - Handle #line directive: C99 6.10.4. The two 645478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// acceptable forms are: 646478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// # line digit-sequence 647478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// # line digit-sequence "s-char-sequence" 648478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattnervoid Preprocessor::HandleLineDirective(Token &Tok) { 649478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // Read the line # and string argument. Per C99 6.10.4p5, these tokens are 650478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // expanded. 651478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Token DigitTok; 652478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Lex(DigitTok); 653478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 654478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // Validate the number and convert it to an unsigned. 655478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner unsigned LineNo; 656478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (GetLineValue(DigitTok, LineNo, diag::err_pp_line_requires_integer, *this)) 657478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return; 658478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 659478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // Enforce C99 6.10.4p3: "The digit sequence shall not specify ... a 660478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // number greater than 2147483647". C90 requires that the line # be <= 32767. 661359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner unsigned LineLimit = Features.C99 ? 2147483648U : 32768U; 662359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner if (LineNo >= LineLimit) 663359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner Diag(DigitTok, diag::ext_pp_line_too_big) << LineLimit; 664359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner 6655b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner int FilenameID = -1; 666359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner Token StrTok; 667359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner Lex(StrTok); 668359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner 669359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner // If the StrTok is "eom", then it wasn't present. Otherwise, it must be a 670359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner // string followed by eom. 671359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner if (StrTok.is(tok::eom)) 672359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner ; // ok 673359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner else if (StrTok.isNot(tok::string_literal)) { 674359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner Diag(StrTok, diag::err_pp_line_invalid_filename); 675359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner DiscardUntilEndOfDirective(); 676359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner return; 677359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner } else { 6785b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner // Parse and validate the string, converting it into a unique ID. 6795b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner StringLiteralParser Literal(&StrTok, 1, *this); 6805b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner assert(!Literal.AnyWide && "Didn't allow wide strings in"); 6815b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner if (Literal.hadError) 6825b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner return DiscardUntilEndOfDirective(); 6835b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner if (Literal.Pascal) { 6845b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner Diag(StrTok, diag::err_pp_linemarker_invalid_filename); 6855b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner return DiscardUntilEndOfDirective(); 6865b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner } 6875b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner FilenameID = SourceMgr.getLineTableFilenameID(Literal.GetString(), 6885b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner Literal.GetStringLength()); 6895b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner 690359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner // Verify that there is nothing after the string, other than EOM. 691359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner CheckEndOfDirective("#line"); 692359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner } 693359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner 6944c4ea17d7f991516c37a871dfa4bbe5723fa85f0Chris Lattner SourceMgr.AddLineNote(DigitTok.getLocation(), LineNo, FilenameID); 695359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner} 696359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner 697478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// ReadLineMarkerFlags - Parse and validate any flags at the end of a GNU line 698478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// marker directive. 699478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattnerstatic bool ReadLineMarkerFlags(bool &IsFileEntry, bool &IsFileExit, 700478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner bool &IsSystemHeader, bool &IsExternCHeader, 701478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Preprocessor &PP) { 702478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner unsigned FlagVal; 703478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Token FlagTok; 704478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Lex(FlagTok); 705478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (FlagTok.is(tok::eom)) return false; 706478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (GetLineValue(FlagTok, FlagVal, diag::err_pp_linemarker_invalid_flag, PP)) 707478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 708478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 709478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (FlagVal == 1) { 710478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner IsFileEntry = true; 711478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 712478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Lex(FlagTok); 713478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (FlagTok.is(tok::eom)) return false; 714478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (GetLineValue(FlagTok, FlagVal, diag::err_pp_linemarker_invalid_flag,PP)) 715478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 716478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner } else if (FlagVal == 2) { 717478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner IsFileExit = true; 718478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 719137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner SourceManager &SM = PP.getSourceManager(); 720137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner // If we are leaving the current presumed file, check to make sure the 721137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner // presumed include stack isn't empty! 722137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner FileID CurFileID = 723137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner SM.getDecomposedInstantiationLoc(FlagTok.getLocation()).first; 724137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner PresumedLoc PLoc = SM.getPresumedLoc(FlagTok.getLocation()); 725137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner 726137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner // If there is no include loc (main file) or if the include loc is in a 727137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner // different physical file, then we aren't in a "1" line marker flag region. 728137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner SourceLocation IncLoc = PLoc.getIncludeLoc(); 729137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner if (IncLoc.isInvalid() || 730137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner SM.getDecomposedInstantiationLoc(IncLoc).first != CurFileID) { 731137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner PP.Diag(FlagTok, diag::err_pp_linemarker_invalid_pop); 732137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner PP.DiscardUntilEndOfDirective(); 733137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner return true; 734137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner } 735137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner 736478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Lex(FlagTok); 737478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (FlagTok.is(tok::eom)) return false; 738478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (GetLineValue(FlagTok, FlagVal, diag::err_pp_linemarker_invalid_flag,PP)) 739478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 740478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner } 741478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 742478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // We must have 3 if there are still flags. 743478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (FlagVal != 3) { 744478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Diag(FlagTok, diag::err_pp_linemarker_invalid_flag); 7455b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner PP.DiscardUntilEndOfDirective(); 746478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 747478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner } 748478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 749478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner IsSystemHeader = true; 750478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 751478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Lex(FlagTok); 752478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (FlagTok.is(tok::eom)) return false; 7539d79ebac47ffde6a1cb312f4c09b66b1b9a397fbChris Lattner if (GetLineValue(FlagTok, FlagVal, diag::err_pp_linemarker_invalid_flag, PP)) 754478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 755478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 756478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // We must have 4 if there is yet another flag. 757478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (FlagVal != 4) { 758478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Diag(FlagTok, diag::err_pp_linemarker_invalid_flag); 7595b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner PP.DiscardUntilEndOfDirective(); 760478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 761478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner } 762478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 763478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner IsExternCHeader = true; 764478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 765478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Lex(FlagTok); 766478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (FlagTok.is(tok::eom)) return false; 767478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 768478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // There are no more valid flags here. 769478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner PP.Diag(FlagTok, diag::err_pp_linemarker_invalid_flag); 7705b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner PP.DiscardUntilEndOfDirective(); 771478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return true; 772478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner} 773478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 774478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// HandleDigitDirective - Handle a GNU line marker directive, whose syntax is 775478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// one of the following forms: 776478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// 777478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// # 42 778478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// # 42 "file" ('1' | '2')? 779478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// # 42 "file" ('1' | '2')? '3' '4'? 780478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner/// 781478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattnervoid Preprocessor::HandleDigitDirective(Token &DigitTok) { 782478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // Validate the number and convert it to an unsigned. GNU does not have a 783478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // line # limit other than it fit in 32-bits. 784478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner unsigned LineNo; 785478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (GetLineValue(DigitTok, LineNo, diag::err_pp_linemarker_requires_integer, 786478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner *this)) 787478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return; 788478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 789478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Token StrTok; 790478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Lex(StrTok); 791478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 792478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner bool IsFileEntry = false, IsFileExit = false; 793478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner bool IsSystemHeader = false, IsExternCHeader = false; 7945b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner int FilenameID = -1; 7955b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner 796478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // If the StrTok is "eom", then it wasn't present. Otherwise, it must be a 797478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // string followed by eom. 798478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (StrTok.is(tok::eom)) 799478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner ; // ok 800478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner else if (StrTok.isNot(tok::string_literal)) { 801478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner Diag(StrTok, diag::err_pp_linemarker_invalid_filename); 8025b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner return DiscardUntilEndOfDirective(); 803478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner } else { 8045b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner // Parse and validate the string, converting it into a unique ID. 8055b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner StringLiteralParser Literal(&StrTok, 1, *this); 8065b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner assert(!Literal.AnyWide && "Didn't allow wide strings in"); 8075b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner if (Literal.hadError) 8085b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner return DiscardUntilEndOfDirective(); 8095b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner if (Literal.Pascal) { 8105b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner Diag(StrTok, diag::err_pp_linemarker_invalid_filename); 8115b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner return DiscardUntilEndOfDirective(); 8125b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner } 8135b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner FilenameID = SourceMgr.getLineTableFilenameID(Literal.GetString(), 8145b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner Literal.GetStringLength()); 8155b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner 816478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner // If a filename was present, read any flags that are present. 817478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner if (ReadLineMarkerFlags(IsFileEntry, IsFileExit, 8185b9a504720fb52594ca3686e10eb6c0cfa2e7d62Chris Lattner IsSystemHeader, IsExternCHeader, *this)) 819478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner return; 820478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner } 821137b6a6149c53dbbcb8fba98e524d9ad0f3c8736Chris Lattner 8229d79ebac47ffde6a1cb312f4c09b66b1b9a397fbChris Lattner // Create a line note with this information. 8239d79ebac47ffde6a1cb312f4c09b66b1b9a397fbChris Lattner SourceMgr.AddLineNote(DigitTok.getLocation(), LineNo, FilenameID, 8249d79ebac47ffde6a1cb312f4c09b66b1b9a397fbChris Lattner IsFileEntry, IsFileExit, 8259d79ebac47ffde6a1cb312f4c09b66b1b9a397fbChris Lattner IsSystemHeader, IsExternCHeader); 826478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner} 827478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 828478a18ec47fdb7e0e580a2635648456e9db9ad4fChris Lattner 829099dd05b579ccefa97bd4f4a3088d4c262f080e4Chris Lattner/// HandleUserDiagnosticDirective - Handle a #warning or #error directive. 830099dd05b579ccefa97bd4f4a3088d4c262f080e4Chris Lattner/// 831141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleUserDiagnosticDirective(Token &Tok, 832141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool isWarning) { 833099dd05b579ccefa97bd4f4a3088d4c262f080e4Chris Lattner // PTH doesn't emit #warning or #error directives. 834099dd05b579ccefa97bd4f4a3088d4c262f080e4Chris Lattner if (CurPTHLexer) 835359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner return CurPTHLexer->DiscardToEndOfLine(); 836359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner 837141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the rest of the line raw. We do this because we don't want macros 838141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // to be expanded and we don't require that the tokens be valid preprocessing 839141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // tokens. For example, this is allowed: "#warning ` 'foo". GCC does 840141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // collapse multiple consequtive white space between tokens, but this isn't 841141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // specified by the standard. 842359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner std::string Message = CurLexer->ReadToEndOfLine(); 843359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner if (isWarning) 844359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner Diag(Tok, diag::pp_hash_warning) << Message; 845359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner else 846359cc4475487ea0a660b3e8918334a2866e71c66Chris Lattner Diag(Tok, diag::err_pp_hash_error) << Message; 847141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 848141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 849141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// HandleIdentSCCSDirective - Handle a #ident/#sccs directive. 850141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 851141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleIdentSCCSDirective(Token &Tok) { 852141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Yes, this directive is an extension. 853141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::ext_pp_ident_directive); 854141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 855141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the string argument. 856141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token StrTok; 857141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Lex(StrTok); 858141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 859141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If the token kind isn't a string, it's a malformed directive. 860141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (StrTok.isNot(tok::string_literal) && 8613692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner StrTok.isNot(tok::wide_string_literal)) { 8623692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner Diag(StrTok, diag::err_pp_malformed_ident); 863099dd05b579ccefa97bd4f4a3088d4c262f080e4Chris Lattner if (StrTok.isNot(tok::eom)) 864099dd05b579ccefa97bd4f4a3088d4c262f080e4Chris Lattner DiscardUntilEndOfDirective(); 8653692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner return; 8663692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner } 867141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 868141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Verify that there is nothing after the string, other than EOM. 869141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CheckEndOfDirective("#ident"); 870141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 871141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Callbacks) 872141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Callbacks->Ident(Tok.getLocation(), getSpelling(StrTok)); 873141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 874141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 875141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 876141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// Preprocessor Include Directive Handling. 877141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 878141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 879141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// GetIncludeFilenameSpelling - Turn the specified lexer token into a fully 880141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// checked and spelled filename, e.g. as an operand of #include. This returns 881141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// true if the input filename was in <>'s or false if it were in ""'s. The 882141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// caller is expected to provide a buffer that is large enough to hold the 883141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// spelling of the filename, but is also expected to handle the case when 884141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// this method decides to use a different buffer. 885141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnerbool Preprocessor::GetIncludeFilenameSpelling(SourceLocation Loc, 886141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const char *&BufStart, 887141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const char *&BufEnd) { 888141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the text form of the filename. 889141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner assert(BufStart != BufEnd && "Can't have tokens with empty spellings!"); 890141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 891141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Make sure the filename is <x> or "x". 892141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool isAngled; 893141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (BufStart[0] == '<') { 894141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (BufEnd[-1] != '>') { 895141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Loc, diag::err_pp_expects_filename); 896141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner BufStart = 0; 897141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 898141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 899141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner isAngled = true; 900141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else if (BufStart[0] == '"') { 901141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (BufEnd[-1] != '"') { 902141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Loc, diag::err_pp_expects_filename); 903141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner BufStart = 0; 904141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 905141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 906141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner isAngled = false; 907141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 908141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Loc, diag::err_pp_expects_filename); 909141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner BufStart = 0; 910141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 911141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 912141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 913141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Diagnose #include "" as invalid. 914141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (BufEnd-BufStart <= 2) { 915141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Loc, diag::err_pp_empty_filename); 916141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner BufStart = 0; 917141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return ""; 918141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 919141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 920141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Skip the brackets. 921141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++BufStart; 922141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner --BufEnd; 923141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return isAngled; 924141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 925141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 926141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// ConcatenateIncludeName - Handle cases where the #include name is expanded 927141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// from a macro as multiple tokens, which need to be glued together. This 928141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// occurs for code like: 929141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// #define FOO <a/b.h> 930141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// #include FOO 931141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// because in this case, "<a/b.h>" is returned as 7 tokens, not one. 932141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 933141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// This code concatenates and consumes tokens up to the '>' token. It returns 934141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// false if the > was found, otherwise it returns true if it finds and consumes 935141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// the EOM marker. 936141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnerstatic bool ConcatenateIncludeName(llvm::SmallVector<char, 128> &FilenameBuffer, 937141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Preprocessor &PP) { 938141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token CurTok; 939141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 940141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner PP.Lex(CurTok); 941141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner while (CurTok.isNot(tok::eom)) { 942141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Append the spelling of this token to the buffer. If there was a space 943141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // before it, add it now. 944141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CurTok.hasLeadingSpace()) 945141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameBuffer.push_back(' '); 946141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 947141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the spelling of the token, directly into FilenameBuffer if possible. 948141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner unsigned PreAppendSize = FilenameBuffer.size(); 949141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameBuffer.resize(PreAppendSize+CurTok.getLength()); 950141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 951141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const char *BufPtr = &FilenameBuffer[PreAppendSize]; 952141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner unsigned ActualLen = PP.getSpelling(CurTok, BufPtr); 953141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 954141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If the token was spelled somewhere else, copy it into FilenameBuffer. 955141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (BufPtr != &FilenameBuffer[PreAppendSize]) 956141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner memcpy(&FilenameBuffer[PreAppendSize], BufPtr, ActualLen); 957141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 958141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Resize FilenameBuffer to the correct size. 959141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CurTok.getLength() != ActualLen) 960141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameBuffer.resize(PreAppendSize+ActualLen); 961141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 962141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If we found the '>' marker, return success. 963141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CurTok.is(tok::greater)) 964141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return false; 965141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 966141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner PP.Lex(CurTok); 967141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 968141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 969141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If we hit the eom marker, emit an error and return true so that the caller 970141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // knows the EOM has been read. 971141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner PP.Diag(CurTok.getLocation(), diag::err_pp_expects_filename); 972141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 973141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 974141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 975141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// HandleIncludeDirective - The "#include" tokens have just been read, read the 976141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// file to be included from the lexer, then include it! This is a common 977141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// routine with functionality shared between #include, #include_next and 978721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner/// #import. LookupFrom is set when this is a #include_next directive, it 979721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner/// specifies the file to start searching from. 980141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleIncludeDirective(Token &IncludeTok, 981141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const DirectoryLookup *LookupFrom, 982141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool isImport) { 983141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 984141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token FilenameTok; 98560e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->LexIncludeFilename(FilenameTok); 986141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 987141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Reserve a buffer to get the spelling. 988141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner llvm::SmallVector<char, 128> FilenameBuffer; 989141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const char *FilenameStart, *FilenameEnd; 990141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 991141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner switch (FilenameTok.getKind()) { 992141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::eom: 993141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If the token kind is EOM, the error has already been diagnosed. 994141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 995141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 996141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::angle_string_literal: 997141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::string_literal: { 998141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameBuffer.resize(FilenameTok.getLength()); 999141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameStart = &FilenameBuffer[0]; 1000141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner unsigned Len = getSpelling(FilenameTok, FilenameStart); 1001141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameEnd = FilenameStart+Len; 1002141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 1003141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1004141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1005141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::less: 1006141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // This could be a <foo/bar.h> file coming from a macro expansion. In this 1007141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // case, glue the tokens together into FilenameBuffer and interpret those. 1008141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameBuffer.push_back('<'); 1009141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (ConcatenateIncludeName(FilenameBuffer, *this)) 1010141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; // Found <eom> but no ">"? Diagnostic already emitted. 1011141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameStart = &FilenameBuffer[0]; 1012141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameEnd = &FilenameBuffer[FilenameBuffer.size()]; 1013141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 1014141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner default: 1015141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(FilenameTok.getLocation(), diag::err_pp_expects_filename); 1016141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 1017141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1018141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1019141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1020141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool isAngled = GetIncludeFilenameSpelling(FilenameTok.getLocation(), 1021141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner FilenameStart, FilenameEnd); 1022141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If GetIncludeFilenameSpelling set the start ptr to null, there was an 1023141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // error. 1024141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (FilenameStart == 0) { 1025141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 1026141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1027141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1028141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1029141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Verify that there is nothing after the filename, other than EOM. Use the 1030141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // preprocessor to lex this in case lexing the filename entered a macro. 1031141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CheckEndOfDirective("#include"); 1032141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1033141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Check that we don't have infinite #include recursion. 10343692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner if (IncludeMacroStack.size() == MaxAllowedIncludeStackDepth-1) { 10353692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner Diag(FilenameTok, diag::err_pp_include_too_deep); 10363692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner return; 10373692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner } 1038141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1039141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Search include directories. 1040141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const DirectoryLookup *CurDir; 1041141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const FileEntry *File = LookupFile(FilenameStart, FilenameEnd, 1042141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner isAngled, LookupFrom, CurDir); 10433692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner if (File == 0) { 10443692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner Diag(FilenameTok, diag::err_pp_file_not_found) 10453692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner << std::string(FilenameStart, FilenameEnd); 10463692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner return; 10473692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner } 1048141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1049721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner // Ask HeaderInfo if we should enter this #include file. If not, #including 1050721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner // this file will have no effect. 1051721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner if (!HeaderInfo.ShouldEnterIncludeFile(File, isImport)) 1052141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1053721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner 1054721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner // The #included file will be considered to be a system header if either it is 1055721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner // in a system include directory, or if the #includer is a system include 1056721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner // header. 10579d72851fec9e9c62570a027d42701562bbf29751Chris Lattner SrcMgr::CharacteristicKind FileCharacter = 10580b9e736308af5397f558ffc8e780c438c2fdb563Chris Lattner std::max(HeaderInfo.getFileDirFlavor(File), 1059693faa6e6918994bc22aacf078a889bb93e0fe25Chris Lattner SourceMgr.getFileCharacteristic(FilenameTok.getLocation())); 1060721818304ac462d8c6ce05eecd02884033db78f1Chris Lattner 1061141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Look up the file, create a File ID for it. 10622b2453a7d8fe732561795431f39ceb2b2a832d84Chris Lattner FileID FID = SourceMgr.createFileID(File, FilenameTok.getLocation(), 10632b2453a7d8fe732561795431f39ceb2b2a832d84Chris Lattner FileCharacter); 10642b2453a7d8fe732561795431f39ceb2b2a832d84Chris Lattner if (FID.isInvalid()) { 106556b05c8829efd13b7e5b333f8f587c71d025c67dChris Lattner Diag(FilenameTok, diag::err_pp_file_not_found) 106656b05c8829efd13b7e5b333f8f587c71d025c67dChris Lattner << std::string(FilenameStart, FilenameEnd); 106756b05c8829efd13b7e5b333f8f587c71d025c67dChris Lattner return; 106856b05c8829efd13b7e5b333f8f587c71d025c67dChris Lattner } 1069141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1070141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Finally, if all is good, enter the new file! 10712b2453a7d8fe732561795431f39ceb2b2a832d84Chris Lattner EnterSourceFile(FID, CurDir); 1072141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1073141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1074141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// HandleIncludeNextDirective - Implements #include_next. 1075141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 1076141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleIncludeNextDirective(Token &IncludeNextTok) { 1077141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(IncludeNextTok, diag::ext_pp_include_next_directive); 1078141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1079141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #include_next is like #include, except that we start searching after 1080141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // the current found directory. If we can't do this, issue a 1081141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // diagnostic. 1082141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner const DirectoryLookup *Lookup = CurDirLookup; 1083141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (isInPrimaryFile()) { 1084141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Lookup = 0; 1085141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(IncludeNextTok, diag::pp_include_next_in_primary); 1086141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else if (Lookup == 0) { 1087141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(IncludeNextTok, diag::pp_include_next_absolute_path); 1088141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 1089141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Start looking up in the next directory. 1090141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++Lookup; 1091141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1092141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1093141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIncludeDirective(IncludeNextTok, Lookup); 1094141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1095141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1096141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// HandleImportDirective - Implements #import. 1097141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 1098141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleImportDirective(Token &ImportTok) { 1099b627c8d683c4d3facd774c432b1fdc2d35819369Chris Lattner if (!Features.ObjC1) // #import is standard for ObjC. 1100b627c8d683c4d3facd774c432b1fdc2d35819369Chris Lattner Diag(ImportTok, diag::ext_pp_import_directive); 1101141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1102141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return HandleIncludeDirective(ImportTok, 0, true); 1103141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1104141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1105141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 1106141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// Preprocessor Macro Directive Handling. 1107141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 1108141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1109141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// ReadMacroDefinitionArgList - The ( starting an argument list of a macro 1110141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// definition has just been read. Lex the rest of the arguments and the 1111141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// closing ), updating MI with what we learn. Return true if an error occurs 1112141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// parsing the arg list. 1113141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnerbool Preprocessor::ReadMacroDefinitionArgList(MacroInfo *MI) { 1114141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner llvm::SmallVector<IdentifierInfo*, 32> Arguments; 1115141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1116141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token Tok; 1117141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner while (1) { 1118141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1119141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner switch (Tok.getKind()) { 1120141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::r_paren: 1121141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Found the end of the argument list. 1122cf29e0716bb3ecbbc15b74cd648367d6b075fdf0Chris Lattner if (Arguments.empty()) // #define FOO() 1123141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return false; 1124141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Otherwise we have #define FOO(A,) 1125141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_expected_ident_in_arg_list); 1126141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1127141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::ellipsis: // #define X(... -> C99 varargs 1128141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Warn if use of C99 feature in non-C99 mode. 1129141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (!Features.C99) Diag(Tok, diag::ext_variadic_macro); 1130141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1131141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Lex the token after the identifier. 1132141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1133141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Tok.isNot(tok::r_paren)) { 1134141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_missing_rparen_in_macro_def); 1135141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1136141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1137141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Add the __VA_ARGS__ identifier as an argument. 1138141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Arguments.push_back(Ident__VA_ARGS__); 1139141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->setIsC99Varargs(); 1140685befeb5f6472585bae473a6389e47cab9eac67Chris Lattner MI->setArgumentList(&Arguments[0], Arguments.size(), BP); 1141141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return false; 1142141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::eom: // #define X( 1143141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_missing_rparen_in_macro_def); 1144141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1145141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner default: 1146141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Handle keywords and identifiers here to accept things like 1147141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #define Foo(for) for. 1148141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner IdentifierInfo *II = Tok.getIdentifierInfo(); 1149141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (II == 0) { 1150141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #define X(1 1151141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_invalid_tok_in_arg_list); 1152141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1153141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1154141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1155141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is already used as an argument, it is used multiple times (e.g. 1156141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #define X(A,A. 1157141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (std::find(Arguments.begin(), Arguments.end(), II) != 1158141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Arguments.end()) { // C99 6.10.3p6 11596cf3ed7be70a7a9c269a65e3316884f41c7373d4Chris Lattner Diag(Tok, diag::err_pp_duplicate_name_in_arg_list) << II; 1160141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1161141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1162141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1163141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Add the argument to the macro info. 1164141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Arguments.push_back(II); 1165141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1166141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Lex the token after the identifier. 1167141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1168141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1169141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner switch (Tok.getKind()) { 1170141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner default: // #define X(A B 1171141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_expected_comma_in_arg_list); 1172141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1173141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::r_paren: // #define X(A) 1174685befeb5f6472585bae473a6389e47cab9eac67Chris Lattner MI->setArgumentList(&Arguments[0], Arguments.size(), BP); 1175141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return false; 1176141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::comma: // #define X(A, 1177141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner break; 1178141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner case tok::ellipsis: // #define X(A... -> GCC extension 1179141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Diagnose extension. 1180141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::ext_named_variadic_macro); 1181141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1182141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Lex the token after the identifier. 1183141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1184141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Tok.isNot(tok::r_paren)) { 1185141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_missing_rparen_in_macro_def); 1186141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return true; 1187141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1188141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1189141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->setIsGNUVarargs(); 1190685befeb5f6472585bae473a6389e47cab9eac67Chris Lattner MI->setArgumentList(&Arguments[0], Arguments.size(), BP); 1191141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return false; 1192141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1193141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1194141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1195141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1196141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1197141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// HandleDefineDirective - Implements #define. This consumes the entire macro 1198141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// line then lets the caller lex the next real token. 1199141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleDefineDirective(Token &DefineTok) { 1200141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumDefined; 1201141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1202141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token MacroNameTok; 1203141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ReadMacroName(MacroNameTok, 1); 1204141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1205141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Error reading macro name? If so, diagnostic already issued. 1206141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MacroNameTok.is(tok::eom)) 1207141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1208141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1209141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If we are supposed to keep comments in #defines, reenable comment saving 1210141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // mode. 1211ac6b06df32e907cac388a92310650b5895c11241Ted Kremenek if (CurLexer) CurLexer->SetCommentRetentionState(KeepMacroComments); 1212141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1213141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Create the new macro. 12140ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek MacroInfo *MI = AllocateMacroInfo(MacroNameTok.getLocation()); 1215141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1216141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token Tok; 1217141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1218141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1219141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a function-like macro definition, parse the argument list, 1220141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // marking each of the identifiers as being used as macro arguments. Also, 1221141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // check other constraints on the first token of the macro body. 1222141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Tok.is(tok::eom)) { 1223141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If there is no body to this macro, we have no special handling here. 1224141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else if (Tok.is(tok::l_paren) && !Tok.hasLeadingSpace()) { 1225141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // This is a function-like macro definition. Read the argument list. 1226141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->setIsFunctionLike(); 1227141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (ReadMacroDefinitionArgList(MI)) { 1228141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Forget about MI. 12290ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek ReleaseMacroInfo(MI); 1230141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Throw away the rest of the line. 123160e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->ParsingPreprocessorDirective) 1232141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 1233141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1234141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1235141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1236141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the first token after the arg list for down below. 1237141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1238141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else if (!Tok.hasLeadingSpace()) { 1239141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // C99 requires whitespace between the macro definition and the body. Emit 1240141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // a diagnostic for something like "#define X+". 1241141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Features.C99) { 1242141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::ext_c99_whitespace_required_after_macro_name); 1243141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 1244141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // FIXME: C90/C++ do not get this diagnostic, but it does get a similar 1245141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // one in some cases! 1246141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1247141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 1248141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // This is a normal token with leading space. Clear the leading space 1249141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // marker on the first token to get proper expansion. 1250141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Tok.clearFlag(Token::LeadingSpace); 1251141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1252141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1253141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a definition of a variadic C99 function-like macro, not using 1254141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // the GNU named varargs extension, enabled __VA_ARGS__. 1255141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1256141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // "Poison" __VA_ARGS__, which can only appear in the expansion of a macro. 1257141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // This gets unpoisoned where it is allowed. 1258141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner assert(Ident__VA_ARGS__->isPoisoned() && "__VA_ARGS__ should be poisoned!"); 1259141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MI->isC99Varargs()) 1260141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Ident__VA_ARGS__->setIsPoisoned(false); 1261141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1262141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Read the rest of the macro body. 1263141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MI->isObjectLike()) { 1264141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Object-like macros are very simple, just read their body. 1265141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner while (Tok.isNot(tok::eom)) { 1266141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->AddTokenToBody(Tok); 1267141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the next token of the macro. 1268141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1269141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1270141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1271141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 1272141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Otherwise, read the body of a function-like macro. This has to validate 1273141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // the # (stringize) operator. 1274141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner while (Tok.isNot(tok::eom)) { 1275141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->AddTokenToBody(Tok); 1276141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1277141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Check C99 6.10.3.2p1: ensure that # operators are followed by macro 1278141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // parameters in function-like macro expansions. 1279141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (Tok.isNot(tok::hash)) { 1280141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the next token of the macro. 1281141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1282141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner continue; 1283141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1284141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1285141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the next token of the macro. 1286141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1287141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1288141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Not a macro arg identifier? 1289141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (!Tok.getIdentifierInfo() || 1290141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->getArgumentNum(Tok.getIdentifierInfo()) == -1) { 1291141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(Tok, diag::err_pp_stringize_not_parameter); 12920ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek ReleaseMacroInfo(MI); 1293141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1294141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Disable __VA_ARGS__ again. 1295141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Ident__VA_ARGS__->setIsPoisoned(true); 1296141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1297141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1298141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1299141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Things look ok, add the param name token to the macro. 1300141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->AddTokenToBody(Tok); 1301141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1302141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Get the next token of the macro. 1303141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner LexUnexpandedToken(Tok); 1304141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1305141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1306141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1307141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1308141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Disable __VA_ARGS__ again. 1309141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Ident__VA_ARGS__->setIsPoisoned(true); 1310141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1311141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Check that there is no paste (##) operator at the begining or end of the 1312141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // replacement list. 1313141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner unsigned NumTokens = MI->getNumTokens(); 1314141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (NumTokens != 0) { 1315141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MI->getReplacementToken(0).is(tok::hashhash)) { 1316141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(MI->getReplacementToken(0), diag::err_paste_at_start); 13170ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek ReleaseMacroInfo(MI); 1318141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1319141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1320141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MI->getReplacementToken(NumTokens-1).is(tok::hashhash)) { 1321141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(MI->getReplacementToken(NumTokens-1), diag::err_paste_at_end); 13220ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek ReleaseMacroInfo(MI); 1323141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1324141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1325141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1326141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1327141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is the primary source file, remember that this macro hasn't been 1328141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // used yet. 1329141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (isInPrimaryFile()) 1330141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->setIsUsed(false); 1331141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1332141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Finally, if this identifier already had a macro defined for it, verify that 1333141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // the macro bodies are identical and free the old definition. 1334141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MacroInfo *OtherMI = getMacroInfo(MacroNameTok.getIdentifierInfo())) { 133541c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner // It is very common for system headers to have tons of macro redefinitions 133641c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner // and for warnings to be disabled in system headers. If this is the case, 133741c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner // then don't bother calling MacroInfo::isIdenticalTo. 13387f549dfd7b1d3b2b09e5878eeb754efae253d557Chris Lattner if (!getDiagnostics().getSuppressSystemWarnings() || 133941c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner !SourceMgr.isInSystemHeader(DefineTok.getLocation())) { 134041c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner if (!OtherMI->isUsed()) 134141c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner Diag(OtherMI->getDefinitionLoc(), diag::pp_macro_not_used); 1342141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 134341c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner // Macros must be identical. This means all tokes and whitespace 134441c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner // separation must be the same. C99 6.10.3.2. 134541c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner if (!MI->isIdenticalTo(*OtherMI, *this)) { 134641c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner Diag(MI->getDefinitionLoc(), diag::ext_pp_macro_redef) 134741c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner << MacroNameTok.getIdentifierInfo(); 134841c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner Diag(OtherMI->getDefinitionLoc(), diag::note_previous_definition); 134941c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner } 1350141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 135141c3ae108a54437f27fa99ddcb9bafcf113bde80Chris Lattner 13520ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek ReleaseMacroInfo(OtherMI); 1353141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1354141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1355141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner setMacroInfo(MacroNameTok.getIdentifierInfo(), MI); 1356141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1357141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1358141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// HandleUndefDirective - Implements #undef. 1359141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 1360141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleUndefDirective(Token &UndefTok) { 1361141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumUndefined; 1362141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1363141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token MacroNameTok; 1364141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ReadMacroName(MacroNameTok, 2); 1365141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1366141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Error reading macro name? If so, diagnostic already issued. 1367141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MacroNameTok.is(tok::eom)) 1368141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1369141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1370141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Check to see if this is the last token on the #undef line. 1371141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CheckEndOfDirective("#undef"); 1372141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1373141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Okay, we finally have a valid identifier to undef. 1374141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MacroInfo *MI = getMacroInfo(MacroNameTok.getIdentifierInfo()); 1375141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1376141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If the macro is not defined, this is a noop undef, just return. 1377141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MI == 0) return; 1378141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1379141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (!MI->isUsed()) 1380141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Diag(MI->getDefinitionLoc(), diag::pp_macro_not_used); 1381141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1382141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Free macro definition. 13830ea76727ae91bca918a8414ed85b530eddcfedebTed Kremenek ReleaseMacroInfo(MI); 1384141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner setMacroInfo(MacroNameTok.getIdentifierInfo(), 0); 1385141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1386141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1387141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1388141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 1389141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner// Preprocessor Conditional Directive Handling. 1390141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner//===----------------------------------------------------------------------===// 1391141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1392141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// HandleIfdefDirective - Implements the #ifdef/#ifndef directive. isIfndef is 1393141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// true when this is a #ifndef directive. ReadAnyTokensBeforeDirective is true 1394141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// if any tokens have been returned or pp-directives activated before this 1395141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// #ifndef has been lexed. 1396141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 1397141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleIfdefDirective(Token &Result, bool isIfndef, 1398141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool ReadAnyTokensBeforeDirective) { 1399141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumIf; 1400141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token DirectiveTok = Result; 1401141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1402141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner Token MacroNameTok; 1403141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ReadMacroName(MacroNameTok); 1404141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1405141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Error reading macro name? If so, diagnostic already issued. 1406141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MacroNameTok.is(tok::eom)) { 1407141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Skip code until we get to #endif. This helps with recovery by not 1408141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // emitting an error when the #endif is reached. 1409141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner SkipExcludedConditionalBlock(DirectiveTok.getLocation(), 1410141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*Foundnonskip*/false, /*FoundElse*/false); 1411141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return; 1412141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1413141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1414141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Check to see if this is the last token on the #if[n]def line. 1415141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CheckEndOfDirective(isIfndef ? "#ifndef" : "#ifdef"); 1416141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 141760e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->getConditionalStackDepth() == 0) { 1418141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If the start of a top-level #ifdef, inform MIOpt. 1419141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (!ReadAnyTokensBeforeDirective) { 1420141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner assert(isIfndef && "#ifdef shouldn't reach here"); 142160e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->MIOpt.EnterTopLevelIFNDEF(MacroNameTok.getIdentifierInfo()); 1422141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else 142360e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->MIOpt.EnterTopLevelConditional(); 1424141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1425141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1426141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner IdentifierInfo *MII = MacroNameTok.getIdentifierInfo(); 1427141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MacroInfo *MI = getMacroInfo(MII); 1428141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1429141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If there is a macro, process it. 1430141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (MI) // Mark it used. 1431141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner MI->setIsUsed(true); 1432141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1433141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Should we include the stuff contained by this directive? 1434141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (!MI == isIfndef) { 1435141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Yes, remember that we are inside a conditional, then lex the next token. 143660e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->pushConditionalLevel(DirectiveTok.getLocation(), /*wasskip*/false, 1437141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*foundnonskip*/true, /*foundelse*/false); 1438141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 1439141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // No, skip the contents of this block and return the first token after it. 1440141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner SkipExcludedConditionalBlock(DirectiveTok.getLocation(), 1441141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*Foundnonskip*/false, 1442141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*FoundElse*/false); 1443141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1444141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1445141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1446141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// HandleIfDirective - Implements the #if directive. 1447141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 1448141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleIfDirective(Token &IfToken, 1449141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool ReadAnyTokensBeforeDirective) { 1450141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumIf; 1451141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1452141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Parse and evaluation the conditional expression. 1453141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner IdentifierInfo *IfNDefMacro = 0; 1454141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner bool ConditionalTrue = EvaluateDirectiveExpression(IfNDefMacro); 1455141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 14560049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes 14570049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes // If this condition is equivalent to #ifndef X, and if this is the first 14580049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes // directive seen, handle it for the multiple-include optimization. 145960e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->getConditionalStackDepth() == 0) { 14600049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes if (!ReadAnyTokensBeforeDirective && IfNDefMacro) 146160e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->MIOpt.EnterTopLevelIFNDEF(IfNDefMacro); 14620049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes else 146360e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->MIOpt.EnterTopLevelConditional(); 14640049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes } 14650049db6ce127cbf4671a6a81ad4dfe61fdc4aa5cNuno Lopes 1466141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Should we include the stuff contained by this directive? 1467141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (ConditionalTrue) { 1468141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Yes, remember that we are inside a conditional, then lex the next token. 146960e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->pushConditionalLevel(IfToken.getLocation(), /*wasskip*/false, 1470141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*foundnonskip*/true, /*foundelse*/false); 1471141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } else { 1472141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // No, skip the contents of this block and return the first token after it. 1473141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner SkipExcludedConditionalBlock(IfToken.getLocation(), /*Foundnonskip*/false, 1474141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*FoundElse*/false); 1475141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1476141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1477141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1478141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// HandleEndifDirective - Implements the #endif directive. 1479141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner/// 1480141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleEndifDirective(Token &EndifToken) { 1481141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumEndif; 1482141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1483141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Check that this is the whole directive. 1484141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CheckEndOfDirective("#endif"); 1485141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1486141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner PPConditionalInfo CondInfo; 148760e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->popConditionalLevel(CondInfo)) { 1488141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // No conditionals on the stack: this is an #endif without an #if. 14893692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner Diag(EndifToken, diag::err_pp_endif_without_if); 14903692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner return; 1491141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner } 1492141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1493141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this the end of a top-level #endif, inform MIOpt. 149460e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->getConditionalStackDepth() == 0) 149560e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->MIOpt.ExitTopLevelConditional(); 1496141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 149760e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek assert(!CondInfo.WasSkipping && !CurPPLexer->LexingRawMode && 1498141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner "This code should only be reachable in the non-skipping case!"); 1499141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1500141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1501141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1502141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleElseDirective(Token &Result) { 1503141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumElse; 1504141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1505141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #else directive in a non-skipping conditional... start skipping. 1506141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner CheckEndOfDirective("#else"); 1507141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1508141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner PPConditionalInfo CI; 15093692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner if (CurPPLexer->popConditionalLevel(CI)) { 15103692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner Diag(Result, diag::pp_err_else_without_if); 15113692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner return; 15123692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner } 1513141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1514141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a top-level #else, inform the MIOpt. 151560e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->getConditionalStackDepth() == 0) 151660e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->MIOpt.EnterTopLevelConditional(); 1517141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1518141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a #else with a #else before it, report the error. 1519141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CI.FoundElse) Diag(Result, diag::pp_err_else_after_else); 1520141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1521141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Finally, skip the rest of the contents of this block and return the first 1522141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // token after it. 1523141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return SkipExcludedConditionalBlock(CI.IfLoc, /*Foundnonskip*/true, 1524141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*FoundElse*/true); 1525141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1526141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1527141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattnervoid Preprocessor::HandleElifDirective(Token &ElifToken) { 1528141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner ++NumElse; 1529141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1530141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // #elif directive in a non-skipping conditional... start skipping. 1531141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // We don't care what the condition is, because we will always skip it (since 1532141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // the block immediately before it was included). 1533141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner DiscardUntilEndOfDirective(); 1534141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1535141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner PPConditionalInfo CI; 15363692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner if (CurPPLexer->popConditionalLevel(CI)) { 15373692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner Diag(ElifToken, diag::pp_err_elif_without_if); 15383692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner return; 15393692b09faa9fe346f39bc922db6dce48cdcc3f63Chris Lattner } 1540141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1541141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a top-level #elif, inform the MIOpt. 154260e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek if (CurPPLexer->getConditionalStackDepth() == 0) 154360e45d4c41479fb58ad14d97efd03418e8549509Ted Kremenek CurPPLexer->MIOpt.EnterTopLevelConditional(); 1544141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1545141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // If this is a #elif with a #else before it, report the error. 1546141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner if (CI.FoundElse) Diag(ElifToken, diag::pp_err_elif_after_else); 1547141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1548141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // Finally, skip the rest of the contents of this block and return the first 1549141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner // token after it. 1550141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner return SkipExcludedConditionalBlock(CI.IfLoc, /*Foundnonskip*/true, 1551141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner /*FoundElse*/CI.FoundElse); 1552141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner} 1553141e71fec621f65ab401dbe66609f7d3c033c6a5Chris Lattner 1554