1 //===- Lexer.cpp - C Language Family Lexer --------------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 // 9 // This file implements the Lexer and Token interfaces. 10 // 11 //===----------------------------------------------------------------------===// 12 13 #include "clang/Lex/Lexer.h" 14 #include "UnicodeCharSets.h" 15 #include "clang/Basic/CharInfo.h" 16 #include "clang/Basic/Diagnostic.h" 17 #include "clang/Basic/IdentifierTable.h" 18 #include "clang/Basic/LLVM.h" 19 #include "clang/Basic/LangOptions.h" 20 #include "clang/Basic/SourceLocation.h" 21 #include "clang/Basic/SourceManager.h" 22 #include "clang/Basic/TokenKinds.h" 23 #include "clang/Lex/LexDiagnostic.h" 24 #include "clang/Lex/LiteralSupport.h" 25 #include "clang/Lex/MultipleIncludeOpt.h" 26 #include "clang/Lex/Preprocessor.h" 27 #include "clang/Lex/PreprocessorOptions.h" 28 #include "clang/Lex/Token.h" 29 #include "llvm/ADT/None.h" 30 #include "llvm/ADT/Optional.h" 31 #include "llvm/ADT/STLExtras.h" 32 #include "llvm/ADT/StringExtras.h" 33 #include "llvm/ADT/StringRef.h" 34 #include "llvm/ADT/StringSwitch.h" 35 #include "llvm/Support/Compiler.h" 36 #include "llvm/Support/ConvertUTF.h" 37 #include "llvm/Support/MathExtras.h" 38 #include "llvm/Support/MemoryBufferRef.h" 39 #include "llvm/Support/NativeFormatting.h" 40 #include "llvm/Support/UnicodeCharRanges.h" 41 #include <algorithm> 42 #include <cassert> 43 #include <cstddef> 44 #include <cstdint> 45 #include <cstring> 46 #include <string> 47 #include <tuple> 48 #include <utility> 49 50 using namespace clang; 51 52 //===----------------------------------------------------------------------===// 53 // Token Class Implementation 54 //===----------------------------------------------------------------------===// 55 56 /// isObjCAtKeyword - Return true if we have an ObjC keyword identifier. 57 bool Token::isObjCAtKeyword(tok::ObjCKeywordKind objcKey) const { 58 if (isAnnotation()) 59 return false; 60 if (IdentifierInfo *II = getIdentifierInfo()) 61 return II->getObjCKeywordID() == objcKey; 62 return false; 63 } 64 65 /// getObjCKeywordID - Return the ObjC keyword kind. 66 tok::ObjCKeywordKind Token::getObjCKeywordID() const { 67 if (isAnnotation()) 68 return tok::objc_not_keyword; 69 IdentifierInfo *specId = getIdentifierInfo(); 70 return specId ? specId->getObjCKeywordID() : tok::objc_not_keyword; 71 } 72 73 //===----------------------------------------------------------------------===// 74 // Lexer Class Implementation 75 //===----------------------------------------------------------------------===// 76 77 void Lexer::anchor() {} 78 79 void Lexer::InitLexer(const char *BufStart, const char *BufPtr, 80 const char *BufEnd) { 81 BufferStart = BufStart; 82 BufferPtr = BufPtr; 83 BufferEnd = BufEnd; 84 85 assert(BufEnd[0] == 0 && 86 "We assume that the input buffer has a null character at the end" 87 " to simplify lexing!"); 88 89 // Check whether we have a BOM in the beginning of the buffer. If yes - act 90 // accordingly. Right now we support only UTF-8 with and without BOM, so, just 91 // skip the UTF-8 BOM if it's present. 92 if (BufferStart == BufferPtr) { 93 // Determine the size of the BOM. 94 StringRef Buf(BufferStart, BufferEnd - BufferStart); 95 size_t BOMLength = llvm::StringSwitch<size_t>(Buf) 96 .StartsWith("\xEF\xBB\xBF", 3) // UTF-8 BOM 97 .Default(0); 98 99 // Skip the BOM. 100 BufferPtr += BOMLength; 101 } 102 103 Is_PragmaLexer = false; 104 CurrentConflictMarkerState = CMK_None; 105 106 // Start of the file is a start of line. 107 IsAtStartOfLine = true; 108 IsAtPhysicalStartOfLine = true; 109 110 HasLeadingSpace = false; 111 HasLeadingEmptyMacro = false; 112 113 // We are not after parsing a #. 114 ParsingPreprocessorDirective = false; 115 116 // We are not after parsing #include. 117 ParsingFilename = false; 118 119 // We are not in raw mode. Raw mode disables diagnostics and interpretation 120 // of tokens (e.g. identifiers, thus disabling macro expansion). It is used 121 // to quickly lex the tokens of the buffer, e.g. when handling a "#if 0" block 122 // or otherwise skipping over tokens. 123 LexingRawMode = false; 124 125 // Default to not keeping comments. 126 ExtendedTokenMode = 0; 127 128 NewLinePtr = nullptr; 129 } 130 131 /// Lexer constructor - Create a new lexer object for the specified buffer 132 /// with the specified preprocessor managing the lexing process. This lexer 133 /// assumes that the associated file buffer and Preprocessor objects will 134 /// outlive it, so it doesn't take ownership of either of them. 135 Lexer::Lexer(FileID FID, const llvm::MemoryBufferRef &InputFile, 136 Preprocessor &PP, bool IsFirstIncludeOfFile) 137 : PreprocessorLexer(&PP, FID), 138 FileLoc(PP.getSourceManager().getLocForStartOfFile(FID)), 139 LangOpts(PP.getLangOpts()), IsFirstTimeLexingFile(IsFirstIncludeOfFile) { 140 InitLexer(InputFile.getBufferStart(), InputFile.getBufferStart(), 141 InputFile.getBufferEnd()); 142 143 resetExtendedTokenMode(); 144 } 145 146 /// Lexer constructor - Create a new raw lexer object. This object is only 147 /// suitable for calls to 'LexFromRawLexer'. This lexer assumes that the text 148 /// range will outlive it, so it doesn't take ownership of it. 149 Lexer::Lexer(SourceLocation fileloc, const LangOptions &langOpts, 150 const char *BufStart, const char *BufPtr, const char *BufEnd, 151 bool IsFirstIncludeOfFile) 152 : FileLoc(fileloc), LangOpts(langOpts), 153 IsFirstTimeLexingFile(IsFirstIncludeOfFile) { 154 InitLexer(BufStart, BufPtr, BufEnd); 155 156 // We *are* in raw mode. 157 LexingRawMode = true; 158 } 159 160 /// Lexer constructor - Create a new raw lexer object. This object is only 161 /// suitable for calls to 'LexFromRawLexer'. This lexer assumes that the text 162 /// range will outlive it, so it doesn't take ownership of it. 163 Lexer::Lexer(FileID FID, const llvm::MemoryBufferRef &FromFile, 164 const SourceManager &SM, const LangOptions &langOpts, 165 bool IsFirstIncludeOfFile) 166 : Lexer(SM.getLocForStartOfFile(FID), langOpts, FromFile.getBufferStart(), 167 FromFile.getBufferStart(), FromFile.getBufferEnd(), 168 IsFirstIncludeOfFile) {} 169 170 void Lexer::resetExtendedTokenMode() { 171 assert(PP && "Cannot reset token mode without a preprocessor"); 172 if (LangOpts.TraditionalCPP) 173 SetKeepWhitespaceMode(true); 174 else 175 SetCommentRetentionState(PP->getCommentRetentionState()); 176 } 177 178 /// Create_PragmaLexer: Lexer constructor - Create a new lexer object for 179 /// _Pragma expansion. This has a variety of magic semantics that this method 180 /// sets up. It returns a new'd Lexer that must be delete'd when done. 181 /// 182 /// On entrance to this routine, TokStartLoc is a macro location which has a 183 /// spelling loc that indicates the bytes to be lexed for the token and an 184 /// expansion location that indicates where all lexed tokens should be 185 /// "expanded from". 186 /// 187 /// TODO: It would really be nice to make _Pragma just be a wrapper around a 188 /// normal lexer that remaps tokens as they fly by. This would require making 189 /// Preprocessor::Lex virtual. Given that, we could just dump in a magic lexer 190 /// interface that could handle this stuff. This would pull GetMappedTokenLoc 191 /// out of the critical path of the lexer! 192 /// 193 Lexer *Lexer::Create_PragmaLexer(SourceLocation SpellingLoc, 194 SourceLocation ExpansionLocStart, 195 SourceLocation ExpansionLocEnd, 196 unsigned TokLen, Preprocessor &PP) { 197 SourceManager &SM = PP.getSourceManager(); 198 199 // Create the lexer as if we were going to lex the file normally. 200 FileID SpellingFID = SM.getFileID(SpellingLoc); 201 llvm::MemoryBufferRef InputFile = SM.getBufferOrFake(SpellingFID); 202 Lexer *L = new Lexer(SpellingFID, InputFile, PP); 203 204 // Now that the lexer is created, change the start/end locations so that we 205 // just lex the subsection of the file that we want. This is lexing from a 206 // scratch buffer. 207 const char *StrData = SM.getCharacterData(SpellingLoc); 208 209 L->BufferPtr = StrData; 210 L->BufferEnd = StrData+TokLen; 211 assert(L->BufferEnd[0] == 0 && "Buffer is not nul terminated!"); 212 213 // Set the SourceLocation with the remapping information. This ensures that 214 // GetMappedTokenLoc will remap the tokens as they are lexed. 215 L->FileLoc = SM.createExpansionLoc(SM.getLocForStartOfFile(SpellingFID), 216 ExpansionLocStart, 217 ExpansionLocEnd, TokLen); 218 219 // Ensure that the lexer thinks it is inside a directive, so that end \n will 220 // return an EOD token. 221 L->ParsingPreprocessorDirective = true; 222 223 // This lexer really is for _Pragma. 224 L->Is_PragmaLexer = true; 225 return L; 226 } 227 228 bool Lexer::skipOver(unsigned NumBytes) { 229 IsAtPhysicalStartOfLine = true; 230 IsAtStartOfLine = true; 231 if ((BufferPtr + NumBytes) > BufferEnd) 232 return true; 233 BufferPtr += NumBytes; 234 return false; 235 } 236 237 template <typename T> static void StringifyImpl(T &Str, char Quote) { 238 typename T::size_type i = 0, e = Str.size(); 239 while (i < e) { 240 if (Str[i] == '\\' || Str[i] == Quote) { 241 Str.insert(Str.begin() + i, '\\'); 242 i += 2; 243 ++e; 244 } else if (Str[i] == '\n' || Str[i] == '\r') { 245 // Replace '\r\n' and '\n\r' to '\\' followed by 'n'. 246 if ((i < e - 1) && (Str[i + 1] == '\n' || Str[i + 1] == '\r') && 247 Str[i] != Str[i + 1]) { 248 Str[i] = '\\'; 249 Str[i + 1] = 'n'; 250 } else { 251 // Replace '\n' and '\r' to '\\' followed by 'n'. 252 Str[i] = '\\'; 253 Str.insert(Str.begin() + i + 1, 'n'); 254 ++e; 255 } 256 i += 2; 257 } else 258 ++i; 259 } 260 } 261 262 std::string Lexer::Stringify(StringRef Str, bool Charify) { 263 std::string Result = std::string(Str); 264 char Quote = Charify ? '\'' : '"'; 265 StringifyImpl(Result, Quote); 266 return Result; 267 } 268 269 void Lexer::Stringify(SmallVectorImpl<char> &Str) { StringifyImpl(Str, '"'); } 270 271 //===----------------------------------------------------------------------===// 272 // Token Spelling 273 //===----------------------------------------------------------------------===// 274 275 /// Slow case of getSpelling. Extract the characters comprising the 276 /// spelling of this token from the provided input buffer. 277 static size_t getSpellingSlow(const Token &Tok, const char *BufPtr, 278 const LangOptions &LangOpts, char *Spelling) { 279 assert(Tok.needsCleaning() && "getSpellingSlow called on simple token"); 280 281 size_t Length = 0; 282 const char *BufEnd = BufPtr + Tok.getLength(); 283 284 if (tok::isStringLiteral(Tok.getKind())) { 285 // Munch the encoding-prefix and opening double-quote. 286 while (BufPtr < BufEnd) { 287 unsigned Size; 288 Spelling[Length++] = Lexer::getCharAndSizeNoWarn(BufPtr, Size, LangOpts); 289 BufPtr += Size; 290 291 if (Spelling[Length - 1] == '"') 292 break; 293 } 294 295 // Raw string literals need special handling; trigraph expansion and line 296 // splicing do not occur within their d-char-sequence nor within their 297 // r-char-sequence. 298 if (Length >= 2 && 299 Spelling[Length - 2] == 'R' && Spelling[Length - 1] == '"') { 300 // Search backwards from the end of the token to find the matching closing 301 // quote. 302 const char *RawEnd = BufEnd; 303 do --RawEnd; while (*RawEnd != '"'); 304 size_t RawLength = RawEnd - BufPtr + 1; 305 306 // Everything between the quotes is included verbatim in the spelling. 307 memcpy(Spelling + Length, BufPtr, RawLength); 308 Length += RawLength; 309 BufPtr += RawLength; 310 311 // The rest of the token is lexed normally. 312 } 313 } 314 315 while (BufPtr < BufEnd) { 316 unsigned Size; 317 Spelling[Length++] = Lexer::getCharAndSizeNoWarn(BufPtr, Size, LangOpts); 318 BufPtr += Size; 319 } 320 321 assert(Length < Tok.getLength() && 322 "NeedsCleaning flag set on token that didn't need cleaning!"); 323 return Length; 324 } 325 326 /// getSpelling() - Return the 'spelling' of this token. The spelling of a 327 /// token are the characters used to represent the token in the source file 328 /// after trigraph expansion and escaped-newline folding. In particular, this 329 /// wants to get the true, uncanonicalized, spelling of things like digraphs 330 /// UCNs, etc. 331 StringRef Lexer::getSpelling(SourceLocation loc, 332 SmallVectorImpl<char> &buffer, 333 const SourceManager &SM, 334 const LangOptions &options, 335 bool *invalid) { 336 // Break down the source location. 337 std::pair<FileID, unsigned> locInfo = SM.getDecomposedLoc(loc); 338 339 // Try to the load the file buffer. 340 bool invalidTemp = false; 341 StringRef file = SM.getBufferData(locInfo.first, &invalidTemp); 342 if (invalidTemp) { 343 if (invalid) *invalid = true; 344 return {}; 345 } 346 347 const char *tokenBegin = file.data() + locInfo.second; 348 349 // Lex from the start of the given location. 350 Lexer lexer(SM.getLocForStartOfFile(locInfo.first), options, 351 file.begin(), tokenBegin, file.end()); 352 Token token; 353 lexer.LexFromRawLexer(token); 354 355 unsigned length = token.getLength(); 356 357 // Common case: no need for cleaning. 358 if (!token.needsCleaning()) 359 return StringRef(tokenBegin, length); 360 361 // Hard case, we need to relex the characters into the string. 362 buffer.resize(length); 363 buffer.resize(getSpellingSlow(token, tokenBegin, options, buffer.data())); 364 return StringRef(buffer.data(), buffer.size()); 365 } 366 367 /// getSpelling() - Return the 'spelling' of this token. The spelling of a 368 /// token are the characters used to represent the token in the source file 369 /// after trigraph expansion and escaped-newline folding. In particular, this 370 /// wants to get the true, uncanonicalized, spelling of things like digraphs 371 /// UCNs, etc. 372 std::string Lexer::getSpelling(const Token &Tok, const SourceManager &SourceMgr, 373 const LangOptions &LangOpts, bool *Invalid) { 374 assert((int)Tok.getLength() >= 0 && "Token character range is bogus!"); 375 376 bool CharDataInvalid = false; 377 const char *TokStart = SourceMgr.getCharacterData(Tok.getLocation(), 378 &CharDataInvalid); 379 if (Invalid) 380 *Invalid = CharDataInvalid; 381 if (CharDataInvalid) 382 return {}; 383 384 // If this token contains nothing interesting, return it directly. 385 if (!Tok.needsCleaning()) 386 return std::string(TokStart, TokStart + Tok.getLength()); 387 388 std::string Result; 389 Result.resize(Tok.getLength()); 390 Result.resize(getSpellingSlow(Tok, TokStart, LangOpts, &*Result.begin())); 391 return Result; 392 } 393 394 /// getSpelling - This method is used to get the spelling of a token into a 395 /// preallocated buffer, instead of as an std::string. The caller is required 396 /// to allocate enough space for the token, which is guaranteed to be at least 397 /// Tok.getLength() bytes long. The actual length of the token is returned. 398 /// 399 /// Note that this method may do two possible things: it may either fill in 400 /// the buffer specified with characters, or it may *change the input pointer* 401 /// to point to a constant buffer with the data already in it (avoiding a 402 /// copy). The caller is not allowed to modify the returned buffer pointer 403 /// if an internal buffer is returned. 404 unsigned Lexer::getSpelling(const Token &Tok, const char *&Buffer, 405 const SourceManager &SourceMgr, 406 const LangOptions &LangOpts, bool *Invalid) { 407 assert((int)Tok.getLength() >= 0 && "Token character range is bogus!"); 408 409 const char *TokStart = nullptr; 410 // NOTE: this has to be checked *before* testing for an IdentifierInfo. 411 if (Tok.is(tok::raw_identifier)) 412 TokStart = Tok.getRawIdentifier().data(); 413 else if (!Tok.hasUCN()) { 414 if (const IdentifierInfo *II = Tok.getIdentifierInfo()) { 415 // Just return the string from the identifier table, which is very quick. 416 Buffer = II->getNameStart(); 417 return II->getLength(); 418 } 419 } 420 421 // NOTE: this can be checked even after testing for an IdentifierInfo. 422 if (Tok.isLiteral()) 423 TokStart = Tok.getLiteralData(); 424 425 if (!TokStart) { 426 // Compute the start of the token in the input lexer buffer. 427 bool CharDataInvalid = false; 428 TokStart = SourceMgr.getCharacterData(Tok.getLocation(), &CharDataInvalid); 429 if (Invalid) 430 *Invalid = CharDataInvalid; 431 if (CharDataInvalid) { 432 Buffer = ""; 433 return 0; 434 } 435 } 436 437 // If this token contains nothing interesting, return it directly. 438 if (!Tok.needsCleaning()) { 439 Buffer = TokStart; 440 return Tok.getLength(); 441 } 442 443 // Otherwise, hard case, relex the characters into the string. 444 return getSpellingSlow(Tok, TokStart, LangOpts, const_cast<char*>(Buffer)); 445 } 446 447 /// MeasureTokenLength - Relex the token at the specified location and return 448 /// its length in bytes in the input file. If the token needs cleaning (e.g. 449 /// includes a trigraph or an escaped newline) then this count includes bytes 450 /// that are part of that. 451 unsigned Lexer::MeasureTokenLength(SourceLocation Loc, 452 const SourceManager &SM, 453 const LangOptions &LangOpts) { 454 Token TheTok; 455 if (getRawToken(Loc, TheTok, SM, LangOpts)) 456 return 0; 457 return TheTok.getLength(); 458 } 459 460 /// Relex the token at the specified location. 461 /// \returns true if there was a failure, false on success. 462 bool Lexer::getRawToken(SourceLocation Loc, Token &Result, 463 const SourceManager &SM, 464 const LangOptions &LangOpts, 465 bool IgnoreWhiteSpace) { 466 // TODO: this could be special cased for common tokens like identifiers, ')', 467 // etc to make this faster, if it mattered. Just look at StrData[0] to handle 468 // all obviously single-char tokens. This could use 469 // Lexer::isObviouslySimpleCharacter for example to handle identifiers or 470 // something. 471 472 // If this comes from a macro expansion, we really do want the macro name, not 473 // the token this macro expanded to. 474 Loc = SM.getExpansionLoc(Loc); 475 std::pair<FileID, unsigned> LocInfo = SM.getDecomposedLoc(Loc); 476 bool Invalid = false; 477 StringRef Buffer = SM.getBufferData(LocInfo.first, &Invalid); 478 if (Invalid) 479 return true; 480 481 const char *StrData = Buffer.data()+LocInfo.second; 482 483 if (!IgnoreWhiteSpace && isWhitespace(StrData[0])) 484 return true; 485 486 // Create a lexer starting at the beginning of this token. 487 Lexer TheLexer(SM.getLocForStartOfFile(LocInfo.first), LangOpts, 488 Buffer.begin(), StrData, Buffer.end()); 489 TheLexer.SetCommentRetentionState(true); 490 TheLexer.LexFromRawLexer(Result); 491 return false; 492 } 493 494 /// Returns the pointer that points to the beginning of line that contains 495 /// the given offset, or null if the offset if invalid. 496 static const char *findBeginningOfLine(StringRef Buffer, unsigned Offset) { 497 const char *BufStart = Buffer.data(); 498 if (Offset >= Buffer.size()) 499 return nullptr; 500 501 const char *LexStart = BufStart + Offset; 502 for (; LexStart != BufStart; --LexStart) { 503 if (isVerticalWhitespace(LexStart[0]) && 504 !Lexer::isNewLineEscaped(BufStart, LexStart)) { 505 // LexStart should point at first character of logical line. 506 ++LexStart; 507 break; 508 } 509 } 510 return LexStart; 511 } 512 513 static SourceLocation getBeginningOfFileToken(SourceLocation Loc, 514 const SourceManager &SM, 515 const LangOptions &LangOpts) { 516 assert(Loc.isFileID()); 517 std::pair<FileID, unsigned> LocInfo = SM.getDecomposedLoc(Loc); 518 if (LocInfo.first.isInvalid()) 519 return Loc; 520 521 bool Invalid = false; 522 StringRef Buffer = SM.getBufferData(LocInfo.first, &Invalid); 523 if (Invalid) 524 return Loc; 525 526 // Back up from the current location until we hit the beginning of a line 527 // (or the buffer). We'll relex from that point. 528 const char *StrData = Buffer.data() + LocInfo.second; 529 const char *LexStart = findBeginningOfLine(Buffer, LocInfo.second); 530 if (!LexStart || LexStart == StrData) 531 return Loc; 532 533 // Create a lexer starting at the beginning of this token. 534 SourceLocation LexerStartLoc = Loc.getLocWithOffset(-LocInfo.second); 535 Lexer TheLexer(LexerStartLoc, LangOpts, Buffer.data(), LexStart, 536 Buffer.end()); 537 TheLexer.SetCommentRetentionState(true); 538 539 // Lex tokens until we find the token that contains the source location. 540 Token TheTok; 541 do { 542 TheLexer.LexFromRawLexer(TheTok); 543 544 if (TheLexer.getBufferLocation() > StrData) { 545 // Lexing this token has taken the lexer past the source location we're 546 // looking for. If the current token encompasses our source location, 547 // return the beginning of that token. 548 if (TheLexer.getBufferLocation() - TheTok.getLength() <= StrData) 549 return TheTok.getLocation(); 550 551 // We ended up skipping over the source location entirely, which means 552 // that it points into whitespace. We're done here. 553 break; 554 } 555 } while (TheTok.getKind() != tok::eof); 556 557 // We've passed our source location; just return the original source location. 558 return Loc; 559 } 560 561 SourceLocation Lexer::GetBeginningOfToken(SourceLocation Loc, 562 const SourceManager &SM, 563 const LangOptions &LangOpts) { 564 if (Loc.isFileID()) 565 return getBeginningOfFileToken(Loc, SM, LangOpts); 566 567 if (!SM.isMacroArgExpansion(Loc)) 568 return Loc; 569 570 SourceLocation FileLoc = SM.getSpellingLoc(Loc); 571 SourceLocation BeginFileLoc = getBeginningOfFileToken(FileLoc, SM, LangOpts); 572 std::pair<FileID, unsigned> FileLocInfo = SM.getDecomposedLoc(FileLoc); 573 std::pair<FileID, unsigned> BeginFileLocInfo = 574 SM.getDecomposedLoc(BeginFileLoc); 575 assert(FileLocInfo.first == BeginFileLocInfo.first && 576 FileLocInfo.second >= BeginFileLocInfo.second); 577 return Loc.getLocWithOffset(BeginFileLocInfo.second - FileLocInfo.second); 578 } 579 580 namespace { 581 582 enum PreambleDirectiveKind { 583 PDK_Skipped, 584 PDK_Unknown 585 }; 586 587 } // namespace 588 589 PreambleBounds Lexer::ComputePreamble(StringRef Buffer, 590 const LangOptions &LangOpts, 591 unsigned MaxLines) { 592 // Create a lexer starting at the beginning of the file. Note that we use a 593 // "fake" file source location at offset 1 so that the lexer will track our 594 // position within the file. 595 const SourceLocation::UIntTy StartOffset = 1; 596 SourceLocation FileLoc = SourceLocation::getFromRawEncoding(StartOffset); 597 Lexer TheLexer(FileLoc, LangOpts, Buffer.begin(), Buffer.begin(), 598 Buffer.end()); 599 TheLexer.SetCommentRetentionState(true); 600 601 bool InPreprocessorDirective = false; 602 Token TheTok; 603 SourceLocation ActiveCommentLoc; 604 605 unsigned MaxLineOffset = 0; 606 if (MaxLines) { 607 const char *CurPtr = Buffer.begin(); 608 unsigned CurLine = 0; 609 while (CurPtr != Buffer.end()) { 610 char ch = *CurPtr++; 611 if (ch == '\n') { 612 ++CurLine; 613 if (CurLine == MaxLines) 614 break; 615 } 616 } 617 if (CurPtr != Buffer.end()) 618 MaxLineOffset = CurPtr - Buffer.begin(); 619 } 620 621 do { 622 TheLexer.LexFromRawLexer(TheTok); 623 624 if (InPreprocessorDirective) { 625 // If we've hit the end of the file, we're done. 626 if (TheTok.getKind() == tok::eof) { 627 break; 628 } 629 630 // If we haven't hit the end of the preprocessor directive, skip this 631 // token. 632 if (!TheTok.isAtStartOfLine()) 633 continue; 634 635 // We've passed the end of the preprocessor directive, and will look 636 // at this token again below. 637 InPreprocessorDirective = false; 638 } 639 640 // Keep track of the # of lines in the preamble. 641 if (TheTok.isAtStartOfLine()) { 642 unsigned TokOffset = TheTok.getLocation().getRawEncoding() - StartOffset; 643 644 // If we were asked to limit the number of lines in the preamble, 645 // and we're about to exceed that limit, we're done. 646 if (MaxLineOffset && TokOffset >= MaxLineOffset) 647 break; 648 } 649 650 // Comments are okay; skip over them. 651 if (TheTok.getKind() == tok::comment) { 652 if (ActiveCommentLoc.isInvalid()) 653 ActiveCommentLoc = TheTok.getLocation(); 654 continue; 655 } 656 657 if (TheTok.isAtStartOfLine() && TheTok.getKind() == tok::hash) { 658 // This is the start of a preprocessor directive. 659 Token HashTok = TheTok; 660 InPreprocessorDirective = true; 661 ActiveCommentLoc = SourceLocation(); 662 663 // Figure out which directive this is. Since we're lexing raw tokens, 664 // we don't have an identifier table available. Instead, just look at 665 // the raw identifier to recognize and categorize preprocessor directives. 666 TheLexer.LexFromRawLexer(TheTok); 667 if (TheTok.getKind() == tok::raw_identifier && !TheTok.needsCleaning()) { 668 StringRef Keyword = TheTok.getRawIdentifier(); 669 PreambleDirectiveKind PDK 670 = llvm::StringSwitch<PreambleDirectiveKind>(Keyword) 671 .Case("include", PDK_Skipped) 672 .Case("__include_macros", PDK_Skipped) 673 .Case("define", PDK_Skipped) 674 .Case("undef", PDK_Skipped) 675 .Case("line", PDK_Skipped) 676 .Case("error", PDK_Skipped) 677 .Case("pragma", PDK_Skipped) 678 .Case("import", PDK_Skipped) 679 .Case("include_next", PDK_Skipped) 680 .Case("warning", PDK_Skipped) 681 .Case("ident", PDK_Skipped) 682 .Case("sccs", PDK_Skipped) 683 .Case("assert", PDK_Skipped) 684 .Case("unassert", PDK_Skipped) 685 .Case("if", PDK_Skipped) 686 .Case("ifdef", PDK_Skipped) 687 .Case("ifndef", PDK_Skipped) 688 .Case("elif", PDK_Skipped) 689 .Case("elifdef", PDK_Skipped) 690 .Case("elifndef", PDK_Skipped) 691 .Case("else", PDK_Skipped) 692 .Case("endif", PDK_Skipped) 693 .Default(PDK_Unknown); 694 695 switch (PDK) { 696 case PDK_Skipped: 697 continue; 698 699 case PDK_Unknown: 700 // We don't know what this directive is; stop at the '#'. 701 break; 702 } 703 } 704 705 // We only end up here if we didn't recognize the preprocessor 706 // directive or it was one that can't occur in the preamble at this 707 // point. Roll back the current token to the location of the '#'. 708 TheTok = HashTok; 709 } 710 711 // We hit a token that we don't recognize as being in the 712 // "preprocessing only" part of the file, so we're no longer in 713 // the preamble. 714 break; 715 } while (true); 716 717 SourceLocation End; 718 if (ActiveCommentLoc.isValid()) 719 End = ActiveCommentLoc; // don't truncate a decl comment. 720 else 721 End = TheTok.getLocation(); 722 723 return PreambleBounds(End.getRawEncoding() - FileLoc.getRawEncoding(), 724 TheTok.isAtStartOfLine()); 725 } 726 727 unsigned Lexer::getTokenPrefixLength(SourceLocation TokStart, unsigned CharNo, 728 const SourceManager &SM, 729 const LangOptions &LangOpts) { 730 // Figure out how many physical characters away the specified expansion 731 // character is. This needs to take into consideration newlines and 732 // trigraphs. 733 bool Invalid = false; 734 const char *TokPtr = SM.getCharacterData(TokStart, &Invalid); 735 736 // If they request the first char of the token, we're trivially done. 737 if (Invalid || (CharNo == 0 && Lexer::isObviouslySimpleCharacter(*TokPtr))) 738 return 0; 739 740 unsigned PhysOffset = 0; 741 742 // The usual case is that tokens don't contain anything interesting. Skip 743 // over the uninteresting characters. If a token only consists of simple 744 // chars, this method is extremely fast. 745 while (Lexer::isObviouslySimpleCharacter(*TokPtr)) { 746 if (CharNo == 0) 747 return PhysOffset; 748 ++TokPtr; 749 --CharNo; 750 ++PhysOffset; 751 } 752 753 // If we have a character that may be a trigraph or escaped newline, use a 754 // lexer to parse it correctly. 755 for (; CharNo; --CharNo) { 756 unsigned Size; 757 Lexer::getCharAndSizeNoWarn(TokPtr, Size, LangOpts); 758 TokPtr += Size; 759 PhysOffset += Size; 760 } 761 762 // Final detail: if we end up on an escaped newline, we want to return the 763 // location of the actual byte of the token. For example foo\<newline>bar 764 // advanced by 3 should return the location of b, not of \\. One compounding 765 // detail of this is that the escape may be made by a trigraph. 766 if (!Lexer::isObviouslySimpleCharacter(*TokPtr)) 767 PhysOffset += Lexer::SkipEscapedNewLines(TokPtr)-TokPtr; 768 769 return PhysOffset; 770 } 771 772 /// Computes the source location just past the end of the 773 /// token at this source location. 774 /// 775 /// This routine can be used to produce a source location that 776 /// points just past the end of the token referenced by \p Loc, and 777 /// is generally used when a diagnostic needs to point just after a 778 /// token where it expected something different that it received. If 779 /// the returned source location would not be meaningful (e.g., if 780 /// it points into a macro), this routine returns an invalid 781 /// source location. 782 /// 783 /// \param Offset an offset from the end of the token, where the source 784 /// location should refer to. The default offset (0) produces a source 785 /// location pointing just past the end of the token; an offset of 1 produces 786 /// a source location pointing to the last character in the token, etc. 787 SourceLocation Lexer::getLocForEndOfToken(SourceLocation Loc, unsigned Offset, 788 const SourceManager &SM, 789 const LangOptions &LangOpts) { 790 if (Loc.isInvalid()) 791 return {}; 792 793 if (Loc.isMacroID()) { 794 if (Offset > 0 || !isAtEndOfMacroExpansion(Loc, SM, LangOpts, &Loc)) 795 return {}; // Points inside the macro expansion. 796 } 797 798 unsigned Len = Lexer::MeasureTokenLength(Loc, SM, LangOpts); 799 if (Len > Offset) 800 Len = Len - Offset; 801 else 802 return Loc; 803 804 return Loc.getLocWithOffset(Len); 805 } 806 807 /// Returns true if the given MacroID location points at the first 808 /// token of the macro expansion. 809 bool Lexer::isAtStartOfMacroExpansion(SourceLocation loc, 810 const SourceManager &SM, 811 const LangOptions &LangOpts, 812 SourceLocation *MacroBegin) { 813 assert(loc.isValid() && loc.isMacroID() && "Expected a valid macro loc"); 814 815 SourceLocation expansionLoc; 816 if (!SM.isAtStartOfImmediateMacroExpansion(loc, &expansionLoc)) 817 return false; 818 819 if (expansionLoc.isFileID()) { 820 // No other macro expansions, this is the first. 821 if (MacroBegin) 822 *MacroBegin = expansionLoc; 823 return true; 824 } 825 826 return isAtStartOfMacroExpansion(expansionLoc, SM, LangOpts, MacroBegin); 827 } 828 829 /// Returns true if the given MacroID location points at the last 830 /// token of the macro expansion. 831 bool Lexer::isAtEndOfMacroExpansion(SourceLocation loc, 832 const SourceManager &SM, 833 const LangOptions &LangOpts, 834 SourceLocation *MacroEnd) { 835 assert(loc.isValid() && loc.isMacroID() && "Expected a valid macro loc"); 836 837 SourceLocation spellLoc = SM.getSpellingLoc(loc); 838 unsigned tokLen = MeasureTokenLength(spellLoc, SM, LangOpts); 839 if (tokLen == 0) 840 return false; 841 842 SourceLocation afterLoc = loc.getLocWithOffset(tokLen); 843 SourceLocation expansionLoc; 844 if (!SM.isAtEndOfImmediateMacroExpansion(afterLoc, &expansionLoc)) 845 return false; 846 847 if (expansionLoc.isFileID()) { 848 // No other macro expansions. 849 if (MacroEnd) 850 *MacroEnd = expansionLoc; 851 return true; 852 } 853 854 return isAtEndOfMacroExpansion(expansionLoc, SM, LangOpts, MacroEnd); 855 } 856 857 static CharSourceRange makeRangeFromFileLocs(CharSourceRange Range, 858 const SourceManager &SM, 859 const LangOptions &LangOpts) { 860 SourceLocation Begin = Range.getBegin(); 861 SourceLocation End = Range.getEnd(); 862 assert(Begin.isFileID() && End.isFileID()); 863 if (Range.isTokenRange()) { 864 End = Lexer::getLocForEndOfToken(End, 0, SM,LangOpts); 865 if (End.isInvalid()) 866 return {}; 867 } 868 869 // Break down the source locations. 870 FileID FID; 871 unsigned BeginOffs; 872 std::tie(FID, BeginOffs) = SM.getDecomposedLoc(Begin); 873 if (FID.isInvalid()) 874 return {}; 875 876 unsigned EndOffs; 877 if (!SM.isInFileID(End, FID, &EndOffs) || 878 BeginOffs > EndOffs) 879 return {}; 880 881 return CharSourceRange::getCharRange(Begin, End); 882 } 883 884 // Assumes that `Loc` is in an expansion. 885 static bool isInExpansionTokenRange(const SourceLocation Loc, 886 const SourceManager &SM) { 887 return SM.getSLocEntry(SM.getFileID(Loc)) 888 .getExpansion() 889 .isExpansionTokenRange(); 890 } 891 892 CharSourceRange Lexer::makeFileCharRange(CharSourceRange Range, 893 const SourceManager &SM, 894 const LangOptions &LangOpts) { 895 SourceLocation Begin = Range.getBegin(); 896 SourceLocation End = Range.getEnd(); 897 if (Begin.isInvalid() || End.isInvalid()) 898 return {}; 899 900 if (Begin.isFileID() && End.isFileID()) 901 return makeRangeFromFileLocs(Range, SM, LangOpts); 902 903 if (Begin.isMacroID() && End.isFileID()) { 904 if (!isAtStartOfMacroExpansion(Begin, SM, LangOpts, &Begin)) 905 return {}; 906 Range.setBegin(Begin); 907 return makeRangeFromFileLocs(Range, SM, LangOpts); 908 } 909 910 if (Begin.isFileID() && End.isMacroID()) { 911 if (Range.isTokenRange()) { 912 if (!isAtEndOfMacroExpansion(End, SM, LangOpts, &End)) 913 return {}; 914 // Use the *original* end, not the expanded one in `End`. 915 Range.setTokenRange(isInExpansionTokenRange(Range.getEnd(), SM)); 916 } else if (!isAtStartOfMacroExpansion(End, SM, LangOpts, &End)) 917 return {}; 918 Range.setEnd(End); 919 return makeRangeFromFileLocs(Range, SM, LangOpts); 920 } 921 922 assert(Begin.isMacroID() && End.isMacroID()); 923 SourceLocation MacroBegin, MacroEnd; 924 if (isAtStartOfMacroExpansion(Begin, SM, LangOpts, &MacroBegin) && 925 ((Range.isTokenRange() && isAtEndOfMacroExpansion(End, SM, LangOpts, 926 &MacroEnd)) || 927 (Range.isCharRange() && isAtStartOfMacroExpansion(End, SM, LangOpts, 928 &MacroEnd)))) { 929 Range.setBegin(MacroBegin); 930 Range.setEnd(MacroEnd); 931 // Use the *original* `End`, not the expanded one in `MacroEnd`. 932 if (Range.isTokenRange()) 933 Range.setTokenRange(isInExpansionTokenRange(End, SM)); 934 return makeRangeFromFileLocs(Range, SM, LangOpts); 935 } 936 937 bool Invalid = false; 938 const SrcMgr::SLocEntry &BeginEntry = SM.getSLocEntry(SM.getFileID(Begin), 939 &Invalid); 940 if (Invalid) 941 return {}; 942 943 if (BeginEntry.getExpansion().isMacroArgExpansion()) { 944 const SrcMgr::SLocEntry &EndEntry = SM.getSLocEntry(SM.getFileID(End), 945 &Invalid); 946 if (Invalid) 947 return {}; 948 949 if (EndEntry.getExpansion().isMacroArgExpansion() && 950 BeginEntry.getExpansion().getExpansionLocStart() == 951 EndEntry.getExpansion().getExpansionLocStart()) { 952 Range.setBegin(SM.getImmediateSpellingLoc(Begin)); 953 Range.setEnd(SM.getImmediateSpellingLoc(End)); 954 return makeFileCharRange(Range, SM, LangOpts); 955 } 956 } 957 958 return {}; 959 } 960 961 StringRef Lexer::getSourceText(CharSourceRange Range, 962 const SourceManager &SM, 963 const LangOptions &LangOpts, 964 bool *Invalid) { 965 Range = makeFileCharRange(Range, SM, LangOpts); 966 if (Range.isInvalid()) { 967 if (Invalid) *Invalid = true; 968 return {}; 969 } 970 971 // Break down the source location. 972 std::pair<FileID, unsigned> beginInfo = SM.getDecomposedLoc(Range.getBegin()); 973 if (beginInfo.first.isInvalid()) { 974 if (Invalid) *Invalid = true; 975 return {}; 976 } 977 978 unsigned EndOffs; 979 if (!SM.isInFileID(Range.getEnd(), beginInfo.first, &EndOffs) || 980 beginInfo.second > EndOffs) { 981 if (Invalid) *Invalid = true; 982 return {}; 983 } 984 985 // Try to the load the file buffer. 986 bool invalidTemp = false; 987 StringRef file = SM.getBufferData(beginInfo.first, &invalidTemp); 988 if (invalidTemp) { 989 if (Invalid) *Invalid = true; 990 return {}; 991 } 992 993 if (Invalid) *Invalid = false; 994 return file.substr(beginInfo.second, EndOffs - beginInfo.second); 995 } 996 997 StringRef Lexer::getImmediateMacroName(SourceLocation Loc, 998 const SourceManager &SM, 999 const LangOptions &LangOpts) { 1000 assert(Loc.isMacroID() && "Only reasonable to call this on macros"); 1001 1002 // Find the location of the immediate macro expansion. 1003 while (true) { 1004 FileID FID = SM.getFileID(Loc); 1005 const SrcMgr::SLocEntry *E = &SM.getSLocEntry(FID); 1006 const SrcMgr::ExpansionInfo &Expansion = E->getExpansion(); 1007 Loc = Expansion.getExpansionLocStart(); 1008 if (!Expansion.isMacroArgExpansion()) 1009 break; 1010 1011 // For macro arguments we need to check that the argument did not come 1012 // from an inner macro, e.g: "MAC1( MAC2(foo) )" 1013 1014 // Loc points to the argument id of the macro definition, move to the 1015 // macro expansion. 1016 Loc = SM.getImmediateExpansionRange(Loc).getBegin(); 1017 SourceLocation SpellLoc = Expansion.getSpellingLoc(); 1018 if (SpellLoc.isFileID()) 1019 break; // No inner macro. 1020 1021 // If spelling location resides in the same FileID as macro expansion 1022 // location, it means there is no inner macro. 1023 FileID MacroFID = SM.getFileID(Loc); 1024 if (SM.isInFileID(SpellLoc, MacroFID)) 1025 break; 1026 1027 // Argument came from inner macro. 1028 Loc = SpellLoc; 1029 } 1030 1031 // Find the spelling location of the start of the non-argument expansion 1032 // range. This is where the macro name was spelled in order to begin 1033 // expanding this macro. 1034 Loc = SM.getSpellingLoc(Loc); 1035 1036 // Dig out the buffer where the macro name was spelled and the extents of the 1037 // name so that we can render it into the expansion note. 1038 std::pair<FileID, unsigned> ExpansionInfo = SM.getDecomposedLoc(Loc); 1039 unsigned MacroTokenLength = Lexer::MeasureTokenLength(Loc, SM, LangOpts); 1040 StringRef ExpansionBuffer = SM.getBufferData(ExpansionInfo.first); 1041 return ExpansionBuffer.substr(ExpansionInfo.second, MacroTokenLength); 1042 } 1043 1044 StringRef Lexer::getImmediateMacroNameForDiagnostics( 1045 SourceLocation Loc, const SourceManager &SM, const LangOptions &LangOpts) { 1046 assert(Loc.isMacroID() && "Only reasonable to call this on macros"); 1047 // Walk past macro argument expansions. 1048 while (SM.isMacroArgExpansion(Loc)) 1049 Loc = SM.getImmediateExpansionRange(Loc).getBegin(); 1050 1051 // If the macro's spelling has no FileID, then it's actually a token paste 1052 // or stringization (or similar) and not a macro at all. 1053 if (!SM.getFileEntryForID(SM.getFileID(SM.getSpellingLoc(Loc)))) 1054 return {}; 1055 1056 // Find the spelling location of the start of the non-argument expansion 1057 // range. This is where the macro name was spelled in order to begin 1058 // expanding this macro. 1059 Loc = SM.getSpellingLoc(SM.getImmediateExpansionRange(Loc).getBegin()); 1060 1061 // Dig out the buffer where the macro name was spelled and the extents of the 1062 // name so that we can render it into the expansion note. 1063 std::pair<FileID, unsigned> ExpansionInfo = SM.getDecomposedLoc(Loc); 1064 unsigned MacroTokenLength = Lexer::MeasureTokenLength(Loc, SM, LangOpts); 1065 StringRef ExpansionBuffer = SM.getBufferData(ExpansionInfo.first); 1066 return ExpansionBuffer.substr(ExpansionInfo.second, MacroTokenLength); 1067 } 1068 1069 bool Lexer::isAsciiIdentifierContinueChar(char c, const LangOptions &LangOpts) { 1070 return isAsciiIdentifierContinue(c, LangOpts.DollarIdents); 1071 } 1072 1073 bool Lexer::isNewLineEscaped(const char *BufferStart, const char *Str) { 1074 assert(isVerticalWhitespace(Str[0])); 1075 if (Str - 1 < BufferStart) 1076 return false; 1077 1078 if ((Str[0] == '\n' && Str[-1] == '\r') || 1079 (Str[0] == '\r' && Str[-1] == '\n')) { 1080 if (Str - 2 < BufferStart) 1081 return false; 1082 --Str; 1083 } 1084 --Str; 1085 1086 // Rewind to first non-space character: 1087 while (Str > BufferStart && isHorizontalWhitespace(*Str)) 1088 --Str; 1089 1090 return *Str == '\\'; 1091 } 1092 1093 StringRef Lexer::getIndentationForLine(SourceLocation Loc, 1094 const SourceManager &SM) { 1095 if (Loc.isInvalid() || Loc.isMacroID()) 1096 return {}; 1097 std::pair<FileID, unsigned> LocInfo = SM.getDecomposedLoc(Loc); 1098 if (LocInfo.first.isInvalid()) 1099 return {}; 1100 bool Invalid = false; 1101 StringRef Buffer = SM.getBufferData(LocInfo.first, &Invalid); 1102 if (Invalid) 1103 return {}; 1104 const char *Line = findBeginningOfLine(Buffer, LocInfo.second); 1105 if (!Line) 1106 return {}; 1107 StringRef Rest = Buffer.substr(Line - Buffer.data()); 1108 size_t NumWhitespaceChars = Rest.find_first_not_of(" \t"); 1109 return NumWhitespaceChars == StringRef::npos 1110 ? "" 1111 : Rest.take_front(NumWhitespaceChars); 1112 } 1113 1114 //===----------------------------------------------------------------------===// 1115 // Diagnostics forwarding code. 1116 //===----------------------------------------------------------------------===// 1117 1118 /// GetMappedTokenLoc - If lexing out of a 'mapped buffer', where we pretend the 1119 /// lexer buffer was all expanded at a single point, perform the mapping. 1120 /// This is currently only used for _Pragma implementation, so it is the slow 1121 /// path of the hot getSourceLocation method. Do not allow it to be inlined. 1122 static LLVM_ATTRIBUTE_NOINLINE SourceLocation GetMappedTokenLoc( 1123 Preprocessor &PP, SourceLocation FileLoc, unsigned CharNo, unsigned TokLen); 1124 static SourceLocation GetMappedTokenLoc(Preprocessor &PP, 1125 SourceLocation FileLoc, 1126 unsigned CharNo, unsigned TokLen) { 1127 assert(FileLoc.isMacroID() && "Must be a macro expansion"); 1128 1129 // Otherwise, we're lexing "mapped tokens". This is used for things like 1130 // _Pragma handling. Combine the expansion location of FileLoc with the 1131 // spelling location. 1132 SourceManager &SM = PP.getSourceManager(); 1133 1134 // Create a new SLoc which is expanded from Expansion(FileLoc) but whose 1135 // characters come from spelling(FileLoc)+Offset. 1136 SourceLocation SpellingLoc = SM.getSpellingLoc(FileLoc); 1137 SpellingLoc = SpellingLoc.getLocWithOffset(CharNo); 1138 1139 // Figure out the expansion loc range, which is the range covered by the 1140 // original _Pragma(...) sequence. 1141 CharSourceRange II = SM.getImmediateExpansionRange(FileLoc); 1142 1143 return SM.createExpansionLoc(SpellingLoc, II.getBegin(), II.getEnd(), TokLen); 1144 } 1145 1146 /// getSourceLocation - Return a source location identifier for the specified 1147 /// offset in the current file. 1148 SourceLocation Lexer::getSourceLocation(const char *Loc, 1149 unsigned TokLen) const { 1150 assert(Loc >= BufferStart && Loc <= BufferEnd && 1151 "Location out of range for this buffer!"); 1152 1153 // In the normal case, we're just lexing from a simple file buffer, return 1154 // the file id from FileLoc with the offset specified. 1155 unsigned CharNo = Loc-BufferStart; 1156 if (FileLoc.isFileID()) 1157 return FileLoc.getLocWithOffset(CharNo); 1158 1159 // Otherwise, this is the _Pragma lexer case, which pretends that all of the 1160 // tokens are lexed from where the _Pragma was defined. 1161 assert(PP && "This doesn't work on raw lexers"); 1162 return GetMappedTokenLoc(*PP, FileLoc, CharNo, TokLen); 1163 } 1164 1165 /// Diag - Forwarding function for diagnostics. This translate a source 1166 /// position in the current buffer into a SourceLocation object for rendering. 1167 DiagnosticBuilder Lexer::Diag(const char *Loc, unsigned DiagID) const { 1168 return PP->Diag(getSourceLocation(Loc), DiagID); 1169 } 1170 1171 //===----------------------------------------------------------------------===// 1172 // Trigraph and Escaped Newline Handling Code. 1173 //===----------------------------------------------------------------------===// 1174 1175 /// GetTrigraphCharForLetter - Given a character that occurs after a ?? pair, 1176 /// return the decoded trigraph letter it corresponds to, or '\0' if nothing. 1177 static char GetTrigraphCharForLetter(char Letter) { 1178 switch (Letter) { 1179 default: return 0; 1180 case '=': return '#'; 1181 case ')': return ']'; 1182 case '(': return '['; 1183 case '!': return '|'; 1184 case '\'': return '^'; 1185 case '>': return '}'; 1186 case '/': return '\\'; 1187 case '<': return '{'; 1188 case '-': return '~'; 1189 } 1190 } 1191 1192 /// DecodeTrigraphChar - If the specified character is a legal trigraph when 1193 /// prefixed with ??, emit a trigraph warning. If trigraphs are enabled, 1194 /// return the result character. Finally, emit a warning about trigraph use 1195 /// whether trigraphs are enabled or not. 1196 static char DecodeTrigraphChar(const char *CP, Lexer *L) { 1197 char Res = GetTrigraphCharForLetter(*CP); 1198 if (!Res || !L) return Res; 1199 1200 if (!L->getLangOpts().Trigraphs) { 1201 if (!L->isLexingRawMode()) 1202 L->Diag(CP-2, diag::trigraph_ignored); 1203 return 0; 1204 } 1205 1206 if (!L->isLexingRawMode()) 1207 L->Diag(CP-2, diag::trigraph_converted) << StringRef(&Res, 1); 1208 return Res; 1209 } 1210 1211 /// getEscapedNewLineSize - Return the size of the specified escaped newline, 1212 /// or 0 if it is not an escaped newline. P[-1] is known to be a "\" or a 1213 /// trigraph equivalent on entry to this function. 1214 unsigned Lexer::getEscapedNewLineSize(const char *Ptr) { 1215 unsigned Size = 0; 1216 while (isWhitespace(Ptr[Size])) { 1217 ++Size; 1218 1219 if (Ptr[Size-1] != '\n' && Ptr[Size-1] != '\r') 1220 continue; 1221 1222 // If this is a \r\n or \n\r, skip the other half. 1223 if ((Ptr[Size] == '\r' || Ptr[Size] == '\n') && 1224 Ptr[Size-1] != Ptr[Size]) 1225 ++Size; 1226 1227 return Size; 1228 } 1229 1230 // Not an escaped newline, must be a \t or something else. 1231 return 0; 1232 } 1233 1234 /// SkipEscapedNewLines - If P points to an escaped newline (or a series of 1235 /// them), skip over them and return the first non-escaped-newline found, 1236 /// otherwise return P. 1237 const char *Lexer::SkipEscapedNewLines(const char *P) { 1238 while (true) { 1239 const char *AfterEscape; 1240 if (*P == '\\') { 1241 AfterEscape = P+1; 1242 } else if (*P == '?') { 1243 // If not a trigraph for escape, bail out. 1244 if (P[1] != '?' || P[2] != '/') 1245 return P; 1246 // FIXME: Take LangOpts into account; the language might not 1247 // support trigraphs. 1248 AfterEscape = P+3; 1249 } else { 1250 return P; 1251 } 1252 1253 unsigned NewLineSize = Lexer::getEscapedNewLineSize(AfterEscape); 1254 if (NewLineSize == 0) return P; 1255 P = AfterEscape+NewLineSize; 1256 } 1257 } 1258 1259 Optional<Token> Lexer::findNextToken(SourceLocation Loc, 1260 const SourceManager &SM, 1261 const LangOptions &LangOpts) { 1262 if (Loc.isMacroID()) { 1263 if (!Lexer::isAtEndOfMacroExpansion(Loc, SM, LangOpts, &Loc)) 1264 return None; 1265 } 1266 Loc = Lexer::getLocForEndOfToken(Loc, 0, SM, LangOpts); 1267 1268 // Break down the source location. 1269 std::pair<FileID, unsigned> LocInfo = SM.getDecomposedLoc(Loc); 1270 1271 // Try to load the file buffer. 1272 bool InvalidTemp = false; 1273 StringRef File = SM.getBufferData(LocInfo.first, &InvalidTemp); 1274 if (InvalidTemp) 1275 return None; 1276 1277 const char *TokenBegin = File.data() + LocInfo.second; 1278 1279 // Lex from the start of the given location. 1280 Lexer lexer(SM.getLocForStartOfFile(LocInfo.first), LangOpts, File.begin(), 1281 TokenBegin, File.end()); 1282 // Find the token. 1283 Token Tok; 1284 lexer.LexFromRawLexer(Tok); 1285 return Tok; 1286 } 1287 1288 /// Checks that the given token is the first token that occurs after the 1289 /// given location (this excludes comments and whitespace). Returns the location 1290 /// immediately after the specified token. If the token is not found or the 1291 /// location is inside a macro, the returned source location will be invalid. 1292 SourceLocation Lexer::findLocationAfterToken( 1293 SourceLocation Loc, tok::TokenKind TKind, const SourceManager &SM, 1294 const LangOptions &LangOpts, bool SkipTrailingWhitespaceAndNewLine) { 1295 Optional<Token> Tok = findNextToken(Loc, SM, LangOpts); 1296 if (!Tok || Tok->isNot(TKind)) 1297 return {}; 1298 SourceLocation TokenLoc = Tok->getLocation(); 1299 1300 // Calculate how much whitespace needs to be skipped if any. 1301 unsigned NumWhitespaceChars = 0; 1302 if (SkipTrailingWhitespaceAndNewLine) { 1303 const char *TokenEnd = SM.getCharacterData(TokenLoc) + Tok->getLength(); 1304 unsigned char C = *TokenEnd; 1305 while (isHorizontalWhitespace(C)) { 1306 C = *(++TokenEnd); 1307 NumWhitespaceChars++; 1308 } 1309 1310 // Skip \r, \n, \r\n, or \n\r 1311 if (C == '\n' || C == '\r') { 1312 char PrevC = C; 1313 C = *(++TokenEnd); 1314 NumWhitespaceChars++; 1315 if ((C == '\n' || C == '\r') && C != PrevC) 1316 NumWhitespaceChars++; 1317 } 1318 } 1319 1320 return TokenLoc.getLocWithOffset(Tok->getLength() + NumWhitespaceChars); 1321 } 1322 1323 /// getCharAndSizeSlow - Peek a single 'character' from the specified buffer, 1324 /// get its size, and return it. This is tricky in several cases: 1325 /// 1. If currently at the start of a trigraph, we warn about the trigraph, 1326 /// then either return the trigraph (skipping 3 chars) or the '?', 1327 /// depending on whether trigraphs are enabled or not. 1328 /// 2. If this is an escaped newline (potentially with whitespace between 1329 /// the backslash and newline), implicitly skip the newline and return 1330 /// the char after it. 1331 /// 1332 /// This handles the slow/uncommon case of the getCharAndSize method. Here we 1333 /// know that we can accumulate into Size, and that we have already incremented 1334 /// Ptr by Size bytes. 1335 /// 1336 /// NOTE: When this method is updated, getCharAndSizeSlowNoWarn (below) should 1337 /// be updated to match. 1338 char Lexer::getCharAndSizeSlow(const char *Ptr, unsigned &Size, 1339 Token *Tok) { 1340 // If we have a slash, look for an escaped newline. 1341 if (Ptr[0] == '\\') { 1342 ++Size; 1343 ++Ptr; 1344 Slash: 1345 // Common case, backslash-char where the char is not whitespace. 1346 if (!isWhitespace(Ptr[0])) return '\\'; 1347 1348 // See if we have optional whitespace characters between the slash and 1349 // newline. 1350 if (unsigned EscapedNewLineSize = getEscapedNewLineSize(Ptr)) { 1351 // Remember that this token needs to be cleaned. 1352 if (Tok) Tok->setFlag(Token::NeedsCleaning); 1353 1354 // Warn if there was whitespace between the backslash and newline. 1355 if (Ptr[0] != '\n' && Ptr[0] != '\r' && Tok && !isLexingRawMode()) 1356 Diag(Ptr, diag::backslash_newline_space); 1357 1358 // Found backslash<whitespace><newline>. Parse the char after it. 1359 Size += EscapedNewLineSize; 1360 Ptr += EscapedNewLineSize; 1361 1362 // Use slow version to accumulate a correct size field. 1363 return getCharAndSizeSlow(Ptr, Size, Tok); 1364 } 1365 1366 // Otherwise, this is not an escaped newline, just return the slash. 1367 return '\\'; 1368 } 1369 1370 // If this is a trigraph, process it. 1371 if (Ptr[0] == '?' && Ptr[1] == '?') { 1372 // If this is actually a legal trigraph (not something like "??x"), emit 1373 // a trigraph warning. If so, and if trigraphs are enabled, return it. 1374 if (char C = DecodeTrigraphChar(Ptr+2, Tok ? this : nullptr)) { 1375 // Remember that this token needs to be cleaned. 1376 if (Tok) Tok->setFlag(Token::NeedsCleaning); 1377 1378 Ptr += 3; 1379 Size += 3; 1380 if (C == '\\') goto Slash; 1381 return C; 1382 } 1383 } 1384 1385 // If this is neither, return a single character. 1386 ++Size; 1387 return *Ptr; 1388 } 1389 1390 /// getCharAndSizeSlowNoWarn - Handle the slow/uncommon case of the 1391 /// getCharAndSizeNoWarn method. Here we know that we can accumulate into Size, 1392 /// and that we have already incremented Ptr by Size bytes. 1393 /// 1394 /// NOTE: When this method is updated, getCharAndSizeSlow (above) should 1395 /// be updated to match. 1396 char Lexer::getCharAndSizeSlowNoWarn(const char *Ptr, unsigned &Size, 1397 const LangOptions &LangOpts) { 1398 // If we have a slash, look for an escaped newline. 1399 if (Ptr[0] == '\\') { 1400 ++Size; 1401 ++Ptr; 1402 Slash: 1403 // Common case, backslash-char where the char is not whitespace. 1404 if (!isWhitespace(Ptr[0])) return '\\'; 1405 1406 // See if we have optional whitespace characters followed by a newline. 1407 if (unsigned EscapedNewLineSize = getEscapedNewLineSize(Ptr)) { 1408 // Found backslash<whitespace><newline>. Parse the char after it. 1409 Size += EscapedNewLineSize; 1410 Ptr += EscapedNewLineSize; 1411 1412 // Use slow version to accumulate a correct size field. 1413 return getCharAndSizeSlowNoWarn(Ptr, Size, LangOpts); 1414 } 1415 1416 // Otherwise, this is not an escaped newline, just return the slash. 1417 return '\\'; 1418 } 1419 1420 // If this is a trigraph, process it. 1421 if (LangOpts.Trigraphs && Ptr[0] == '?' && Ptr[1] == '?') { 1422 // If this is actually a legal trigraph (not something like "??x"), return 1423 // it. 1424 if (char C = GetTrigraphCharForLetter(Ptr[2])) { 1425 Ptr += 3; 1426 Size += 3; 1427 if (C == '\\') goto Slash; 1428 return C; 1429 } 1430 } 1431 1432 // If this is neither, return a single character. 1433 ++Size; 1434 return *Ptr; 1435 } 1436 1437 //===----------------------------------------------------------------------===// 1438 // Helper methods for lexing. 1439 //===----------------------------------------------------------------------===// 1440 1441 /// Routine that indiscriminately sets the offset into the source file. 1442 void Lexer::SetByteOffset(unsigned Offset, bool StartOfLine) { 1443 BufferPtr = BufferStart + Offset; 1444 if (BufferPtr > BufferEnd) 1445 BufferPtr = BufferEnd; 1446 // FIXME: What exactly does the StartOfLine bit mean? There are two 1447 // possible meanings for the "start" of the line: the first token on the 1448 // unexpanded line, or the first token on the expanded line. 1449 IsAtStartOfLine = StartOfLine; 1450 IsAtPhysicalStartOfLine = StartOfLine; 1451 } 1452 1453 static bool isUnicodeWhitespace(uint32_t Codepoint) { 1454 static const llvm::sys::UnicodeCharSet UnicodeWhitespaceChars( 1455 UnicodeWhitespaceCharRanges); 1456 return UnicodeWhitespaceChars.contains(Codepoint); 1457 } 1458 1459 static bool isAllowedIDChar(uint32_t C, const LangOptions &LangOpts) { 1460 if (LangOpts.AsmPreprocessor) { 1461 return false; 1462 } else if (LangOpts.DollarIdents && '$' == C) { 1463 return true; 1464 } else if (LangOpts.CPlusPlus) { 1465 // A non-leading codepoint must have the XID_Continue property. 1466 // XIDContinueRanges doesn't contains characters also in XIDStartRanges, 1467 // so we need to check both tables. 1468 // '_' doesn't have the XID_Continue property but is allowed in C++. 1469 static const llvm::sys::UnicodeCharSet XIDStartChars(XIDStartRanges); 1470 static const llvm::sys::UnicodeCharSet XIDContinueChars(XIDContinueRanges); 1471 return C == '_' || XIDStartChars.contains(C) || 1472 XIDContinueChars.contains(C); 1473 } else if (LangOpts.C11) { 1474 static const llvm::sys::UnicodeCharSet C11AllowedIDChars( 1475 C11AllowedIDCharRanges); 1476 return C11AllowedIDChars.contains(C); 1477 } else { 1478 static const llvm::sys::UnicodeCharSet C99AllowedIDChars( 1479 C99AllowedIDCharRanges); 1480 return C99AllowedIDChars.contains(C); 1481 } 1482 } 1483 1484 static bool isAllowedInitiallyIDChar(uint32_t C, const LangOptions &LangOpts) { 1485 if (LangOpts.AsmPreprocessor) { 1486 return false; 1487 } 1488 if (LangOpts.CPlusPlus) { 1489 static const llvm::sys::UnicodeCharSet XIDStartChars(XIDStartRanges); 1490 // '_' doesn't have the XID_Start property but is allowed in C++. 1491 return C == '_' || XIDStartChars.contains(C); 1492 } 1493 if (!isAllowedIDChar(C, LangOpts)) 1494 return false; 1495 if (LangOpts.C11) { 1496 static const llvm::sys::UnicodeCharSet C11DisallowedInitialIDChars( 1497 C11DisallowedInitialIDCharRanges); 1498 return !C11DisallowedInitialIDChars.contains(C); 1499 } 1500 static const llvm::sys::UnicodeCharSet C99DisallowedInitialIDChars( 1501 C99DisallowedInitialIDCharRanges); 1502 return !C99DisallowedInitialIDChars.contains(C); 1503 } 1504 1505 static inline CharSourceRange makeCharRange(Lexer &L, const char *Begin, 1506 const char *End) { 1507 return CharSourceRange::getCharRange(L.getSourceLocation(Begin), 1508 L.getSourceLocation(End)); 1509 } 1510 1511 static void maybeDiagnoseIDCharCompat(DiagnosticsEngine &Diags, uint32_t C, 1512 CharSourceRange Range, bool IsFirst) { 1513 // Check C99 compatibility. 1514 if (!Diags.isIgnored(diag::warn_c99_compat_unicode_id, Range.getBegin())) { 1515 enum { 1516 CannotAppearInIdentifier = 0, 1517 CannotStartIdentifier 1518 }; 1519 1520 static const llvm::sys::UnicodeCharSet C99AllowedIDChars( 1521 C99AllowedIDCharRanges); 1522 static const llvm::sys::UnicodeCharSet C99DisallowedInitialIDChars( 1523 C99DisallowedInitialIDCharRanges); 1524 if (!C99AllowedIDChars.contains(C)) { 1525 Diags.Report(Range.getBegin(), diag::warn_c99_compat_unicode_id) 1526 << Range 1527 << CannotAppearInIdentifier; 1528 } else if (IsFirst && C99DisallowedInitialIDChars.contains(C)) { 1529 Diags.Report(Range.getBegin(), diag::warn_c99_compat_unicode_id) 1530 << Range 1531 << CannotStartIdentifier; 1532 } 1533 } 1534 } 1535 1536 /// After encountering UTF-8 character C and interpreting it as an identifier 1537 /// character, check whether it's a homoglyph for a common non-identifier 1538 /// source character that is unlikely to be an intentional identifier 1539 /// character and warn if so. 1540 static void maybeDiagnoseUTF8Homoglyph(DiagnosticsEngine &Diags, uint32_t C, 1541 CharSourceRange Range) { 1542 // FIXME: Handle Unicode quotation marks (smart quotes, fullwidth quotes). 1543 struct HomoglyphPair { 1544 uint32_t Character; 1545 char LooksLike; 1546 bool operator<(HomoglyphPair R) const { return Character < R.Character; } 1547 }; 1548 static constexpr HomoglyphPair SortedHomoglyphs[] = { 1549 {U'\u00ad', 0}, // SOFT HYPHEN 1550 {U'\u01c3', '!'}, // LATIN LETTER RETROFLEX CLICK 1551 {U'\u037e', ';'}, // GREEK QUESTION MARK 1552 {U'\u200b', 0}, // ZERO WIDTH SPACE 1553 {U'\u200c', 0}, // ZERO WIDTH NON-JOINER 1554 {U'\u200d', 0}, // ZERO WIDTH JOINER 1555 {U'\u2060', 0}, // WORD JOINER 1556 {U'\u2061', 0}, // FUNCTION APPLICATION 1557 {U'\u2062', 0}, // INVISIBLE TIMES 1558 {U'\u2063', 0}, // INVISIBLE SEPARATOR 1559 {U'\u2064', 0}, // INVISIBLE PLUS 1560 {U'\u2212', '-'}, // MINUS SIGN 1561 {U'\u2215', '/'}, // DIVISION SLASH 1562 {U'\u2216', '\\'}, // SET MINUS 1563 {U'\u2217', '*'}, // ASTERISK OPERATOR 1564 {U'\u2223', '|'}, // DIVIDES 1565 {U'\u2227', '^'}, // LOGICAL AND 1566 {U'\u2236', ':'}, // RATIO 1567 {U'\u223c', '~'}, // TILDE OPERATOR 1568 {U'\ua789', ':'}, // MODIFIER LETTER COLON 1569 {U'\ufeff', 0}, // ZERO WIDTH NO-BREAK SPACE 1570 {U'\uff01', '!'}, // FULLWIDTH EXCLAMATION MARK 1571 {U'\uff03', '#'}, // FULLWIDTH NUMBER SIGN 1572 {U'\uff04', '$'}, // FULLWIDTH DOLLAR SIGN 1573 {U'\uff05', '%'}, // FULLWIDTH PERCENT SIGN 1574 {U'\uff06', '&'}, // FULLWIDTH AMPERSAND 1575 {U'\uff08', '('}, // FULLWIDTH LEFT PARENTHESIS 1576 {U'\uff09', ')'}, // FULLWIDTH RIGHT PARENTHESIS 1577 {U'\uff0a', '*'}, // FULLWIDTH ASTERISK 1578 {U'\uff0b', '+'}, // FULLWIDTH ASTERISK 1579 {U'\uff0c', ','}, // FULLWIDTH COMMA 1580 {U'\uff0d', '-'}, // FULLWIDTH HYPHEN-MINUS 1581 {U'\uff0e', '.'}, // FULLWIDTH FULL STOP 1582 {U'\uff0f', '/'}, // FULLWIDTH SOLIDUS 1583 {U'\uff1a', ':'}, // FULLWIDTH COLON 1584 {U'\uff1b', ';'}, // FULLWIDTH SEMICOLON 1585 {U'\uff1c', '<'}, // FULLWIDTH LESS-THAN SIGN 1586 {U'\uff1d', '='}, // FULLWIDTH EQUALS SIGN 1587 {U'\uff1e', '>'}, // FULLWIDTH GREATER-THAN SIGN 1588 {U'\uff1f', '?'}, // FULLWIDTH QUESTION MARK 1589 {U'\uff20', '@'}, // FULLWIDTH COMMERCIAL AT 1590 {U'\uff3b', '['}, // FULLWIDTH LEFT SQUARE BRACKET 1591 {U'\uff3c', '\\'}, // FULLWIDTH REVERSE SOLIDUS 1592 {U'\uff3d', ']'}, // FULLWIDTH RIGHT SQUARE BRACKET 1593 {U'\uff3e', '^'}, // FULLWIDTH CIRCUMFLEX ACCENT 1594 {U'\uff5b', '{'}, // FULLWIDTH LEFT CURLY BRACKET 1595 {U'\uff5c', '|'}, // FULLWIDTH VERTICAL LINE 1596 {U'\uff5d', '}'}, // FULLWIDTH RIGHT CURLY BRACKET 1597 {U'\uff5e', '~'}, // FULLWIDTH TILDE 1598 {0, 0} 1599 }; 1600 auto Homoglyph = 1601 std::lower_bound(std::begin(SortedHomoglyphs), 1602 std::end(SortedHomoglyphs) - 1, HomoglyphPair{C, '\0'}); 1603 if (Homoglyph->Character == C) { 1604 llvm::SmallString<5> CharBuf; 1605 { 1606 llvm::raw_svector_ostream CharOS(CharBuf); 1607 llvm::write_hex(CharOS, C, llvm::HexPrintStyle::Upper, 4); 1608 } 1609 if (Homoglyph->LooksLike) { 1610 const char LooksLikeStr[] = {Homoglyph->LooksLike, 0}; 1611 Diags.Report(Range.getBegin(), diag::warn_utf8_symbol_homoglyph) 1612 << Range << CharBuf << LooksLikeStr; 1613 } else { 1614 Diags.Report(Range.getBegin(), diag::warn_utf8_symbol_zero_width) 1615 << Range << CharBuf; 1616 } 1617 } 1618 } 1619 1620 static void diagnoseInvalidUnicodeCodepointInIdentifier( 1621 DiagnosticsEngine &Diags, const LangOptions &LangOpts, uint32_t CodePoint, 1622 CharSourceRange Range, bool IsFirst) { 1623 if (isASCII(CodePoint)) 1624 return; 1625 1626 bool IsIDStart = isAllowedInitiallyIDChar(CodePoint, LangOpts); 1627 bool IsIDContinue = IsIDStart || isAllowedIDChar(CodePoint, LangOpts); 1628 1629 if ((IsFirst && IsIDStart) || (!IsFirst && IsIDContinue)) 1630 return; 1631 1632 bool InvalidOnlyAtStart = IsFirst && !IsIDStart && IsIDContinue; 1633 1634 llvm::SmallString<5> CharBuf; 1635 llvm::raw_svector_ostream CharOS(CharBuf); 1636 llvm::write_hex(CharOS, CodePoint, llvm::HexPrintStyle::Upper, 4); 1637 1638 if (!IsFirst || InvalidOnlyAtStart) { 1639 Diags.Report(Range.getBegin(), diag::err_character_not_allowed_identifier) 1640 << Range << CharBuf << int(InvalidOnlyAtStart) 1641 << FixItHint::CreateRemoval(Range); 1642 } else { 1643 Diags.Report(Range.getBegin(), diag::err_character_not_allowed) 1644 << Range << CharBuf << FixItHint::CreateRemoval(Range); 1645 } 1646 } 1647 1648 bool Lexer::tryConsumeIdentifierUCN(const char *&CurPtr, unsigned Size, 1649 Token &Result) { 1650 const char *UCNPtr = CurPtr + Size; 1651 uint32_t CodePoint = tryReadUCN(UCNPtr, CurPtr, /*Token=*/nullptr); 1652 if (CodePoint == 0) { 1653 return false; 1654 } 1655 1656 if (!isAllowedIDChar(CodePoint, LangOpts)) { 1657 if (isASCII(CodePoint) || isUnicodeWhitespace(CodePoint)) 1658 return false; 1659 if (!isLexingRawMode() && !ParsingPreprocessorDirective && 1660 !PP->isPreprocessedOutput()) 1661 diagnoseInvalidUnicodeCodepointInIdentifier( 1662 PP->getDiagnostics(), LangOpts, CodePoint, 1663 makeCharRange(*this, CurPtr, UCNPtr), 1664 /*IsFirst=*/false); 1665 1666 // We got a unicode codepoint that is neither a space nor a 1667 // a valid identifier part. 1668 // Carry on as if the codepoint was valid for recovery purposes. 1669 } else if (!isLexingRawMode()) 1670 maybeDiagnoseIDCharCompat(PP->getDiagnostics(), CodePoint, 1671 makeCharRange(*this, CurPtr, UCNPtr), 1672 /*IsFirst=*/false); 1673 1674 Result.setFlag(Token::HasUCN); 1675 if ((UCNPtr - CurPtr == 6 && CurPtr[1] == 'u') || 1676 (UCNPtr - CurPtr == 10 && CurPtr[1] == 'U')) 1677 CurPtr = UCNPtr; 1678 else 1679 while (CurPtr != UCNPtr) 1680 (void)getAndAdvanceChar(CurPtr, Result); 1681 return true; 1682 } 1683 1684 bool Lexer::tryConsumeIdentifierUTF8Char(const char *&CurPtr) { 1685 const char *UnicodePtr = CurPtr; 1686 llvm::UTF32 CodePoint; 1687 llvm::ConversionResult Result = 1688 llvm::convertUTF8Sequence((const llvm::UTF8 **)&UnicodePtr, 1689 (const llvm::UTF8 *)BufferEnd, 1690 &CodePoint, 1691 llvm::strictConversion); 1692 if (Result != llvm::conversionOK) 1693 return false; 1694 1695 if (!isAllowedIDChar(static_cast<uint32_t>(CodePoint), LangOpts)) { 1696 if (isASCII(CodePoint) || isUnicodeWhitespace(CodePoint)) 1697 return false; 1698 1699 if (!isLexingRawMode() && !ParsingPreprocessorDirective && 1700 !PP->isPreprocessedOutput()) 1701 diagnoseInvalidUnicodeCodepointInIdentifier( 1702 PP->getDiagnostics(), LangOpts, CodePoint, 1703 makeCharRange(*this, CurPtr, UnicodePtr), /*IsFirst=*/false); 1704 // We got a unicode codepoint that is neither a space nor a 1705 // a valid identifier part. Carry on as if the codepoint was 1706 // valid for recovery purposes. 1707 } else if (!isLexingRawMode()) { 1708 maybeDiagnoseIDCharCompat(PP->getDiagnostics(), CodePoint, 1709 makeCharRange(*this, CurPtr, UnicodePtr), 1710 /*IsFirst=*/false); 1711 maybeDiagnoseUTF8Homoglyph(PP->getDiagnostics(), CodePoint, 1712 makeCharRange(*this, CurPtr, UnicodePtr)); 1713 } 1714 1715 CurPtr = UnicodePtr; 1716 return true; 1717 } 1718 1719 bool Lexer::LexUnicodeIdentifierStart(Token &Result, uint32_t C, 1720 const char *CurPtr) { 1721 if (isAllowedInitiallyIDChar(C, LangOpts)) { 1722 if (!isLexingRawMode() && !ParsingPreprocessorDirective && 1723 !PP->isPreprocessedOutput()) { 1724 maybeDiagnoseIDCharCompat(PP->getDiagnostics(), C, 1725 makeCharRange(*this, BufferPtr, CurPtr), 1726 /*IsFirst=*/true); 1727 maybeDiagnoseUTF8Homoglyph(PP->getDiagnostics(), C, 1728 makeCharRange(*this, BufferPtr, CurPtr)); 1729 } 1730 1731 MIOpt.ReadToken(); 1732 return LexIdentifierContinue(Result, CurPtr); 1733 } 1734 1735 if (!isLexingRawMode() && !ParsingPreprocessorDirective && 1736 !PP->isPreprocessedOutput() && !isASCII(*BufferPtr) && 1737 !isAllowedInitiallyIDChar(C, LangOpts) && !isUnicodeWhitespace(C)) { 1738 // Non-ASCII characters tend to creep into source code unintentionally. 1739 // Instead of letting the parser complain about the unknown token, 1740 // just drop the character. 1741 // Note that we can /only/ do this when the non-ASCII character is actually 1742 // spelled as Unicode, not written as a UCN. The standard requires that 1743 // we not throw away any possible preprocessor tokens, but there's a 1744 // loophole in the mapping of Unicode characters to basic character set 1745 // characters that allows us to map these particular characters to, say, 1746 // whitespace. 1747 diagnoseInvalidUnicodeCodepointInIdentifier( 1748 PP->getDiagnostics(), LangOpts, C, 1749 makeCharRange(*this, BufferPtr, CurPtr), /*IsStart*/ true); 1750 BufferPtr = CurPtr; 1751 return false; 1752 } 1753 1754 // Otherwise, we have an explicit UCN or a character that's unlikely to show 1755 // up by accident. 1756 MIOpt.ReadToken(); 1757 FormTokenWithChars(Result, CurPtr, tok::unknown); 1758 return true; 1759 } 1760 1761 bool Lexer::LexIdentifierContinue(Token &Result, const char *CurPtr) { 1762 // Match [_A-Za-z0-9]*, we have already matched an identifier start. 1763 while (true) { 1764 unsigned char C = *CurPtr; 1765 // Fast path. 1766 if (isAsciiIdentifierContinue(C)) { 1767 ++CurPtr; 1768 continue; 1769 } 1770 1771 unsigned Size; 1772 // Slow path: handle trigraph, unicode codepoints, UCNs. 1773 C = getCharAndSize(CurPtr, Size); 1774 if (isAsciiIdentifierContinue(C)) { 1775 CurPtr = ConsumeChar(CurPtr, Size, Result); 1776 continue; 1777 } 1778 if (C == '$') { 1779 // If we hit a $ and they are not supported in identifiers, we are done. 1780 if (!LangOpts.DollarIdents) 1781 break; 1782 // Otherwise, emit a diagnostic and continue. 1783 if (!isLexingRawMode()) 1784 Diag(CurPtr, diag::ext_dollar_in_identifier); 1785 CurPtr = ConsumeChar(CurPtr, Size, Result); 1786 continue; 1787 } 1788 if (C == '\\' && tryConsumeIdentifierUCN(CurPtr, Size, Result)) 1789 continue; 1790 if (!isASCII(C) && tryConsumeIdentifierUTF8Char(CurPtr)) 1791 continue; 1792 // Neither an expected Unicode codepoint nor a UCN. 1793 break; 1794 } 1795 1796 const char *IdStart = BufferPtr; 1797 FormTokenWithChars(Result, CurPtr, tok::raw_identifier); 1798 Result.setRawIdentifierData(IdStart); 1799 1800 // If we are in raw mode, return this identifier raw. There is no need to 1801 // look up identifier information or attempt to macro expand it. 1802 if (LexingRawMode) 1803 return true; 1804 1805 // Fill in Result.IdentifierInfo and update the token kind, 1806 // looking up the identifier in the identifier table. 1807 IdentifierInfo *II = PP->LookUpIdentifierInfo(Result); 1808 // Note that we have to call PP->LookUpIdentifierInfo() even for code 1809 // completion, it writes IdentifierInfo into Result, and callers rely on it. 1810 1811 // If the completion point is at the end of an identifier, we want to treat 1812 // the identifier as incomplete even if it resolves to a macro or a keyword. 1813 // This allows e.g. 'class^' to complete to 'classifier'. 1814 if (isCodeCompletionPoint(CurPtr)) { 1815 // Return the code-completion token. 1816 Result.setKind(tok::code_completion); 1817 // Skip the code-completion char and all immediate identifier characters. 1818 // This ensures we get consistent behavior when completing at any point in 1819 // an identifier (i.e. at the start, in the middle, at the end). Note that 1820 // only simple cases (i.e. [a-zA-Z0-9_]) are supported to keep the code 1821 // simpler. 1822 assert(*CurPtr == 0 && "Completion character must be 0"); 1823 ++CurPtr; 1824 // Note that code completion token is not added as a separate character 1825 // when the completion point is at the end of the buffer. Therefore, we need 1826 // to check if the buffer has ended. 1827 if (CurPtr < BufferEnd) { 1828 while (isAsciiIdentifierContinue(*CurPtr)) 1829 ++CurPtr; 1830 } 1831 BufferPtr = CurPtr; 1832 return true; 1833 } 1834 1835 // Finally, now that we know we have an identifier, pass this off to the 1836 // preprocessor, which may macro expand it or something. 1837 if (II->isHandleIdentifierCase()) 1838 return PP->HandleIdentifier(Result); 1839 1840 return true; 1841 } 1842 1843 /// isHexaLiteral - Return true if Start points to a hex constant. 1844 /// in microsoft mode (where this is supposed to be several different tokens). 1845 bool Lexer::isHexaLiteral(const char *Start, const LangOptions &LangOpts) { 1846 unsigned Size; 1847 char C1 = Lexer::getCharAndSizeNoWarn(Start, Size, LangOpts); 1848 if (C1 != '0') 1849 return false; 1850 char C2 = Lexer::getCharAndSizeNoWarn(Start + Size, Size, LangOpts); 1851 return (C2 == 'x' || C2 == 'X'); 1852 } 1853 1854 /// LexNumericConstant - Lex the remainder of a integer or floating point 1855 /// constant. From[-1] is the first character lexed. Return the end of the 1856 /// constant. 1857 bool Lexer::LexNumericConstant(Token &Result, const char *CurPtr) { 1858 unsigned Size; 1859 char C = getCharAndSize(CurPtr, Size); 1860 char PrevCh = 0; 1861 while (isPreprocessingNumberBody(C)) { 1862 CurPtr = ConsumeChar(CurPtr, Size, Result); 1863 PrevCh = C; 1864 C = getCharAndSize(CurPtr, Size); 1865 } 1866 1867 // If we fell out, check for a sign, due to 1e+12. If we have one, continue. 1868 if ((C == '-' || C == '+') && (PrevCh == 'E' || PrevCh == 'e')) { 1869 // If we are in Microsoft mode, don't continue if the constant is hex. 1870 // For example, MSVC will accept the following as 3 tokens: 0x1234567e+1 1871 if (!LangOpts.MicrosoftExt || !isHexaLiteral(BufferPtr, LangOpts)) 1872 return LexNumericConstant(Result, ConsumeChar(CurPtr, Size, Result)); 1873 } 1874 1875 // If we have a hex FP constant, continue. 1876 if ((C == '-' || C == '+') && (PrevCh == 'P' || PrevCh == 'p')) { 1877 // Outside C99 and C++17, we accept hexadecimal floating point numbers as a 1878 // not-quite-conforming extension. Only do so if this looks like it's 1879 // actually meant to be a hexfloat, and not if it has a ud-suffix. 1880 bool IsHexFloat = true; 1881 if (!LangOpts.C99) { 1882 if (!isHexaLiteral(BufferPtr, LangOpts)) 1883 IsHexFloat = false; 1884 else if (!LangOpts.CPlusPlus17 && 1885 std::find(BufferPtr, CurPtr, '_') != CurPtr) 1886 IsHexFloat = false; 1887 } 1888 if (IsHexFloat) 1889 return LexNumericConstant(Result, ConsumeChar(CurPtr, Size, Result)); 1890 } 1891 1892 // If we have a digit separator, continue. 1893 if (C == '\'' && (LangOpts.CPlusPlus14 || LangOpts.C2x)) { 1894 unsigned NextSize; 1895 char Next = getCharAndSizeNoWarn(CurPtr + Size, NextSize, LangOpts); 1896 if (isAsciiIdentifierContinue(Next)) { 1897 if (!isLexingRawMode()) 1898 Diag(CurPtr, LangOpts.CPlusPlus 1899 ? diag::warn_cxx11_compat_digit_separator 1900 : diag::warn_c2x_compat_digit_separator); 1901 CurPtr = ConsumeChar(CurPtr, Size, Result); 1902 CurPtr = ConsumeChar(CurPtr, NextSize, Result); 1903 return LexNumericConstant(Result, CurPtr); 1904 } 1905 } 1906 1907 // If we have a UCN or UTF-8 character (perhaps in a ud-suffix), continue. 1908 if (C == '\\' && tryConsumeIdentifierUCN(CurPtr, Size, Result)) 1909 return LexNumericConstant(Result, CurPtr); 1910 if (!isASCII(C) && tryConsumeIdentifierUTF8Char(CurPtr)) 1911 return LexNumericConstant(Result, CurPtr); 1912 1913 // Update the location of token as well as BufferPtr. 1914 const char *TokStart = BufferPtr; 1915 FormTokenWithChars(Result, CurPtr, tok::numeric_constant); 1916 Result.setLiteralData(TokStart); 1917 return true; 1918 } 1919 1920 /// LexUDSuffix - Lex the ud-suffix production for user-defined literal suffixes 1921 /// in C++11, or warn on a ud-suffix in C++98. 1922 const char *Lexer::LexUDSuffix(Token &Result, const char *CurPtr, 1923 bool IsStringLiteral) { 1924 assert(LangOpts.CPlusPlus); 1925 1926 // Maximally munch an identifier. 1927 unsigned Size; 1928 char C = getCharAndSize(CurPtr, Size); 1929 bool Consumed = false; 1930 1931 if (!isAsciiIdentifierStart(C)) { 1932 if (C == '\\' && tryConsumeIdentifierUCN(CurPtr, Size, Result)) 1933 Consumed = true; 1934 else if (!isASCII(C) && tryConsumeIdentifierUTF8Char(CurPtr)) 1935 Consumed = true; 1936 else 1937 return CurPtr; 1938 } 1939 1940 if (!LangOpts.CPlusPlus11) { 1941 if (!isLexingRawMode()) 1942 Diag(CurPtr, 1943 C == '_' ? diag::warn_cxx11_compat_user_defined_literal 1944 : diag::warn_cxx11_compat_reserved_user_defined_literal) 1945 << FixItHint::CreateInsertion(getSourceLocation(CurPtr), " "); 1946 return CurPtr; 1947 } 1948 1949 // C++11 [lex.ext]p10, [usrlit.suffix]p1: A program containing a ud-suffix 1950 // that does not start with an underscore is ill-formed. As a conforming 1951 // extension, we treat all such suffixes as if they had whitespace before 1952 // them. We assume a suffix beginning with a UCN or UTF-8 character is more 1953 // likely to be a ud-suffix than a macro, however, and accept that. 1954 if (!Consumed) { 1955 bool IsUDSuffix = false; 1956 if (C == '_') 1957 IsUDSuffix = true; 1958 else if (IsStringLiteral && LangOpts.CPlusPlus14) { 1959 // In C++1y, we need to look ahead a few characters to see if this is a 1960 // valid suffix for a string literal or a numeric literal (this could be 1961 // the 'operator""if' defining a numeric literal operator). 1962 const unsigned MaxStandardSuffixLength = 3; 1963 char Buffer[MaxStandardSuffixLength] = { C }; 1964 unsigned Consumed = Size; 1965 unsigned Chars = 1; 1966 while (true) { 1967 unsigned NextSize; 1968 char Next = getCharAndSizeNoWarn(CurPtr + Consumed, NextSize, LangOpts); 1969 if (!isAsciiIdentifierContinue(Next)) { 1970 // End of suffix. Check whether this is on the allowed list. 1971 const StringRef CompleteSuffix(Buffer, Chars); 1972 IsUDSuffix = 1973 StringLiteralParser::isValidUDSuffix(LangOpts, CompleteSuffix); 1974 break; 1975 } 1976 1977 if (Chars == MaxStandardSuffixLength) 1978 // Too long: can't be a standard suffix. 1979 break; 1980 1981 Buffer[Chars++] = Next; 1982 Consumed += NextSize; 1983 } 1984 } 1985 1986 if (!IsUDSuffix) { 1987 if (!isLexingRawMode()) 1988 Diag(CurPtr, LangOpts.MSVCCompat 1989 ? diag::ext_ms_reserved_user_defined_literal 1990 : diag::ext_reserved_user_defined_literal) 1991 << FixItHint::CreateInsertion(getSourceLocation(CurPtr), " "); 1992 return CurPtr; 1993 } 1994 1995 CurPtr = ConsumeChar(CurPtr, Size, Result); 1996 } 1997 1998 Result.setFlag(Token::HasUDSuffix); 1999 while (true) { 2000 C = getCharAndSize(CurPtr, Size); 2001 if (isAsciiIdentifierContinue(C)) { 2002 CurPtr = ConsumeChar(CurPtr, Size, Result); 2003 } else if (C == '\\' && tryConsumeIdentifierUCN(CurPtr, Size, Result)) { 2004 } else if (!isASCII(C) && tryConsumeIdentifierUTF8Char(CurPtr)) { 2005 } else 2006 break; 2007 } 2008 2009 return CurPtr; 2010 } 2011 2012 /// LexStringLiteral - Lex the remainder of a string literal, after having lexed 2013 /// either " or L" or u8" or u" or U". 2014 bool Lexer::LexStringLiteral(Token &Result, const char *CurPtr, 2015 tok::TokenKind Kind) { 2016 const char *AfterQuote = CurPtr; 2017 // Does this string contain the \0 character? 2018 const char *NulCharacter = nullptr; 2019 2020 if (!isLexingRawMode() && 2021 (Kind == tok::utf8_string_literal || 2022 Kind == tok::utf16_string_literal || 2023 Kind == tok::utf32_string_literal)) 2024 Diag(BufferPtr, LangOpts.CPlusPlus ? diag::warn_cxx98_compat_unicode_literal 2025 : diag::warn_c99_compat_unicode_literal); 2026 2027 char C = getAndAdvanceChar(CurPtr, Result); 2028 while (C != '"') { 2029 // Skip escaped characters. Escaped newlines will already be processed by 2030 // getAndAdvanceChar. 2031 if (C == '\\') 2032 C = getAndAdvanceChar(CurPtr, Result); 2033 2034 if (C == '\n' || C == '\r' || // Newline. 2035 (C == 0 && CurPtr-1 == BufferEnd)) { // End of file. 2036 if (!isLexingRawMode() && !LangOpts.AsmPreprocessor) 2037 Diag(BufferPtr, diag::ext_unterminated_char_or_string) << 1; 2038 FormTokenWithChars(Result, CurPtr-1, tok::unknown); 2039 return true; 2040 } 2041 2042 if (C == 0) { 2043 if (isCodeCompletionPoint(CurPtr-1)) { 2044 if (ParsingFilename) 2045 codeCompleteIncludedFile(AfterQuote, CurPtr - 1, /*IsAngled=*/false); 2046 else 2047 PP->CodeCompleteNaturalLanguage(); 2048 FormTokenWithChars(Result, CurPtr - 1, tok::unknown); 2049 cutOffLexing(); 2050 return true; 2051 } 2052 2053 NulCharacter = CurPtr-1; 2054 } 2055 C = getAndAdvanceChar(CurPtr, Result); 2056 } 2057 2058 // If we are in C++11, lex the optional ud-suffix. 2059 if (LangOpts.CPlusPlus) 2060 CurPtr = LexUDSuffix(Result, CurPtr, true); 2061 2062 // If a nul character existed in the string, warn about it. 2063 if (NulCharacter && !isLexingRawMode()) 2064 Diag(NulCharacter, diag::null_in_char_or_string) << 1; 2065 2066 // Update the location of the token as well as the BufferPtr instance var. 2067 const char *TokStart = BufferPtr; 2068 FormTokenWithChars(Result, CurPtr, Kind); 2069 Result.setLiteralData(TokStart); 2070 return true; 2071 } 2072 2073 /// LexRawStringLiteral - Lex the remainder of a raw string literal, after 2074 /// having lexed R", LR", u8R", uR", or UR". 2075 bool Lexer::LexRawStringLiteral(Token &Result, const char *CurPtr, 2076 tok::TokenKind Kind) { 2077 // This function doesn't use getAndAdvanceChar because C++0x [lex.pptoken]p3: 2078 // Between the initial and final double quote characters of the raw string, 2079 // any transformations performed in phases 1 and 2 (trigraphs, 2080 // universal-character-names, and line splicing) are reverted. 2081 2082 if (!isLexingRawMode()) 2083 Diag(BufferPtr, diag::warn_cxx98_compat_raw_string_literal); 2084 2085 unsigned PrefixLen = 0; 2086 2087 while (PrefixLen != 16 && isRawStringDelimBody(CurPtr[PrefixLen])) 2088 ++PrefixLen; 2089 2090 // If the last character was not a '(', then we didn't lex a valid delimiter. 2091 if (CurPtr[PrefixLen] != '(') { 2092 if (!isLexingRawMode()) { 2093 const char *PrefixEnd = &CurPtr[PrefixLen]; 2094 if (PrefixLen == 16) { 2095 Diag(PrefixEnd, diag::err_raw_delim_too_long); 2096 } else { 2097 Diag(PrefixEnd, diag::err_invalid_char_raw_delim) 2098 << StringRef(PrefixEnd, 1); 2099 } 2100 } 2101 2102 // Search for the next '"' in hopes of salvaging the lexer. Unfortunately, 2103 // it's possible the '"' was intended to be part of the raw string, but 2104 // there's not much we can do about that. 2105 while (true) { 2106 char C = *CurPtr++; 2107 2108 if (C == '"') 2109 break; 2110 if (C == 0 && CurPtr-1 == BufferEnd) { 2111 --CurPtr; 2112 break; 2113 } 2114 } 2115 2116 FormTokenWithChars(Result, CurPtr, tok::unknown); 2117 return true; 2118 } 2119 2120 // Save prefix and move CurPtr past it 2121 const char *Prefix = CurPtr; 2122 CurPtr += PrefixLen + 1; // skip over prefix and '(' 2123 2124 while (true) { 2125 char C = *CurPtr++; 2126 2127 if (C == ')') { 2128 // Check for prefix match and closing quote. 2129 if (strncmp(CurPtr, Prefix, PrefixLen) == 0 && CurPtr[PrefixLen] == '"') { 2130 CurPtr += PrefixLen + 1; // skip over prefix and '"' 2131 break; 2132 } 2133 } else if (C == 0 && CurPtr-1 == BufferEnd) { // End of file. 2134 if (!isLexingRawMode()) 2135 Diag(BufferPtr, diag::err_unterminated_raw_string) 2136 << StringRef(Prefix, PrefixLen); 2137 FormTokenWithChars(Result, CurPtr-1, tok::unknown); 2138 return true; 2139 } 2140 } 2141 2142 // If we are in C++11, lex the optional ud-suffix. 2143 if (LangOpts.CPlusPlus) 2144 CurPtr = LexUDSuffix(Result, CurPtr, true); 2145 2146 // Update the location of token as well as BufferPtr. 2147 const char *TokStart = BufferPtr; 2148 FormTokenWithChars(Result, CurPtr, Kind); 2149 Result.setLiteralData(TokStart); 2150 return true; 2151 } 2152 2153 /// LexAngledStringLiteral - Lex the remainder of an angled string literal, 2154 /// after having lexed the '<' character. This is used for #include filenames. 2155 bool Lexer::LexAngledStringLiteral(Token &Result, const char *CurPtr) { 2156 // Does this string contain the \0 character? 2157 const char *NulCharacter = nullptr; 2158 const char *AfterLessPos = CurPtr; 2159 char C = getAndAdvanceChar(CurPtr, Result); 2160 while (C != '>') { 2161 // Skip escaped characters. Escaped newlines will already be processed by 2162 // getAndAdvanceChar. 2163 if (C == '\\') 2164 C = getAndAdvanceChar(CurPtr, Result); 2165 2166 if (isVerticalWhitespace(C) || // Newline. 2167 (C == 0 && (CurPtr - 1 == BufferEnd))) { // End of file. 2168 // If the filename is unterminated, then it must just be a lone < 2169 // character. Return this as such. 2170 FormTokenWithChars(Result, AfterLessPos, tok::less); 2171 return true; 2172 } 2173 2174 if (C == 0) { 2175 if (isCodeCompletionPoint(CurPtr - 1)) { 2176 codeCompleteIncludedFile(AfterLessPos, CurPtr - 1, /*IsAngled=*/true); 2177 cutOffLexing(); 2178 FormTokenWithChars(Result, CurPtr - 1, tok::unknown); 2179 return true; 2180 } 2181 NulCharacter = CurPtr-1; 2182 } 2183 C = getAndAdvanceChar(CurPtr, Result); 2184 } 2185 2186 // If a nul character existed in the string, warn about it. 2187 if (NulCharacter && !isLexingRawMode()) 2188 Diag(NulCharacter, diag::null_in_char_or_string) << 1; 2189 2190 // Update the location of token as well as BufferPtr. 2191 const char *TokStart = BufferPtr; 2192 FormTokenWithChars(Result, CurPtr, tok::header_name); 2193 Result.setLiteralData(TokStart); 2194 return true; 2195 } 2196 2197 void Lexer::codeCompleteIncludedFile(const char *PathStart, 2198 const char *CompletionPoint, 2199 bool IsAngled) { 2200 // Completion only applies to the filename, after the last slash. 2201 StringRef PartialPath(PathStart, CompletionPoint - PathStart); 2202 llvm::StringRef SlashChars = LangOpts.MSVCCompat ? "/\\" : "/"; 2203 auto Slash = PartialPath.find_last_of(SlashChars); 2204 StringRef Dir = 2205 (Slash == StringRef::npos) ? "" : PartialPath.take_front(Slash); 2206 const char *StartOfFilename = 2207 (Slash == StringRef::npos) ? PathStart : PathStart + Slash + 1; 2208 // Code completion filter range is the filename only, up to completion point. 2209 PP->setCodeCompletionIdentifierInfo(&PP->getIdentifierTable().get( 2210 StringRef(StartOfFilename, CompletionPoint - StartOfFilename))); 2211 // We should replace the characters up to the closing quote or closest slash, 2212 // if any. 2213 while (CompletionPoint < BufferEnd) { 2214 char Next = *(CompletionPoint + 1); 2215 if (Next == 0 || Next == '\r' || Next == '\n') 2216 break; 2217 ++CompletionPoint; 2218 if (Next == (IsAngled ? '>' : '"')) 2219 break; 2220 if (llvm::is_contained(SlashChars, Next)) 2221 break; 2222 } 2223 2224 PP->setCodeCompletionTokenRange( 2225 FileLoc.getLocWithOffset(StartOfFilename - BufferStart), 2226 FileLoc.getLocWithOffset(CompletionPoint - BufferStart)); 2227 PP->CodeCompleteIncludedFile(Dir, IsAngled); 2228 } 2229 2230 /// LexCharConstant - Lex the remainder of a character constant, after having 2231 /// lexed either ' or L' or u8' or u' or U'. 2232 bool Lexer::LexCharConstant(Token &Result, const char *CurPtr, 2233 tok::TokenKind Kind) { 2234 // Does this character contain the \0 character? 2235 const char *NulCharacter = nullptr; 2236 2237 if (!isLexingRawMode()) { 2238 if (Kind == tok::utf16_char_constant || Kind == tok::utf32_char_constant) 2239 Diag(BufferPtr, LangOpts.CPlusPlus 2240 ? diag::warn_cxx98_compat_unicode_literal 2241 : diag::warn_c99_compat_unicode_literal); 2242 else if (Kind == tok::utf8_char_constant) 2243 Diag(BufferPtr, diag::warn_cxx14_compat_u8_character_literal); 2244 } 2245 2246 char C = getAndAdvanceChar(CurPtr, Result); 2247 if (C == '\'') { 2248 if (!isLexingRawMode() && !LangOpts.AsmPreprocessor) 2249 Diag(BufferPtr, diag::ext_empty_character); 2250 FormTokenWithChars(Result, CurPtr, tok::unknown); 2251 return true; 2252 } 2253 2254 while (C != '\'') { 2255 // Skip escaped characters. 2256 if (C == '\\') 2257 C = getAndAdvanceChar(CurPtr, Result); 2258 2259 if (C == '\n' || C == '\r' || // Newline. 2260 (C == 0 && CurPtr-1 == BufferEnd)) { // End of file. 2261 if (!isLexingRawMode() && !LangOpts.AsmPreprocessor) 2262 Diag(BufferPtr, diag::ext_unterminated_char_or_string) << 0; 2263 FormTokenWithChars(Result, CurPtr-1, tok::unknown); 2264 return true; 2265 } 2266 2267 if (C == 0) { 2268 if (isCodeCompletionPoint(CurPtr-1)) { 2269 PP->CodeCompleteNaturalLanguage(); 2270 FormTokenWithChars(Result, CurPtr-1, tok::unknown); 2271 cutOffLexing(); 2272 return true; 2273 } 2274 2275 NulCharacter = CurPtr-1; 2276 } 2277 C = getAndAdvanceChar(CurPtr, Result); 2278 } 2279 2280 // If we are in C++11, lex the optional ud-suffix. 2281 if (LangOpts.CPlusPlus) 2282 CurPtr = LexUDSuffix(Result, CurPtr, false); 2283 2284 // If a nul character existed in the character, warn about it. 2285 if (NulCharacter && !isLexingRawMode()) 2286 Diag(NulCharacter, diag::null_in_char_or_string) << 0; 2287 2288 // Update the location of token as well as BufferPtr. 2289 const char *TokStart = BufferPtr; 2290 FormTokenWithChars(Result, CurPtr, Kind); 2291 Result.setLiteralData(TokStart); 2292 return true; 2293 } 2294 2295 /// SkipWhitespace - Efficiently skip over a series of whitespace characters. 2296 /// Update BufferPtr to point to the next non-whitespace character and return. 2297 /// 2298 /// This method forms a token and returns true if KeepWhitespaceMode is enabled. 2299 bool Lexer::SkipWhitespace(Token &Result, const char *CurPtr, 2300 bool &TokAtPhysicalStartOfLine) { 2301 // Whitespace - Skip it, then return the token after the whitespace. 2302 bool SawNewline = isVerticalWhitespace(CurPtr[-1]); 2303 2304 unsigned char Char = *CurPtr; 2305 2306 const char *lastNewLine = nullptr; 2307 auto setLastNewLine = [&](const char *Ptr) { 2308 lastNewLine = Ptr; 2309 if (!NewLinePtr) 2310 NewLinePtr = Ptr; 2311 }; 2312 if (SawNewline) 2313 setLastNewLine(CurPtr - 1); 2314 2315 // Skip consecutive spaces efficiently. 2316 while (true) { 2317 // Skip horizontal whitespace very aggressively. 2318 while (isHorizontalWhitespace(Char)) 2319 Char = *++CurPtr; 2320 2321 // Otherwise if we have something other than whitespace, we're done. 2322 if (!isVerticalWhitespace(Char)) 2323 break; 2324 2325 if (ParsingPreprocessorDirective) { 2326 // End of preprocessor directive line, let LexTokenInternal handle this. 2327 BufferPtr = CurPtr; 2328 return false; 2329 } 2330 2331 // OK, but handle newline. 2332 if (*CurPtr == '\n') 2333 setLastNewLine(CurPtr); 2334 SawNewline = true; 2335 Char = *++CurPtr; 2336 } 2337 2338 // If the client wants us to return whitespace, return it now. 2339 if (isKeepWhitespaceMode()) { 2340 FormTokenWithChars(Result, CurPtr, tok::unknown); 2341 if (SawNewline) { 2342 IsAtStartOfLine = true; 2343 IsAtPhysicalStartOfLine = true; 2344 } 2345 // FIXME: The next token will not have LeadingSpace set. 2346 return true; 2347 } 2348 2349 // If this isn't immediately after a newline, there is leading space. 2350 char PrevChar = CurPtr[-1]; 2351 bool HasLeadingSpace = !isVerticalWhitespace(PrevChar); 2352 2353 Result.setFlagValue(Token::LeadingSpace, HasLeadingSpace); 2354 if (SawNewline) { 2355 Result.setFlag(Token::StartOfLine); 2356 TokAtPhysicalStartOfLine = true; 2357 2358 if (NewLinePtr && lastNewLine && NewLinePtr != lastNewLine && PP) { 2359 if (auto *Handler = PP->getEmptylineHandler()) 2360 Handler->HandleEmptyline(SourceRange(getSourceLocation(NewLinePtr + 1), 2361 getSourceLocation(lastNewLine))); 2362 } 2363 } 2364 2365 BufferPtr = CurPtr; 2366 return false; 2367 } 2368 2369 /// We have just read the // characters from input. Skip until we find the 2370 /// newline character that terminates the comment. Then update BufferPtr and 2371 /// return. 2372 /// 2373 /// If we're in KeepCommentMode or any CommentHandler has inserted 2374 /// some tokens, this will store the first token and return true. 2375 bool Lexer::SkipLineComment(Token &Result, const char *CurPtr, 2376 bool &TokAtPhysicalStartOfLine) { 2377 // If Line comments aren't explicitly enabled for this language, emit an 2378 // extension warning. 2379 if (!LangOpts.LineComment) { 2380 if (!isLexingRawMode()) // There's no PP in raw mode, so can't emit diags. 2381 Diag(BufferPtr, diag::ext_line_comment); 2382 2383 // Mark them enabled so we only emit one warning for this translation 2384 // unit. 2385 LangOpts.LineComment = true; 2386 } 2387 2388 // Scan over the body of the comment. The common case, when scanning, is that 2389 // the comment contains normal ascii characters with nothing interesting in 2390 // them. As such, optimize for this case with the inner loop. 2391 // 2392 // This loop terminates with CurPtr pointing at the newline (or end of buffer) 2393 // character that ends the line comment. 2394 char C; 2395 while (true) { 2396 C = *CurPtr; 2397 // Skip over characters in the fast loop. 2398 while (C != 0 && // Potentially EOF. 2399 C != '\n' && C != '\r') // Newline or DOS-style newline. 2400 C = *++CurPtr; 2401 2402 const char *NextLine = CurPtr; 2403 if (C != 0) { 2404 // We found a newline, see if it's escaped. 2405 const char *EscapePtr = CurPtr-1; 2406 bool HasSpace = false; 2407 while (isHorizontalWhitespace(*EscapePtr)) { // Skip whitespace. 2408 --EscapePtr; 2409 HasSpace = true; 2410 } 2411 2412 if (*EscapePtr == '\\') 2413 // Escaped newline. 2414 CurPtr = EscapePtr; 2415 else if (EscapePtr[0] == '/' && EscapePtr[-1] == '?' && 2416 EscapePtr[-2] == '?' && LangOpts.Trigraphs) 2417 // Trigraph-escaped newline. 2418 CurPtr = EscapePtr-2; 2419 else 2420 break; // This is a newline, we're done. 2421 2422 // If there was space between the backslash and newline, warn about it. 2423 if (HasSpace && !isLexingRawMode()) 2424 Diag(EscapePtr, diag::backslash_newline_space); 2425 } 2426 2427 // Otherwise, this is a hard case. Fall back on getAndAdvanceChar to 2428 // properly decode the character. Read it in raw mode to avoid emitting 2429 // diagnostics about things like trigraphs. If we see an escaped newline, 2430 // we'll handle it below. 2431 const char *OldPtr = CurPtr; 2432 bool OldRawMode = isLexingRawMode(); 2433 LexingRawMode = true; 2434 C = getAndAdvanceChar(CurPtr, Result); 2435 LexingRawMode = OldRawMode; 2436 2437 // If we only read only one character, then no special handling is needed. 2438 // We're done and can skip forward to the newline. 2439 if (C != 0 && CurPtr == OldPtr+1) { 2440 CurPtr = NextLine; 2441 break; 2442 } 2443 2444 // If we read multiple characters, and one of those characters was a \r or 2445 // \n, then we had an escaped newline within the comment. Emit diagnostic 2446 // unless the next line is also a // comment. 2447 if (CurPtr != OldPtr + 1 && C != '/' && 2448 (CurPtr == BufferEnd + 1 || CurPtr[0] != '/')) { 2449 for (; OldPtr != CurPtr; ++OldPtr) 2450 if (OldPtr[0] == '\n' || OldPtr[0] == '\r') { 2451 // Okay, we found a // comment that ends in a newline, if the next 2452 // line is also a // comment, but has spaces, don't emit a diagnostic. 2453 if (isWhitespace(C)) { 2454 const char *ForwardPtr = CurPtr; 2455 while (isWhitespace(*ForwardPtr)) // Skip whitespace. 2456 ++ForwardPtr; 2457 if (ForwardPtr[0] == '/' && ForwardPtr[1] == '/') 2458 break; 2459 } 2460 2461 if (!isLexingRawMode()) 2462 Diag(OldPtr-1, diag::ext_multi_line_line_comment); 2463 break; 2464 } 2465 } 2466 2467 if (C == '\r' || C == '\n' || CurPtr == BufferEnd + 1) { 2468 --CurPtr; 2469 break; 2470 } 2471 2472 if (C == '\0' && isCodeCompletionPoint(CurPtr-1)) { 2473 PP->CodeCompleteNaturalLanguage(); 2474 cutOffLexing(); 2475 return false; 2476 } 2477 } 2478 2479 // Found but did not consume the newline. Notify comment handlers about the 2480 // comment unless we're in a #if 0 block. 2481 if (PP && !isLexingRawMode() && 2482 PP->HandleComment(Result, SourceRange(getSourceLocation(BufferPtr), 2483 getSourceLocation(CurPtr)))) { 2484 BufferPtr = CurPtr; 2485 return true; // A token has to be returned. 2486 } 2487 2488 // If we are returning comments as tokens, return this comment as a token. 2489 if (inKeepCommentMode()) 2490 return SaveLineComment(Result, CurPtr); 2491 2492 // If we are inside a preprocessor directive and we see the end of line, 2493 // return immediately, so that the lexer can return this as an EOD token. 2494 if (ParsingPreprocessorDirective || CurPtr == BufferEnd) { 2495 BufferPtr = CurPtr; 2496 return false; 2497 } 2498 2499 // Otherwise, eat the \n character. We don't care if this is a \n\r or 2500 // \r\n sequence. This is an efficiency hack (because we know the \n can't 2501 // contribute to another token), it isn't needed for correctness. Note that 2502 // this is ok even in KeepWhitespaceMode, because we would have returned the 2503 /// comment above in that mode. 2504 NewLinePtr = CurPtr++; 2505 2506 // The next returned token is at the start of the line. 2507 Result.setFlag(Token::StartOfLine); 2508 TokAtPhysicalStartOfLine = true; 2509 // No leading whitespace seen so far. 2510 Result.clearFlag(Token::LeadingSpace); 2511 BufferPtr = CurPtr; 2512 return false; 2513 } 2514 2515 /// If in save-comment mode, package up this Line comment in an appropriate 2516 /// way and return it. 2517 bool Lexer::SaveLineComment(Token &Result, const char *CurPtr) { 2518 // If we're not in a preprocessor directive, just return the // comment 2519 // directly. 2520 FormTokenWithChars(Result, CurPtr, tok::comment); 2521 2522 if (!ParsingPreprocessorDirective || LexingRawMode) 2523 return true; 2524 2525 // If this Line-style comment is in a macro definition, transmogrify it into 2526 // a C-style block comment. 2527 bool Invalid = false; 2528 std::string Spelling = PP->getSpelling(Result, &Invalid); 2529 if (Invalid) 2530 return true; 2531 2532 assert(Spelling[0] == '/' && Spelling[1] == '/' && "Not line comment?"); 2533 Spelling[1] = '*'; // Change prefix to "/*". 2534 Spelling += "*/"; // add suffix. 2535 2536 Result.setKind(tok::comment); 2537 PP->CreateString(Spelling, Result, 2538 Result.getLocation(), Result.getLocation()); 2539 return true; 2540 } 2541 2542 /// isBlockCommentEndOfEscapedNewLine - Return true if the specified newline 2543 /// character (either \\n or \\r) is part of an escaped newline sequence. Issue 2544 /// a diagnostic if so. We know that the newline is inside of a block comment. 2545 static bool isEndOfBlockCommentWithEscapedNewLine(const char *CurPtr, 2546 Lexer *L) { 2547 assert(CurPtr[0] == '\n' || CurPtr[0] == '\r'); 2548 2549 // Position of the first trigraph in the ending sequence. 2550 const char *TrigraphPos = nullptr; 2551 // Position of the first whitespace after a '\' in the ending sequence. 2552 const char *SpacePos = nullptr; 2553 2554 while (true) { 2555 // Back up off the newline. 2556 --CurPtr; 2557 2558 // If this is a two-character newline sequence, skip the other character. 2559 if (CurPtr[0] == '\n' || CurPtr[0] == '\r') { 2560 // \n\n or \r\r -> not escaped newline. 2561 if (CurPtr[0] == CurPtr[1]) 2562 return false; 2563 // \n\r or \r\n -> skip the newline. 2564 --CurPtr; 2565 } 2566 2567 // If we have horizontal whitespace, skip over it. We allow whitespace 2568 // between the slash and newline. 2569 while (isHorizontalWhitespace(*CurPtr) || *CurPtr == 0) { 2570 SpacePos = CurPtr; 2571 --CurPtr; 2572 } 2573 2574 // If we have a slash, this is an escaped newline. 2575 if (*CurPtr == '\\') { 2576 --CurPtr; 2577 } else if (CurPtr[0] == '/' && CurPtr[-1] == '?' && CurPtr[-2] == '?') { 2578 // This is a trigraph encoding of a slash. 2579 TrigraphPos = CurPtr - 2; 2580 CurPtr -= 3; 2581 } else { 2582 return false; 2583 } 2584 2585 // If the character preceding the escaped newline is a '*', then after line 2586 // splicing we have a '*/' ending the comment. 2587 if (*CurPtr == '*') 2588 break; 2589 2590 if (*CurPtr != '\n' && *CurPtr != '\r') 2591 return false; 2592 } 2593 2594 if (TrigraphPos) { 2595 // If no trigraphs are enabled, warn that we ignored this trigraph and 2596 // ignore this * character. 2597 if (!L->getLangOpts().Trigraphs) { 2598 if (!L->isLexingRawMode()) 2599 L->Diag(TrigraphPos, diag::trigraph_ignored_block_comment); 2600 return false; 2601 } 2602 if (!L->isLexingRawMode()) 2603 L->Diag(TrigraphPos, diag::trigraph_ends_block_comment); 2604 } 2605 2606 // Warn about having an escaped newline between the */ characters. 2607 if (!L->isLexingRawMode()) 2608 L->Diag(CurPtr + 1, diag::escaped_newline_block_comment_end); 2609 2610 // If there was space between the backslash and newline, warn about it. 2611 if (SpacePos && !L->isLexingRawMode()) 2612 L->Diag(SpacePos, diag::backslash_newline_space); 2613 2614 return true; 2615 } 2616 2617 #ifdef __SSE2__ 2618 #include <emmintrin.h> 2619 #elif __ALTIVEC__ 2620 #include <altivec.h> 2621 #undef bool 2622 #endif 2623 2624 /// We have just read from input the / and * characters that started a comment. 2625 /// Read until we find the * and / characters that terminate the comment. 2626 /// Note that we don't bother decoding trigraphs or escaped newlines in block 2627 /// comments, because they cannot cause the comment to end. The only thing 2628 /// that can happen is the comment could end with an escaped newline between 2629 /// the terminating * and /. 2630 /// 2631 /// If we're in KeepCommentMode or any CommentHandler has inserted 2632 /// some tokens, this will store the first token and return true. 2633 bool Lexer::SkipBlockComment(Token &Result, const char *CurPtr, 2634 bool &TokAtPhysicalStartOfLine) { 2635 // Scan one character past where we should, looking for a '/' character. Once 2636 // we find it, check to see if it was preceded by a *. This common 2637 // optimization helps people who like to put a lot of * characters in their 2638 // comments. 2639 2640 // The first character we get with newlines and trigraphs skipped to handle 2641 // the degenerate /*/ case below correctly if the * has an escaped newline 2642 // after it. 2643 unsigned CharSize; 2644 unsigned char C = getCharAndSize(CurPtr, CharSize); 2645 CurPtr += CharSize; 2646 if (C == 0 && CurPtr == BufferEnd+1) { 2647 if (!isLexingRawMode()) 2648 Diag(BufferPtr, diag::err_unterminated_block_comment); 2649 --CurPtr; 2650 2651 // KeepWhitespaceMode should return this broken comment as a token. Since 2652 // it isn't a well formed comment, just return it as an 'unknown' token. 2653 if (isKeepWhitespaceMode()) { 2654 FormTokenWithChars(Result, CurPtr, tok::unknown); 2655 return true; 2656 } 2657 2658 BufferPtr = CurPtr; 2659 return false; 2660 } 2661 2662 // Check to see if the first character after the '/*' is another /. If so, 2663 // then this slash does not end the block comment, it is part of it. 2664 if (C == '/') 2665 C = *CurPtr++; 2666 2667 while (true) { 2668 // Skip over all non-interesting characters until we find end of buffer or a 2669 // (probably ending) '/' character. 2670 if (CurPtr + 24 < BufferEnd && 2671 // If there is a code-completion point avoid the fast scan because it 2672 // doesn't check for '\0'. 2673 !(PP && PP->getCodeCompletionFileLoc() == FileLoc)) { 2674 // While not aligned to a 16-byte boundary. 2675 while (C != '/' && ((intptr_t)CurPtr & 0x0F) != 0) 2676 C = *CurPtr++; 2677 2678 if (C == '/') goto FoundSlash; 2679 2680 #ifdef __SSE2__ 2681 __m128i Slashes = _mm_set1_epi8('/'); 2682 while (CurPtr+16 <= BufferEnd) { 2683 int cmp = _mm_movemask_epi8(_mm_cmpeq_epi8(*(const __m128i*)CurPtr, 2684 Slashes)); 2685 if (cmp != 0) { 2686 // Adjust the pointer to point directly after the first slash. It's 2687 // not necessary to set C here, it will be overwritten at the end of 2688 // the outer loop. 2689 CurPtr += llvm::countTrailingZeros<unsigned>(cmp) + 1; 2690 goto FoundSlash; 2691 } 2692 CurPtr += 16; 2693 } 2694 #elif __ALTIVEC__ 2695 __vector unsigned char Slashes = { 2696 '/', '/', '/', '/', '/', '/', '/', '/', 2697 '/', '/', '/', '/', '/', '/', '/', '/' 2698 }; 2699 while (CurPtr + 16 <= BufferEnd && 2700 !vec_any_eq(*(const __vector unsigned char *)CurPtr, Slashes)) 2701 CurPtr += 16; 2702 #else 2703 // Scan for '/' quickly. Many block comments are very large. 2704 while (CurPtr[0] != '/' && 2705 CurPtr[1] != '/' && 2706 CurPtr[2] != '/' && 2707 CurPtr[3] != '/' && 2708 CurPtr+4 < BufferEnd) { 2709 CurPtr += 4; 2710 } 2711 #endif 2712 2713 // It has to be one of the bytes scanned, increment to it and read one. 2714 C = *CurPtr++; 2715 } 2716 2717 // Loop to scan the remainder. 2718 while (C != '/' && C != '\0') 2719 C = *CurPtr++; 2720 2721 if (C == '/') { 2722 FoundSlash: 2723 if (CurPtr[-2] == '*') // We found the final */. We're done! 2724 break; 2725 2726 if ((CurPtr[-2] == '\n' || CurPtr[-2] == '\r')) { 2727 if (isEndOfBlockCommentWithEscapedNewLine(CurPtr-2, this)) { 2728 // We found the final */, though it had an escaped newline between the 2729 // * and /. We're done! 2730 break; 2731 } 2732 } 2733 if (CurPtr[0] == '*' && CurPtr[1] != '/') { 2734 // If this is a /* inside of the comment, emit a warning. Don't do this 2735 // if this is a /*/, which will end the comment. This misses cases with 2736 // embedded escaped newlines, but oh well. 2737 if (!isLexingRawMode()) 2738 Diag(CurPtr-1, diag::warn_nested_block_comment); 2739 } 2740 } else if (C == 0 && CurPtr == BufferEnd+1) { 2741 if (!isLexingRawMode()) 2742 Diag(BufferPtr, diag::err_unterminated_block_comment); 2743 // Note: the user probably forgot a */. We could continue immediately 2744 // after the /*, but this would involve lexing a lot of what really is the 2745 // comment, which surely would confuse the parser. 2746 --CurPtr; 2747 2748 // KeepWhitespaceMode should return this broken comment as a token. Since 2749 // it isn't a well formed comment, just return it as an 'unknown' token. 2750 if (isKeepWhitespaceMode()) { 2751 FormTokenWithChars(Result, CurPtr, tok::unknown); 2752 return true; 2753 } 2754 2755 BufferPtr = CurPtr; 2756 return false; 2757 } else if (C == '\0' && isCodeCompletionPoint(CurPtr-1)) { 2758 PP->CodeCompleteNaturalLanguage(); 2759 cutOffLexing(); 2760 return false; 2761 } 2762 2763 C = *CurPtr++; 2764 } 2765 2766 // Notify comment handlers about the comment unless we're in a #if 0 block. 2767 if (PP && !isLexingRawMode() && 2768 PP->HandleComment(Result, SourceRange(getSourceLocation(BufferPtr), 2769 getSourceLocation(CurPtr)))) { 2770 BufferPtr = CurPtr; 2771 return true; // A token has to be returned. 2772 } 2773 2774 // If we are returning comments as tokens, return this comment as a token. 2775 if (inKeepCommentMode()) { 2776 FormTokenWithChars(Result, CurPtr, tok::comment); 2777 return true; 2778 } 2779 2780 // It is common for the tokens immediately after a /**/ comment to be 2781 // whitespace. Instead of going through the big switch, handle it 2782 // efficiently now. This is safe even in KeepWhitespaceMode because we would 2783 // have already returned above with the comment as a token. 2784 if (isHorizontalWhitespace(*CurPtr)) { 2785 SkipWhitespace(Result, CurPtr+1, TokAtPhysicalStartOfLine); 2786 return false; 2787 } 2788 2789 // Otherwise, just return so that the next character will be lexed as a token. 2790 BufferPtr = CurPtr; 2791 Result.setFlag(Token::LeadingSpace); 2792 return false; 2793 } 2794 2795 //===----------------------------------------------------------------------===// 2796 // Primary Lexing Entry Points 2797 //===----------------------------------------------------------------------===// 2798 2799 /// ReadToEndOfLine - Read the rest of the current preprocessor line as an 2800 /// uninterpreted string. This switches the lexer out of directive mode. 2801 void Lexer::ReadToEndOfLine(SmallVectorImpl<char> *Result) { 2802 assert(ParsingPreprocessorDirective && ParsingFilename == false && 2803 "Must be in a preprocessing directive!"); 2804 Token Tmp; 2805 Tmp.startToken(); 2806 2807 // CurPtr - Cache BufferPtr in an automatic variable. 2808 const char *CurPtr = BufferPtr; 2809 while (true) { 2810 char Char = getAndAdvanceChar(CurPtr, Tmp); 2811 switch (Char) { 2812 default: 2813 if (Result) 2814 Result->push_back(Char); 2815 break; 2816 case 0: // Null. 2817 // Found end of file? 2818 if (CurPtr-1 != BufferEnd) { 2819 if (isCodeCompletionPoint(CurPtr-1)) { 2820 PP->CodeCompleteNaturalLanguage(); 2821 cutOffLexing(); 2822 return; 2823 } 2824 2825 // Nope, normal character, continue. 2826 if (Result) 2827 Result->push_back(Char); 2828 break; 2829 } 2830 // FALL THROUGH. 2831 LLVM_FALLTHROUGH; 2832 case '\r': 2833 case '\n': 2834 // Okay, we found the end of the line. First, back up past the \0, \r, \n. 2835 assert(CurPtr[-1] == Char && "Trigraphs for newline?"); 2836 BufferPtr = CurPtr-1; 2837 2838 // Next, lex the character, which should handle the EOD transition. 2839 Lex(Tmp); 2840 if (Tmp.is(tok::code_completion)) { 2841 if (PP) 2842 PP->CodeCompleteNaturalLanguage(); 2843 Lex(Tmp); 2844 } 2845 assert(Tmp.is(tok::eod) && "Unexpected token!"); 2846 2847 // Finally, we're done; 2848 return; 2849 } 2850 } 2851 } 2852 2853 /// LexEndOfFile - CurPtr points to the end of this file. Handle this 2854 /// condition, reporting diagnostics and handling other edge cases as required. 2855 /// This returns true if Result contains a token, false if PP.Lex should be 2856 /// called again. 2857 bool Lexer::LexEndOfFile(Token &Result, const char *CurPtr) { 2858 // If we hit the end of the file while parsing a preprocessor directive, 2859 // end the preprocessor directive first. The next token returned will 2860 // then be the end of file. 2861 if (ParsingPreprocessorDirective) { 2862 // Done parsing the "line". 2863 ParsingPreprocessorDirective = false; 2864 // Update the location of token as well as BufferPtr. 2865 FormTokenWithChars(Result, CurPtr, tok::eod); 2866 2867 // Restore comment saving mode, in case it was disabled for directive. 2868 if (PP) 2869 resetExtendedTokenMode(); 2870 return true; // Have a token. 2871 } 2872 2873 // If we are in raw mode, return this event as an EOF token. Let the caller 2874 // that put us in raw mode handle the event. 2875 if (isLexingRawMode()) { 2876 Result.startToken(); 2877 BufferPtr = BufferEnd; 2878 FormTokenWithChars(Result, BufferEnd, tok::eof); 2879 return true; 2880 } 2881 2882 if (PP->isRecordingPreamble() && PP->isInPrimaryFile()) { 2883 PP->setRecordedPreambleConditionalStack(ConditionalStack); 2884 // If the preamble cuts off the end of a header guard, consider it guarded. 2885 // The guard is valid for the preamble content itself, and for tools the 2886 // most useful answer is "yes, this file has a header guard". 2887 if (!ConditionalStack.empty()) 2888 MIOpt.ExitTopLevelConditional(); 2889 ConditionalStack.clear(); 2890 } 2891 2892 // Issue diagnostics for unterminated #if and missing newline. 2893 2894 // If we are in a #if directive, emit an error. 2895 while (!ConditionalStack.empty()) { 2896 if (PP->getCodeCompletionFileLoc() != FileLoc) 2897 PP->Diag(ConditionalStack.back().IfLoc, 2898 diag::err_pp_unterminated_conditional); 2899 ConditionalStack.pop_back(); 2900 } 2901 2902 SourceLocation EndLoc = getSourceLocation(BufferEnd); 2903 // C99 5.1.1.2p2: If the file is non-empty and didn't end in a newline, issue 2904 // a pedwarn. 2905 if (CurPtr != BufferStart && (CurPtr[-1] != '\n' && CurPtr[-1] != '\r')) { 2906 DiagnosticsEngine &Diags = PP->getDiagnostics(); 2907 unsigned DiagID; 2908 2909 if (LangOpts.CPlusPlus11) { 2910 // C++11 [lex.phases] 2.2 p2 2911 // Prefer the C++98 pedantic compatibility warning over the generic, 2912 // non-extension, user-requested "missing newline at EOF" warning. 2913 if (!Diags.isIgnored(diag::warn_cxx98_compat_no_newline_eof, EndLoc)) { 2914 DiagID = diag::warn_cxx98_compat_no_newline_eof; 2915 } else { 2916 DiagID = diag::warn_no_newline_eof; 2917 } 2918 } else { 2919 DiagID = diag::ext_no_newline_eof; 2920 } 2921 2922 Diag(BufferEnd, DiagID) 2923 << FixItHint::CreateInsertion(EndLoc, "\n"); 2924 } 2925 2926 BufferPtr = CurPtr; 2927 2928 // Finally, let the preprocessor handle this. 2929 return PP->HandleEndOfFile(Result, EndLoc, isPragmaLexer()); 2930 } 2931 2932 /// isNextPPTokenLParen - Return 1 if the next unexpanded token lexed from 2933 /// the specified lexer will return a tok::l_paren token, 0 if it is something 2934 /// else and 2 if there are no more tokens in the buffer controlled by the 2935 /// lexer. 2936 unsigned Lexer::isNextPPTokenLParen() { 2937 assert(!LexingRawMode && "How can we expand a macro from a skipping buffer?"); 2938 2939 // Switch to 'skipping' mode. This will ensure that we can lex a token 2940 // without emitting diagnostics, disables macro expansion, and will cause EOF 2941 // to return an EOF token instead of popping the include stack. 2942 LexingRawMode = true; 2943 2944 // Save state that can be changed while lexing so that we can restore it. 2945 const char *TmpBufferPtr = BufferPtr; 2946 bool inPPDirectiveMode = ParsingPreprocessorDirective; 2947 bool atStartOfLine = IsAtStartOfLine; 2948 bool atPhysicalStartOfLine = IsAtPhysicalStartOfLine; 2949 bool leadingSpace = HasLeadingSpace; 2950 2951 Token Tok; 2952 Lex(Tok); 2953 2954 // Restore state that may have changed. 2955 BufferPtr = TmpBufferPtr; 2956 ParsingPreprocessorDirective = inPPDirectiveMode; 2957 HasLeadingSpace = leadingSpace; 2958 IsAtStartOfLine = atStartOfLine; 2959 IsAtPhysicalStartOfLine = atPhysicalStartOfLine; 2960 2961 // Restore the lexer back to non-skipping mode. 2962 LexingRawMode = false; 2963 2964 if (Tok.is(tok::eof)) 2965 return 2; 2966 return Tok.is(tok::l_paren); 2967 } 2968 2969 /// Find the end of a version control conflict marker. 2970 static const char *FindConflictEnd(const char *CurPtr, const char *BufferEnd, 2971 ConflictMarkerKind CMK) { 2972 const char *Terminator = CMK == CMK_Perforce ? "<<<<\n" : ">>>>>>>"; 2973 size_t TermLen = CMK == CMK_Perforce ? 5 : 7; 2974 auto RestOfBuffer = StringRef(CurPtr, BufferEnd - CurPtr).substr(TermLen); 2975 size_t Pos = RestOfBuffer.find(Terminator); 2976 while (Pos != StringRef::npos) { 2977 // Must occur at start of line. 2978 if (Pos == 0 || 2979 (RestOfBuffer[Pos - 1] != '\r' && RestOfBuffer[Pos - 1] != '\n')) { 2980 RestOfBuffer = RestOfBuffer.substr(Pos+TermLen); 2981 Pos = RestOfBuffer.find(Terminator); 2982 continue; 2983 } 2984 return RestOfBuffer.data()+Pos; 2985 } 2986 return nullptr; 2987 } 2988 2989 /// IsStartOfConflictMarker - If the specified pointer is the start of a version 2990 /// control conflict marker like '<<<<<<<', recognize it as such, emit an error 2991 /// and recover nicely. This returns true if it is a conflict marker and false 2992 /// if not. 2993 bool Lexer::IsStartOfConflictMarker(const char *CurPtr) { 2994 // Only a conflict marker if it starts at the beginning of a line. 2995 if (CurPtr != BufferStart && 2996 CurPtr[-1] != '\n' && CurPtr[-1] != '\r') 2997 return false; 2998 2999 // Check to see if we have <<<<<<< or >>>>. 3000 if (!StringRef(CurPtr, BufferEnd - CurPtr).startswith("<<<<<<<") && 3001 !StringRef(CurPtr, BufferEnd - CurPtr).startswith(">>>> ")) 3002 return false; 3003 3004 // If we have a situation where we don't care about conflict markers, ignore 3005 // it. 3006 if (CurrentConflictMarkerState || isLexingRawMode()) 3007 return false; 3008 3009 ConflictMarkerKind Kind = *CurPtr == '<' ? CMK_Normal : CMK_Perforce; 3010 3011 // Check to see if there is an ending marker somewhere in the buffer at the 3012 // start of a line to terminate this conflict marker. 3013 if (FindConflictEnd(CurPtr, BufferEnd, Kind)) { 3014 // We found a match. We are really in a conflict marker. 3015 // Diagnose this, and ignore to the end of line. 3016 Diag(CurPtr, diag::err_conflict_marker); 3017 CurrentConflictMarkerState = Kind; 3018 3019 // Skip ahead to the end of line. We know this exists because the 3020 // end-of-conflict marker starts with \r or \n. 3021 while (*CurPtr != '\r' && *CurPtr != '\n') { 3022 assert(CurPtr != BufferEnd && "Didn't find end of line"); 3023 ++CurPtr; 3024 } 3025 BufferPtr = CurPtr; 3026 return true; 3027 } 3028 3029 // No end of conflict marker found. 3030 return false; 3031 } 3032 3033 /// HandleEndOfConflictMarker - If this is a '====' or '||||' or '>>>>', or if 3034 /// it is '<<<<' and the conflict marker started with a '>>>>' marker, then it 3035 /// is the end of a conflict marker. Handle it by ignoring up until the end of 3036 /// the line. This returns true if it is a conflict marker and false if not. 3037 bool Lexer::HandleEndOfConflictMarker(const char *CurPtr) { 3038 // Only a conflict marker if it starts at the beginning of a line. 3039 if (CurPtr != BufferStart && 3040 CurPtr[-1] != '\n' && CurPtr[-1] != '\r') 3041 return false; 3042 3043 // If we have a situation where we don't care about conflict markers, ignore 3044 // it. 3045 if (!CurrentConflictMarkerState || isLexingRawMode()) 3046 return false; 3047 3048 // Check to see if we have the marker (4 characters in a row). 3049 for (unsigned i = 1; i != 4; ++i) 3050 if (CurPtr[i] != CurPtr[0]) 3051 return false; 3052 3053 // If we do have it, search for the end of the conflict marker. This could 3054 // fail if it got skipped with a '#if 0' or something. Note that CurPtr might 3055 // be the end of conflict marker. 3056 if (const char *End = FindConflictEnd(CurPtr, BufferEnd, 3057 CurrentConflictMarkerState)) { 3058 CurPtr = End; 3059 3060 // Skip ahead to the end of line. 3061 while (CurPtr != BufferEnd && *CurPtr != '\r' && *CurPtr != '\n') 3062 ++CurPtr; 3063 3064 BufferPtr = CurPtr; 3065 3066 // No longer in the conflict marker. 3067 CurrentConflictMarkerState = CMK_None; 3068 return true; 3069 } 3070 3071 return false; 3072 } 3073 3074 static const char *findPlaceholderEnd(const char *CurPtr, 3075 const char *BufferEnd) { 3076 if (CurPtr == BufferEnd) 3077 return nullptr; 3078 BufferEnd -= 1; // Scan until the second last character. 3079 for (; CurPtr != BufferEnd; ++CurPtr) { 3080 if (CurPtr[0] == '#' && CurPtr[1] == '>') 3081 return CurPtr + 2; 3082 } 3083 return nullptr; 3084 } 3085 3086 bool Lexer::lexEditorPlaceholder(Token &Result, const char *CurPtr) { 3087 assert(CurPtr[-1] == '<' && CurPtr[0] == '#' && "Not a placeholder!"); 3088 if (!PP || !PP->getPreprocessorOpts().LexEditorPlaceholders || LexingRawMode) 3089 return false; 3090 const char *End = findPlaceholderEnd(CurPtr + 1, BufferEnd); 3091 if (!End) 3092 return false; 3093 const char *Start = CurPtr - 1; 3094 if (!LangOpts.AllowEditorPlaceholders) 3095 Diag(Start, diag::err_placeholder_in_source); 3096 Result.startToken(); 3097 FormTokenWithChars(Result, End, tok::raw_identifier); 3098 Result.setRawIdentifierData(Start); 3099 PP->LookUpIdentifierInfo(Result); 3100 Result.setFlag(Token::IsEditorPlaceholder); 3101 BufferPtr = End; 3102 return true; 3103 } 3104 3105 bool Lexer::isCodeCompletionPoint(const char *CurPtr) const { 3106 if (PP && PP->isCodeCompletionEnabled()) { 3107 SourceLocation Loc = FileLoc.getLocWithOffset(CurPtr-BufferStart); 3108 return Loc == PP->getCodeCompletionLoc(); 3109 } 3110 3111 return false; 3112 } 3113 3114 uint32_t Lexer::tryReadUCN(const char *&StartPtr, const char *SlashLoc, 3115 Token *Result) { 3116 unsigned CharSize; 3117 char Kind = getCharAndSize(StartPtr, CharSize); 3118 bool Delimited = false; 3119 bool FoundEndDelimiter = false; 3120 unsigned Count = 0; 3121 bool Diagnose = Result && !isLexingRawMode(); 3122 3123 unsigned NumHexDigits; 3124 if (Kind == 'u') 3125 NumHexDigits = 4; 3126 else if (Kind == 'U') 3127 NumHexDigits = 8; 3128 else 3129 return 0; 3130 3131 if (!LangOpts.CPlusPlus && !LangOpts.C99) { 3132 if (Diagnose) 3133 Diag(SlashLoc, diag::warn_ucn_not_valid_in_c89); 3134 return 0; 3135 } 3136 3137 const char *CurPtr = StartPtr + CharSize; 3138 const char *KindLoc = &CurPtr[-1]; 3139 3140 uint32_t CodePoint = 0; 3141 while (Count != NumHexDigits || Delimited) { 3142 char C = getCharAndSize(CurPtr, CharSize); 3143 if (!Delimited && C == '{') { 3144 Delimited = true; 3145 CurPtr += CharSize; 3146 continue; 3147 } 3148 3149 if (Delimited && C == '}') { 3150 CurPtr += CharSize; 3151 FoundEndDelimiter = true; 3152 break; 3153 } 3154 3155 unsigned Value = llvm::hexDigitValue(C); 3156 if (Value == -1U) { 3157 if (!Delimited) 3158 break; 3159 if (Diagnose) 3160 Diag(BufferPtr, diag::warn_delimited_ucn_incomplete) 3161 << StringRef(&C, 1); 3162 return 0; 3163 } 3164 3165 if (CodePoint & 0xF000'0000) { 3166 if (Diagnose) 3167 Diag(KindLoc, diag::err_escape_too_large) << 0; 3168 return 0; 3169 } 3170 3171 CodePoint <<= 4; 3172 CodePoint |= Value; 3173 CurPtr += CharSize; 3174 Count++; 3175 } 3176 3177 if (Count == 0) { 3178 if (Diagnose) 3179 Diag(StartPtr, FoundEndDelimiter ? diag::warn_delimited_ucn_empty 3180 : diag::warn_ucn_escape_no_digits) 3181 << StringRef(KindLoc, 1); 3182 return 0; 3183 } 3184 3185 if (!Delimited && Count != NumHexDigits) { 3186 if (Diagnose) { 3187 Diag(BufferPtr, diag::warn_ucn_escape_incomplete); 3188 // If the user wrote \U1234, suggest a fixit to \u. 3189 if (Count == 4 && NumHexDigits == 8) { 3190 CharSourceRange URange = makeCharRange(*this, KindLoc, KindLoc + 1); 3191 Diag(KindLoc, diag::note_ucn_four_not_eight) 3192 << FixItHint::CreateReplacement(URange, "u"); 3193 } 3194 } 3195 return 0; 3196 } 3197 3198 if (Delimited && PP) { 3199 Diag(BufferPtr, diag::ext_delimited_escape_sequence); 3200 } 3201 3202 if (Result) { 3203 Result->setFlag(Token::HasUCN); 3204 if (CurPtr - StartPtr == (ptrdiff_t)(Count + 2 + (Delimited ? 2 : 0))) 3205 StartPtr = CurPtr; 3206 else 3207 while (StartPtr != CurPtr) 3208 (void)getAndAdvanceChar(StartPtr, *Result); 3209 } else { 3210 StartPtr = CurPtr; 3211 } 3212 3213 // Don't apply C family restrictions to UCNs in assembly mode 3214 if (LangOpts.AsmPreprocessor) 3215 return CodePoint; 3216 3217 // C99 6.4.3p2: A universal character name shall not specify a character whose 3218 // short identifier is less than 00A0 other than 0024 ($), 0040 (@), or 3219 // 0060 (`), nor one in the range D800 through DFFF inclusive.) 3220 // C++11 [lex.charset]p2: If the hexadecimal value for a 3221 // universal-character-name corresponds to a surrogate code point (in the 3222 // range 0xD800-0xDFFF, inclusive), the program is ill-formed. Additionally, 3223 // if the hexadecimal value for a universal-character-name outside the 3224 // c-char-sequence, s-char-sequence, or r-char-sequence of a character or 3225 // string literal corresponds to a control character (in either of the 3226 // ranges 0x00-0x1F or 0x7F-0x9F, both inclusive) or to a character in the 3227 // basic source character set, the program is ill-formed. 3228 if (CodePoint < 0xA0) { 3229 if (CodePoint == 0x24 || CodePoint == 0x40 || CodePoint == 0x60) 3230 return CodePoint; 3231 3232 // We don't use isLexingRawMode() here because we need to warn about bad 3233 // UCNs even when skipping preprocessing tokens in a #if block. 3234 if (Result && PP) { 3235 if (CodePoint < 0x20 || CodePoint >= 0x7F) 3236 Diag(BufferPtr, diag::err_ucn_control_character); 3237 else { 3238 char C = static_cast<char>(CodePoint); 3239 Diag(BufferPtr, diag::err_ucn_escape_basic_scs) << StringRef(&C, 1); 3240 } 3241 } 3242 3243 return 0; 3244 } else if (CodePoint >= 0xD800 && CodePoint <= 0xDFFF) { 3245 // C++03 allows UCNs representing surrogate characters. C99 and C++11 don't. 3246 // We don't use isLexingRawMode() here because we need to diagnose bad 3247 // UCNs even when skipping preprocessing tokens in a #if block. 3248 if (Result && PP) { 3249 if (LangOpts.CPlusPlus && !LangOpts.CPlusPlus11) 3250 Diag(BufferPtr, diag::warn_ucn_escape_surrogate); 3251 else 3252 Diag(BufferPtr, diag::err_ucn_escape_invalid); 3253 } 3254 return 0; 3255 } 3256 3257 return CodePoint; 3258 } 3259 3260 bool Lexer::CheckUnicodeWhitespace(Token &Result, uint32_t C, 3261 const char *CurPtr) { 3262 if (!isLexingRawMode() && !PP->isPreprocessedOutput() && 3263 isUnicodeWhitespace(C)) { 3264 Diag(BufferPtr, diag::ext_unicode_whitespace) 3265 << makeCharRange(*this, BufferPtr, CurPtr); 3266 3267 Result.setFlag(Token::LeadingSpace); 3268 return true; 3269 } 3270 return false; 3271 } 3272 3273 void Lexer::PropagateLineStartLeadingSpaceInfo(Token &Result) { 3274 IsAtStartOfLine = Result.isAtStartOfLine(); 3275 HasLeadingSpace = Result.hasLeadingSpace(); 3276 HasLeadingEmptyMacro = Result.hasLeadingEmptyMacro(); 3277 // Note that this doesn't affect IsAtPhysicalStartOfLine. 3278 } 3279 3280 bool Lexer::Lex(Token &Result) { 3281 // Start a new token. 3282 Result.startToken(); 3283 3284 // Set up misc whitespace flags for LexTokenInternal. 3285 if (IsAtStartOfLine) { 3286 Result.setFlag(Token::StartOfLine); 3287 IsAtStartOfLine = false; 3288 } 3289 3290 if (HasLeadingSpace) { 3291 Result.setFlag(Token::LeadingSpace); 3292 HasLeadingSpace = false; 3293 } 3294 3295 if (HasLeadingEmptyMacro) { 3296 Result.setFlag(Token::LeadingEmptyMacro); 3297 HasLeadingEmptyMacro = false; 3298 } 3299 3300 bool atPhysicalStartOfLine = IsAtPhysicalStartOfLine; 3301 IsAtPhysicalStartOfLine = false; 3302 bool isRawLex = isLexingRawMode(); 3303 (void) isRawLex; 3304 bool returnedToken = LexTokenInternal(Result, atPhysicalStartOfLine); 3305 // (After the LexTokenInternal call, the lexer might be destroyed.) 3306 assert((returnedToken || !isRawLex) && "Raw lex must succeed"); 3307 return returnedToken; 3308 } 3309 3310 /// LexTokenInternal - This implements a simple C family lexer. It is an 3311 /// extremely performance critical piece of code. This assumes that the buffer 3312 /// has a null character at the end of the file. This returns a preprocessing 3313 /// token, not a normal token, as such, it is an internal interface. It assumes 3314 /// that the Flags of result have been cleared before calling this. 3315 bool Lexer::LexTokenInternal(Token &Result, bool TokAtPhysicalStartOfLine) { 3316 LexNextToken: 3317 // New token, can't need cleaning yet. 3318 Result.clearFlag(Token::NeedsCleaning); 3319 Result.setIdentifierInfo(nullptr); 3320 3321 // CurPtr - Cache BufferPtr in an automatic variable. 3322 const char *CurPtr = BufferPtr; 3323 3324 // Small amounts of horizontal whitespace is very common between tokens. 3325 if (isHorizontalWhitespace(*CurPtr)) { 3326 do { 3327 ++CurPtr; 3328 } while (isHorizontalWhitespace(*CurPtr)); 3329 3330 // If we are keeping whitespace and other tokens, just return what we just 3331 // skipped. The next lexer invocation will return the token after the 3332 // whitespace. 3333 if (isKeepWhitespaceMode()) { 3334 FormTokenWithChars(Result, CurPtr, tok::unknown); 3335 // FIXME: The next token will not have LeadingSpace set. 3336 return true; 3337 } 3338 3339 BufferPtr = CurPtr; 3340 Result.setFlag(Token::LeadingSpace); 3341 } 3342 3343 unsigned SizeTmp, SizeTmp2; // Temporaries for use in cases below. 3344 3345 // Read a character, advancing over it. 3346 char Char = getAndAdvanceChar(CurPtr, Result); 3347 tok::TokenKind Kind; 3348 3349 if (!isVerticalWhitespace(Char)) 3350 NewLinePtr = nullptr; 3351 3352 switch (Char) { 3353 case 0: // Null. 3354 // Found end of file? 3355 if (CurPtr-1 == BufferEnd) 3356 return LexEndOfFile(Result, CurPtr-1); 3357 3358 // Check if we are performing code completion. 3359 if (isCodeCompletionPoint(CurPtr-1)) { 3360 // Return the code-completion token. 3361 Result.startToken(); 3362 FormTokenWithChars(Result, CurPtr, tok::code_completion); 3363 return true; 3364 } 3365 3366 if (!isLexingRawMode()) 3367 Diag(CurPtr-1, diag::null_in_file); 3368 Result.setFlag(Token::LeadingSpace); 3369 if (SkipWhitespace(Result, CurPtr, TokAtPhysicalStartOfLine)) 3370 return true; // KeepWhitespaceMode 3371 3372 // We know the lexer hasn't changed, so just try again with this lexer. 3373 // (We manually eliminate the tail call to avoid recursion.) 3374 goto LexNextToken; 3375 3376 case 26: // DOS & CP/M EOF: "^Z". 3377 // If we're in Microsoft extensions mode, treat this as end of file. 3378 if (LangOpts.MicrosoftExt) { 3379 if (!isLexingRawMode()) 3380 Diag(CurPtr-1, diag::ext_ctrl_z_eof_microsoft); 3381 return LexEndOfFile(Result, CurPtr-1); 3382 } 3383 3384 // If Microsoft extensions are disabled, this is just random garbage. 3385 Kind = tok::unknown; 3386 break; 3387 3388 case '\r': 3389 if (CurPtr[0] == '\n') 3390 (void)getAndAdvanceChar(CurPtr, Result); 3391 LLVM_FALLTHROUGH; 3392 case '\n': 3393 // If we are inside a preprocessor directive and we see the end of line, 3394 // we know we are done with the directive, so return an EOD token. 3395 if (ParsingPreprocessorDirective) { 3396 // Done parsing the "line". 3397 ParsingPreprocessorDirective = false; 3398 3399 // Restore comment saving mode, in case it was disabled for directive. 3400 if (PP) 3401 resetExtendedTokenMode(); 3402 3403 // Since we consumed a newline, we are back at the start of a line. 3404 IsAtStartOfLine = true; 3405 IsAtPhysicalStartOfLine = true; 3406 NewLinePtr = CurPtr - 1; 3407 3408 Kind = tok::eod; 3409 break; 3410 } 3411 3412 // No leading whitespace seen so far. 3413 Result.clearFlag(Token::LeadingSpace); 3414 3415 if (SkipWhitespace(Result, CurPtr, TokAtPhysicalStartOfLine)) 3416 return true; // KeepWhitespaceMode 3417 3418 // We only saw whitespace, so just try again with this lexer. 3419 // (We manually eliminate the tail call to avoid recursion.) 3420 goto LexNextToken; 3421 case ' ': 3422 case '\t': 3423 case '\f': 3424 case '\v': 3425 SkipHorizontalWhitespace: 3426 Result.setFlag(Token::LeadingSpace); 3427 if (SkipWhitespace(Result, CurPtr, TokAtPhysicalStartOfLine)) 3428 return true; // KeepWhitespaceMode 3429 3430 SkipIgnoredUnits: 3431 CurPtr = BufferPtr; 3432 3433 // If the next token is obviously a // or /* */ comment, skip it efficiently 3434 // too (without going through the big switch stmt). 3435 if (CurPtr[0] == '/' && CurPtr[1] == '/' && !inKeepCommentMode() && 3436 LangOpts.LineComment && 3437 (LangOpts.CPlusPlus || !LangOpts.TraditionalCPP)) { 3438 if (SkipLineComment(Result, CurPtr+2, TokAtPhysicalStartOfLine)) 3439 return true; // There is a token to return. 3440 goto SkipIgnoredUnits; 3441 } else if (CurPtr[0] == '/' && CurPtr[1] == '*' && !inKeepCommentMode()) { 3442 if (SkipBlockComment(Result, CurPtr+2, TokAtPhysicalStartOfLine)) 3443 return true; // There is a token to return. 3444 goto SkipIgnoredUnits; 3445 } else if (isHorizontalWhitespace(*CurPtr)) { 3446 goto SkipHorizontalWhitespace; 3447 } 3448 // We only saw whitespace, so just try again with this lexer. 3449 // (We manually eliminate the tail call to avoid recursion.) 3450 goto LexNextToken; 3451 3452 // C99 6.4.4.1: Integer Constants. 3453 // C99 6.4.4.2: Floating Constants. 3454 case '0': case '1': case '2': case '3': case '4': 3455 case '5': case '6': case '7': case '8': case '9': 3456 // Notify MIOpt that we read a non-whitespace/non-comment token. 3457 MIOpt.ReadToken(); 3458 return LexNumericConstant(Result, CurPtr); 3459 3460 case 'u': // Identifier (uber) or C11/C++11 UTF-8 or UTF-16 string literal 3461 // Notify MIOpt that we read a non-whitespace/non-comment token. 3462 MIOpt.ReadToken(); 3463 3464 if (LangOpts.CPlusPlus11 || LangOpts.C11) { 3465 Char = getCharAndSize(CurPtr, SizeTmp); 3466 3467 // UTF-16 string literal 3468 if (Char == '"') 3469 return LexStringLiteral(Result, ConsumeChar(CurPtr, SizeTmp, Result), 3470 tok::utf16_string_literal); 3471 3472 // UTF-16 character constant 3473 if (Char == '\'') 3474 return LexCharConstant(Result, ConsumeChar(CurPtr, SizeTmp, Result), 3475 tok::utf16_char_constant); 3476 3477 // UTF-16 raw string literal 3478 if (Char == 'R' && LangOpts.CPlusPlus11 && 3479 getCharAndSize(CurPtr + SizeTmp, SizeTmp2) == '"') 3480 return LexRawStringLiteral(Result, 3481 ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3482 SizeTmp2, Result), 3483 tok::utf16_string_literal); 3484 3485 if (Char == '8') { 3486 char Char2 = getCharAndSize(CurPtr + SizeTmp, SizeTmp2); 3487 3488 // UTF-8 string literal 3489 if (Char2 == '"') 3490 return LexStringLiteral(Result, 3491 ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3492 SizeTmp2, Result), 3493 tok::utf8_string_literal); 3494 if (Char2 == '\'' && LangOpts.CPlusPlus17) 3495 return LexCharConstant( 3496 Result, ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3497 SizeTmp2, Result), 3498 tok::utf8_char_constant); 3499 3500 if (Char2 == 'R' && LangOpts.CPlusPlus11) { 3501 unsigned SizeTmp3; 3502 char Char3 = getCharAndSize(CurPtr + SizeTmp + SizeTmp2, SizeTmp3); 3503 // UTF-8 raw string literal 3504 if (Char3 == '"') { 3505 return LexRawStringLiteral(Result, 3506 ConsumeChar(ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3507 SizeTmp2, Result), 3508 SizeTmp3, Result), 3509 tok::utf8_string_literal); 3510 } 3511 } 3512 } 3513 } 3514 3515 // treat u like the start of an identifier. 3516 return LexIdentifierContinue(Result, CurPtr); 3517 3518 case 'U': // Identifier (Uber) or C11/C++11 UTF-32 string literal 3519 // Notify MIOpt that we read a non-whitespace/non-comment token. 3520 MIOpt.ReadToken(); 3521 3522 if (LangOpts.CPlusPlus11 || LangOpts.C11) { 3523 Char = getCharAndSize(CurPtr, SizeTmp); 3524 3525 // UTF-32 string literal 3526 if (Char == '"') 3527 return LexStringLiteral(Result, ConsumeChar(CurPtr, SizeTmp, Result), 3528 tok::utf32_string_literal); 3529 3530 // UTF-32 character constant 3531 if (Char == '\'') 3532 return LexCharConstant(Result, ConsumeChar(CurPtr, SizeTmp, Result), 3533 tok::utf32_char_constant); 3534 3535 // UTF-32 raw string literal 3536 if (Char == 'R' && LangOpts.CPlusPlus11 && 3537 getCharAndSize(CurPtr + SizeTmp, SizeTmp2) == '"') 3538 return LexRawStringLiteral(Result, 3539 ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3540 SizeTmp2, Result), 3541 tok::utf32_string_literal); 3542 } 3543 3544 // treat U like the start of an identifier. 3545 return LexIdentifierContinue(Result, CurPtr); 3546 3547 case 'R': // Identifier or C++0x raw string literal 3548 // Notify MIOpt that we read a non-whitespace/non-comment token. 3549 MIOpt.ReadToken(); 3550 3551 if (LangOpts.CPlusPlus11) { 3552 Char = getCharAndSize(CurPtr, SizeTmp); 3553 3554 if (Char == '"') 3555 return LexRawStringLiteral(Result, 3556 ConsumeChar(CurPtr, SizeTmp, Result), 3557 tok::string_literal); 3558 } 3559 3560 // treat R like the start of an identifier. 3561 return LexIdentifierContinue(Result, CurPtr); 3562 3563 case 'L': // Identifier (Loony) or wide literal (L'x' or L"xyz"). 3564 // Notify MIOpt that we read a non-whitespace/non-comment token. 3565 MIOpt.ReadToken(); 3566 Char = getCharAndSize(CurPtr, SizeTmp); 3567 3568 // Wide string literal. 3569 if (Char == '"') 3570 return LexStringLiteral(Result, ConsumeChar(CurPtr, SizeTmp, Result), 3571 tok::wide_string_literal); 3572 3573 // Wide raw string literal. 3574 if (LangOpts.CPlusPlus11 && Char == 'R' && 3575 getCharAndSize(CurPtr + SizeTmp, SizeTmp2) == '"') 3576 return LexRawStringLiteral(Result, 3577 ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3578 SizeTmp2, Result), 3579 tok::wide_string_literal); 3580 3581 // Wide character constant. 3582 if (Char == '\'') 3583 return LexCharConstant(Result, ConsumeChar(CurPtr, SizeTmp, Result), 3584 tok::wide_char_constant); 3585 // FALL THROUGH, treating L like the start of an identifier. 3586 LLVM_FALLTHROUGH; 3587 3588 // C99 6.4.2: Identifiers. 3589 case 'A': case 'B': case 'C': case 'D': case 'E': case 'F': case 'G': 3590 case 'H': case 'I': case 'J': case 'K': /*'L'*/case 'M': case 'N': 3591 case 'O': case 'P': case 'Q': /*'R'*/case 'S': case 'T': /*'U'*/ 3592 case 'V': case 'W': case 'X': case 'Y': case 'Z': 3593 case 'a': case 'b': case 'c': case 'd': case 'e': case 'f': case 'g': 3594 case 'h': case 'i': case 'j': case 'k': case 'l': case 'm': case 'n': 3595 case 'o': case 'p': case 'q': case 'r': case 's': case 't': /*'u'*/ 3596 case 'v': case 'w': case 'x': case 'y': case 'z': 3597 case '_': 3598 // Notify MIOpt that we read a non-whitespace/non-comment token. 3599 MIOpt.ReadToken(); 3600 return LexIdentifierContinue(Result, CurPtr); 3601 3602 case '$': // $ in identifiers. 3603 if (LangOpts.DollarIdents) { 3604 if (!isLexingRawMode()) 3605 Diag(CurPtr-1, diag::ext_dollar_in_identifier); 3606 // Notify MIOpt that we read a non-whitespace/non-comment token. 3607 MIOpt.ReadToken(); 3608 return LexIdentifierContinue(Result, CurPtr); 3609 } 3610 3611 Kind = tok::unknown; 3612 break; 3613 3614 // C99 6.4.4: Character Constants. 3615 case '\'': 3616 // Notify MIOpt that we read a non-whitespace/non-comment token. 3617 MIOpt.ReadToken(); 3618 return LexCharConstant(Result, CurPtr, tok::char_constant); 3619 3620 // C99 6.4.5: String Literals. 3621 case '"': 3622 // Notify MIOpt that we read a non-whitespace/non-comment token. 3623 MIOpt.ReadToken(); 3624 return LexStringLiteral(Result, CurPtr, 3625 ParsingFilename ? tok::header_name 3626 : tok::string_literal); 3627 3628 // C99 6.4.6: Punctuators. 3629 case '?': 3630 Kind = tok::question; 3631 break; 3632 case '[': 3633 Kind = tok::l_square; 3634 break; 3635 case ']': 3636 Kind = tok::r_square; 3637 break; 3638 case '(': 3639 Kind = tok::l_paren; 3640 break; 3641 case ')': 3642 Kind = tok::r_paren; 3643 break; 3644 case '{': 3645 Kind = tok::l_brace; 3646 break; 3647 case '}': 3648 Kind = tok::r_brace; 3649 break; 3650 case '.': 3651 Char = getCharAndSize(CurPtr, SizeTmp); 3652 if (Char >= '0' && Char <= '9') { 3653 // Notify MIOpt that we read a non-whitespace/non-comment token. 3654 MIOpt.ReadToken(); 3655 3656 return LexNumericConstant(Result, ConsumeChar(CurPtr, SizeTmp, Result)); 3657 } else if (LangOpts.CPlusPlus && Char == '*') { 3658 Kind = tok::periodstar; 3659 CurPtr += SizeTmp; 3660 } else if (Char == '.' && 3661 getCharAndSize(CurPtr+SizeTmp, SizeTmp2) == '.') { 3662 Kind = tok::ellipsis; 3663 CurPtr = ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3664 SizeTmp2, Result); 3665 } else { 3666 Kind = tok::period; 3667 } 3668 break; 3669 case '&': 3670 Char = getCharAndSize(CurPtr, SizeTmp); 3671 if (Char == '&') { 3672 Kind = tok::ampamp; 3673 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3674 } else if (Char == '=') { 3675 Kind = tok::ampequal; 3676 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3677 } else { 3678 Kind = tok::amp; 3679 } 3680 break; 3681 case '*': 3682 if (getCharAndSize(CurPtr, SizeTmp) == '=') { 3683 Kind = tok::starequal; 3684 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3685 } else { 3686 Kind = tok::star; 3687 } 3688 break; 3689 case '+': 3690 Char = getCharAndSize(CurPtr, SizeTmp); 3691 if (Char == '+') { 3692 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3693 Kind = tok::plusplus; 3694 } else if (Char == '=') { 3695 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3696 Kind = tok::plusequal; 3697 } else { 3698 Kind = tok::plus; 3699 } 3700 break; 3701 case '-': 3702 Char = getCharAndSize(CurPtr, SizeTmp); 3703 if (Char == '-') { // -- 3704 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3705 Kind = tok::minusminus; 3706 } else if (Char == '>' && LangOpts.CPlusPlus && 3707 getCharAndSize(CurPtr+SizeTmp, SizeTmp2) == '*') { // C++ ->* 3708 CurPtr = ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3709 SizeTmp2, Result); 3710 Kind = tok::arrowstar; 3711 } else if (Char == '>') { // -> 3712 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3713 Kind = tok::arrow; 3714 } else if (Char == '=') { // -= 3715 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3716 Kind = tok::minusequal; 3717 } else { 3718 Kind = tok::minus; 3719 } 3720 break; 3721 case '~': 3722 Kind = tok::tilde; 3723 break; 3724 case '!': 3725 if (getCharAndSize(CurPtr, SizeTmp) == '=') { 3726 Kind = tok::exclaimequal; 3727 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3728 } else { 3729 Kind = tok::exclaim; 3730 } 3731 break; 3732 case '/': 3733 // 6.4.9: Comments 3734 Char = getCharAndSize(CurPtr, SizeTmp); 3735 if (Char == '/') { // Line comment. 3736 // Even if Line comments are disabled (e.g. in C89 mode), we generally 3737 // want to lex this as a comment. There is one problem with this though, 3738 // that in one particular corner case, this can change the behavior of the 3739 // resultant program. For example, In "foo //**/ bar", C89 would lex 3740 // this as "foo / bar" and languages with Line comments would lex it as 3741 // "foo". Check to see if the character after the second slash is a '*'. 3742 // If so, we will lex that as a "/" instead of the start of a comment. 3743 // However, we never do this if we are just preprocessing. 3744 bool TreatAsComment = LangOpts.LineComment && 3745 (LangOpts.CPlusPlus || !LangOpts.TraditionalCPP); 3746 if (!TreatAsComment) 3747 if (!(PP && PP->isPreprocessedOutput())) 3748 TreatAsComment = getCharAndSize(CurPtr+SizeTmp, SizeTmp2) != '*'; 3749 3750 if (TreatAsComment) { 3751 if (SkipLineComment(Result, ConsumeChar(CurPtr, SizeTmp, Result), 3752 TokAtPhysicalStartOfLine)) 3753 return true; // There is a token to return. 3754 3755 // It is common for the tokens immediately after a // comment to be 3756 // whitespace (indentation for the next line). Instead of going through 3757 // the big switch, handle it efficiently now. 3758 goto SkipIgnoredUnits; 3759 } 3760 } 3761 3762 if (Char == '*') { // /**/ comment. 3763 if (SkipBlockComment(Result, ConsumeChar(CurPtr, SizeTmp, Result), 3764 TokAtPhysicalStartOfLine)) 3765 return true; // There is a token to return. 3766 3767 // We only saw whitespace, so just try again with this lexer. 3768 // (We manually eliminate the tail call to avoid recursion.) 3769 goto LexNextToken; 3770 } 3771 3772 if (Char == '=') { 3773 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3774 Kind = tok::slashequal; 3775 } else { 3776 Kind = tok::slash; 3777 } 3778 break; 3779 case '%': 3780 Char = getCharAndSize(CurPtr, SizeTmp); 3781 if (Char == '=') { 3782 Kind = tok::percentequal; 3783 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3784 } else if (LangOpts.Digraphs && Char == '>') { 3785 Kind = tok::r_brace; // '%>' -> '}' 3786 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3787 } else if (LangOpts.Digraphs && Char == ':') { 3788 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3789 Char = getCharAndSize(CurPtr, SizeTmp); 3790 if (Char == '%' && getCharAndSize(CurPtr+SizeTmp, SizeTmp2) == ':') { 3791 Kind = tok::hashhash; // '%:%:' -> '##' 3792 CurPtr = ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3793 SizeTmp2, Result); 3794 } else if (Char == '@' && LangOpts.MicrosoftExt) {// %:@ -> #@ -> Charize 3795 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3796 if (!isLexingRawMode()) 3797 Diag(BufferPtr, diag::ext_charize_microsoft); 3798 Kind = tok::hashat; 3799 } else { // '%:' -> '#' 3800 // We parsed a # character. If this occurs at the start of the line, 3801 // it's actually the start of a preprocessing directive. Callback to 3802 // the preprocessor to handle it. 3803 // TODO: -fpreprocessed mode?? 3804 if (TokAtPhysicalStartOfLine && !LexingRawMode && !Is_PragmaLexer) 3805 goto HandleDirective; 3806 3807 Kind = tok::hash; 3808 } 3809 } else { 3810 Kind = tok::percent; 3811 } 3812 break; 3813 case '<': 3814 Char = getCharAndSize(CurPtr, SizeTmp); 3815 if (ParsingFilename) { 3816 return LexAngledStringLiteral(Result, CurPtr); 3817 } else if (Char == '<') { 3818 char After = getCharAndSize(CurPtr+SizeTmp, SizeTmp2); 3819 if (After == '=') { 3820 Kind = tok::lesslessequal; 3821 CurPtr = ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3822 SizeTmp2, Result); 3823 } else if (After == '<' && IsStartOfConflictMarker(CurPtr-1)) { 3824 // If this is actually a '<<<<<<<' version control conflict marker, 3825 // recognize it as such and recover nicely. 3826 goto LexNextToken; 3827 } else if (After == '<' && HandleEndOfConflictMarker(CurPtr-1)) { 3828 // If this is '<<<<' and we're in a Perforce-style conflict marker, 3829 // ignore it. 3830 goto LexNextToken; 3831 } else if (LangOpts.CUDA && After == '<') { 3832 Kind = tok::lesslessless; 3833 CurPtr = ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3834 SizeTmp2, Result); 3835 } else { 3836 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3837 Kind = tok::lessless; 3838 } 3839 } else if (Char == '=') { 3840 char After = getCharAndSize(CurPtr+SizeTmp, SizeTmp2); 3841 if (After == '>') { 3842 if (LangOpts.CPlusPlus20) { 3843 if (!isLexingRawMode()) 3844 Diag(BufferPtr, diag::warn_cxx17_compat_spaceship); 3845 CurPtr = ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3846 SizeTmp2, Result); 3847 Kind = tok::spaceship; 3848 break; 3849 } 3850 // Suggest adding a space between the '<=' and the '>' to avoid a 3851 // change in semantics if this turns up in C++ <=17 mode. 3852 if (LangOpts.CPlusPlus && !isLexingRawMode()) { 3853 Diag(BufferPtr, diag::warn_cxx20_compat_spaceship) 3854 << FixItHint::CreateInsertion( 3855 getSourceLocation(CurPtr + SizeTmp, SizeTmp2), " "); 3856 } 3857 } 3858 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3859 Kind = tok::lessequal; 3860 } else if (LangOpts.Digraphs && Char == ':') { // '<:' -> '[' 3861 if (LangOpts.CPlusPlus11 && 3862 getCharAndSize(CurPtr + SizeTmp, SizeTmp2) == ':') { 3863 // C++0x [lex.pptoken]p3: 3864 // Otherwise, if the next three characters are <:: and the subsequent 3865 // character is neither : nor >, the < is treated as a preprocessor 3866 // token by itself and not as the first character of the alternative 3867 // token <:. 3868 unsigned SizeTmp3; 3869 char After = getCharAndSize(CurPtr + SizeTmp + SizeTmp2, SizeTmp3); 3870 if (After != ':' && After != '>') { 3871 Kind = tok::less; 3872 if (!isLexingRawMode()) 3873 Diag(BufferPtr, diag::warn_cxx98_compat_less_colon_colon); 3874 break; 3875 } 3876 } 3877 3878 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3879 Kind = tok::l_square; 3880 } else if (LangOpts.Digraphs && Char == '%') { // '<%' -> '{' 3881 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3882 Kind = tok::l_brace; 3883 } else if (Char == '#' && /*Not a trigraph*/ SizeTmp == 1 && 3884 lexEditorPlaceholder(Result, CurPtr)) { 3885 return true; 3886 } else { 3887 Kind = tok::less; 3888 } 3889 break; 3890 case '>': 3891 Char = getCharAndSize(CurPtr, SizeTmp); 3892 if (Char == '=') { 3893 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3894 Kind = tok::greaterequal; 3895 } else if (Char == '>') { 3896 char After = getCharAndSize(CurPtr+SizeTmp, SizeTmp2); 3897 if (After == '=') { 3898 CurPtr = ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3899 SizeTmp2, Result); 3900 Kind = tok::greatergreaterequal; 3901 } else if (After == '>' && IsStartOfConflictMarker(CurPtr-1)) { 3902 // If this is actually a '>>>>' conflict marker, recognize it as such 3903 // and recover nicely. 3904 goto LexNextToken; 3905 } else if (After == '>' && HandleEndOfConflictMarker(CurPtr-1)) { 3906 // If this is '>>>>>>>' and we're in a conflict marker, ignore it. 3907 goto LexNextToken; 3908 } else if (LangOpts.CUDA && After == '>') { 3909 Kind = tok::greatergreatergreater; 3910 CurPtr = ConsumeChar(ConsumeChar(CurPtr, SizeTmp, Result), 3911 SizeTmp2, Result); 3912 } else { 3913 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3914 Kind = tok::greatergreater; 3915 } 3916 } else { 3917 Kind = tok::greater; 3918 } 3919 break; 3920 case '^': 3921 Char = getCharAndSize(CurPtr, SizeTmp); 3922 if (Char == '=') { 3923 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3924 Kind = tok::caretequal; 3925 } else if (LangOpts.OpenCL && Char == '^') { 3926 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3927 Kind = tok::caretcaret; 3928 } else { 3929 Kind = tok::caret; 3930 } 3931 break; 3932 case '|': 3933 Char = getCharAndSize(CurPtr, SizeTmp); 3934 if (Char == '=') { 3935 Kind = tok::pipeequal; 3936 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3937 } else if (Char == '|') { 3938 // If this is '|||||||' and we're in a conflict marker, ignore it. 3939 if (CurPtr[1] == '|' && HandleEndOfConflictMarker(CurPtr-1)) 3940 goto LexNextToken; 3941 Kind = tok::pipepipe; 3942 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3943 } else { 3944 Kind = tok::pipe; 3945 } 3946 break; 3947 case ':': 3948 Char = getCharAndSize(CurPtr, SizeTmp); 3949 if (LangOpts.Digraphs && Char == '>') { 3950 Kind = tok::r_square; // ':>' -> ']' 3951 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3952 } else if ((LangOpts.CPlusPlus || 3953 LangOpts.DoubleSquareBracketAttributes) && 3954 Char == ':') { 3955 Kind = tok::coloncolon; 3956 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3957 } else { 3958 Kind = tok::colon; 3959 } 3960 break; 3961 case ';': 3962 Kind = tok::semi; 3963 break; 3964 case '=': 3965 Char = getCharAndSize(CurPtr, SizeTmp); 3966 if (Char == '=') { 3967 // If this is '====' and we're in a conflict marker, ignore it. 3968 if (CurPtr[1] == '=' && HandleEndOfConflictMarker(CurPtr-1)) 3969 goto LexNextToken; 3970 3971 Kind = tok::equalequal; 3972 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3973 } else { 3974 Kind = tok::equal; 3975 } 3976 break; 3977 case ',': 3978 Kind = tok::comma; 3979 break; 3980 case '#': 3981 Char = getCharAndSize(CurPtr, SizeTmp); 3982 if (Char == '#') { 3983 Kind = tok::hashhash; 3984 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3985 } else if (Char == '@' && LangOpts.MicrosoftExt) { // #@ -> Charize 3986 Kind = tok::hashat; 3987 if (!isLexingRawMode()) 3988 Diag(BufferPtr, diag::ext_charize_microsoft); 3989 CurPtr = ConsumeChar(CurPtr, SizeTmp, Result); 3990 } else { 3991 // We parsed a # character. If this occurs at the start of the line, 3992 // it's actually the start of a preprocessing directive. Callback to 3993 // the preprocessor to handle it. 3994 // TODO: -fpreprocessed mode?? 3995 if (TokAtPhysicalStartOfLine && !LexingRawMode && !Is_PragmaLexer) 3996 goto HandleDirective; 3997 3998 Kind = tok::hash; 3999 } 4000 break; 4001 4002 case '@': 4003 // Objective C support. 4004 if (CurPtr[-1] == '@' && LangOpts.ObjC) 4005 Kind = tok::at; 4006 else 4007 Kind = tok::unknown; 4008 break; 4009 4010 // UCNs (C99 6.4.3, C++11 [lex.charset]p2) 4011 case '\\': 4012 if (!LangOpts.AsmPreprocessor) { 4013 if (uint32_t CodePoint = tryReadUCN(CurPtr, BufferPtr, &Result)) { 4014 if (CheckUnicodeWhitespace(Result, CodePoint, CurPtr)) { 4015 if (SkipWhitespace(Result, CurPtr, TokAtPhysicalStartOfLine)) 4016 return true; // KeepWhitespaceMode 4017 4018 // We only saw whitespace, so just try again with this lexer. 4019 // (We manually eliminate the tail call to avoid recursion.) 4020 goto LexNextToken; 4021 } 4022 4023 return LexUnicodeIdentifierStart(Result, CodePoint, CurPtr); 4024 } 4025 } 4026 4027 Kind = tok::unknown; 4028 break; 4029 4030 default: { 4031 if (isASCII(Char)) { 4032 Kind = tok::unknown; 4033 break; 4034 } 4035 4036 llvm::UTF32 CodePoint; 4037 4038 // We can't just reset CurPtr to BufferPtr because BufferPtr may point to 4039 // an escaped newline. 4040 --CurPtr; 4041 llvm::ConversionResult Status = 4042 llvm::convertUTF8Sequence((const llvm::UTF8 **)&CurPtr, 4043 (const llvm::UTF8 *)BufferEnd, 4044 &CodePoint, 4045 llvm::strictConversion); 4046 if (Status == llvm::conversionOK) { 4047 if (CheckUnicodeWhitespace(Result, CodePoint, CurPtr)) { 4048 if (SkipWhitespace(Result, CurPtr, TokAtPhysicalStartOfLine)) 4049 return true; // KeepWhitespaceMode 4050 4051 // We only saw whitespace, so just try again with this lexer. 4052 // (We manually eliminate the tail call to avoid recursion.) 4053 goto LexNextToken; 4054 } 4055 return LexUnicodeIdentifierStart(Result, CodePoint, CurPtr); 4056 } 4057 4058 if (isLexingRawMode() || ParsingPreprocessorDirective || 4059 PP->isPreprocessedOutput()) { 4060 ++CurPtr; 4061 Kind = tok::unknown; 4062 break; 4063 } 4064 4065 // Non-ASCII characters tend to creep into source code unintentionally. 4066 // Instead of letting the parser complain about the unknown token, 4067 // just diagnose the invalid UTF-8, then drop the character. 4068 Diag(CurPtr, diag::err_invalid_utf8); 4069 4070 BufferPtr = CurPtr+1; 4071 // We're pretending the character didn't exist, so just try again with 4072 // this lexer. 4073 // (We manually eliminate the tail call to avoid recursion.) 4074 goto LexNextToken; 4075 } 4076 } 4077 4078 // Notify MIOpt that we read a non-whitespace/non-comment token. 4079 MIOpt.ReadToken(); 4080 4081 // Update the location of token as well as BufferPtr. 4082 FormTokenWithChars(Result, CurPtr, Kind); 4083 return true; 4084 4085 HandleDirective: 4086 // We parsed a # character and it's the start of a preprocessing directive. 4087 4088 FormTokenWithChars(Result, CurPtr, tok::hash); 4089 PP->HandleDirective(Result); 4090 4091 if (PP->hadModuleLoaderFatalFailure()) { 4092 // With a fatal failure in the module loader, we abort parsing. 4093 assert(Result.is(tok::eof) && "Preprocessor did not set tok:eof"); 4094 return true; 4095 } 4096 4097 // We parsed the directive; lex a token with the new state. 4098 return false; 4099 } 4100