mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

FileCheck mutable_variable_no_prop.

Browse source
This commit is contained in:
Camille GILLOT 2023-12-02 20:50:00 +00:00
parent 3e169abc1b
commit d91bb5074e
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
tests/mir-opt/const_prop/mutable_variable_no_prop.rs
View file

@ -1,10 +1,17 @@
// skip-filecheck
// unit-test: ConstProp
// Verify that we do not propagate the contents of this mutable static.
static mut STATIC: u32 = 0x42424242;
// EMIT_MIR mutable_variable_no_prop.main.ConstProp.diff
fn main() {
// CHECK-LABEL: fn main(
// CHECK: debug x => [[x:_.*]];
// CHECK: debug y => [[y:_.*]];
// CHECK: [[x]] = const 42_u32;
// CHECK: [[tmp:_.*]] = (*{{_.*}});
// CHECK: [[x]] = move [[tmp]];
// CHECK: [[y]] = [[x]];
let mut x = 42;
unsafe {
x = STATIC;