rust/tests/mir-opt/remove_fake_borrows.rs

// Test that the fake borrows for matches are removed after borrow checking.

// EMIT_MIR_FOR_EACH_PANIC_STRATEGY

// EMIT_MIR remove_fake_borrows.match_guard.CleanupPostBorrowck.diff
fn match_guard(x: Option<&&i32>, c: bool) -> i32 {
    match x {
        Some(0) if c => 0,
        _ => 1,
    }
}

fn main() {
    match_guard(None, true);
}
Add a MIR transform to remove fake reads As we are now creating borrows of places that may not be valid for borrow checking matches, these have to be removed to avoid generating broken code. 2018-09-23 04:43:14 -05:00			`// Test that the fake borrows for matches are removed after borrow checking.`

properly mark tests that require panic=abort 2023-06-08 02:18:34 -05:00			`// EMIT_MIR_FOR_EACH_PANIC_STRATEGY`
Add a MIR transform to remove fake reads As we are now creating borrows of places that may not be valid for borrow checking matches, these have to be removed to avoid generating broken code. 2018-09-23 04:43:14 -05:00
Rename CleanupNonCodegenStatements to CleanupPostBorrowck 2022-12-16 18:00:00 -06:00			`// EMIT_MIR remove_fake_borrows.match_guard.CleanupPostBorrowck.diff`
Clean up MIR match lowering * Adjust fake borrows to only be live over guards. * Remove unused `slice_len_checked` field. * Split the methods on builder into those for matches and those for all kinds of pattern bindings. 2019-02-02 04:56:55 -06:00			`fn match_guard(x: Option<&&i32>, c: bool) -> i32 {`
Add a MIR transform to remove fake reads As we are now creating borrows of places that may not be valid for borrow checking matches, these have to be removed to avoid generating broken code. 2018-09-23 04:43:14 -05:00			`match x {`
Clean up MIR match lowering * Adjust fake borrows to only be live over guards. * Remove unused `slice_len_checked` field. * Split the methods on builder into those for matches and those for all kinds of pattern bindings. 2019-02-02 04:56:55 -06:00			`Some(0) if c => 0,`
Add a MIR transform to remove fake reads As we are now creating borrows of places that may not be valid for borrow checking matches, these have to be removed to avoid generating broken code. 2018-09-23 04:43:14 -05:00			`_ => 1,`
			`}`
			`}`

			`fn main() {`
Clean up MIR match lowering * Adjust fake borrows to only be live over guards. * Remove unused `slice_len_checked` field. * Split the methods on builder into those for matches and those for all kinds of pattern bindings. 2019-02-02 04:56:55 -06:00			`match_guard(None, true);`
Add a MIR transform to remove fake reads As we are now creating borrows of places that may not be valid for borrow checking matches, these have to be removed to avoid generating broken code. 2018-09-23 04:43:14 -05:00			`}`