Add test to ensure const-prop fails gracefully
This commit is contained in:
parent
45214edf9e
commit
b17066dd5e
1 changed files with 34 additions and 0 deletions
34
src/test/mir-opt/const_prop/const_prop_fails_gracefully.rs
Normal file
34
src/test/mir-opt/const_prop/const_prop_fails_gracefully.rs
Normal file
|
|
@ -0,0 +1,34 @@
|
|||
#[inline(never)]
|
||||
fn read(_: usize) { }
|
||||
|
||||
fn main() {
|
||||
const FOO: &i32 = &1;
|
||||
let x = FOO as *const i32 as usize;
|
||||
read(x);
|
||||
}
|
||||
|
||||
// END RUST SOURCE
|
||||
// START rustc.main.ConstProp.before.mir
|
||||
// bb0: {
|
||||
// ...
|
||||
// _3 = _4;
|
||||
// _2 = move _3 as *const i32 (Misc);
|
||||
// ...
|
||||
// _1 = move _2 as usize (Misc);
|
||||
// ...
|
||||
// _6 = _1;
|
||||
// _5 = const read(move _6) -> bb1;
|
||||
// }
|
||||
// END rustc.main.ConstProp.before.mir
|
||||
// START rustc.main.ConstProp.after.mir
|
||||
// bb0: {
|
||||
// ...
|
||||
// _3 = _4;
|
||||
// _2 = move _3 as *const i32 (Misc);
|
||||
// ...
|
||||
// _1 = move _2 as usize (Misc);
|
||||
// ...
|
||||
// _6 = _1;
|
||||
// _5 = const read(move _6) -> bb1;
|
||||
// }
|
||||
// END rustc.main.ConstProp.after.mir
|
||||
Loading…
Add table
Add a link
Reference in a new issue