rescope temp lifetime in let-chain into IfElse

dingxiangfei2009 · dingxiangfei2009 · commit 92550ddb5084 · 2023-01-30T08:22:06.000+08:00
diff --git a/compiler/rustc_middle/src/ty/rvalue_scopes.rs b/compiler/rustc_middle/src/ty/rvalue_scopes.rs
@@ -38,6 +38,10 @@ impl RvalueScopes {
                     debug!("temporary_scope({expr_id:?}) = {id:?} [enclosing]");
                     return Some(id);
                 }
+                ScopeData::IfThen => {
+                    debug!("temporary_scope({expr_id:?}) = {p:?} [enclosing]");
+                    return Some(p);
+                }
                 _ => id = p,
             }
         }
diff --git a/tests/mir-opt/const_prop/discriminant.main.ConstProp.32bit.diff b/tests/mir-opt/const_prop/discriminant.main.ConstProp.32bit.diff
@@ -32,18 +32,19 @@
   
       bb2: {
           _2 = const 42_i32;               // scope 2 at $DIR/discriminant.rs:+1:47: +1:49
+          StorageDead(_3);                 // scope 0 at $DIR/discriminant.rs:+1:50: +1:51
           goto -> bb4;                     // scope 0 at $DIR/discriminant.rs:+1:13: +1:64
       }
   
       bb3: {
+          StorageDead(_3);                 // scope 0 at $DIR/discriminant.rs:+1:50: +1:51
           _2 = const 10_i32;               // scope 0 at $DIR/discriminant.rs:+1:59: +1:61
           goto -> bb4;                     // scope 0 at $DIR/discriminant.rs:+1:13: +1:64
       }
   
       bb4: {
           _1 = Add(move _2, const 0_i32);  // scope 0 at $DIR/discriminant.rs:+1:13: +1:68
           StorageDead(_2);                 // scope 0 at $DIR/discriminant.rs:+1:67: +1:68
-          StorageDead(_3);                 // scope 0 at $DIR/discriminant.rs:+1:68: +1:69
           _0 = const ();                   // scope 0 at $DIR/discriminant.rs:+0:11: +2:2
           StorageDead(_1);                 // scope 0 at $DIR/discriminant.rs:+2:1: +2:2
           return;                          // scope 0 at $DIR/discriminant.rs:+2:2: +2:2
diff --git a/tests/mir-opt/const_prop/discriminant.main.ConstProp.64bit.diff b/tests/mir-opt/const_prop/discriminant.main.ConstProp.64bit.diff
@@ -32,18 +32,19 @@
   
       bb2: {
           _2 = const 42_i32;               // scope 2 at $DIR/discriminant.rs:+1:47: +1:49
+          StorageDead(_3);                 // scope 0 at $DIR/discriminant.rs:+1:50: +1:51
           goto -> bb4;                     // scope 0 at $DIR/discriminant.rs:+1:13: +1:64
       }
   
       bb3: {
+          StorageDead(_3);                 // scope 0 at $DIR/discriminant.rs:+1:50: +1:51
           _2 = const 10_i32;               // scope 0 at $DIR/discriminant.rs:+1:59: +1:61
           goto -> bb4;                     // scope 0 at $DIR/discriminant.rs:+1:13: +1:64
       }
   
       bb4: {
           _1 = Add(move _2, const 0_i32);  // scope 0 at $DIR/discriminant.rs:+1:13: +1:68
           StorageDead(_2);                 // scope 0 at $DIR/discriminant.rs:+1:67: +1:68
-          StorageDead(_3);                 // scope 0 at $DIR/discriminant.rs:+1:68: +1:69
           _0 = const ();                   // scope 0 at $DIR/discriminant.rs:+0:11: +2:2
           StorageDead(_1);                 // scope 0 at $DIR/discriminant.rs:+2:1: +2:2
           return;                          // scope 0 at $DIR/discriminant.rs:+2:2: +2:2
diff --git a/tests/mir-opt/funky_arms.float_to_exponential_common.ConstProp.diff b/tests/mir-opt/funky_arms.float_to_exponential_common.ConstProp.diff
@@ -100,10 +100,12 @@
           StorageDead(_14);                // scope 3 at $DIR/funky_arms.rs:+15:86: +15:87
           StorageDead(_13);                // scope 3 at $DIR/funky_arms.rs:+15:86: +15:87
           StorageDead(_11);                // scope 3 at $DIR/funky_arms.rs:+15:86: +15:87
+          StorageDead(_7);                 // scope 2 at $DIR/funky_arms.rs:+16:5: +16:6
           goto -> bb10;                    // scope 2 at $DIR/funky_arms.rs:+13:5: +18:6
       }
   
       bb8: {
+          StorageDead(_7);                 // scope 2 at $DIR/funky_arms.rs:+16:5: +16:6
           StorageLive(_18);                // scope 2 at $DIR/funky_arms.rs:+17:46: +17:49
           _18 = &mut (*_1);                // scope 2 at $DIR/funky_arms.rs:+17:46: +17:49
           StorageLive(_20);                // scope 2 at $DIR/funky_arms.rs:+17:56: +17:60
@@ -123,7 +125,6 @@
       bb10: {
           StorageDead(_6);                 // scope 1 at $DIR/funky_arms.rs:+19:1: +19:2
           StorageDead(_4);                 // scope 0 at $DIR/funky_arms.rs:+19:1: +19:2
-          StorageDead(_7);                 // scope 0 at $DIR/funky_arms.rs:+19:1: +19:2
           return;                          // scope 0 at $DIR/funky_arms.rs:+19:2: +19:2
       }
   }
diff --git a/tests/mir-opt/simplify_locals_fixedpoint.foo.SimplifyLocals-final.diff b/tests/mir-opt/simplify_locals_fixedpoint.foo.SimplifyLocals-final.diff
@@ -47,15 +47,24 @@
 -         StorageDead(_8);                 // scope 1 at $DIR/simplify_locals_fixedpoint.rs:+2:19: +2:20
 -         StorageDead(_7);                 // scope 1 at $DIR/simplify_locals_fixedpoint.rs:+4:9: +4:10
           StorageDead(_6);                 // scope 0 at $DIR/simplify_locals_fixedpoint.rs:+5:5: +5:6
-          goto -> bb3;                     // scope 0 at $DIR/simplify_locals_fixedpoint.rs:+1:5: +5:6
+          drop(_1) -> bb5;                 // scope 0 at $DIR/simplify_locals_fixedpoint.rs:+5:5: +5:6
       }
   
       bb3: {
-          drop(_1) -> bb4;                 // scope 0 at $DIR/simplify_locals_fixedpoint.rs:+6:1: +6:2
+          drop(_1) -> bb4;                 // scope 0 at $DIR/simplify_locals_fixedpoint.rs:+5:5: +5:6
       }
   
       bb4: {
-          StorageDead(_1);                 // scope 0 at $DIR/simplify_locals_fixedpoint.rs:+6:1: +6:2
+          StorageDead(_1);                 // scope 0 at $DIR/simplify_locals_fixedpoint.rs:+5:5: +5:6
+          goto -> bb6;                     // scope 0 at $DIR/simplify_locals_fixedpoint.rs:+1:5: +5:6
+      }
+  
+      bb5: {
+          StorageDead(_1);                 // scope 0 at $DIR/simplify_locals_fixedpoint.rs:+5:5: +5:6
+          goto -> bb6;                     // scope 0 at $DIR/simplify_locals_fixedpoint.rs:+1:5: +5:6
+      }
+  
+      bb6: {
           return;                          // scope 0 at $DIR/simplify_locals_fixedpoint.rs:+6:2: +6:2
       }
   }
