Decision #5 — library/core/src/str/pattern.rs:1138
Status: no_witness
Truth table
| row | c0 br 60 | c1 br 61 | outcome |
|---|---|---|---|
| 166271 | F | F | F |
Independent-effect pairs
c0(branch60): GAP view gap →run_with_param_taint_no_diag· br_ifc1(branch61): GAP view gap →run_with_param_taint_no_diag· br_if