Skip to content

Commit

Permalink
Expand union test to include different types
Browse files Browse the repository at this point in the history
  • Loading branch information
etaoins committed Jan 27, 2018
1 parent 75c79bd commit ed7e4e1
Showing 1 changed file with 26 additions and 7 deletions.
33 changes: 26 additions & 7 deletions src/test/run-pass/union/union-const-eval-field.rs
Original file line number Diff line number Diff line change
Expand Up @@ -10,17 +10,36 @@

#![feature(const_fn)]

type Field1 = i32;
type Field2 = f32;
type Field3 = i64;

union DummyUnion {
field1: i32,
field2: i32,
field1: Field1,
field2: Field2,
field3: Field3,
}

const FLOAT1_AS_I32: i32 = 1065353216;
const UNION: DummyUnion = DummyUnion { field1: FLOAT1_AS_I32 };

const fn read_field1() -> Field1 {
const FIELD1: Field1 = unsafe { UNION.field1 };
FIELD1
}

const fn read_field2() -> Field2 {
const FIELD2: Field2 = unsafe { UNION.field2 };
FIELD2
}

const fn read_field() -> i32 {
const UNION: DummyUnion = DummyUnion { field1: 5 };
const FIELD: i32 = unsafe { UNION.field2 };
FIELD
const fn read_field3() -> Field3 {
const FIELD3: Field3 = unsafe { UNION.field3 };
FIELD3
}

fn main() {
assert_eq!(read_field(), 5);
assert_eq!(read_field1(), FLOAT1_AS_I32);
assert_eq!(read_field2(), 1.0);
assert_eq!(read_field3(), unsafe { UNION.field3 });
}

0 comments on commit ed7e4e1

Please # to comment.