1- // MIR for `t4` before SimplifyLocals-before-const-prop 2+ // MIR for `t4` after SimplifyLocals-before-const-prop 3 4 fn t4() -> u32 { 5 let mut _0: u32; 6 let mut _1: u32; 7 let mut _2: *mut u32; 8 scope 1 { 9 } 10 11 bb0: { 12 StorageLive(_1); 13 StorageLive(_2); 14 _2 = &/*tls*/ mut X; 15 _1 = (*_2); 16 _0 = Add(move _1, const 1_u32); 17 StorageDead(_1); 18 StorageDead(_2); 19 return; 20 } 21 } 22 23