diff options
| author | Ralf Jung <post@ralfj.de> | 2023-12-26 19:31:52 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-12-26 20:15:26 +0100 |
| commit | 0f9baa8a31a4bf4d38ff90e402d43f0cd19662a8 (patch) | |
| tree | a3a3ffb54aad685b1a058d7dbca66b8a47400c0f /tests/mir-opt/reference_prop.rs | |
| parent | e1fadb2c35a6082867a037f012bfdfc5eb686211 (diff) | |
| download | rust-0f9baa8a31a4bf4d38ff90e402d43f0cd19662a8.tar.gz rust-0f9baa8a31a4bf4d38ff90e402d43f0cd19662a8.zip | |
custom mir: make it clear what the return block is
Diffstat (limited to 'tests/mir-opt/reference_prop.rs')
| -rw-r--r-- | tests/mir-opt/reference_prop.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/tests/mir-opt/reference_prop.rs b/tests/mir-opt/reference_prop.rs index 8adfbb4535b..b71ad90abb1 100644 --- a/tests/mir-opt/reference_prop.rs +++ b/tests/mir-opt/reference_prop.rs @@ -696,7 +696,7 @@ fn multiple_storage() { // As there are multiple `StorageLive` statements for `x`, we cannot know if this `z`'s // pointer address is the address of `x`, so do nothing. let y = *z; - Call(RET = opaque(y), retblock, UnwindContinue()) + Call(RET = opaque(y), ReturnTo(retblock), UnwindContinue()) } retblock = { @@ -724,7 +724,7 @@ fn dominate_storage() { } bb1 = { let c = *r; - Call(RET = opaque(c), bb2, UnwindContinue()) + Call(RET = opaque(c), ReturnTo(bb2), UnwindContinue()) } bb2 = { StorageDead(x); @@ -760,18 +760,18 @@ fn maybe_dead(m: bool) { bb1 = { StorageDead(x); StorageDead(y); - Call(RET = opaque(u), bb2, UnwindContinue()) + Call(RET = opaque(u), ReturnTo(bb2), UnwindContinue()) } bb2 = { // As `x` may be `StorageDead`, `a` may be dangling, so we do nothing. let z = *a; - Call(RET = opaque(z), bb3, UnwindContinue()) + Call(RET = opaque(z), ReturnTo(bb3), UnwindContinue()) } bb3 = { // As `y` may be `StorageDead`, `b` may be dangling, so we do nothing. // This implies that we also do not substitute `b` in `bb0`. let t = *b; - Call(RET = opaque(t), retblock, UnwindContinue()) + Call(RET = opaque(t), ReturnTo(retblock), UnwindContinue()) } retblock = { Return() |
