-
Notifications
You must be signed in to change notification settings - Fork 12.5k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Test StorageDead statements explicitly
- Loading branch information
Showing
1 changed file
with
104 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,104 @@ | ||
| // Test that we generate StorageDead on unwind paths for generators. | ||
| // | ||
| // Basic block and local names can safely change, but the StorageDead statements | ||
| // should not go away. | ||
|
|
||
| #![feature(generators, generator_trait)] | ||
|
|
||
| struct Foo(i32); | ||
|
|
||
| impl Drop for Foo { | ||
| fn drop(&mut self) {} | ||
| } | ||
|
|
||
| struct Bar(i32); | ||
|
|
||
| fn take<T>(_x: T) {} | ||
|
|
||
| fn main() { | ||
| let _gen = || { | ||
| let a = Foo(5); | ||
| let b = Bar(6); | ||
| yield; | ||
| take(a); | ||
| take(b); | ||
| }; | ||
| } | ||
|
|
||
| // END RUST SOURCE | ||
|
|
||
| // START rustc.main-{{closure}}.StateTransform.before.mir | ||
| // ... | ||
| // let _2: Foo; | ||
| // ... | ||
| // let mut _7: Foo; | ||
| // ... | ||
| // let mut _9: Bar; | ||
| // scope 1 { | ||
| // let _3: Bar; | ||
| // scope 2 { | ||
| // } | ||
| // } | ||
| // bb0: { | ||
| // StorageLive(_2); | ||
| // _2 = Foo(const 5i32,); | ||
| // StorageLive(_3); | ||
| // _3 = Bar(const 6i32,); | ||
| // ... | ||
| // _1 = suspend(move _5) -> [resume: bb2, drop: bb4]; | ||
| // } | ||
| // bb1 (cleanup): { | ||
| // resume; | ||
| // } | ||
| // bb2: { | ||
| // ... | ||
| // StorageLive(_7); | ||
| // _7 = move _2; | ||
| // _6 = const take::<Foo>(move _7) -> [return: bb9, unwind: bb8]; | ||
| // } | ||
| // bb3 (cleanup): { | ||
| // StorageDead(_2); | ||
| // drop(_1) -> bb1; | ||
| // } | ||
| // bb4: { | ||
| // ... | ||
| // StorageDead(_3); | ||
| // drop(_2) -> [return: bb5, unwind: bb3]; | ||
| // } | ||
| // bb5: { | ||
| // StorageDead(_2); | ||
| // drop(_1) -> [return: bb6, unwind: bb1]; | ||
| // } | ||
| // bb6: { | ||
| // generator_drop; | ||
| // } | ||
| // bb7 (cleanup): { | ||
| // StorageDead(_3); | ||
| // StorageDead(_2); | ||
| // drop(_1) -> bb1; | ||
| // } | ||
| // bb8 (cleanup): { | ||
| // StorageDead(_7); | ||
| // goto -> bb7; | ||
| // } | ||
| // bb9: { | ||
| // StorageDead(_7); | ||
| // StorageLive(_9); | ||
| // _9 = move _3; | ||
| // _8 = const take::<Bar>(move _9) -> [return: bb10, unwind: bb11]; | ||
| // } | ||
| // bb10: { | ||
| // StorageDead(_9); | ||
| // ... | ||
| // StorageDead(_3); | ||
| // StorageDead(_2); | ||
| // drop(_1) -> [return: bb12, unwind: bb1]; | ||
| // } | ||
| // bb11 (cleanup): { | ||
| // StorageDead(_9); | ||
| // goto -> bb7; | ||
| // } | ||
| // bb12: { | ||
| // return; | ||
| // } | ||
| // END rustc.main-{{closure}}.StateTransform.before.mir |