Decision #412 — library/core/src/option.rs:1161
Status: no_witness
Truth table
| row | c0 br 2807 | c1 br 2811 | c2 br 2814 | outcome |
|---|---|---|---|---|
| 7998 | * | * | T | T |
| 7999 | * | * | F | T |
| 51873 | * | T | T | T |
| 51874 | * | T | F | T |
| 56411 | * | T | T | T |
| 56412 | * | T | F | T |
| 164719 | * | T | * | T |
| 166441 | * | T | * | T |
Independent-effect pairs
c0(branch2807): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:3238 ← library/core/src/option.rs:1653c1(branch2811): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/map.rs:107c2(branch2814): GAP view gap →scry_analyze_core::run_taint_analysis· br_if