Decision #329 — library/core/src/ptr/mod.rs:810
Status: no_witness
Truth table
| row | c0 br 2420 | c1 br 2421 | c2 br 2423 | c3 br 2424 | outcome |
|---|---|---|---|---|---|
| 993 | F | F | * | * | T |
| 994 | F | F | * | * | T |
| 995 | F | F | * | * | T |
| 996 | F | F | * | * | T |
| 997 | F | F | * | * | T |
| 4033 | F | F | * | * | T |
| 4034 | F | F | * | * | T |
| 4035 | F | F | * | * | T |
| 4036 | F | F | * | * | T |
| 4037 | F | F | * | * | T |
| 6982 | F | F | * | * | T |
| 6983 | F | F | * | * | T |
| 6984 | F | F | * | * | T |
| 6985 | F | F | * | * | T |
| 6986 | F | F | * | * | T |
| 9743 | F | F | * | * | T |
| 10891 | F | F | * | * | T |
| 11982 | F | F | * | * | T |
| 13790 | F | F | * | * | T |
| 21508 | F | F | * | * | T |
| 29515 | F | F | * | * | T |
| 35453 | F | F | * | * | T |
| 41010 | F | F | * | * | T |
| 41011 | F | F | * | * | T |
| 41012 | F | F | * | * | T |
| 41013 | F | F | * | * | T |
| 44023 | F | F | * | * | T |
| 44024 | F | F | * | * | T |
| 44025 | F | F | * | * | T |
| 44026 | F | F | * | * | T |
| 47476 | F | F | * | * | T |
| 47477 | F | F | * | * | T |
| 47478 | F | F | * | * | T |
| 47479 | F | F | * | * | T |
| 50550 | F | F | * | * | T |
| 50551 | F | F | * | * | T |
| 50552 | F | F | * | * | T |
| 50553 | F | F | * | * | T |
| 53783 | F | F | * | * | T |
| 63555 | F | F | * | * | T |
| 73384 | F | F | * | * | T |
| 73385 | F | F | * | * | T |
| 73386 | F | F | * | * | T |
| 73387 | F | F | * | * | T |
| 73388 | F | F | * | * | T |
| 73389 | F | F | * | * | T |
| 76859 | F | F | * | * | T |
| 76860 | F | F | * | * | T |
| 76861 | F | F | * | * | T |
| 76862 | F | F | * | * | T |
| 76863 | F | F | * | * | T |
| 76864 | F | F | * | * | T |
| 79486 | F | T | * | * | T |
| 79487 | F | T | * | * | T |
| 79488 | F | T | * | * | T |
| 80949 | F | F | * | * | T |
| 82136 | F | F | * | * | T |
| 83198 | F | F | * | * | T |
| 84420 | F | F | * | * | T |
| 86160 | F | F | * | * | T |
| 86161 | F | F | * | * | T |
| 86162 | F | F | * | * | T |
| 87766 | F | F | * | * | T |
| 89470 | F | F | * | * | T |
| 89471 | F | F | * | * | T |
| 91114 | F | F | * | * | T |
| 93729 | F | F | * | * | T |
| 112592 | F | F | * | * | T |
| 130157 | F | F | * | * | T |
| 131332 | F | F | * | * | T |
| 132659 | F | F | * | * | T |
Independent-effect pairs
c0(branch2420): GAP view gap →core::iter::traits::iterator::Iterator::collect· br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c1(branch2421): GAP view gap →core::iter::traits::iterator::Iterator::collect· br_ifc2(branch2423): DEAD view gap →core::iter::traits::iterator::Iterator::collect· br_if
inlined: library/alloc/src/vec/mod.rs:4250 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250c3(branch2424): DEAD view gap →core::iter::traits::iterator::Iterator::collect· br_if
inlined: library/alloc/src/vec/mod.rs:4250 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250