Skip to content

Commit

Permalink
trans: don't forget to cast Pair constants of the wrong type.
Browse files Browse the repository at this point in the history
  • Loading branch information
eddyb committed Jun 6, 2016
1 parent b6d9f83 commit 11e3109
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 8 deletions.
4 changes: 2 additions & 2 deletions src/librustc_trans/mir/constant.rs
Expand Up @@ -122,10 +122,10 @@ impl<'tcx> Const<'tcx> {
let llty = type_of::immediate_type_of(ccx, self.ty);
let llvalty = val_ty(self.llval);

let val = if common::type_is_imm_pair(ccx, self.ty) {
let val = if llty == llvalty && common::type_is_imm_pair(ccx, self.ty) {
let (a, b) = self.get_pair();
OperandValue::Pair(a, b)
} else if common::type_is_immediate(ccx, self.ty) && llty == llvalty {
} else if llty == llvalty && common::type_is_immediate(ccx, self.ty) {
// If the types match, we can use the value directly.
OperandValue::Immediate(self.llval)
} else {
Expand Down
14 changes: 8 additions & 6 deletions src/test/run-pass/mir_constval_adts.rs
Expand Up @@ -15,21 +15,23 @@ struct Point {
_y: i32,
}

#[derive(PartialEq, Eq, Debug)]
struct Newtype<T>(T);

const STRUCT: Point = Point { _x: 42, _y: 42 };
const TUPLE1: (i32, i32) = (42, 42);
const TUPLE2: (&'static str, &'static str) = ("hello","world");
const PAIR_NEWTYPE: (Newtype<i32>, Newtype<i32>) = (Newtype(42), Newtype(42));

#[rustc_mir]
fn mir() -> (Point, (i32, i32), (&'static str, &'static str)){
fn mir() -> (Point, (i32, i32), (&'static str, &'static str), (Newtype<i32>, Newtype<i32>)) {
let struct1 = STRUCT;
let tuple1 = TUPLE1;
let tuple2 = TUPLE2;
(struct1, tuple1, tuple2)
let pair_newtype = PAIR_NEWTYPE;
(struct1, tuple1, tuple2, pair_newtype)
}

#[derive(PartialEq, Eq, Debug)]
struct Newtype<T>(T);

const NEWTYPE: Newtype<&'static str> = Newtype("foobar");

#[rustc_mir]
Expand All @@ -39,7 +41,7 @@ fn test_promoted_newtype_str_ref() {
}

fn main(){
assert_eq!(mir(), (STRUCT, TUPLE1, TUPLE2));
assert_eq!(mir(), (STRUCT, TUPLE1, TUPLE2, PAIR_NEWTYPE));
test_promoted_newtype_str_ref();
}

0 comments on commit 11e3109

Please sign in to comment.