Decision #185 — library/alloc/src/fmt.rs:659
Status: no_witness
Truth table
| row | c0 br 1581 | c1 br 1587 | outcome |
|---|---|---|---|
| 553 | F | * | T |
| 554 | F | * | T |
| 555 | F | * | T |
| 3593 | F | * | T |
| 3594 | F | * | T |
| 3595 | F | * | T |
| 6538 | F | * | T |
| 6539 | F | * | T |
| 6540 | F | * | T |
Independent-effect pairs
c0(branch1581): GAP view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:4598 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1278c1(branch1587): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:4588 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1278