blob: eeaabb7b9884eb16812f8f5a1cb174051e21e510 [file] [log] [blame]
// MIR for `process_void` after SimplifyLocals
fn process_void(_1: *const Void) -> () {
debug input => _1; // in scope 0 at $DIR/uninhabited-enum.rs:13:21: 13:26
let mut _0: (); // return place in scope 0 at $DIR/uninhabited-enum.rs:13:41: 13:41
let _2: &Void; // in scope 0 at $DIR/uninhabited-enum.rs:14:8: 14:14
scope 1 {
debug _input => _2; // in scope 1 at $DIR/uninhabited-enum.rs:14:8: 14:14
}
scope 2 {
}
bb0: {
StorageLive(_2); // scope 0 at $DIR/uninhabited-enum.rs:14:8: 14:14
_2 = &(*_1); // scope 2 at $DIR/uninhabited-enum.rs:14:26: 14:33
StorageDead(_2); // scope 0 at $DIR/uninhabited-enum.rs:17:1: 17:2
return; // scope 0 at $DIR/uninhabited-enum.rs:17:2: 17:2
}
}