Decision #479 — library/alloc/src/vec/mod.rs:1037
Status: no_witness
Truth table
| row | c0 br 3231 | c1 br 3232 | c2 br 3233 | c3 br 3235 | outcome |
|---|---|---|---|---|---|
| 662 | F | F | F | F | T |
| 663 | * | F | F | F | T |
| 664 | * | F | F | F | T |
| 4456 | F | F | F | F | T |
| 4457 | * | F | F | F | T |
| 4458 | * | F | F | F | T |
| 8186 | F | F | F | F | T |
| 8187 | * | F | F | F | T |
| 8188 | * | F | F | F | T |
| 11888 | T | * | * | * | T |
| 13264 | T | * | * | * | T |
| 14589 | T | * | * | * | T |
| 16452 | T | * | * | * | T |
| 25932 | T | * | * | * | T |
| 35561 | T | * | * | * | T |
| 41774 | T | * | * | * | T |
| 47822 | T | * | * | * | T |
| 51991 | T | * | * | * | T |
| 56529 | T | * | * | * | T |
| 60746 | T | * | * | * | T |
| 65048 | T | * | * | * | T |
| 76561 | T | * | * | * | T |
| 88117 | T | * | * | * | T |
| 92385 | T | * | * | * | T |
| 96025 | T | * | * | * | T |
| 97951 | T | * | * | * | T |
| 99468 | T | * | * | * | T |
| 100884 | T | * | * | * | T |
| 102563 | T | * | * | * | T |
| 105666 | T | * | * | * | T |
| 108936 | T | * | * | * | T |
| 111452 | T | * | * | * | T |
| 114441 | T | * | * | * | T |
| 118506 | T | * | * | * | T |
| 141442 | T | * | * | * | T |
| 163184 | T | * | * | * | T |
| 164755 | T | * | * | * | T |
| 166477 | T | * | * | * | T |
Independent-effect pairs
c0(branch3231): GAP view gap →scry_analyze_core::build_static_call_graph· br_ifc1(branch3232): GAP view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:2890 ← library/alloc/src/vec/mod.rs:1004c2(branch3233): GAP view gap →scry_analyze_core::build_static_call_graph· br_ifc3(branch3235): GAP view gap →scry_analyze_core::build_static_call_graph· br_if