cxx1y_digit_separators.cpp revision 6bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89 
1// RUN: %clang_cc1 -std=c++1y -verify %s
2
3int operator""ms(unsigned long long); // expected-warning {{reserved}}
4float operator""ms(long double); // expected-warning {{reserved}}
5
6int operator""_foo(unsigned long long);
7
8namespace 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
27namespace 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}
52
53#line 123'456
54static_assert(__LINE__ == 123456, "");
55
56// x has value 0 in C++11 and 34 in C++1y.
57#define M(x, ...) __VA_ARGS__
58constexpr int x = { M(1'2,3'4) };
59static_assert(x == 34, "");
60
61namespace UCNs {
62  // UCNs can appear before digit separators but not after.
63  int a = 0\u1234'5; // expected-error {{invalid suffix '\u1234'5' on integer constant}}
64  int b = 0'\u12345; // '; // expected-error {{expected ';'}}
65  constexpr int c {M(0\u1234'0,0'1)};
66  constexpr int d {M(00'\u1234,0'1)};
67  static_assert(c == 1, "");
68  static_assert(d == 0, "");
69}
70
71namespace UTF8 {
72  // extended characters can appear before digit separators but not after.
73  int a = 0ሴ'5; // expected-error {{invalid suffix 'ሴ'5' on integer constant}}
74  int b = 0'ሴ5; // '; // expected-error {{expected ';'}}
75  constexpr int c {M(0ሴ'0,0'1)};
76  constexpr int d {M(00'ሴ,0'1)};
77  static_assert(c == 1, "");
78  static_assert(d == 0, "");
79}
80