blob: 4338d78eabb9d90af633624e4d35358ddf3b6f80 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
// revisions: mir thir
// [thir]compile-flags: -Z thir-unsafeck
union Foo {
bar: i8,
zst: (),
pizza: Pizza,
}
#[derive(Clone, Copy)]
struct Pizza {
topping: Option<PizzaTopping>
}
#[allow(dead_code)]
#[derive(Clone, Copy)]
enum PizzaTopping {
Cheese,
Pineapple,
}
fn do_nothing(_x: &mut Foo) {}
pub fn main() {
let mut foo = Foo { bar: 5 };
do_nothing(&mut foo);
// This is UB, so this test isn't run
match foo {
Foo { bar: _a } => {}, //~ ERROR access to union field is unsafe
}
match foo { //[mir]~ ERROR access to union field is unsafe
Foo {
pizza: Pizza { //[thir]~ ERROR access to union field is unsafe
topping: Some(PizzaTopping::Cheese) | Some(PizzaTopping::Pineapple) | None
}
} => {},
}
// MIR unsafeck incorrectly thinks that no unsafe block is needed to do these
match foo {
Foo { zst: () } => {}, //[thir]~ ERROR access to union field is unsafe
}
match foo {
Foo { pizza: Pizza { .. } } => {}, //[thir]~ ERROR access to union field is unsafe
}
// binding to wildcard is okay
match foo {
Foo { bar: _ } => {},
}
let Foo { bar: _ } = foo;
}
|