diff --git a/tests/mir-opt/sroa.enums.ScalarReplacementOfAggregates.diff b/tests/mir-opt/sroa.enums.ScalarReplacementOfAggregates.diff
@@ -29,16 +29,17 @@
           _5 = ((_2 as Some).0: usize);    // scope 1 at $DIR/sroa.rs:+1:17: +1:18
           _0 = _5;                         // scope 1 at $DIR/sroa.rs:+1:32: +1:33
           StorageDead(_5);                 // scope 0 at $DIR/sroa.rs:+1:34: +1:35
+          StorageDead(_2);                 // scope 0 at $DIR/sroa.rs:+1:34: +1:35
           goto -> bb3;                     // scope 0 at $DIR/sroa.rs:+1:5: +1:46
       }
   
       bb2: {
+          StorageDead(_2);                 // scope 0 at $DIR/sroa.rs:+1:34: +1:35
           _0 = const 0_usize;              // scope 0 at $DIR/sroa.rs:+1:43: +1:44
           goto -> bb3;                     // scope 0 at $DIR/sroa.rs:+1:5: +1:46
       }
   
       bb3: {
-          StorageDead(_2);                 // scope 0 at $DIR/sroa.rs:+2:1: +2:2
           return;                          // scope 0 at $DIR/sroa.rs:+2:2: +2:2
       }
   }
