clang/test/Lexer/cxx1y_digit_separators.cpp

   1 // RUN: %clang_cc1 -std=c++1y -verify %s
   2
   3 int operator""ms(unsigned long long); // expected-warning {{reserved}}
   4 float operator""ms(long double); // expected-warning {{reserved}}
   5
   6 int operator""_foo(unsigned long long);
   7
   8 namespace integral {
   9   static_assert(1'2'3 == 12'3, "");
  10   static_assert(1'000'000 == 0xf'4240, "");
  11   static_assert(0'004'000'000 == 0x10'0000, "");
  12   static_assert(0b0101'0100 == 0x54, "");
  13
  14   int a = 123'; //'; // expected-error {{expected ';'}}
  15   int b = 0'xff; // expected-error {{digit separator cannot appear at end of digit sequence}} expected-error {{suffix 'xff' on integer}}
  16   int c = 0x'ff; // expected-error {{suffix 'x'ff' on integer}}
  17   int d = 0'1234; // ok, octal
  18   int e = 0'b1010; // expected-error {{digit 'b' in octal constant}}
  19   int f = 0b'1010; // expected-error {{invalid digit 'b' in octal}}
  20   int g = 123'ms; // expected-error {{digit separator cannot appear at end of digit sequence}}
  21   int h = 0x1e+1; // expected-error {{invalid suffix '+1' on integer constant}}
  22   int i = 0x1'e+1; // ok, 'e+' is not recognized after a digit separator
  23
  24   int z = 0'123'_foo; //'; // expected-error {{cannot appear at end of digit seq}}
  25 }
  26
  27 namespace floating {
  28   static_assert(0'123.456'7 == 123.4567, "");
  29   static_assert(1e1'0 == 10'000'000'000, "");
  30
  31   float a = 1'e1; // expected-error {{digit separator cannot appear at end of digit sequence}}
  32   float b = 1'0e1;
  33   float c = 1.'0e1; // expected-error {{digit separator cannot appear at start of digit sequence}}
  34   float d = 1.0'e1; // expected-error {{digit separator cannot appear at end of digit sequence}}
  35   float e = 1e'1; // expected-error {{digit separator cannot appear at start of digit sequence}}
  36   float f = 1e1'ms; // expected-error {{digit separator cannot appear at end of digit sequence}}
  37   float g = 0.'0; // expected-error {{digit separator cannot appear at start of digit sequence}}
  38   float h = .'0; // '; // expected-error {{expected expression}}, lexed as . followed by character literal
  39   float i = 0x.'0p0; // expected-error {{digit separator cannot appear at start of digit sequence}}
  40   float j = 0x'0.0p0; // expected-error {{invalid suffix 'x'0.0p0'}}
  41   float k = 0x0'.0p0; // '; // expected-error {{expected ';'}}
  42   float l = 0x0.'0p0; // expected-error {{digit separator cannot appear at start of digit sequence}}
  43   float m = 0x0.0'p0; // expected-error {{digit separator cannot appear at end of digit sequence}}
  44   float n = 0x0.0p'0; // expected-error {{digit separator cannot appear at start of digit sequence}}
  45   float o = 0x0.0p0'ms; // expected-error {{digit separator cannot appear at end of digit sequence}}
  46   float p = 0'e1; // expected-error {{digit separator cannot appear at end of digit sequence}}
  47   float q = 0'0e1;
  48   float r = 0.'0e1; // expected-error {{digit separator cannot appear at start of digit sequence}}
  49   float s = 0.0'e1; // expected-error {{digit separator cannot appear at end of digit sequence}}
  50   float t = 0.0e'1; // expected-error {{digit separator cannot appear at start of digit sequence}}
  51   float u = 0x.'p1f; // expected-error {{hexadecimal floating literal requires a significand}}
  52   float v = 0e'f; // expected-error {{exponent has no digits}}
  53   float w = 0x0p'f; // expected-error {{exponent has no digits}}
  54   float x = 0'e+1; // expected-error {{digit separator cannot appear at end of digit sequence}}
  55   float y = 0x0'p+1; // expected-error {{digit separator cannot appear at end of digit sequence}}
  56 }
  57
  58 #line 123'456
  59 static_assert(__LINE__ == 123456, "");
  60
  61 // x has value 0 in C++11 and 34 in C++1y.
  62 #define M(x, ...) __VA_ARGS__
  63 constexpr int x = { M(1'2,3'4) };
  64 static_assert(x == 34, "");
  65
  66 namespace UCNs {
  67   // UCNs can appear before digit separators but not after.
  68   int a = 0\u1234'5; // expected-error {{invalid suffix '\u1234'5' on integer constant}}
  69   int b = 0'\u12345; // '; // expected-error {{expected ';'}}
  70   constexpr int c {M(0\u1234'0,0'1)};
  71   constexpr int d {M(00'\u1234,0'1)};
  72   static_assert(c == 1, "");
  73   static_assert(d == 0, "");
  74 }
  75
  76 namespace UTF8 {
  77   // extended characters can appear before digit separators but not after.
  78   int a = 0ሴ'5; // expected-error {{invalid suffix 'ሴ'5' on integer constant}}
  79   int b = 0'ሴ5; // '; // expected-error {{expected ';'}}
  80   constexpr int c {M(0ሴ'0,0'1)};
  81   constexpr int d {M(00'ሴ,0'1)};
  82   static_assert(c == 1, "");
  83   static_assert(d == 0, "");
  84 }