Decision #635 — library/alloc/src/fmt.rs:659
Status: no_witness
Truth table
| row | c0 br 4244 | c1 br 4245 | c2 br 4258 | outcome |
|---|---|---|---|---|
| 1488 | * | * | T | T |
| 1489 | * | * | T | T |
| 1490 | * | * | T | T |
| 1491 | * | * | T | T |
| 1492 | * | * | F | T |
| 8448 | * | * | T | T |
| 8449 | * | * | T | T |
| 8450 | * | * | T | T |
| 8451 | * | * | T | T |
| 8452 | * | * | F | T |
| 15249 | * | * | T | T |
| 15250 | * | * | T | T |
| 15251 | * | * | T | T |
| 15252 | * | * | T | T |
| 15253 | * | * | F | T |
| 21782 | * | * | F | T |
| 24525 | * | * | F | T |
| 27168 | * | * | F | T |
| 30871 | * | * | F | T |
| 51726 | * | * | F | T |
| 72648 | * | * | F | T |
| 82531 | * | * | F | T |
| 92290 | * | * | T | T |
| 92291 | * | * | T | T |
| 92292 | * | * | F | T |
| 100119 | * | * | T | T |
| 100120 | * | * | T | T |
| 100121 | * | * | F | T |
| 108608 | * | * | T | T |
| 108609 | * | * | T | T |
| 108610 | * | * | F | T |
| 116634 | * | * | T | T |
| 116635 | * | * | T | T |
| 116636 | * | * | F | T |
| 124611 | * | * | F | T |
| 141330 | * | * | F | T |
| 158784 | * | * | T | T |
| 158785 | * | * | T | T |
| 158786 | * | * | T | T |
| 158787 | * | * | T | T |
| 158788 | * | * | T | T |
| 158789 | * | * | F | T |
| 168642 | * | * | T | T |
| 168643 | * | * | T | T |
| 168644 | * | * | T | T |
| 168645 | * | * | T | T |
| 168646 | * | * | T | T |
| 168647 | * | * | F | T |
| 176694 | * | * | T | T |
| 176695 | * | * | T | T |
| 176696 | * | * | F | T |
| 181276 | * | * | F | T |
| 184595 | * | * | F | T |
| 187703 | * | * | F | T |
| 191306 | * | * | F | T |
| 196961 | * | * | T | T |
| 196962 | * | * | T | T |
| 196963 | * | * | F | T |
| 203375 | * | * | F | T |
| 208309 | * | * | T | T |
| 208310 | * | * | F | T |
| 215915 | * | * | F | T |
| 224347 | * | * | F | T |
| 301724 | * | * | F | T |
| 377146 | * | * | F | T |
| 379803 | * | * | F | T |
| 382687 | * | * | F | T |
Independent-effect pairs
c0(branch4244): DEAD view gap →scry_analyze_core::recursive_flags_from_sccs· br_if
inlined: lib.rs:1611 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c1(branch4245): DEAD view gap →scry_analyze_core::recursive_flags_from_sccs· br_if
inlined: lib.rs:1611 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c2(branch4258): GAP view gap →scry_analyze_core::recursive_flags_from_sccs· br_if
inlined: lib.rs:1635 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276