Decision #1109 — library/core/src/fmt/mod.rs:3122
Status: no_witness
Truth table
| row | c0 br 7768 | c1 br 7770 | c2 br 7771 | outcome |
|---|---|---|---|---|
| 2212 | T | * | * | T |
| 2213 | T | * | * | T |
| 6003 | T | * | * | T |
| 6004 | T | * | * | T |
| 9784 | T | * | * | T |
| 9785 | T | * | * | T |
| 12487 | T | * | * | T |
| 13861 | T | * | * | T |
| 15188 | T | * | * | T |
| 22624 | T | * | * | T |
| 32102 | T | * | * | T |
| 38421 | T | * | * | T |
| 44634 | T | * | * | T |
| 49318 | T | * | * | T |
| 49319 | T | * | * | T |
| 53519 | T | * | * | T |
| 53520 | T | * | * | T |
| 58049 | T | * | * | T |
| 58050 | T | * | * | T |
| 62242 | T | * | * | T |
| 62243 | T | * | * | T |
| 72744 | T | * | * | T |
| 84257 | T | * | * | T |
| 89850 | T | * | * | T |
| 94118 | T | * | * | T |
| 96817 | T | * | * | T |
| 98571 | T | * | * | T |
| 100086 | T | * | * | T |
| 101504 | T | * | * | T |
| 103593 | T | * | * | T |
| 107321 | T | * | * | T |
| 109766 | T | * | * | T |
| 112800 | T | * | * | T |
| 115668 | T | * | * | T |
| 135460 | T | * | * | T |
| 158396 | T | * | * | T |
| 163812 | T | * | * | T |
| 165393 | T | * | * | T |
| 167113 | T | * | * | T |
Independent-effect pairs
All 3 conditions live in <wasmparser::readers::core::types::RecGroup as wasmparser::readers::FromReader>::from_reader — 3 br_if
c0(branch7768): GAP view gap →c1(branch7770): DEAD view gap →c2(branch7771): DEAD view gap →