| #![allow(unused_assignments, unused_variables)] |
| //@ compile-flags: -C opt-level=2 |
| |
| // This test used to be sensitive to certain coverage-specific hacks in |
| // `rustc_middle/mir/mono.rs`, but those hacks were later cleaned up by |
| // <https://github.com/rust-lang/rust/pull/83666>. |
| |
| #[rustfmt::skip] |
| fn main() { |
| // Initialize test constants in a way that cannot be determined at compile time, to ensure |
| // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from |
| // dependent conditions. |
| let is_true = std::env::args().len() == 1; |
| let is_false = !is_true; |
| |
| let mut some_string = Some(String::from("the string content")); |
| println!( |
| "The string or alt: {}" |
| , |
| some_string |
| . |
| unwrap_or_else |
| ( |
| || |
| { |
| let mut countdown = 0; |
| if is_false { |
| countdown = 10; |
| } |
| "alt string 1".to_owned() |
| } |
| ) |
| ); |
| |
| some_string = Some(String::from("the string content")); |
| let |
| a |
| = |
| || |
| { |
| let mut countdown = 0; |
| if is_false { |
| countdown = 10; |
| } |
| "alt string 2".to_owned() |
| }; |
| println!( |
| "The string or alt: {}" |
| , |
| some_string |
| . |
| unwrap_or_else |
| ( |
| a |
| ) |
| ); |
| |
| some_string = None; |
| println!( |
| "The string or alt: {}" |
| , |
| some_string |
| . |
| unwrap_or_else |
| ( |
| || |
| { |
| let mut countdown = 0; |
| if is_false { |
| countdown = 10; |
| } |
| "alt string 3".to_owned() |
| } |
| ) |
| ); |
| |
| some_string = None; |
| let |
| a |
| = |
| || |
| { |
| let mut countdown = 0; |
| if is_false { |
| countdown = 10; |
| } |
| "alt string 4".to_owned() |
| }; |
| println!( |
| "The string or alt: {}" |
| , |
| some_string |
| . |
| unwrap_or_else |
| ( |
| a |
| ) |
| ); |
| |
| let |
| quote_closure |
| = |
| |val| |
| { |
| let mut countdown = 0; |
| if is_false { |
| countdown = 10; |
| } |
| format!("'{}'", val) |
| }; |
| println!( |
| "Repeated, quoted string: {:?}" |
| , |
| std::iter::repeat("repeat me") |
| .take(5) |
| .map |
| ( |
| quote_closure |
| ) |
| .collect::<Vec<_>>() |
| ); |
| |
| let |
| _unused_closure |
| = |
| | |
| mut countdown |
| | |
| { |
| if is_false { |
| countdown = 10; |
| } |
| "closure should be unused".to_owned() |
| }; |
| |
| let mut countdown = 10; |
| let _short_unused_closure = | _unused_arg: u8 | countdown += 1; |
| |
| |
| let short_used_covered_closure_macro = | used_arg: u8 | println!("called"); |
| let short_used_not_covered_closure_macro = | used_arg: u8 | println!("not called"); |
| let _short_unused_closure_macro = | _unused_arg: u8 | println!("not called"); |
| |
| |
| |
| |
| let _short_unused_closure_block = | _unused_arg: u8 | { println!("not called") }; |
| |
| let _shortish_unused_closure = | _unused_arg: u8 | { |
| println!("not called") |
| }; |
| |
| let _as_short_unused_closure = | |
| _unused_arg: u8 |
| | { println!("not called") }; |
| |
| let _almost_as_short_unused_closure = | |
| _unused_arg: u8 |
| | { println!("not called") } |
| ; |
| |
| |
| |
| |
| |
| let _short_unused_closure_line_break_no_block = | _unused_arg: u8 | |
| println!("not called") |
| ; |
| |
| let _short_unused_closure_line_break_no_block2 = |
| | _unused_arg: u8 | |
| println!( |
| "not called" |
| ) |
| ; |
| |
| let short_used_not_covered_closure_line_break_no_block_embedded_branch = |
| | _unused_arg: u8 | |
| println!( |
| "not called: {}", |
| if is_true { "check" } else { "me" } |
| ) |
| ; |
| |
| let short_used_not_covered_closure_line_break_block_embedded_branch = |
| | _unused_arg: u8 | |
| { |
| println!( |
| "not called: {}", |
| if is_true { "check" } else { "me" } |
| ) |
| } |
| ; |
| |
| let short_used_covered_closure_line_break_no_block_embedded_branch = |
| | _unused_arg: u8 | |
| println!( |
| "not called: {}", |
| if is_true { "check" } else { "me" } |
| ) |
| ; |
| |
| let short_used_covered_closure_line_break_block_embedded_branch = |
| | _unused_arg: u8 | |
| { |
| println!( |
| "not called: {}", |
| if is_true { "check" } else { "me" } |
| ) |
| } |
| ; |
| |
| if is_false { |
| short_used_not_covered_closure_macro(0); |
| short_used_not_covered_closure_line_break_no_block_embedded_branch(0); |
| short_used_not_covered_closure_line_break_block_embedded_branch(0); |
| } |
| short_used_covered_closure_macro(0); |
| short_used_covered_closure_line_break_no_block_embedded_branch(0); |
| short_used_covered_closure_line_break_block_embedded_branch(0); |
| } |