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 @0,1,2,3⦊is_true = std::env::args().len() == 1;
let (mut a, mut b, mut c) = (0, 0, 0)⦉@0,1,2,3;
if @0,1,2,3⦊is_true⦉@0,1,2,3 @4,6⦊{
a = 1;
b = 10;
c = 100;
}⦉@4,6
let
@11⦊somebool⦉@11
=
@7⦊a < b⦉@7
||
@10⦊b < c⦉@10
;
let
@15⦊somebool⦉@15
=
@11⦊b < a⦉@11
||
@14⦊b < c⦉@14
;
let
@19⦊somebool⦉@19
=
@15⦊a < b⦉@15
&&
@18⦊b < c⦉@18
;
let
@23⦊somebool⦉@23
=
@19⦊b < a⦉@19
&&
@22⦊b < c⦉@22
;
}@23⦊‸⦉@23