Skip to content

Commit e8d40a6

Browse files
zachs18zachs18
committed
Revisions for pointer size
1 parent fb682a3 commit e8d40a6

File tree

3 files changed

+405
-42
lines changed

3 files changed

+405
-42
lines changed

‎tests/ui/layout/enum.bit32.stderr‎

Lines changed: 360 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,360 @@
1+
error: align: AbiAlign { abi: Align(2 bytes) }
2+
--> $DIR/enum.rs:12:1
3+
|
4+
LL | enum UninhabitedVariantAlign {
5+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6+
7+
error: size: Size(15 bytes)
8+
--> $DIR/enum.rs:18:1
9+
|
10+
LL | enum UninhabitedVariantSpace {
11+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
12+
13+
error: abi: ScalarPair(Initialized { value: Int(I8, false), valid_range: 0..=1 }, Initialized { value: Int(I8, false), valid_range: 0..=255 })
14+
--> $DIR/enum.rs:24:1
15+
|
16+
LL | enum ScalarPairDifferingSign {
17+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
18+
19+
error: size: Size(4 bytes)
20+
--> $DIR/enum.rs:32:1
21+
|
22+
LL | enum AbsentVariantUntagged {
23+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
24+
25+
error: abi: Scalar(Initialized { value: Int(I32, true), valid_range: 0..=4294967295 })
26+
--> $DIR/enum.rs:32:1
27+
|
28+
LL | enum AbsentVariantUntagged {
29+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
30+
31+
error: size: Size(4 bytes)
32+
--> $DIR/enum.rs:41:1
33+
|
34+
LL | enum UninhabitedVariantUntagged {
35+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
36+
37+
error: abi: Scalar(Initialized { value: Int(I32, true), valid_range: 0..=4294967295 })
38+
--> $DIR/enum.rs:41:1
39+
|
40+
LL | enum UninhabitedVariantUntagged {
41+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
42+
43+
error: size: Size(8 bytes)
44+
--> $DIR/enum.rs:52:1
45+
|
46+
LL | enum UninhabitedVariantUntaggedBigger {
47+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
48+
49+
error: abi: ScalarPair(Initialized { value: Int(I8, false), valid_range: 0..=0 }, Initialized { value: Int(I32, true), valid_range: 0..=4294967295 })
50+
--> $DIR/enum.rs:52:1
51+
|
52+
LL | enum UninhabitedVariantUntaggedBigger {
53+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
54+
55+
error: size: Size(2 bytes)
56+
--> $DIR/enum.rs:59:1
57+
|
58+
LL | enum UninhabitedVariantWithNiche {
59+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
60+
61+
error: abi: ScalarPair(Initialized { value: Int(I8, false), valid_range: 0..=1 }, Initialized { value: Int(I8, true), valid_range: 0..=255 })
62+
--> $DIR/enum.rs:59:1
63+
|
64+
LL | enum UninhabitedVariantWithNiche {
65+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
66+
67+
error: layout_of(UninhabitedVariantLargeWithNiche) = Layout {
68+
size: Size(3 bytes),
69+
align: AbiAlign {
70+
abi: Align(1 bytes),
71+
},
72+
backend_repr: Memory {
73+
sized: true,
74+
},
75+
fields: Arbitrary {
76+
offsets: [
77+
Size(0 bytes),
78+
],
79+
memory_index: [
80+
0,
81+
],
82+
},
83+
largest_niche: Some(
84+
Niche {
85+
offset: Size(0 bytes),
86+
value: Int(
87+
I8,
88+
false,
89+
),
90+
valid_range: 0..=0,
91+
},
92+
),
93+
uninhabited: false,
94+
variants: Multiple {
95+
tag: Initialized {
96+
value: Int(
97+
I8,
98+
false,
99+
),
100+
valid_range: 0..=0,
101+
},
102+
tag_encoding: Direct,
103+
tag_field: 0,
104+
variants: [
105+
Layout {
106+
size: Size(3 bytes),
107+
align: AbiAlign {
108+
abi: Align(1 bytes),
109+
},
110+
backend_repr: Memory {
111+
sized: true,
112+
},
113+
fields: Arbitrary {
114+
offsets: [
115+
Size(1 bytes),
116+
Size(2 bytes),
117+
],
118+
memory_index: [
119+
0,
120+
1,
121+
],
122+
},
123+
largest_niche: Some(
124+
Niche {
125+
offset: Size(2 bytes),
126+
value: Int(
127+
I8,
128+
false,
129+
),
130+
valid_range: 0..=1,
131+
},
132+
),
133+
uninhabited: false,
134+
variants: Single {
135+
index: 0,
136+
variants: None,
137+
},
138+
max_repr_align: None,
139+
unadjusted_abi_align: Align(1 bytes),
140+
randomization_seed: 17394913183323368564,
141+
},
142+
Layout {
143+
size: Size(3 bytes),
144+
align: AbiAlign {
145+
abi: Align(1 bytes),
146+
},
147+
backend_repr: Memory {
148+
sized: true,
149+
},
150+
fields: Arbitrary {
151+
offsets: [
152+
Size(0 bytes),
153+
Size(1 bytes),
154+
Size(2 bytes),
155+
Size(3 bytes),
156+
],
157+
memory_index: [
158+
0,
159+
1,
160+
2,
161+
3,
162+
],
163+
},
164+
largest_niche: None,
165+
uninhabited: true,
166+
variants: Single {
167+
index: 1,
168+
variants: None,
169+
},
170+
max_repr_align: None,
171+
unadjusted_abi_align: Align(1 bytes),
172+
randomization_seed: 17538183959353994357,
173+
},
174+
],
175+
},
176+
max_repr_align: None,
177+
unadjusted_abi_align: Align(1 bytes),
178+
randomization_seed: 15362464571658798427,
179+
}
180+
--> $DIR/enum.rs:66:1
181+
|
182+
LL | enum UninhabitedVariantLargeWithNiche {
183+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
184+
185+
error: size: Size(2 bytes)
186+
--> $DIR/enum.rs:80:1
187+
|
188+
LL | enum AllUninhabitedVariants {
189+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
190+
191+
error: abi: Memory { sized: true }
192+
--> $DIR/enum.rs:80:1
193+
|
194+
LL | enum AllUninhabitedVariants {
195+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
196+
197+
error: size: Size(2 bytes)
198+
--> $DIR/enum.rs:91:1
199+
|
200+
LL | enum AlignedI8 {
201+
| ^^^^^^^^^^^^^^
202+
203+
error: abi: Memory { sized: true }
204+
--> $DIR/enum.rs:91:1
205+
|
206+
LL | enum AlignedI8 {
207+
| ^^^^^^^^^^^^^^
208+
209+
error: size: Size(4 bytes)
210+
--> $DIR/enum.rs:99:1
211+
|
212+
LL | enum TaggedI8 {
213+
| ^^^^^^^^^^^^^
214+
215+
error: abi: Memory { sized: true }
216+
--> $DIR/enum.rs:99:1
217+
|
218+
LL | enum TaggedI8 {
219+
| ^^^^^^^^^^^^^
220+
221+
error: size: Size(4 bytes)
222+
--> $DIR/enum.rs:108:1
223+
|
224+
LL | enum TaggedI16 {
225+
| ^^^^^^^^^^^^^^
226+
227+
error: abi: ScalarPair(Initialized { value: Int(I16, false), valid_range: 0..=0 }, Initialized { value: Int(I16, true), valid_range: 0..=65535 })
228+
--> $DIR/enum.rs:108:1
229+
|
230+
LL | enum TaggedI16 {
231+
| ^^^^^^^^^^^^^^
232+
233+
error: size: Size(0 bytes)
234+
--> $DIR/enum.rs:116:1
235+
|
236+
LL | enum AllUninhabitedVariantsAlignedZst {
237+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
238+
239+
error: abi: Memory { sized: true }
240+
--> $DIR/enum.rs:116:1
241+
|
242+
LL | enum AllUninhabitedVariantsAlignedZst {
243+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
244+
245+
error: abi: Scalar(Initialized { value: Pointer(AddressSpace(0)), valid_range: (..=0) | (1..) })
246+
--> $DIR/enum.rs:131:1
247+
|
248+
LL | type NPONever1 = Result<NPONever, ()>;
249+
| ^^^^^^^^^^^^^^
250+
251+
error: abi: Scalar(Initialized { value: Pointer(AddressSpace(0)), valid_range: (..=0) | (1..) })
252+
--> $DIR/enum.rs:135:1
253+
|
254+
LL | type NPONever2 = Result<(), NPONever>;
255+
| ^^^^^^^^^^^^^^
256+
257+
error: abi: Scalar(Initialized { value: Pointer(AddressSpace(0)), valid_range: 1..=4294967295 })
258+
--> $DIR/enum.rs:139:1
259+
|
260+
LL | type NPONever3 = Result<NPONever, !>;
261+
| ^^^^^^^^^^^^^^
262+
263+
error: abi: Scalar(Initialized { value: Pointer(AddressSpace(0)), valid_range: 1..=4294967295 })
264+
--> $DIR/enum.rs:143:1
265+
|
266+
LL | type NPONever4 = Result<!, NPONever>;
267+
| ^^^^^^^^^^^^^^
268+
269+
error: abi: Scalar(Initialized { value: Pointer(AddressSpace(0)), valid_range: 1..=4294967295 })
270+
--> $DIR/enum.rs:147:1
271+
|
272+
LL | type NPONever5 = Result<&'static (), !>;
273+
| ^^^^^^^^^^^^^^
274+
275+
error: abi: Scalar(Initialized { value: Pointer(AddressSpace(0)), valid_range: 1..=4294967295 })
276+
--> $DIR/enum.rs:151:1
277+
|
278+
LL | type NPONever6 = Result<!, &'static ()>;
279+
| ^^^^^^^^^^^^^^
280+
281+
error: abi: Scalar(Initialized { value: Int(I16, true), valid_range: 1..=65535 })
282+
--> $DIR/enum.rs:155:1
283+
|
284+
LL | type NPONever7 = Result<std::num::NonZero<i16>, !>;
285+
| ^^^^^^^^^^^^^^
286+
287+
error: abi: Scalar(Initialized { value: Int(I16, true), valid_range: 1..=65535 })
288+
--> $DIR/enum.rs:159:1
289+
|
290+
LL | type NPONever8 = Result<!, std::num::NonZero<i16>>;
291+
| ^^^^^^^^^^^^^^
292+
293+
error: abi: Scalar(Initialized { value: Int(I16, true), valid_range: 1..=65535 })
294+
--> $DIR/enum.rs:163:1
295+
|
296+
LL | type NPONever9 = Result<NPONeverI16, !>;
297+
| ^^^^^^^^^^^^^^
298+
299+
error: abi: Scalar(Initialized { value: Int(I16, true), valid_range: 1..=65535 })
300+
--> $DIR/enum.rs:167:1
301+
|
302+
LL | type NPONever10 = Result<!, NPONeverI16>;
303+
| ^^^^^^^^^^^^^^^
304+
305+
error: abi: Scalar(Initialized { value: Int(I16, true), valid_range: (..=0) | (1..) })
306+
--> $DIR/enum.rs:171:1
307+
|
308+
LL | type NPONever11 = Result<NPONeverI16, ()>;
309+
| ^^^^^^^^^^^^^^^
310+
311+
error: abi: Scalar(Initialized { value: Int(I16, true), valid_range: (..=0) | (1..) })
312+
--> $DIR/enum.rs:175:1
313+
|
314+
LL | type NPONever12 = Result<(), NPONeverI16>;
315+
| ^^^^^^^^^^^^^^^
316+
317+
error: abi: Scalar(Initialized { value: Pointer(AddressSpace(0)), valid_range: 1..=4294967295 })
318+
--> $DIR/enum.rs:179:1
319+
|
320+
LL | enum NPONever13 {
321+
| ^^^^^^^^^^^^^^^
322+
323+
error: abi: Scalar(Initialized { value: Pointer(AddressSpace(0)), valid_range: (..=0) | (1..) })
324+
--> $DIR/enum.rs:185:1
325+
|
326+
LL | enum NPONever14 {
327+
| ^^^^^^^^^^^^^^^
328+
329+
error: abi: Scalar(Initialized { value: Pointer(AddressSpace(0)), valid_range: 1..=4294967295 })
330+
--> $DIR/enum.rs:191:1
331+
|
332+
LL | enum NPONever15 {
333+
| ^^^^^^^^^^^^^^^
334+
335+
error: abi: Scalar(Initialized { value: Int(I32, false), valid_range: 0..=0 })
336+
--> $DIR/enum.rs:199:1
337+
|
338+
LL | type NotNPONever1 = Result<NPONever, NPONever>;
339+
| ^^^^^^^^^^^^^^^^^
340+
341+
error: abi: Memory { sized: true }
342+
--> $DIR/enum.rs:203:1
343+
|
344+
LL | type NotNPONever2 = Result<NPONever, AlignedNever>;
345+
| ^^^^^^^^^^^^^^^^^
346+
347+
error: abi: Scalar(Initialized { value: Pointer(AddressSpace(0)), valid_range: 1..=4294967295 })
348+
--> $DIR/enum.rs:207:1
349+
|
350+
LL | type NotNPONever3 = Result<NPONever, &'static ()>;
351+
| ^^^^^^^^^^^^^^^^^
352+
353+
error: abi: Scalar(Initialized { value: Pointer(AddressSpace(0)), valid_range: 1..=4294967295 })
354+
--> $DIR/enum.rs:211:1
355+
|
356+
LL | type NotNPONever4 = Result<&'static (), AlignedNever>;
357+
| ^^^^^^^^^^^^^^^^^
358+
359+
error: aborting due to 41 previous errors
360+

0 commit comments

Comments
 (0)