Skip to content

Commit 2ea4f05

Browse files
arielb1brson
authored andcommitted
don't double-apply variant padding to const enums
Fixes rust-lang#38002.
1 parent 49b9666 commit 2ea4f05

File tree

2 files changed

+50
-9
lines changed

2 files changed

+50
-9
lines changed

src/librustc_trans/adt.rs

+5-9
Original file line numberDiff line numberDiff line change
@@ -689,9 +689,8 @@ pub fn trans_const<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>, t: Ty<'tcx>, discr: D
689689
let lldiscr = C_integral(Type::from_integer(ccx, d), discr.0 as u64, true);
690690
let mut vals_with_discr = vec![lldiscr];
691691
vals_with_discr.extend_from_slice(vals);
692-
let mut contents = build_const_struct(ccx, &variant,
693-
&vals_with_discr[..]);
694-
let needed_padding = l.size(dl).bytes() - variant.min_size.bytes();
692+
let mut contents = build_const_struct(ccx, &variant, &vals_with_discr[..]);
693+
let needed_padding = l.size(dl).bytes() - variant.stride().bytes();
695694
if needed_padding > 0 {
696695
contents.push(padding(ccx, needed_padding));
697696
}
@@ -704,8 +703,7 @@ pub fn trans_const<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>, t: Ty<'tcx>, discr: D
704703
}
705704
layout::Univariant { ref variant, .. } => {
706705
assert_eq!(discr, Disr(0));
707-
let contents = build_const_struct(ccx,
708-
&variant, vals);
706+
let contents = build_const_struct(ccx, &variant, vals);
709707
C_struct(ccx, &contents[..], variant.packed)
710708
}
711709
layout::Vector { .. } => {
@@ -722,17 +720,15 @@ pub fn trans_const<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>, t: Ty<'tcx>, discr: D
722720
}
723721
layout::StructWrappedNullablePointer { ref nonnull, nndiscr, .. } => {
724722
if discr.0 == nndiscr {
725-
C_struct(ccx, &build_const_struct(ccx, &nonnull, vals),
726-
false)
723+
C_struct(ccx, &build_const_struct(ccx, &nonnull, vals), false)
727724
} else {
728725
let fields = compute_fields(ccx, t, nndiscr as usize, false);
729726
let vals = fields.iter().map(|&ty| {
730727
// Always use null even if it's not the `discrfield`th
731728
// field; see #8506.
732729
C_null(type_of::sizing_type_of(ccx, ty))
733730
}).collect::<Vec<ValueRef>>();
734-
C_struct(ccx, &build_const_struct(ccx, &nonnull, &vals[..]),
735-
false)
731+
C_struct(ccx, &build_const_struct(ccx, &nonnull, &vals[..]), false)
736732
}
737733
}
738734
_ => bug!("trans_const: cannot handle type {} repreented as {:#?}", t, l)

src/test/run-pass/issue-38002.rs

+45
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
2+
// file at the top-level directory of this distribution and at
3+
// http://rust-lang.org/COPYRIGHT.
4+
//
5+
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6+
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8+
// option. This file may not be copied, modified, or distributed
9+
// except according to those terms.
10+
11+
// Check that constant ADTs are translated OK, part k of N.
12+
13+
#![feature(slice_patterns)]
14+
15+
enum Bar {
16+
C
17+
}
18+
19+
enum Foo {
20+
A {},
21+
B {
22+
y: usize,
23+
z: Bar
24+
},
25+
}
26+
27+
const LIST: [(usize, Foo); 2] = [
28+
(51, Foo::B { y: 42, z: Bar::C }),
29+
(52, Foo::B { y: 45, z: Bar::C }),
30+
];
31+
32+
pub fn main() {
33+
match LIST {
34+
[
35+
(51, Foo::B { y: 42, z: Bar::C }),
36+
(52, Foo::B { y: 45, z: Bar::C })
37+
] => {}
38+
_ => {
39+
// I would want to print the enum here, but if
40+
// the discriminant is garbage this causes an
41+
// `unreachable` and silent process exit.
42+
panic!("trivial match failed")
43+
}
44+
}
45+
}

0 commit comments

Comments
 (0)