Decision #520 — library/core/src/ptr/mod.rs:1939
Status: partial
Truth table
| row | c0 br 3694 | c1 br 3695 | c2 br 3708 | c3 br 3710 | c4 br 3711 | outcome |
|---|---|---|---|---|---|---|
| 1067 | T | F | * | * | * | F |
| 1068 | T | F | * | * | * | F |
| 1069 | T | F | * | * | * | F |
| 1070 | T | F | * | F | F | F |
| 1071 | * | * | * | F | F | F |
| 1072 | * | * | * | F | F | F |
| 1073 | * | * | * | F | F | F |
| 1074 | * | * | * | F | F | F |
| 8027 | T | F | * | * | * | F |
| 8028 | T | F | * | * | * | F |
| 8029 | T | F | * | * | * | F |
| 8030 | T | F | * | F | F | F |
| 8031 | * | * | * | F | F | F |
| 8032 | * | * | * | F | F | F |
| 8033 | * | * | * | F | F | F |
| 8034 | * | * | * | F | F | F |
| 14828 | T | F | * | * | * | F |
| 14829 | T | F | * | * | * | F |
| 14830 | T | F | * | * | * | F |
| 14831 | T | F | * | F | F | F |
| 14832 | * | * | * | F | F | F |
| 14833 | * | * | * | F | F | F |
| 14834 | * | * | * | F | F | F |
| 14835 | * | * | * | F | F | F |
| 21666 | * | * | * | F | F | F |
| 24409 | * | * | * | F | F | F |
| 27052 | * | * | * | F | F | F |
| 30622 | * | * | * | F | F | F |
| 51477 | * | * | * | F | F | F |
| 72402 | * | * | * | F | F | F |
| 82285 | * | * | * | F | F | F |
| 91961 | T | F | F | F | F | F |
| 91962 | * | * | * | F | F | F |
| 91963 | * | * | * | F | T | T |
| 99790 | T | F | F | F | F | F |
| 99791 | * | * | * | F | F | F |
| 99792 | * | * | * | F | T | T |
| 108279 | T | F | F | F | F | F |
| 108280 | * | * | * | F | F | F |
| 108281 | * | * | * | F | T | T |
| 116305 | T | F | F | F | F | F |
| 116306 | * | * | * | F | F | F |
| 116307 | * | * | * | F | T | T |
| 124359 | * | * | * | F | F | F |
| 141078 | * | * | * | F | F | F |
| 158239 | * | * | * | F | F | F |
| 158240 | * | * | * | F | F | F |
| 158241 | * | * | * | F | F | F |
| 158242 | * | * | * | F | F | F |
| 158243 | * | * | * | F | F | F |
| 158244 | * | * | * | F | F | F |
| 168097 | * | * | * | F | F | F |
| 168098 | * | * | * | F | F | F |
| 168099 | * | * | * | F | F | F |
| 168100 | * | * | * | F | F | F |
| 168101 | * | * | * | F | F | F |
| 168102 | * | * | * | F | F | F |
| 176470 | T | F | * | F | F | F |
| 176471 | * | * | * | F | F | F |
| 176472 | * | * | * | F | F | F |
| 181170 | * | * | * | F | F | F |
| 184489 | * | * | * | F | F | F |
| 187597 | * | * | * | F | F | F |
| 191131 | * | * | * | F | F | F |
| 196423 | T | F | * | * | * | F |
| 196424 | T | F | * | F | F | F |
| 196425 | * | * | * | F | F | F |
| 196426 | * | * | * | F | F | F |
| 203258 | * | * | * | F | F | F |
| 207753 | T | F | * | F | F | F |
| 207754 | * | * | * | F | F | F |
| 215610 | * | * | F | F | T | T |
| 224082 | * | * | * | F | F | F |
| 301459 | * | * | * | F | F | F |
| 377053 | * | * | * | F | F | F |
| 379710 | * | * | * | F | F | F |
| 382594 | * | * | * | F | F | F |
Independent-effect pairs
c0(branch3694): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: library/alloc/src/vec/mod.rs:1043c1(branch3695): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: library/alloc/src/vec/mod.rs:1043c2(branch3708): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:7776 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c3(branch3710): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:7721 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c4(branch3711): PROVED — pair rows1070,91963(masking)scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:7721 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043