19 lines
458 B
Rust
19 lines
458 B
Rust
|
// unit-test: DeadStoreElimination
|
||
|
|
// compile-flags: -Zmir-emit-retag
|
||
|
|
|
||
|
|
// Test that we don't remove pointer to int casts or retags
|
||
|
|
|
||
|
|
// EMIT_MIR provenance_soundness.pointer_to_int.DeadStoreElimination.diff
|
||
|
|
fn pointer_to_int(p: *mut i32) {
|
||
|
|
let _x = p as usize;
|
||
|
|
let _y = p as isize;
|
||
|
|
}
|
||
|
|
|
||
|
|
// EMIT_MIR provenance_soundness.retags.DeadStoreElimination.diff
|
||
|
|
fn retags(_r: &mut i32) {}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
pointer_to_int(&mut 5 as *mut _);
|
||
|
|
retags(&mut 5);
|
||
|
|
}
|