Decision #631 — library/core/src/fmt/builders.rs:787
Status: no_witness
Truth table
| row | c0 br 4705 | c1 br 4706 | c2 br 4709 | c3 br 4710 | outcome |
|---|---|---|---|---|---|
| 1195 | * | * | T | T | T |
| 1196 | * | * | T | T | T |
| 4235 | * | * | T | T | T |
| 4236 | * | * | T | T | T |
| 7184 | * | * | T | T | T |
| 7185 | * | * | T | T | T |
| 9823 | * | * | T | T | T |
| 9824 | * | * | T | T | T |
| 10971 | * | * | T | T | T |
| 10972 | * | * | T | T | T |
| 12062 | * | * | T | T | T |
| 12063 | * | * | T | T | T |
| 18205 | * | * | T | T | T |
| 18206 | * | * | T | T | T |
| 25923 | * | * | T | T | T |
| 25924 | * | * | T | T | T |
| 31649 | * | * | T | T | T |
| 31650 | * | * | T | T | T |
| 37587 | * | * | T | T | T |
| 37588 | * | * | T | T | T |
| 41184 | * | * | T | T | T |
| 41185 | * | * | T | T | T |
| 44197 | * | * | T | T | T |
| 44198 | * | * | T | T | T |
| 47649 | * | * | T | T | T |
| 47650 | * | * | T | T | T |
| 50724 | * | * | T | T | T |
| 50725 | * | * | T | T | T |
| 59664 | * | * | T | T | T |
| 59665 | * | * | T | T | T |
| 69436 | * | * | T | T | T |
| 69437 | * | * | T | T | T |
| 73635 | * | * | T | T | T |
| 73636 | * | * | T | T | T |
| 77110 | * | * | T | T | T |
| 77111 | * | * | T | T | T |
| 79606 | * | * | T | T | T |
| 79607 | * | * | T | T | T |
| 81036 | * | * | T | T | T |
| 81037 | * | * | T | T | T |
| 82223 | * | * | T | T | T |
| 82224 | * | * | T | T | T |
| 83285 | * | * | T | T | T |
| 83286 | * | * | T | T | T |
| 84561 | * | * | T | T | T |
| 84562 | * | * | T | T | T |
| 86411 | * | * | T | T | T |
| 86412 | * | * | T | T | T |
| 87892 | * | * | T | T | T |
| 87893 | * | * | T | T | T |
| 89750 | * | * | T | T | T |
| 89751 | * | * | T | T | T |
| 91295 | * | * | T | T | T |
| 91296 | * | * | T | T | T |
| 107332 | * | * | T | T | T |
| 107333 | * | * | T | T | T |
| 126195 | * | * | T | T | T |
| 126196 | * | * | T | T | T |
| 130226 | * | * | T | T | T |
| 130227 | * | * | T | T | T |
| 131401 | * | * | T | T | T |
| 131402 | * | * | T | T | T |
| 132728 | * | * | T | T | T |
| 132729 | * | * | T | T | T |
Independent-effect pairs
c0(branch4705): DEAD view gap →wasmparser::parser::Parser::parse_reader· br_if
inlined: library/core/src/fmt/mod.rs:2872 ← library/core/src/fmt/mod.rs:3123c1(branch4706): DEAD view gap →wasmparser::parser::Parser::parse_reader· br_if
inlined: library/core/src/fmt/mod.rs:2872 ← library/core/src/fmt/mod.rs:3123c2(branch4709): GAP view gap →wasmparser::parser::Parser::parse_reader· br_if
inlined: library/core/src/fmt/mod.rs:2872 ← library/core/src/array/mod.rs:356 ← library/core/src/fmt/mod.rs:2872 ← library/core/src/fmt/mod.rs:3123c3(branch4710): GAP view gap →wasmparser::parser::Parser::parse_reader· br_if
inlined: library/core/src/fmt/mod.rs:2872 ← library/core/src/array/mod.rs:356 ← library/core/src/fmt/mod.rs:2872 ← library/core/src/fmt/mod.rs:3123