1 // compile-flags: -Zunleash-the-miri-inside-of-you
4 //! Make sure that we read and write enum discriminants correctly for corner cases caused
5 //! by layout optimizations.
7 const OVERFLOW
: usize = {
8 // Tests for https://github.com/rust-lang/rust/issues/62138.
11 enum WithWraparoundInvalidValues
{
20 C(WithWraparoundInvalidValues
),
30 const MORE_OVERFLOW
: usize = {
31 pub enum Infallible {}
33 // The check that the `bool` field of `V1` is encoding a "niche variant"
34 // (i.e. not `V1`, so `V3` or `V4`) used to be mathematically incorrect,
35 // causing valid `V1` values to be interpreted as other variants.
44 // Computing the discriminant used to be done using the niche type (here `u8`,
45 // from the `bool` field of `V1`), overflowing for variants with large enough
46 // indices (`V3` and `V4`), causing them to be interpreted as other variants.
51 /*_00*/ _01(X
), _02(X
), _03(X
), _04(X
), _05(X
), _06(X
), _07(X
),
52 _08(X
), _09(X
), _0A(X
), _0B(X
), _0C(X
), _0D(X
), _0E(X
), _0F(X
),
53 _10(X
), _11(X
), _12(X
), _13(X
), _14(X
), _15(X
), _16(X
), _17(X
),
54 _18(X
), _19(X
), _1A(X
), _1B(X
), _1C(X
), _1D(X
), _1E(X
), _1F(X
),
55 _20(X
), _21(X
), _22(X
), _23(X
), _24(X
), _25(X
), _26(X
), _27(X
),
56 _28(X
), _29(X
), _2A(X
), _2B(X
), _2C(X
), _2D(X
), _2E(X
), _2F(X
),
57 _30(X
), _31(X
), _32(X
), _33(X
), _34(X
), _35(X
), _36(X
), _37(X
),
58 _38(X
), _39(X
), _3A(X
), _3B(X
), _3C(X
), _3D(X
), _3E(X
), _3F(X
),
59 _40(X
), _41(X
), _42(X
), _43(X
), _44(X
), _45(X
), _46(X
), _47(X
),
60 _48(X
), _49(X
), _4A(X
), _4B(X
), _4C(X
), _4D(X
), _4E(X
), _4F(X
),
61 _50(X
), _51(X
), _52(X
), _53(X
), _54(X
), _55(X
), _56(X
), _57(X
),
62 _58(X
), _59(X
), _5A(X
), _5B(X
), _5C(X
), _5D(X
), _5E(X
), _5F(X
),
63 _60(X
), _61(X
), _62(X
), _63(X
), _64(X
), _65(X
), _66(X
), _67(X
),
64 _68(X
), _69(X
), _6A(X
), _6B(X
), _6C(X
), _6D(X
), _6E(X
), _6F(X
),
65 _70(X
), _71(X
), _72(X
), _73(X
), _74(X
), _75(X
), _76(X
), _77(X
),
66 _78(X
), _79(X
), _7A(X
), _7B(X
), _7C(X
), _7D(X
), _7E(X
), _7F(X
),
67 _80(X
), _81(X
), _82(X
), _83(X
), _84(X
), _85(X
), _86(X
), _87(X
),
68 _88(X
), _89(X
), _8A(X
), _8B(X
), _8C(X
), _8D(X
), _8E(X
), _8F(X
),
69 _90(X
), _91(X
), _92(X
), _93(X
), _94(X
), _95(X
), _96(X
), _97(X
),
70 _98(X
), _99(X
), _9A(X
), _9B(X
), _9C(X
), _9D(X
), _9E(X
), _9F(X
),
71 _A0(X
), _A1(X
), _A2(X
), _A3(X
), _A4(X
), _A5(X
), _A6(X
), _A7(X
),
72 _A8(X
), _A9(X
), _AA(X
), _AB(X
), _AC(X
), _AD(X
), _AE(X
), _AF(X
),
73 _B0(X
), _B1(X
), _B2(X
), _B3(X
), _B4(X
), _B5(X
), _B6(X
), _B7(X
),
74 _B8(X
), _B9(X
), _BA(X
), _BB(X
), _BC(X
), _BD(X
), _BE(X
), _BF(X
),
75 _C0(X
), _C1(X
), _C2(X
), _C3(X
), _C4(X
), _C5(X
), _C6(X
), _C7(X
),
76 _C8(X
), _C9(X
), _CA(X
), _CB(X
), _CC(X
), _CD(X
), _CE(X
), _CF(X
),
77 _D0(X
), _D1(X
), _D2(X
), _D3(X
), _D4(X
), _D5(X
), _D6(X
), _D7(X
),
78 _D8(X
), _D9(X
), _DA(X
), _DB(X
), _DC(X
), _DD(X
), _DE(X
), _DF(X
),
79 _E0(X
), _E1(X
), _E2(X
), _E3(X
), _E4(X
), _E5(X
), _E6(X
), _E7(X
),
80 _E8(X
), _E9(X
), _EA(X
), _EB(X
), _EC(X
), _ED(X
), _EE(X
), _EF(X
),
81 _F0(X
), _F1(X
), _F2(X
), _F3(X
), _F4(X
), _F5(X
), _F6(X
), _F7(X
),
82 _F8(X
), _F9(X
), _FA(X
), _FB(X
), _FC(X
), _FD(X
), _FE(X
), _FF(X
),
88 if let E1
::V2 { .. }
= (E1
::V1 { f: true }
) {
91 if let E1
::V1 { .. }
= (E1
::V1 { f: true }
) {
96 if let E2
::V1 { .. }
= E2
::V3
::<Infallible
> {
99 if let E2
::V3 { .. }
= E2
::V3
::<Infallible
> {
108 assert_eq
!(OVERFLOW
, 0);
109 assert_eq
!(MORE_OVERFLOW
, 0);
projects / rustc.git / blob