diff --git a/tests/mir-opt/unreachable.main.UnreachablePropagation.diff b/tests/mir-opt/unreachable.main.UnreachablePropagation.diff
@@ -62,8 +62,8 @@
 -     }
 - 
 -     bb6: {
+          StorageDead(_1);                 // scope 0 at $DIR/unreachable.rs:+11:5: +11:6
           _0 = const ();                   // scope 0 at $DIR/unreachable.rs:+11:6: +11:6
-          StorageDead(_1);                 // scope 0 at $DIR/unreachable.rs:+12:1: +12:2
           return;                          // scope 0 at $DIR/unreachable.rs:+12:2: +12:2
       }
   }
diff --git a/tests/mir-opt/unreachable_diverging.main.UnreachablePropagation.diff b/tests/mir-opt/unreachable_diverging.main.UnreachablePropagation.diff
@@ -62,9 +62,9 @@
       }
   
       bb6: {
+          StorageDead(_2);                 // scope 1 at $DIR/unreachable_diverging.rs:+7:5: +7:6
           _0 = const ();                   // scope 1 at $DIR/unreachable_diverging.rs:+7:6: +7:6
           StorageDead(_1);                 // scope 0 at $DIR/unreachable_diverging.rs:+8:1: +8:2
-          StorageDead(_2);                 // scope 0 at $DIR/unreachable_diverging.rs:+8:1: +8:2
           return;                          // scope 0 at $DIR/unreachable_diverging.rs:+8:2: +8:2
       }
   }
diff --git a/tests/mir-opt/while_let_loops.change_loop_body.ConstProp.diff b/tests/mir-opt/while_let_loops.change_loop_body.ConstProp.diff
@@ -30,15 +30,16 @@
   
       bb2: {
           _1 = const 1_i32;                // scope 2 at $DIR/while_let_loops.rs:+3:9: +3:15
-          goto -> bb4;                     // scope 2 at $DIR/while_let_loops.rs:+4:9: +4:14
+          StorageDead(_2);                 // scope 1 at $DIR/while_let_loops.rs:+5:5: +5:6
+          goto -> bb4;                     // scope 1 at no-location
       }
   
       bb3: {
+          StorageDead(_2);                 // scope 1 at $DIR/while_let_loops.rs:+5:5: +5:6
           goto -> bb4;                     // scope 1 at no-location
       }
   
       bb4: {
-          StorageDead(_2);                 // scope 1 at $DIR/while_let_loops.rs:+5:5: +5:6
           StorageDead(_1);                 // scope 0 at $DIR/while_let_loops.rs:+6:1: +6:2
           return;                          // scope 0 at $DIR/while_let_loops.rs:+6:2: +6:2
       }
diff --git a/tests/ui/drop/drop_order.rs b/tests/ui/drop/drop_order.rs
@@ -55,10 +55,10 @@ impl DropOrderCollector {
     }
 
     fn if_let(&self) {
-        if let None = self.option_loud_drop(2) {
+        if let None = self.option_loud_drop(1) {
             unreachable!();
         } else {
-            self.print(1);
+            self.print(2);
         }
 
         if let Some(_) = self.option_loud_drop(4) {
@@ -197,10 +197,10 @@ impl DropOrderCollector {
         // take the "else" branch
         if self.option_loud_drop(5).is_some() // 1
             && self.option_loud_drop(6).is_some() // 2
-            && let None = self.option_loud_drop(8) { // 4
+            && let None = self.option_loud_drop(7) { // 3
             unreachable!();
         } else {
-            self.print(7); // 3
+            self.print(8); // 4
         }
 
         // let exprs interspersed
diff --git a/tests/ui/mir/mir_let_chains_drop_order.rs b/tests/ui/mir/mir_let_chains_drop_order.rs
@@ -57,7 +57,7 @@ fn main() {
                 d(10, None)
             },
         );
-        assert_eq!(get(), vec![8, 7, 1, 3, 2]);
+        assert_eq!(get(), vec![3, 2, 8, 7, 1]);
     }
     assert_eq!(get(), vec![0, 4, 6, 9, 5]);
 
@@ -89,5 +89,5 @@ fn main() {
             panic::panic_any(InjectedFailure)
         );
     });
-    assert_eq!(get(), vec![20, 17, 15, 11, 19, 18, 16, 12, 14, 13]);
+    assert_eq!(get(), vec![14, 13, 19, 18, 20, 17, 15, 11, 16, 12]);
 }
