Decision #887 — memchr.rs:39
Status: partial
Truth table
| row | c0 br 6127 | c1 br 6128 | c2 br 6129 | c3 br 6130 | outcome |
|---|---|---|---|---|---|
| 2959 | * | T | F | F | F |
| 2960 | * | T | F | F | F |
| 2961 | * | T | T | * | T |
| 9194 | * | T | F | F | F |
| 9195 | * | T | F | F | F |
| 9196 | * | T | T | * | T |
| 10502 | * | T | T | * | T |
| 12741 | * | T | T | * | T |
| 20462 | * | T | T | * | T |
| 34054 | * | T | T | * | T |
| 39992 | * | T | T | * | T |
| 62278 | * | T | T | * | T |
| 72050 | * | T | T | * | T |
| 75463 | * | T | T | * | T |
| 78938 | * | T | T | * | T |
| 80518 | * | T | T | * | T |
| 81739 | F | T | F | F | F |
| 81740 | * | T | T | * | T |
| 83988 | F | T | F | F | F |
| 83989 | * | T | T | * | T |
| 87371 | * | F | F | T | T |
| 90573 | * | F | F | T | T |
| 110943 | * | T | T | * | T |
| 129806 | * | T | T | * | T |
| 130964 | * | T | T | * | T |
| 132243 | * | T | T | * | T |
Independent-effect pairs
c0(branch6127): GAP view gap →<u64 as core::fmt::Display>::fmt· br_if
inlined: builders.rs:32 ← iter.rs:1423 ← iter.rs:681 ← pattern.rs:439 ← memchr.rs:74c1(branch6128): GAP view gap →<u64 as core::fmt::Display>::fmt· br_if
inlined: builders.rs:32 ← iter.rs:1423 ← iter.rs:681 ← pattern.rs:439 ← memchr.rs:74c2(branch6129): PROVED — pair rows2959,2961(masking)<u64 as core::fmt::Display>::fmt· br_ifc3(branch6130): GAP view gap →<u64 as core::fmt::Display>::fmt· br_if