rust/tests/coverage/lazy_boolean.coverage
Zalathar d90fd027c8 coverage: Use SpanMarker to mark the full condition of if !
When MIR is built for an if-not expression, the `!` part of the condition
doesn't correspond to any MIR statement, so coverage instrumentation normally
can't see it.

We can fix that by deliberately injecting a dummy statement whose sole purpose
is to associate that span with its enclosing block.
2023-12-08 22:40:49 +11:00

65 lines
1.9 KiB
Plaintext

LL| |#![allow(unused_assignments, unused_variables)]
LL| |
LL| 1|fn main() {
LL| 1| // Initialize test constants in a way that cannot be determined at compile time, to ensure
LL| 1| // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from
LL| 1| // dependent conditions.
LL| 1| let is_true = std::env::args().len() == 1;
LL| 1|
LL| 1| let (mut a, mut b, mut c) = (0, 0, 0);
LL| 1| if is_true {
LL| 1| a = 1;
LL| 1| b = 10;
LL| 1| c = 100;
LL| 1| }
^0
LL| | let
LL| 1| somebool
LL| | =
LL| 1| a < b
LL| | ||
LL| 0| b < c
LL| | ;
LL| | let
LL| 1| somebool
LL| | =
LL| 1| b < a
LL| | ||
LL| 1| b < c
LL| | ;
LL| 1| let somebool = a < b && b < c;
LL| 1| let somebool = b < a && b < c;
^0
LL| |
LL| | if
LL| 1| !
LL| 1| is_true
LL| 0| {
LL| 0| a = 2
LL| 0| ;
LL| 1| }
LL| |
LL| | if
LL| 1| is_true
LL| 1| {
LL| 1| b = 30
LL| 1| ;
LL| 1| }
LL| | else
LL| 0| {
LL| 0| c = 400
LL| 0| ;
LL| 0| }
LL| |
LL| 1| if !is_true {
LL| 0| a = 2;
LL| 1| }
LL| |
LL| 1| if is_true {
LL| 1| b = 30;
LL| 1| } else {
LL| 0| c = 400;
LL| 0| }
LL| 1|}