diff --git a/tests/ui/nll/issue-54556-niconii.rs b/tests/ui/nll/issue-54556-niconii.rs
@@ -1,3 +1,4 @@
+// check-pass
 // This is a reduction of a concrete test illustrating a case that was
 // annoying to Rust developer niconii (see comment thread on #21114).
 //
@@ -19,7 +20,7 @@ impl Mutex {
 fn main() {
     let counter = Mutex;
 
-    if let Ok(_) = counter.lock() { } //~ ERROR does not live long enough
+    if let Ok(_) = counter.lock() { }
 
     // With this code as written, the dynamic semantics here implies
     // that `Mutex::drop` for `counter` runs *before*
diff --git a/tests/ui/nll/issue-54556-niconii.stderr b/tests/ui/nll/issue-54556-niconii.stderr

Original file line number	Diff line number	Diff line change
`@@ -38,6 +38,10 @@ impl RvalueScopes {`
`38`	`38`	`debug!("temporary_scope({expr_id:?}) = {id:?} [enclosing]");`
`39`	`39`	`return Some(id);`
`40`	`40`	`}`
	`41`	`+ ScopeData::IfThen => {`
	`42`	`+ debug!("temporary_scope({expr_id:?}) = {p:?} [enclosing]");`
	`43`	`+ return Some(p);`
	`44`	`+ }`
`41`	`45`	`_ => id = p,`
`42`	`46`	`}`
`43`	`47`	`}`
Original file line number	Diff line number	Diff line change
`@@ -100,10 +100,12 @@`
`100`	`100`	`StorageDead(_14); // scope 3 at $DIR/funky_arms.rs:+15:86: +15:87`
`101`	`101`	`StorageDead(_13); // scope 3 at $DIR/funky_arms.rs:+15:86: +15:87`
`102`	`102`	`StorageDead(_11); // scope 3 at $DIR/funky_arms.rs:+15:86: +15:87`
	`103`	`+ StorageDead(_7); // scope 2 at $DIR/funky_arms.rs:+16:5: +16:6`
`103`	`104`	`goto -> bb10; // scope 2 at $DIR/funky_arms.rs:+13:5: +18:6`
`104`	`105`	`}`
`105`	`106`
`106`	`107`	`bb8: {`
	`108`	`+ StorageDead(_7); // scope 2 at $DIR/funky_arms.rs:+16:5: +16:6`
`107`	`109`	`StorageLive(_18); // scope 2 at $DIR/funky_arms.rs:+17:46: +17:49`
`108`	`110`	`_18 = &mut (*_1); // scope 2 at $DIR/funky_arms.rs:+17:46: +17:49`
`109`	`111`	`StorageLive(_20); // scope 2 at $DIR/funky_arms.rs:+17:56: +17:60`
`@@ -123,7 +125,6 @@`
`123`	`125`	`bb10: {`
`124`	`126`	`StorageDead(_6); // scope 1 at $DIR/funky_arms.rs:+19:1: +19:2`
`125`	`127`	`StorageDead(_4); // scope 0 at $DIR/funky_arms.rs:+19:1: +19:2`
`126`		`- StorageDead(_7); // scope 0 at $DIR/funky_arms.rs:+19:1: +19:2`
`127`	`128`	`return; // scope 0 at $DIR/funky_arms.rs:+19:2: +19:2`
`128`	`129`	`}`
`129`	`130`	`}`
Original file line number	Diff line number	Diff line change
`@@ -29,16 +29,17 @@`
`29`	`29`	`_5 = ((_2 as Some).0: usize); // scope 1 at $DIR/sroa.rs:+1:17: +1:18`
`30`	`30`	`_0 = _5; // scope 1 at $DIR/sroa.rs:+1:32: +1:33`
`31`	`31`	`StorageDead(_5); // scope 0 at $DIR/sroa.rs:+1:34: +1:35`
	`32`	`+ StorageDead(_2); // scope 0 at $DIR/sroa.rs:+1:34: +1:35`
`32`	`33`	`goto -> bb3; // scope 0 at $DIR/sroa.rs:+1:5: +1:46`
`33`	`34`	`}`
`34`	`35`
`35`	`36`	`bb2: {`
	`37`	`+ StorageDead(_2); // scope 0 at $DIR/sroa.rs:+1:34: +1:35`
`36`	`38`	`_0 = const 0_usize; // scope 0 at $DIR/sroa.rs:+1:43: +1:44`
`37`	`39`	`goto -> bb3; // scope 0 at $DIR/sroa.rs:+1:5: +1:46`
`38`	`40`	`}`
`39`	`41`
`40`	`42`	`bb3: {`
`41`		`- StorageDead(_2); // scope 0 at $DIR/sroa.rs:+2:1: +2:2`
`42`	`43`	`return; // scope 0 at $DIR/sroa.rs:+2:2: +2:2`
`43`	`44`	`}`
`44`	`45`	`}`
Original file line number	Diff line number	Diff line change
`@@ -62,8 +62,8 @@`
`62`	`62`	`- }`
`63`	`63`	`-`
`64`	`64`	`- bb6: {`
	`65`	`+ StorageDead(_1); // scope 0 at $DIR/unreachable.rs:+11:5: +11:6`
`65`	`66`	`_0 = const (); // scope 0 at $DIR/unreachable.rs:+11:6: +11:6`
`66`		`- StorageDead(_1); // scope 0 at $DIR/unreachable.rs:+12:1: +12:2`
`67`	`67`	`return; // scope 0 at $DIR/unreachable.rs:+12:2: +12:2`
`68`	`68`	`}`
`69`	`69`	`}`
Original file line number	Diff line number	Diff line change
`@@ -62,9 +62,9 @@`
`62`	`62`	`}`
`63`	`63`
`64`	`64`	`bb6: {`
	`65`	`+ StorageDead(_2); // scope 1 at $DIR/unreachable_diverging.rs:+7:5: +7:6`
`65`	`66`	`_0 = const (); // scope 1 at $DIR/unreachable_diverging.rs:+7:6: +7:6`
`66`	`67`	`StorageDead(_1); // scope 0 at $DIR/unreachable_diverging.rs:+8:1: +8:2`
`67`		`- StorageDead(_2); // scope 0 at $DIR/unreachable_diverging.rs:+8:1: +8:2`
`68`	`68`	`return; // scope 0 at $DIR/unreachable_diverging.rs:+8:2: +8:2`
`69`	`69`	`}`
`70`	`70`	`}`
Original file line number	Diff line number	Diff line change
`@@ -30,15 +30,16 @@`
`30`	`30`
`31`	`31`	`bb2: {`
`32`	`32`	`_1 = const 1_i32; // scope 2 at $DIR/while_let_loops.rs:+3:9: +3:15`
`33`		`- goto -> bb4; // scope 2 at $DIR/while_let_loops.rs:+4:9: +4:14`
	`33`	`+ StorageDead(_2); // scope 1 at $DIR/while_let_loops.rs:+5:5: +5:6`
	`34`	`+ goto -> bb4; // scope 1 at no-location`
`34`	`35`	`}`
`35`	`36`
`36`	`37`	`bb3: {`
	`38`	`+ StorageDead(_2); // scope 1 at $DIR/while_let_loops.rs:+5:5: +5:6`
`37`	`39`	`goto -> bb4; // scope 1 at no-location`
`38`	`40`	`}`
`39`	`41`
`40`	`42`	`bb4: {`
`41`		`- StorageDead(_2); // scope 1 at $DIR/while_let_loops.rs:+5:5: +5:6`
`42`	`43`	`StorageDead(_1); // scope 0 at $DIR/while_let_loops.rs:+6:1: +6:2`
`43`	`44`	`return; // scope 0 at $DIR/while_let_loops.rs:+6:2: +6:2`
`44`	`45`	`}`