23#include "llvm/ADT/APInt.h"
24#include "llvm/ADT/SmallVector.h"
25#include "llvm/ADT/StringExtras.h"
26#include "llvm/ADT/StringSwitch.h"
27#include "llvm/Support/ConvertUTF.h"
28#include "llvm/Support/Error.h"
29#include "llvm/Support/ErrorHandling.h"
30#include "llvm/Support/Unicode.h"
42 default: llvm_unreachable(
"Unknown token type!");
43 case tok::char_constant:
44 case tok::string_literal:
45 case tok::utf8_char_constant:
46 case tok::utf8_string_literal:
47 return Target.getCharWidth();
48 case tok::wide_char_constant:
49 case tok::wide_string_literal:
50 return Target.getWCharWidth();
51 case tok::utf16_char_constant:
52 case tok::utf16_string_literal:
53 return Target.getChar16Width();
54 case tok::utf32_char_constant:
55 case tok::utf32_string_literal:
56 return Target.getChar32Width();
63 llvm_unreachable(
"Unknown token type!");
64 case tok::char_constant:
65 case tok::string_literal:
67 case tok::utf8_char_constant:
68 case tok::utf8_string_literal:
70 case tok::wide_char_constant:
71 case tok::wide_string_literal:
72 case tok::utf16_char_constant:
73 case tok::utf16_string_literal:
74 case tok::utf32_char_constant:
75 case tok::utf32_string_literal:
83 const char *TokRangeBegin,
84 const char *TokRangeEnd) {
101 const char *TokBegin,
const char *TokRangeBegin,
102 const char *TokRangeEnd,
unsigned DiagID) {
131 const char *&ThisTokBuf,
132 const char *ThisTokEnd,
bool &HadError,
137 const char *EscapeBegin = ThisTokBuf;
138 bool Delimited =
false;
139 bool EndDelimiterFound =
false;
146 unsigned ResultChar = *ThisTokBuf++;
147 char Escape = ResultChar;
148 switch (ResultChar) {
150 case '\\':
case '\'':
case '"':
case '?':
break;
162 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
163 diag::ext_nonstandard_escape) <<
"e";
168 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
169 diag::ext_nonstandard_escape) <<
"E";
189 if (ThisTokBuf != ThisTokEnd && *ThisTokBuf ==
'{') {
192 if (*ThisTokBuf ==
'}') {
193 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
194 diag::err_delimited_escape_empty);
197 }
else if (ThisTokBuf == ThisTokEnd || !
isHexDigit(*ThisTokBuf)) {
199 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
200 diag::err_hex_escape_no_digits) <<
"x";
205 bool Overflow =
false;
206 for (; ThisTokBuf != ThisTokEnd; ++ThisTokBuf) {
207 if (Delimited && *ThisTokBuf ==
'}') {
209 EndDelimiterFound =
true;
212 int CharVal = llvm::hexDigitValue(*ThisTokBuf);
219 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
220 diag::err_delimited_escape_invalid)
221 << StringRef(ThisTokBuf, 1);
225 if (ResultChar & 0xF0000000)
228 ResultChar |= CharVal;
231 if (CharWidth != 32 && (ResultChar >> CharWidth) != 0) {
233 ResultChar &= ~0
U >> (32-CharWidth);
237 if (!HadError && Overflow) {
240 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
241 diag::err_escape_too_large)
246 case '0':
case '1':
case '2':
case '3':
247 case '4':
case '5':
case '6':
case '7': {
254 unsigned NumDigits = 0;
257 ResultChar |= *ThisTokBuf++ -
'0';
259 }
while (ThisTokBuf != ThisTokEnd && NumDigits < 3 &&
260 ThisTokBuf[0] >=
'0' && ThisTokBuf[0] <=
'7');
263 if (CharWidth != 32 && (ResultChar >> CharWidth) != 0) {
265 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
266 diag::err_escape_too_large) << 1;
267 ResultChar &= ~0
U >> (32-CharWidth);
272 bool Overflow =
false;
273 if (ThisTokBuf == ThisTokEnd || *ThisTokBuf !=
'{') {
276 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
277 diag::err_delimited_escape_missing_brace)
285 if (*ThisTokBuf ==
'}') {
286 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
287 diag::err_delimited_escape_empty);
291 while (ThisTokBuf != ThisTokEnd) {
292 if (*ThisTokBuf ==
'}') {
293 EndDelimiterFound =
true;
297 if (*ThisTokBuf <
'0' || *ThisTokBuf >
'7') {
300 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
301 diag::err_delimited_escape_invalid)
302 << StringRef(ThisTokBuf, 1);
307 if (ResultChar & 0xE0000000)
311 ResultChar |= *ThisTokBuf++ -
'0';
315 (Overflow || (CharWidth != 32 && (ResultChar >> CharWidth) != 0))) {
318 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
319 diag::err_escape_too_large)
321 ResultChar &= ~0
U >> (32 - CharWidth);
326 case '(':
case '{':
case '[':
case '%':
329 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
330 diag::ext_nonstandard_escape)
331 << std::string(1, ResultChar);
338 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
339 diag::ext_unknown_escape)
340 << std::string(1, ResultChar);
342 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
343 diag::ext_unknown_escape)
344 <<
"x" + llvm::utohexstr(ResultChar);
348 if (Delimited && Diags) {
349 if (!EndDelimiterFound)
350 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
353 else if (!HadError) {
354 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
355 Features.CPlusPlus23 ? diag::warn_cxx23_delimited_escape_sequence
356 : diag::ext_delimited_escape_sequence)
357 << 0 << (Features.CPlusPlus ? 1 : 0);
361 if (EvalMethod == StringLiteralEvalMethod::Unevaluated &&
363 Diag(Diags, Features, Loc, ThisTokBegin, EscapeBegin, ThisTokBuf,
364 diag::err_unevaluated_string_invalid_escape_sequence)
365 << StringRef(EscapeBegin, ThisTokBuf - EscapeBegin);
375 char *ResultPtr = ResultBuf;
376 if (llvm::ConvertCodePointToUTF8(Codepoint, ResultPtr))
377 Str.append(ResultBuf, ResultPtr);
381 for (StringRef::iterator I = Input.begin(), E = Input.end(); I != E; ++I) {
391 assert(Kind ==
'u' || Kind ==
'U' || Kind ==
'N');
392 uint32_t CodePoint = 0;
394 if (Kind ==
'u' && *I ==
'{') {
395 for (++I; *I !=
'}'; ++I) {
396 unsigned Value = llvm::hexDigitValue(*I);
397 assert(
Value != -1U);
408 auto Delim = std::find(I, Input.end(),
'}');
409 assert(Delim != Input.end());
410 StringRef Name(I, std::distance(I, Delim));
411 std::optional<llvm::sys::unicode::LooseMatchingResult> Res =
412 llvm::sys::unicode::nameToCodepointLooseMatching(Name);
413 assert(Res &&
"could not find a codepoint that was previously found");
414 CodePoint = Res->CodePoint;
415 assert(CodePoint != 0xFFFFFFFF);
421 unsigned NumHexDigits;
427 assert(I + NumHexDigits <= E);
429 for (; NumHexDigits != 0; ++I, --NumHexDigits) {
430 unsigned Value = llvm::hexDigitValue(*I);
431 assert(
Value != -1U);
444 return LO.MicrosoftExt &&
445 (K == tok::kw___FUNCTION__ || K == tok::kw_L__FUNCTION__ ||
446 K == tok::kw___FUNCSIG__ || K == tok::kw_L__FUNCSIG__ ||
447 K == tok::kw___FUNCDNAME__);
456 const char *&ThisTokBuf,
457 const char *ThisTokEnd, uint32_t &UcnVal,
458 unsigned short &UcnLen,
bool &Delimited,
461 bool in_char_string_literal =
false) {
462 const char *UcnBegin = ThisTokBuf;
463 bool HasError =
false;
464 bool EndDelimiterFound =
false;
469 if (UcnBegin[1] ==
'u' && in_char_string_literal &&
470 ThisTokBuf != ThisTokEnd && *ThisTokBuf ==
'{') {
473 }
else if (ThisTokBuf == ThisTokEnd || !
isHexDigit(*ThisTokBuf)) {
475 Diag(Diags, Features, Loc, ThisTokBegin, UcnBegin, ThisTokBuf,
476 diag::err_hex_escape_no_digits)
477 << StringRef(&ThisTokBuf[-1], 1);
480 UcnLen = (ThisTokBuf[-1] ==
'u' ? 4 : 8);
482 bool Overflow =
false;
483 unsigned short Count = 0;
484 for (; ThisTokBuf != ThisTokEnd && (Delimited || Count != UcnLen);
486 if (Delimited && *ThisTokBuf ==
'}') {
488 EndDelimiterFound =
true;
491 int CharVal = llvm::hexDigitValue(*ThisTokBuf);
497 Diag(Diags, Features, Loc, ThisTokBegin, UcnBegin, ThisTokBuf,
498 diag::err_delimited_escape_invalid)
499 << StringRef(ThisTokBuf, 1);
504 if (UcnVal & 0xF0000000) {
515 Diag(Diags, Features, Loc, ThisTokBegin, UcnBegin, ThisTokBuf,
516 diag::err_escape_too_large)
521 if (Delimited && !EndDelimiterFound) {
523 Diag(Diags, Features, Loc, ThisTokBegin, UcnBegin, ThisTokBuf,
531 if (Count == 0 || (!Delimited && Count != UcnLen)) {
533 Diag(Diags, Features, Loc, ThisTokBegin, UcnBegin, ThisTokBuf,
534 Delimited ? diag::err_delimited_escape_empty
535 : diag::err_ucn_escape_incomplete);
543 const char *TokBegin,
const char *TokRangeBegin,
const char *TokRangeEnd,
544 llvm::StringRef Name) {
546 Diag(Diags, Features, Loc, TokBegin, TokRangeBegin, TokRangeEnd,
547 diag::err_invalid_ucn_name)
550 namespace u = llvm::sys::unicode;
552 std::optional<u::LooseMatchingResult> Res =
553 u::nameToCodepointLooseMatching(Name);
555 Diag(Diags, Features, Loc, TokBegin, TokRangeBegin, TokRangeEnd,
556 diag::note_invalid_ucn_name_loose_matching)
564 unsigned Distance = 0;
566 u::nearestMatchesForCodepointName(Name, 5);
567 assert(!Matches.empty() &&
"No unicode characters found");
569 for (
const auto &Match : Matches) {
571 Distance = Match.Distance;
572 if (std::max(Distance, Match.Distance) -
573 std::min(Distance, Match.Distance) >
576 Distance = Match.Distance;
579 llvm::UTF32
V = Match.Value;
583 assert(Converted &&
"Found a match wich is not a unicode character");
585 Diag(Diags, Features, Loc, TokBegin, TokRangeBegin, TokRangeEnd,
586 diag::note_invalid_ucn_name_candidate)
587 << Match.Name << llvm::utohexstr(Match.Value)
597 const char *&ThisTokBuf,
598 const char *ThisTokEnd, uint32_t &UcnVal,
602 const char *UcnBegin = ThisTokBuf;
603 assert(UcnBegin[0] ==
'\\' && UcnBegin[1] ==
'N');
605 if (ThisTokBuf == ThisTokEnd || *ThisTokBuf !=
'{') {
607 Diag(Diags, Features, Loc, ThisTokBegin, UcnBegin, ThisTokBuf,
608 diag::err_delimited_escape_missing_brace)
609 << StringRef(&ThisTokBuf[-1], 1);
614 const char *ClosingBrace = std::find_if(ThisTokBuf, ThisTokEnd, [](
char C) {
618 bool Empty = ClosingBrace == ThisTokBuf;
621 Diag(Diags, Features, Loc, ThisTokBegin, UcnBegin, ThisTokBuf,
623 : diag::err_delimited_escape_empty)
624 << StringRef(&UcnBegin[1], 1);
626 ThisTokBuf = ClosingBrace == ThisTokEnd ? ClosingBrace : ClosingBrace + 1;
629 StringRef Name(ThisTokBuf, ClosingBrace - ThisTokBuf);
630 ThisTokBuf = ClosingBrace + 1;
631 std::optional<char32_t> Res = llvm::sys::unicode::nameToCodepointStrict(Name);
635 &UcnBegin[3], ClosingBrace, Name);
639 UcnLen = UcnVal > 0xFFFF ? 8 : 4;
646 const char *ThisTokEnd, uint32_t &UcnVal,
650 bool in_char_string_literal =
false) {
653 const char *UcnBegin = ThisTokBuf;
654 bool IsDelimitedEscapeSequence =
false;
655 bool IsNamedEscapeSequence =
false;
656 if (ThisTokBuf[1] ==
'N') {
657 IsNamedEscapeSequence =
true;
659 UcnVal, UcnLen, Loc, Diags, Features);
663 UcnLen, IsDelimitedEscapeSequence, Loc, Diags,
664 Features, in_char_string_literal);
670 if ((0xD800 <= UcnVal && UcnVal <= 0xDFFF) ||
673 Diag(Diags, Features, Loc, ThisTokBegin, UcnBegin, ThisTokBuf,
674 diag::err_ucn_escape_invalid);
682 (UcnVal != 0x24 && UcnVal != 0x40 && UcnVal != 0x60)) {
684 (!(Features.CPlusPlus11 || Features.C23) || !in_char_string_literal);
686 char BasicSCSChar = UcnVal;
687 if (UcnVal >= 0x20 && UcnVal < 0x7f)
688 Diag(Diags, Features, Loc, ThisTokBegin, UcnBegin, ThisTokBuf,
689 IsError ? diag::err_ucn_escape_basic_scs
691 ? diag::warn_cxx98_compat_literal_ucn_escape_basic_scs
692 : diag::warn_c23_compat_literal_ucn_escape_basic_scs)
693 << StringRef(&BasicSCSChar, 1);
695 Diag(Diags, Features, Loc, ThisTokBegin, UcnBegin, ThisTokBuf,
696 IsError ? diag::err_ucn_control_character
698 ? diag::warn_cxx98_compat_literal_ucn_control_character
699 : diag::warn_c23_compat_literal_ucn_control_character);
705 if (!Features.CPlusPlus && !Features.C99 && Diags)
706 Diag(Diags, Features, Loc, ThisTokBegin, UcnBegin, ThisTokBuf,
707 diag::warn_ucn_not_valid_in_c89_literal);
709 if ((IsDelimitedEscapeSequence || IsNamedEscapeSequence) && Diags)
710 Diag(Diags, Features, Loc, ThisTokBegin, UcnBegin, ThisTokBuf,
711 Features.CPlusPlus23 ? diag::warn_cxx23_delimited_escape_sequence
712 : diag::ext_delimited_escape_sequence)
713 << (IsNamedEscapeSequence ? 1 : 0) << (Features.CPlusPlus ? 1 : 0);
721 const char *ThisTokEnd,
unsigned CharByteWidth,
724 if (CharByteWidth == 4)
728 unsigned short UcnLen = 0;
732 UcnLen, Loc,
nullptr, Features,
true)) {
738 if (CharByteWidth == 2)
739 return UcnVal <= 0xFFFF ? 2 : 4;
746 if (UcnVal < 0x10000)
756 const char *ThisTokEnd,
757 char *&ResultBuf,
bool &HadError,
761 typedef uint32_t
UTF32;
763 unsigned short UcnLen = 0;
765 Loc, Diags, Features,
true)) {
770 assert((CharByteWidth == 1 || CharByteWidth == 2 || CharByteWidth == 4) &&
771 "only character widths of 1, 2, or 4 bytes supported");
774 assert((UcnLen== 4 || UcnLen== 8) &&
"only ucn length of 4 or 8 supported");
776 if (CharByteWidth == 4) {
779 llvm::UTF32 *ResultPtr =
reinterpret_cast<llvm::UTF32*
>(ResultBuf);
785 if (CharByteWidth == 2) {
788 llvm::UTF16 *ResultPtr =
reinterpret_cast<llvm::UTF16*
>(ResultBuf);
790 if (UcnVal <= (
UTF32)0xFFFF) {
798 *ResultPtr = 0xD800 + (UcnVal >> 10);
799 *(ResultPtr+1) = 0xDC00 + (UcnVal & 0x3FF);
804 assert(CharByteWidth == 1 &&
"UTF-8 encoding is only for 1 byte characters");
810 typedef uint8_t
UTF8;
812 unsigned short bytesToWrite = 0;
813 if (UcnVal < (
UTF32)0x80)
815 else if (UcnVal < (
UTF32)0x800)
817 else if (UcnVal < (
UTF32)0x10000)
822 const unsigned byteMask = 0xBF;
823 const unsigned byteMark = 0x80;
827 static const UTF8 firstByteMark[5] = {
828 0x00, 0x00, 0xC0, 0xE0, 0xF0
831 ResultBuf += bytesToWrite;
832 switch (bytesToWrite) {
834 *--ResultBuf = (
UTF8)((UcnVal | byteMark) & byteMask); UcnVal >>= 6;
837 *--ResultBuf = (
UTF8)((UcnVal | byteMark) & byteMask); UcnVal >>= 6;
840 *--ResultBuf = (
UTF8)((UcnVal | byteMark) & byteMask); UcnVal >>= 6;
843 *--ResultBuf = (
UTF8) (UcnVal | firstByteMark[bytesToWrite]);
846 ResultBuf += bytesToWrite;
906 :
SM(
SM), LangOpts(LangOpts), Diags(Diags),
907 ThisTokBegin(TokSpelling.begin()), ThisTokEnd(TokSpelling.end()) {
909 s = DigitsBegin = ThisTokBegin;
910 saw_exponent =
false;
912 saw_ud_suffix =
false;
913 saw_fixed_point_suffix =
false;
937 !(LangOpts.HLSL && *ThisTokEnd ==
'.')) {
938 Diags.
Report(TokLoc, diag::err_lexing_numeric);
944 ParseNumberStartingWithZero(TokLoc);
950 if (
s == ThisTokEnd) {
953 ParseDecimalOrOctalCommon(TokLoc);
960 checkSeparator(TokLoc,
s, CSK_AfterDigits);
963 if (LangOpts.FixedPoint) {
964 for (
const char *
c =
s;
c != ThisTokEnd; ++
c) {
965 if (*
c ==
'r' || *
c ==
'k' || *
c ==
'R' || *
c ==
'K') {
966 saw_fixed_point_suffix =
true;
976 bool HasSize =
false;
980 for (;
s != ThisTokEnd; ++
s) {
984 if (!LangOpts.FixedPoint)
987 if (!(saw_period || saw_exponent))
break;
992 if (!LangOpts.FixedPoint)
995 if (!(saw_period || saw_exponent))
break;
1001 if (!(LangOpts.Half || LangOpts.FixedPoint))
1011 if (!isFPConstant)
break;
1022 if ((
Target.hasFloat16Type() || LangOpts.CUDA ||
1023 (LangOpts.OpenMPIsTargetDevice &&
Target.getTriple().isNVPTX())) &&
1024 s + 2 < ThisTokEnd &&
s[1] ==
'1' &&
s[2] ==
'6') {
1034 if (!isFPConstant)
break;
1042 if (isFPConstant)
break;
1054 assert(
s + 1 < ThisTokEnd &&
"didn't maximally munch?");
1055 if (isFPConstant)
break;
1073 if (LangOpts.MicrosoftExt && !isFPConstant) {
1110 assert(
s <= ThisTokEnd &&
"didn't maximally munch?");
1131 if (!LangOpts.CPlusPlus && ((
s[0] ==
'w' &&
s[1] ==
'b') ||
1132 (
s[0] ==
'W' &&
s[1] ==
'B'))) {
1146 expandUCNs(UDSuffixBuf, StringRef(SuffixBegin, ThisTokEnd - SuffixBegin));
1161 saw_fixed_point_suffix =
false;
1166 saw_ud_suffix =
true;
1170 if (
s != ThisTokEnd) {
1173 TokLoc, SuffixBegin - ThisTokBegin,
SM, LangOpts),
1174 diag::err_invalid_suffix_constant)
1175 << StringRef(SuffixBegin, ThisTokEnd - SuffixBegin)
1176 << (isFixedPointConstant ? 2 : isFPConstant);
1181 if (!
hadError && saw_fixed_point_suffix) {
1189void NumericLiteralParser::ParseDecimalOrOctalCommon(
SourceLocation TokLoc){
1190 assert((radix == 8 || radix == 10) &&
"Unexpected radix");
1198 diag::err_invalid_digit)
1199 << StringRef(
s, 1) << (radix == 8 ? 1 : 0);
1205 checkSeparator(TokLoc,
s, CSK_AfterDigits);
1209 checkSeparator(TokLoc,
s, CSK_BeforeDigits);
1212 if (*
s ==
'e' || *
s ==
'E') {
1213 checkSeparator(TokLoc,
s, CSK_AfterDigits);
1214 const char *Exponent =
s;
1217 saw_exponent =
true;
1218 if (
s != ThisTokEnd && (*
s ==
'+' || *
s ==
'-'))
s++;
1219 const char *first_non_digit = SkipDigits(
s);
1220 if (containsDigits(
s, first_non_digit)) {
1221 checkSeparator(TokLoc,
s, CSK_BeforeDigits);
1222 s = first_non_digit;
1226 TokLoc, Exponent - ThisTokBegin,
SM, LangOpts),
1227 diag::err_exponent_has_no_digits);
1240 if (!LangOpts.CPlusPlus11 || Suffix.empty())
1244 if (Suffix[0] ==
'_')
1248 if (!LangOpts.CPlusPlus14)
1254 return llvm::StringSwitch<bool>(Suffix)
1255 .Cases(
"h",
"min",
"s",
true)
1256 .Cases(
"ms",
"us",
"ns",
true)
1257 .Cases(
"il",
"i",
"if",
true)
1258 .Cases(
"d",
"y", LangOpts.CPlusPlus20)
1264 CheckSeparatorKind IsAfterDigits) {
1265 if (IsAfterDigits == CSK_AfterDigits) {
1266 if (Pos == ThisTokBegin)
1269 }
else if (Pos == ThisTokEnd)
1272 if (isDigitSeparator(*Pos)) {
1275 diag::err_digit_separator_not_between_digits)
1286void NumericLiteralParser::ParseNumberStartingWithZero(
SourceLocation TokLoc) {
1287 assert(
s[0] ==
'0' &&
"Invalid method call");
1293 if ((c1 ==
'x' || c1 ==
'X') && (
isHexDigit(
s[1]) ||
s[1] ==
'.')) {
1295 assert(
s < ThisTokEnd &&
"didn't maximally munch?");
1298 s = SkipHexDigits(
s);
1299 bool HasSignificandDigits = containsDigits(DigitsBegin,
s);
1300 if (
s == ThisTokEnd) {
1302 }
else if (*
s ==
'.') {
1305 const char *floatDigitsBegin =
s;
1306 s = SkipHexDigits(
s);
1307 if (containsDigits(floatDigitsBegin,
s))
1308 HasSignificandDigits =
true;
1309 if (HasSignificandDigits)
1310 checkSeparator(TokLoc, floatDigitsBegin, CSK_BeforeDigits);
1313 if (!HasSignificandDigits) {
1316 diag::err_hex_constant_requires)
1317 << LangOpts.CPlusPlus << 1;
1324 if (*
s ==
'p' || *
s ==
'P') {
1325 checkSeparator(TokLoc,
s, CSK_AfterDigits);
1326 const char *Exponent =
s;
1328 saw_exponent =
true;
1329 if (
s != ThisTokEnd && (*
s ==
'+' || *
s ==
'-'))
s++;
1330 const char *first_non_digit = SkipDigits(
s);
1331 if (!containsDigits(
s, first_non_digit)) {
1334 TokLoc, Exponent - ThisTokBegin,
SM, LangOpts),
1335 diag::err_exponent_has_no_digits);
1340 checkSeparator(TokLoc,
s, CSK_BeforeDigits);
1341 s = first_non_digit;
1343 if (!LangOpts.HexFloats)
1344 Diags.
Report(TokLoc, LangOpts.CPlusPlus
1345 ? diag::ext_hex_literal_invalid
1346 : diag::ext_hex_constant_invalid);
1347 else if (LangOpts.CPlusPlus17)
1348 Diags.
Report(TokLoc, diag::warn_cxx17_hex_literal);
1349 }
else if (saw_period) {
1352 diag::err_hex_constant_requires)
1353 << LangOpts.CPlusPlus << 0;
1360 if ((c1 ==
'b' || c1 ==
'B') && (
s[1] ==
'0' ||
s[1] ==
'1')) {
1363 if (LangOpts.CPlusPlus14)
1364 DiagId = diag::warn_cxx11_compat_binary_literal;
1365 else if (LangOpts.C23)
1366 DiagId = diag::warn_c23_compat_binary_literal;
1367 else if (LangOpts.CPlusPlus)
1368 DiagId = diag::ext_binary_literal_cxx14;
1370 DiagId = diag::ext_binary_literal;
1371 Diags.
Report(TokLoc, DiagId);
1373 assert(
s < ThisTokEnd &&
"didn't maximally munch?");
1376 s = SkipBinaryDigits(
s);
1377 if (
s == ThisTokEnd) {
1383 diag::err_invalid_digit)
1384 << StringRef(
s, 1) << 2;
1395 const char *PossibleNewDigitStart =
s;
1396 s = SkipOctalDigits(
s);
1400 if (
s != PossibleNewDigitStart)
1401 DigitsBegin = PossibleNewDigitStart;
1403 if (
s == ThisTokEnd)
1409 const char *EndDecimal = SkipDigits(
s);
1410 if (EndDecimal[0] ==
'.' || EndDecimal[0] ==
'e' || EndDecimal[0] ==
'E') {
1416 ParseDecimalOrOctalCommon(TokLoc);
1422 return NumDigits <= 64;
1424 return NumDigits <= 64 / 3;
1426 return NumDigits <= 19;
1428 return NumDigits <= 64 / 4;
1430 llvm_unreachable(
"impossible Radix");
1444 const unsigned NumDigits = SuffixBegin - DigitsBegin;
1447 for (
const char *Ptr = DigitsBegin; Ptr != SuffixBegin; ++Ptr)
1448 if (!isDigitSeparator(*Ptr))
1449 N = N * radix + llvm::hexDigitValue(*Ptr);
1454 return Val.getZExtValue() != N;
1458 const char *Ptr = DigitsBegin;
1460 llvm::APInt RadixVal(Val.getBitWidth(), radix);
1461 llvm::APInt CharVal(Val.getBitWidth(), 0);
1462 llvm::APInt OldVal = Val;
1464 bool OverflowOccurred =
false;
1465 while (Ptr < SuffixBegin) {
1466 if (isDigitSeparator(*Ptr)) {
1471 unsigned C = llvm::hexDigitValue(*Ptr++);
1474 assert(
C < radix &&
"NumericLiteralParser ctor should have rejected this");
1484 OverflowOccurred |= Val.udiv(RadixVal) != OldVal;
1489 OverflowOccurred |= Val.ult(CharVal);
1491 return OverflowOccurred;
1494llvm::APFloat::opStatus
1496 using llvm::APFloat;
1498 unsigned n = std::min(SuffixBegin - ThisTokBegin, ThisTokEnd - ThisTokBegin);
1501 StringRef Str(ThisTokBegin, n);
1502 if (Str.contains(
'\'')) {
1504 std::remove_copy_if(Str.begin(), Str.end(), std::back_inserter(Buffer),
1510 Result.convertFromString(Str, APFloat::rmNearestTiesToEven);
1511 assert(StatusOrErr &&
"Invalid floating point representation");
1512 return !errorToBool(StatusOrErr.takeError()) ? *StatusOrErr
1513 : APFloat::opInvalidOp;
1518 return c ==
'p' ||
c ==
'P';
1519 return c ==
'e' ||
c ==
'E';
1523 assert(radix == 16 || radix == 10);
1526 unsigned NumDigits = SuffixBegin - DigitsBegin;
1527 if (saw_period) --NumDigits;
1530 bool ExpOverflowOccurred =
false;
1531 bool NegativeExponent =
false;
1532 const char *ExponentBegin;
1533 uint64_t Exponent = 0;
1534 int64_t BaseShift = 0;
1536 const char *Ptr = DigitsBegin;
1540 ExponentBegin = Ptr;
1542 NegativeExponent = *Ptr ==
'-';
1543 if (NegativeExponent) ++Ptr;
1545 unsigned NumExpDigits = SuffixBegin - Ptr;
1547 llvm::StringRef ExpStr(Ptr, NumExpDigits);
1548 llvm::APInt ExpInt(64, ExpStr, 10);
1549 Exponent = ExpInt.getZExtValue();
1551 ExpOverflowOccurred =
true;
1554 if (NegativeExponent) BaseShift -= Exponent;
1555 else BaseShift += Exponent;
1575 uint64_t NumBitsNeeded;
1577 NumBitsNeeded = 4 * (NumDigits + Exponent) + Scale;
1579 NumBitsNeeded = 4 * NumDigits + Exponent + Scale;
1581 if (NumBitsNeeded > std::numeric_limits<unsigned>::max())
1582 ExpOverflowOccurred =
true;
1583 llvm::APInt Val(
static_cast<unsigned>(NumBitsNeeded), 0,
false);
1585 bool FoundDecimal =
false;
1587 int64_t FractBaseShift = 0;
1588 const char *End = saw_exponent ? ExponentBegin : SuffixBegin;
1589 for (
const char *Ptr = DigitsBegin; Ptr < End; ++Ptr) {
1591 FoundDecimal =
true;
1596 unsigned C = llvm::hexDigitValue(*Ptr);
1597 assert(
C < radix &&
"NumericLiteralParser ctor should have rejected this");
1609 if (radix == 16) FractBaseShift *= 4;
1610 BaseShift += FractBaseShift;
1614 uint64_t
Base = (radix == 16) ? 2 : 10;
1615 if (BaseShift > 0) {
1616 for (int64_t i = 0; i < BaseShift; ++i) {
1619 }
else if (BaseShift < 0) {
1620 for (int64_t i = BaseShift; i < 0 && !Val.isZero(); ++i)
1621 Val = Val.udiv(
Base);
1624 bool IntOverflowOccurred =
false;
1625 auto MaxVal = llvm::APInt::getMaxValue(StoreVal.getBitWidth());
1626 if (Val.getBitWidth() > StoreVal.getBitWidth()) {
1627 IntOverflowOccurred |= Val.ugt(MaxVal.zext(Val.getBitWidth()));
1628 StoreVal = Val.trunc(StoreVal.getBitWidth());
1629 }
else if (Val.getBitWidth() < StoreVal.getBitWidth()) {
1630 IntOverflowOccurred |= Val.zext(MaxVal.getBitWidth()).ugt(MaxVal);
1631 StoreVal = Val.zext(StoreVal.getBitWidth());
1636 return IntOverflowOccurred || ExpOverflowOccurred;
1686 const char *TokBegin = begin;
1689 if (Kind != tok::char_constant)
1691 if (Kind == tok::utf8_char_constant)
1695 if (begin[0] !=
'\'') {
1696 PP.
Diag(Loc, diag::err_lexing_char);
1704 if (end[-1] !=
'\'') {
1705 const char *UDSuffixEnd = end;
1708 }
while (end[-1] !=
'\'');
1710 expandUCNs(UDSuffixBuf, StringRef(end, UDSuffixEnd - end));
1711 UDSuffixOffset = end - TokBegin;
1715 assert(end != begin &&
"Invalid token lexed");
1722 "Assumes char is 8 bits");
1725 "Assumes sizeof(int) on target is <= 64 and a multiple of char");
1727 "Assumes sizeof(wchar) on target is <= 64");
1730 codepoint_buffer.resize(end - begin);
1731 uint32_t *buffer_begin = &codepoint_buffer.front();
1732 uint32_t *buffer_end = buffer_begin + codepoint_buffer.size();
1737 uint32_t largest_character_for_kind;
1738 if (tok::wide_char_constant == Kind) {
1739 largest_character_for_kind =
1741 }
else if (tok::utf8_char_constant == Kind) {
1742 largest_character_for_kind = 0x7F;
1743 }
else if (tok::utf16_char_constant == Kind) {
1744 largest_character_for_kind = 0xFFFF;
1745 }
else if (tok::utf32_char_constant == Kind) {
1746 largest_character_for_kind = 0x10FFFF;
1748 largest_character_for_kind = 0x7Fu;
1751 while (begin != end) {
1753 if (begin[0] !=
'\\') {
1754 char const *start = begin;
1757 }
while (begin != end && *begin !=
'\\');
1759 char const *tmp_in_start = start;
1760 uint32_t *tmp_out_start = buffer_begin;
1761 llvm::ConversionResult res =
1762 llvm::ConvertUTF8toUTF32(
reinterpret_cast<llvm::UTF8
const **
>(&start),
1763 reinterpret_cast<llvm::UTF8
const *
>(begin),
1764 &buffer_begin, buffer_end, llvm::strictConversion);
1765 if (res != llvm::conversionOK) {
1770 unsigned Msg = diag::err_bad_character_encoding;
1771 if (NoErrorOnBadEncoding)
1772 Msg = diag::warn_bad_character_encoding;
1774 if (NoErrorOnBadEncoding) {
1775 start = tmp_in_start;
1776 buffer_begin = tmp_out_start;
1777 for (; start != begin; ++start, ++buffer_begin)
1778 *buffer_begin =
static_cast<uint8_t
>(*start);
1783 for (; tmp_out_start < buffer_begin; ++tmp_out_start) {
1784 if (*tmp_out_start > largest_character_for_kind) {
1786 PP.
Diag(Loc, diag::err_character_too_large);
1794 if (begin[1] ==
'u' || begin[1] ==
'U' || begin[1] ==
'N') {
1795 unsigned short UcnLen = 0;
1800 }
else if (*buffer_begin > largest_character_for_kind) {
1802 PP.
Diag(Loc, diag::err_character_too_large);
1814 *buffer_begin++ = result;
1817 unsigned NumCharsSoFar = buffer_begin - &codepoint_buffer.front();
1819 if (NumCharsSoFar > 1) {
1821 PP.
Diag(Loc, diag::warn_four_char_character_literal);
1823 PP.
Diag(Loc, diag::warn_multichar_character_literal);
1825 PP.
Diag(Loc, diag::err_multichar_character_literal) << (
isWide() ? 0 : 1);
1830 IsMultiChar =
false;
1837 bool multi_char_too_long =
false;
1840 for (
size_t i = 0; i < NumCharsSoFar; ++i) {
1842 multi_char_too_long |= (LitVal.countl_zero() < 8);
1844 LitVal = LitVal + (codepoint_buffer[i] & 0xFF);
1846 }
else if (NumCharsSoFar > 0) {
1848 LitVal = buffer_begin[-1];
1851 if (!HadError && multi_char_too_long) {
1852 PP.
Diag(Loc, diag::warn_char_constant_too_large);
1856 Value = LitVal.getZExtValue();
1924 :
SM(PP.getSourceManager()), Features(PP.getLangOpts()),
1925 Target(PP.getTargetInfo()), Diags(&PP.getDiagnostics()),
1926 MaxTokenLength(0), SizeBound(0), CharByteWidth(0), Kind(tok::unknown),
1927 ResultPtr(ResultBuf.data()), EvalMethod(EvalMethod), hadError(
false),
1935 if (StringToks.empty() || StringToks[0].getLength() < 2)
1942 assert(!StringToks.empty() &&
"expected at least one token");
1943 MaxTokenLength = StringToks[0].getLength();
1944 assert(StringToks[0].getLength() >= 2 &&
"literal token is invalid!");
1945 SizeBound = StringToks[0].getLength() - 2;
1949 Kind = tok::string_literal;
1952 for (
const Token &Tok : StringToks) {
1953 if (Tok.getLength() < 2)
1954 return DiagnoseLexingError(Tok.getLocation());
1958 assert(Tok.getLength() >= 2 &&
"literal token is invalid!");
1959 SizeBound += Tok.getLength() - 2;
1962 if (Tok.getLength() > MaxTokenLength)
1963 MaxTokenLength = Tok.getLength();
1967 if (
isUnevaluated() && Tok.getKind() != tok::string_literal) {
1974 StringRef Prefix(
SM.getCharacterData(Tok.getLocation()),
1976 Diags->
Report(Tok.getLocation(),
1977 Features.CPlusPlus26
1978 ? diag::err_unevaluated_string_prefix
1979 : diag::warn_unevaluated_string_prefix)
1982 if (Features.CPlusPlus26)
1984 }
else if (Tok.isNot(Kind) && Tok.isNot(tok::string_literal)) {
1986 Kind = Tok.getKind();
1989 Diags->
Report(Tok.getLocation(), diag::err_unsupported_string_concat);
2002 assert((CharByteWidth & 7) == 0 &&
"Assumes character size is byte multiple");
2007 SizeBound *= CharByteWidth;
2010 ResultBuf.resize(SizeBound);
2014 TokenBuf.resize(MaxTokenLength);
2018 ResultPtr = &ResultBuf[0];
2024 for (
unsigned i = 0, e = StringToks.size(); i != e; ++i) {
2025 const char *ThisTokBuf = &TokenBuf[0];
2029 bool StringInvalid =
false;
2030 unsigned ThisTokLen =
2034 return DiagnoseLexingError(StringToks[i].getLocation());
2036 const char *ThisTokBegin = ThisTokBuf;
2037 const char *ThisTokEnd = ThisTokBuf+ThisTokLen;
2040 if (ThisTokEnd[-1] !=
'"') {
2041 const char *UDSuffixEnd = ThisTokEnd;
2044 }
while (ThisTokEnd[-1] !=
'"');
2046 StringRef UDSuffix(ThisTokEnd, UDSuffixEnd - ThisTokEnd);
2048 if (UDSuffixBuf.empty()) {
2049 if (StringToks[i].hasUCN())
2052 UDSuffixBuf.assign(UDSuffix);
2054 UDSuffixOffset = ThisTokEnd - ThisTokBuf;
2055 UDSuffixTokLoc = StringToks[i].getLocation();
2058 if (StringToks[i].hasUCN()) {
2060 UDSuffix = ExpandedUDSuffix;
2067 bool UnevaluatedStringHasUDL =
isUnevaluated() && !UDSuffix.empty();
2068 if (UDSuffixBuf != UDSuffix || UnevaluatedStringHasUDL) {
2071 if (UnevaluatedStringHasUDL) {
2072 Diags->
Report(TokLoc, diag::err_unevaluated_string_udl)
2075 Diags->
Report(TokLoc, diag::err_string_concat_mixed_suffix)
2076 << UDSuffixBuf << UDSuffix
2091 if (ThisTokBuf[0] ==
'L' || ThisTokBuf[0] ==
'u' || ThisTokBuf[0] ==
'U') {
2094 if (ThisTokBuf[0] ==
'8')
2099 if (ThisTokBuf[0] ==
'R') {
2100 if (ThisTokBuf[1] !=
'"') {
2103 return DiagnoseLexingError(StringToks[i].getLocation());
2109 constexpr unsigned MaxRawStrDelimLen = 16;
2111 const char *Prefix = ThisTokBuf;
2112 while (
static_cast<unsigned>(ThisTokBuf - Prefix) < MaxRawStrDelimLen &&
2113 ThisTokBuf[0] !=
'(')
2115 if (ThisTokBuf[0] !=
'(')
2116 return DiagnoseLexingError(StringToks[i].getLocation());
2120 ThisTokEnd -= ThisTokBuf - Prefix;
2121 if (ThisTokEnd < ThisTokBuf)
2122 return DiagnoseLexingError(StringToks[i].getLocation());
2126 StringRef RemainingTokenSpan(ThisTokBuf, ThisTokEnd - ThisTokBuf);
2127 while (!RemainingTokenSpan.empty()) {
2129 size_t CRLFPos = RemainingTokenSpan.find(
"\r\n");
2130 StringRef BeforeCRLF = RemainingTokenSpan.substr(0, CRLFPos);
2131 StringRef AfterCRLF = RemainingTokenSpan.substr(CRLFPos);
2134 if (CopyStringFragment(StringToks[i], ThisTokBegin, BeforeCRLF))
2139 RemainingTokenSpan = AfterCRLF.substr(1);
2142 if (ThisTokBuf[0] !=
'"') {
2145 return DiagnoseLexingError(StringToks[i].getLocation());
2151 ThisTokBuf + 1 != ThisTokEnd && ThisTokBuf[0] ==
'\\' &&
2152 ThisTokBuf[1] ==
'p') {
2163 while (ThisTokBuf != ThisTokEnd) {
2165 if (ThisTokBuf[0] !=
'\\') {
2166 const char *InStart = ThisTokBuf;
2169 }
while (ThisTokBuf != ThisTokEnd && ThisTokBuf[0] !=
'\\');
2172 if (CopyStringFragment(StringToks[i], ThisTokBegin,
2173 StringRef(InStart, ThisTokBuf - InStart)))
2178 if (ThisTokBuf[1] ==
'u' || ThisTokBuf[1] ==
'U' ||
2179 ThisTokBuf[1] ==
'N') {
2183 CharByteWidth, Diags, Features);
2187 unsigned ResultChar =
2190 CharByteWidth * 8, Diags, Features, EvalMethod);
2192 if (CharByteWidth == 4) {
2195 llvm::UTF32 *ResultWidePtr =
reinterpret_cast<llvm::UTF32*
>(ResultPtr);
2196 *ResultWidePtr = ResultChar;
2198 }
else if (CharByteWidth == 2) {
2201 llvm::UTF16 *ResultWidePtr =
reinterpret_cast<llvm::UTF16*
>(ResultPtr);
2202 *ResultWidePtr = ResultChar & 0xFFFF;
2205 assert(CharByteWidth == 1 &&
"Unexpected char width");
2206 *ResultPtr++ = ResultChar & 0xFF;
2213 "Pascal string in unevaluated context");
2215 if (CharByteWidth == 4) {
2218 llvm::UTF32 *ResultWidePtr =
reinterpret_cast<llvm::UTF32*
>(ResultBuf.data());
2220 }
else if (CharByteWidth == 2) {
2223 llvm::UTF16 *ResultWidePtr =
reinterpret_cast<llvm::UTF16*
>(ResultBuf.data());
2226 assert(CharByteWidth == 1 &&
"Unexpected char width");
2233 Diags->
Report(StringToks.front().getLocation(),
2234 diag::err_pascal_string_too_long)
2236 StringToks.back().getLocation());
2242 unsigned MaxChars = Features.CPlusPlus? 65536 : Features.C99 ? 4095 : 509;
2245 Diags->
Report(StringToks.front().getLocation(),
2246 diag::ext_string_too_long)
2248 << (Features.CPlusPlus ? 2 : Features.C99 ? 1 : 0)
2250 StringToks.back().getLocation());
2257 End = Err + std::min<unsigned>(llvm::getNumBytesForUTF8(*Err), End-Err);
2258 while (++Err != End && (*Err & 0xC0) == 0x80)
2266bool StringLiteralParser::CopyStringFragment(
const Token &Tok,
2267 const char *TokBegin,
2268 StringRef Fragment) {
2269 const llvm::UTF8 *ErrorPtrTmp;
2270 if (ConvertUTF8toWide(CharByteWidth, Fragment, ResultPtr, ErrorPtrTmp))
2277 if (NoErrorOnBadEncoding) {
2278 memcpy(ResultPtr, Fragment.data(), Fragment.size());
2279 ResultPtr += Fragment.size();
2283 const char *ErrorPtr =
reinterpret_cast<const char *
>(ErrorPtrTmp);
2287 Diag(Diags, Features, SourceLoc, TokBegin,
2288 ErrorPtr,
resyncUTF8(ErrorPtr, Fragment.end()),
2289 NoErrorOnBadEncoding ? diag::warn_bad_string_encoding
2290 : diag::err_bad_string_encoding);
2292 const char *NextStart =
resyncUTF8(ErrorPtr, Fragment.end());
2293 StringRef NextFragment(NextStart, Fragment.end()-NextStart);
2297 Dummy.reserve(Fragment.size() * CharByteWidth);
2298 char *Ptr = Dummy.data();
2300 while (!ConvertUTF8toWide(CharByteWidth, NextFragment, Ptr, ErrorPtrTmp)) {
2301 const char *ErrorPtr =
reinterpret_cast<const char *
>(ErrorPtrTmp);
2302 NextStart =
resyncUTF8(ErrorPtr, Fragment.end());
2304 ErrorPtr, NextStart);
2305 NextFragment = StringRef(NextStart, Fragment.end()-NextStart);
2308 return !NoErrorOnBadEncoding;
2311void StringLiteralParser::DiagnoseLexingError(
SourceLocation Loc) {
2314 Diags->
Report(Loc, diag::err_lexing_string);
2321 unsigned ByteNo)
const {
2326 bool StringInvalid =
false;
2327 const char *SpellingPtr = &SpellingBuffer[0];
2333 const char *SpellingStart = SpellingPtr;
2334 const char *SpellingEnd = SpellingPtr+TokLen;
2337 if (SpellingPtr[0] ==
'u' && SpellingPtr[1] ==
'8')
2340 assert(SpellingPtr[0] !=
'L' && SpellingPtr[0] !=
'u' &&
2341 SpellingPtr[0] !=
'U' &&
"Doesn't handle wide or utf strings yet");
2344 if (SpellingPtr[0] ==
'R') {
2345 assert(SpellingPtr[1] ==
'"' &&
"Should be a raw string literal!");
2348 while (*SpellingPtr !=
'(') {
2350 assert(SpellingPtr < SpellingEnd &&
"Missing ( for raw string literal");
2354 return SpellingPtr - SpellingStart + ByteNo;
2358 assert(SpellingPtr[0] ==
'"' &&
"Should be a string literal!");
2363 assert(SpellingPtr < SpellingEnd &&
"Didn't find byte offset!");
2366 if (*SpellingPtr !=
'\\') {
2373 bool HadError =
false;
2374 if (SpellingPtr[1] ==
'u' || SpellingPtr[1] ==
'U' ||
2375 SpellingPtr[1] ==
'N') {
2376 const char *EscapePtr = SpellingPtr;
2378 1, Features, HadError);
2381 SpellingPtr = EscapePtr;
2391 assert(!HadError &&
"This method isn't valid on erroneous strings");
2394 return SpellingPtr-SpellingStart;
Defines the clang::LangOptions interface.
static void EncodeUCNEscape(const char *ThisTokBegin, const char *&ThisTokBuf, const char *ThisTokEnd, char *&ResultBuf, bool &HadError, FullSourceLoc Loc, unsigned CharByteWidth, DiagnosticsEngine *Diags, const LangOptions &Features)
EncodeUCNEscape - Read the Universal Character Name, check constraints and convert the UTF32 to UTF8 ...
static bool ProcessUCNEscape(const char *ThisTokBegin, const char *&ThisTokBuf, const char *ThisTokEnd, uint32_t &UcnVal, unsigned short &UcnLen, FullSourceLoc Loc, DiagnosticsEngine *Diags, const LangOptions &Features, bool in_char_string_literal=false)
ProcessUCNEscape - Read the Universal Character Name, check constraints and return the UTF32.
static CharSourceRange MakeCharSourceRange(const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd)
static const char * resyncUTF8(const char *Err, const char *End)
static int MeasureUCNEscape(const char *ThisTokBegin, const char *&ThisTokBuf, const char *ThisTokEnd, unsigned CharByteWidth, const LangOptions &Features, bool &HadError)
MeasureUCNEscape - Determine the number of bytes within the resulting string which this UCN will occu...
static void appendCodePoint(unsigned Codepoint, llvm::SmallVectorImpl< char > &Str)
static unsigned getEncodingPrefixLen(tok::TokenKind kind)
static void DiagnoseInvalidUnicodeCharacterName(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc Loc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, llvm::StringRef Name)
static DiagnosticBuilder Diag(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, unsigned DiagID)
Produce a diagnostic highlighting some portion of a literal.
static bool IsEscapeValidInUnevaluatedStringLiteral(char Escape)
static bool ProcessNumericUCNEscape(const char *ThisTokBegin, const char *&ThisTokBuf, const char *ThisTokEnd, uint32_t &UcnVal, unsigned short &UcnLen, bool &Delimited, FullSourceLoc Loc, DiagnosticsEngine *Diags, const LangOptions &Features, bool in_char_string_literal=false)
static bool ProcessNamedUCNEscape(const char *ThisTokBegin, const char *&ThisTokBuf, const char *ThisTokEnd, uint32_t &UcnVal, unsigned short &UcnLen, FullSourceLoc Loc, DiagnosticsEngine *Diags, const LangOptions &Features)
static bool IsExponentPart(char c, bool isHex)
static bool alwaysFitsInto64Bits(unsigned Radix, unsigned NumDigits)
static unsigned ProcessCharEscape(const char *ThisTokBegin, const char *&ThisTokBuf, const char *ThisTokEnd, bool &HadError, FullSourceLoc Loc, unsigned CharWidth, DiagnosticsEngine *Diags, const LangOptions &Features, StringLiteralEvalMethod EvalMethod)
ProcessCharEscape - Parse a standard C escape sequence, which can occur in either a character or a st...
static unsigned getCharWidth(tok::TokenKind kind, const TargetInfo &Target)
llvm::MachO::Target Target
Defines the clang::Preprocessor interface.
Defines the clang::SourceLocation class and associated facilities.
__DEVICE__ void * memcpy(void *__a, const void *__b, size_t __c)
__device__ __2f16 float __ockl_bool s
__device__ __2f16 float c
CharLiteralParser(const char *begin, const char *end, SourceLocation Loc, Preprocessor &PP, tok::TokenKind kind)
Represents a character-granular source range.
static CharSourceRange getCharRange(SourceRange R)
A little helper class used to produce diagnostics.
Concrete class used by the front-end to report problems and issues.
DiagnosticBuilder Report(SourceLocation Loc, unsigned DiagID)
Issue the message to the client.
static FixItHint CreateReplacement(CharSourceRange RemoveRange, StringRef Code)
Create a code modification hint that replaces the given source range with the given code string.
static FixItHint CreateRemoval(CharSourceRange RemoveRange)
Create a code modification hint that removes the given source range.
A SourceLocation and its associated SourceManager.
const SourceManager & getManager() const
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
static SourceLocation AdvanceToTokenCharacter(SourceLocation TokStart, unsigned Characters, const SourceManager &SM, const LangOptions &LangOpts)
AdvanceToTokenCharacter - If the current SourceLocation specifies a location at the start of a token,...
static unsigned getSpelling(const Token &Tok, const char *&Buffer, const SourceManager &SourceMgr, const LangOptions &LangOpts, bool *Invalid=nullptr)
getSpelling - This method is used to get the spelling of a token into a preallocated buffer,...
NumericLiteralParser(StringRef TokSpelling, SourceLocation TokLoc, const SourceManager &SM, const LangOptions &LangOpts, const TargetInfo &Target, DiagnosticsEngine &Diags)
integer-constant: [C99 6.4.4.1] decimal-constant integer-suffix octal-constant integer-suffix hexadec...
bool isFixedPointLiteral() const
bool isFloatingLiteral() const
bool isIntegerLiteral() const
llvm::APFloat::opStatus GetFloatValue(llvm::APFloat &Result)
GetFloatValue - Convert this numeric literal to a floating value, using the specified APFloat fltSema...
static bool isValidUDSuffix(const LangOptions &LangOpts, StringRef Suffix)
Determine whether a suffix is a valid ud-suffix.
bool GetIntegerValue(llvm::APInt &Val)
GetIntegerValue - Convert this numeric literal value to an APInt that matches Val's input width.
bool GetFixedPointValue(llvm::APInt &StoreVal, unsigned Scale)
GetFixedPointValue - Convert this numeric literal value into a scaled integer that represents this va...
Engages in a tight little dance with the lexer to efficiently preprocess tokens.
SourceManager & getSourceManager() const
const TargetInfo & getTargetInfo() const
const LangOptions & getLangOpts() const
DiagnosticsEngine & getDiagnostics() const
DiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID) const
Forwarding function for diagnostics.
Encodes a location in the source.
This class handles loading and caching of source files into memory.
A trivial tuple used to represent a source range.
unsigned getOffsetOfStringByte(const Token &TheTok, unsigned ByteNo) const
getOffsetOfStringByte - This function returns the offset of the specified byte of the string data rep...
bool isUnevaluated() const
StringLiteralParser(ArrayRef< Token > StringToks, Preprocessor &PP, StringLiteralEvalMethod StringMethod=StringLiteralEvalMethod::Evaluated)
unsigned GetStringLength() const
static bool isValidUDSuffix(const LangOptions &LangOpts, StringRef Suffix)
Determine whether a suffix is a valid ud-suffix.
unsigned GetNumStringChars() const
Exposes information about the current target.
unsigned getIntWidth() const
getIntWidth/Align - Return the size of 'signed int' and 'unsigned int' for this target,...
unsigned getWCharWidth() const
getWCharWidth/Align - Return the size of 'wchar_t' for this target, in bits.
unsigned getCharWidth() const
Token - This structure provides full information about a lexed token.
SourceLocation getLocation() const
Return a source location identifier for the specified offset in the current file.
unsigned getLength() const
tok::TokenKind getKind() const
Defines the clang::TargetInfo interface.
bool isStringLiteral(TokenKind K)
Return true if this is a C or C++ string-literal (or C++11 user-defined-string-literal) token.
TokenKind
Provides a simple uniform namespace for tokens from all C languages.
The JSON file list parser is used to communicate input to InstallAPI.
LLVM_READONLY bool isVerticalWhitespace(unsigned char c)
Returns true if this character is vertical ASCII whitespace: '\n', '\r'.
LLVM_READONLY bool isPrintable(unsigned char c)
Return true if this character is an ASCII printable character; that is, a character that should take ...
void expandUCNs(SmallVectorImpl< char > &Buf, StringRef Input)
Copy characters from Input to Buf, expanding any UCNs.
bool tokenIsLikeStringLiteral(const Token &Tok, const LangOptions &LO)
Return true if the token is a string literal, or a function local predefined macro,...
@ Result
The result type of a method or function.
LLVM_READONLY bool isDigit(unsigned char c)
Return true if this character is an ASCII digit: [0-9].
bool isFunctionLocalStringLiteralMacro(tok::TokenKind K, const LangOptions &LO)
Return true if the token corresponds to a function local predefined macro, which expands to a string ...
LLVM_READONLY bool isPreprocessingNumberBody(unsigned char c)
Return true if this is the body character of a C preprocessing number, which is [a-zA-Z0-9_.
LLVM_READONLY bool isHexDigit(unsigned char c)
Return true if this character is an ASCII hex digit: [0-9a-fA-F].
@ Incomplete
Template argument deduction did not deduce a value for every template parameter.