Decision #457 — library/alloc/src/fmt.rs:659
Status: no_witness
Truth table
| row | c0 br 3021 | c1 br 3022 | c2 br 3051 | outcome |
|---|---|---|---|---|
| 176413 | * | * | F | F |
| 176414 | * | * | F | F |
| 181135 | T | * | * | T |
| 184455 | T | * | * | T |
| 187562 | T | * | * | T |
| 207708 | * | * | F | F |
| 207709 | * | * | F | F |
| 215589 | * | * | F | F |
Independent-effect pairs
c0(branch3021): GAP view gap →scry_analyze_core::compute_advisories· br_if
inlined: lib.rs:4485 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c1(branch3022): DEAD view gap →scry_analyze_core::compute_advisories· br_if
inlined: lib.rs:4490 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c2(branch3051): GAP view gap →scry_analyze_core::compute_advisories· br_if
inlined: lib.rs:7641 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276