1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
|
extern(C) int printf(const char*, ...);
enum
{
T_char,
T_wchar,
T_dchar,
T_bit,
T_byte,
T_ubyte,
T_short,
T_ushort,
T_int,
T_uint,
T_long,
T_ulong,
}
int dotype(char x) { return T_char; }
int dotype(bool x) { return T_bit; }
int dotype(byte x) { return T_byte; }
int dotype(ubyte x) { return T_ubyte; }
int dotype(wchar x) { return T_wchar; }
int dotype(short x) { return T_short; }
int dotype(ushort x) { return T_ushort; }
int dotype(int x) { return T_int; }
int dotype(uint x) { return T_uint; }
int dotype(long x) { return T_long; }
int dotype(ulong x) { return T_ulong; }
void test1()
{
/*
* 0x7FFF 077777 32767
* 0x8000 0100000 32768
* 0xFFFF 0177777 65535
* 0x10000 0200000 65536
* 0x7FFFFFFF 017777777777 2147483647
* 0x80000000 020000000000 2147483648
* 0xFFFFFFFF 037777777777 4294967295
* 0x100000000 040000000000 4294967296
* 0x7FFFFFFFFFFFFFFF 0777777777777777777777 9223372036854775807
* 0x8000000000000000 01000000000000000000000 9223372036854775808
* 0xFFFFFFFFFFFFFFFF 01777777777777777777777 18446744073709551615
*/
assert(dotype(1) == T_int);
/***************** Hexadecimal ***********************/
assert(dotype(0) == T_int);
assert(dotype(0x7FFF) == T_int);
assert(dotype(0x8000) == T_int);
assert(dotype(0xFFFF) == T_int);
assert(dotype(0x10000) == T_int);
assert(dotype(0x7FFFFFFF) == T_int);
assert(dotype(0x80000000) == T_uint);
assert(dotype(0xFFFFFFFF) == T_uint);
assert(dotype(0x100000000) == T_long);
assert(dotype(0x7FFFFFFFFFFFFFFF) == T_long);
assert(dotype(0x8000000000000000) == T_ulong);
assert(dotype(0xFFFFFFFFFFFFFFFF) == T_ulong);
assert(dotype(0u) == T_uint);
assert(dotype(0x7FFFu) == T_uint);
assert(dotype(0x8000u) == T_uint);
assert(dotype(0xFFFFu) == T_uint);
assert(dotype(0x10000u) == T_uint);
assert(dotype(0x7FFFFFFFu) == T_uint);
assert(dotype(0x80000000u) == T_uint);
assert(dotype(0xFFFFFFFFu) == T_uint);
assert(dotype(0x100000000u) == T_ulong);
assert(dotype(0x7FFFFFFFFFFFFFFFu) == T_ulong);
assert(dotype(0x8000000000000000u) == T_ulong);
assert(dotype(0xFFFFFFFFFFFFFFFFu) == T_ulong);
assert(dotype(0L) == T_long);
assert(dotype(0x7FFFL) == T_long);
assert(dotype(0x8000L) == T_long);
assert(dotype(0xFFFFL) == T_long);
assert(dotype(0x10000L) == T_long);
assert(dotype(0x7FFFFFFFL) == T_long);
assert(dotype(0x80000000L) == T_long);
assert(dotype(0xFFFFFFFFL) == T_long);
assert(dotype(0x100000000L) == T_long);
assert(dotype(0x7FFFFFFFFFFFFFFFL) == T_long);
assert(dotype(0x8000000000000000L) == T_ulong);
assert(dotype(0xFFFFFFFFFFFFFFFFL) == T_ulong);
assert(dotype(0uL) == T_ulong);
assert(dotype(0x7FFFuL) == T_ulong);
assert(dotype(0x8000uL) == T_ulong);
assert(dotype(0xFFFFuL) == T_ulong);
assert(dotype(0x10000uL) == T_ulong);
assert(dotype(0x7FFFFFFFuL) == T_ulong);
assert(dotype(0x80000000uL) == T_ulong);
assert(dotype(0xFFFFFFFFuL) == T_ulong);
assert(dotype(0x100000000uL) == T_ulong);
assert(dotype(0x7FFFFFFFFFFFFFFFuL) == T_ulong);
assert(dotype(0x8000000000000000uL) == T_ulong);
assert(dotype(0xFFFFFFFFFFFFFFFFuL) == T_ulong);
/***************** Decimal ***********************/
assert(dotype(0) == T_int);
assert(dotype(32767) == T_int);
assert(dotype(32768) == T_int);
assert(dotype(65535) == T_int);
assert(dotype(65536) == T_int);
assert(dotype(2147483647) == T_int);
assert(dotype(2147483648) == T_long);
assert(dotype(4294967295) == T_long);
assert(dotype(4294967296) == T_long);
assert(dotype(9223372036854775807) == T_long);
//assert(dotype(9223372036854775808) == T_long);
//assert(dotype(18446744073709551615) == T_ulong);
assert(dotype(0u) == T_uint);
assert(dotype(32767u) == T_uint);
assert(dotype(32768u) == T_uint);
assert(dotype(65535u) == T_uint);
assert(dotype(65536u) == T_uint);
assert(dotype(2147483647u) == T_uint);
assert(dotype(2147483648u) == T_uint);
assert(dotype(4294967295u) == T_uint);
assert(dotype(4294967296u) == T_ulong);
assert(dotype(9223372036854775807u) == T_ulong);
assert(dotype(9223372036854775808u) == T_ulong);
assert(dotype(18446744073709551615u) == T_ulong);
assert(dotype(0L) == T_long);
assert(dotype(32767L) == T_long);
assert(dotype(32768L) == T_long);
assert(dotype(65535L) == T_long);
assert(dotype(65536L) == T_long);
assert(dotype(2147483647L) == T_long);
assert(dotype(2147483648L) == T_long);
assert(dotype(4294967295L) == T_long);
assert(dotype(4294967296L) == T_long);
assert(dotype(9223372036854775807L) == T_long);
//assert(dotype(9223372036854775808L) == T_ulong);
//assert(dotype(18446744073709551615L) == T_ulong);
assert(dotype(0uL) == T_ulong);
assert(dotype(32767uL) == T_ulong);
assert(dotype(32768uL) == T_ulong);
assert(dotype(65535uL) == T_ulong);
assert(dotype(65536uL) == T_ulong);
assert(dotype(2147483647uL) == T_ulong);
assert(dotype(2147483648uL) == T_ulong);
assert(dotype(4294967295uL) == T_ulong);
assert(dotype(4294967296uL) == T_ulong);
assert(dotype(9223372036854775807uL) == T_ulong);
assert(dotype(9223372036854775808uL) == T_ulong);
assert(dotype(18446744073709551615uL) == T_ulong);
}
void test2()
{
ulong[] a = [ 2_463_534_242UL ];
foreach(e; a)
assert(e == 2_463_534_242UL);
}
/***************************************************/
// 13907
void f13907_1(wchar[1] a) {}
void f13907_2(wchar[2] a) {}
void f13907_3(wchar[3] a) {}
auto f13907_12(char[1]) { return 1; }
auto f13907_12(char[2]) { return 2; }
auto f13907_123(char[1]) { return 1; }
auto f13907_123(char[2]) { return 2; }
auto f13907_123(char[3]) { return 3; }
auto f13907_123(const(char)[]) { return 0; }
void test13907()
{
static assert(!__traits(compiles, { f13907_1("\U00010000"w); }));
static assert(!__traits(compiles, { f13907_1("\U00010000" ); }));
f13907_2("\U00010000"w);
f13907_2("\U00010000");
f13907_3("\U00010000"w); // Re-enable implicit length extension, from issue 13999
f13907_3("\U00010000" ); // Re-enable implicit length extension, from issue 13999
assert(f13907_12("a") == 1);
assert(f13907_12("ab") == 2);
static assert(!__traits(compiles, { f13907_12("abc"); }));
assert(f13907_123("a") == 1);
assert(f13907_123("ab") == 2);
assert(f13907_123("abc") == 3);
assert(f13907_123("abcd") == 0);
// regression tests for the lengthen behavior in initializer
enum const(char*) p = "hello world";
static assert(!__traits(compiles, { static char[5] a = "hello world"; })); // truncation is not allowed
static assert(!__traits(compiles, { static void[20] a = "hello world"; }));
static assert(!__traits(compiles, { static int[20] a = "hello world"; }));
static assert(!__traits(compiles, { static char[20] a = "hello world"w; }));
static assert(!__traits(compiles, { static wchar[20] a = "hello world"d; }));
static assert(!__traits(compiles, { static dchar[20] a = "hello world"c; }));
static assert(!__traits(compiles, { static char[20] a = p; }));
static char[20] csa = "hello world"; // extending is allowed
static wchar[20] wsa = "hello world"; // ok
static dchar[20] dsa = "hello world"; // ok
// Bugzilla 13966
string[1][] arr;
arr ~= ["class"];
enum immutable(char[5]) sarrstr = "class";
arr ~= [sarrstr];
// Bugzilla 13999
string[dchar[2]] aa13999 = ["あ": "bar"];
assert(aa13999["あ"] == "bar");
dchar[2] key13999 = "あ";
assert(key13999[0] == 'あ');
assert(key13999[1] == '\0');
assert(aa13999[key13999] == "bar");
}
/***************************************************/
int main()
{
test1();
test2();
test13907();
printf("Success\n");
return 0;
}
|
