Decision #493 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 3462 | c1 br 3463 | outcome |
|---|---|---|---|
| 991 | T | T | T |
| 992 | T | T | T |
| 993 | T | T | T |
| 994 | F | * | T |
| 995 | F | * | T |
| 7951 | T | T | T |
| 7952 | T | T | T |
| 7953 | T | T | T |
| 7954 | F | * | T |
| 7955 | F | * | T |
| 14752 | T | T | T |
| 14753 | T | T | T |
| 14754 | T | T | T |
| 14755 | F | * | T |
| 14756 | F | * | T |
| 21651 | F | * | T |
| 24394 | F | * | T |
| 27037 | F | * | T |
| 30607 | F | * | T |
| 51462 | F | * | T |
| 72387 | F | * | T |
| 82270 | F | * | T |
| 91923 | F | * | T |
| 91924 | F | * | T |
| 91925 | F | * | T |
| 99752 | F | * | T |
| 99753 | F | * | T |
| 99754 | F | * | T |
| 108241 | F | * | T |
| 108242 | F | * | T |
| 108243 | F | * | T |
| 116267 | F | * | T |
| 116268 | F | * | T |
| 116269 | F | * | T |
| 124344 | F | * | T |
| 141063 | F | * | T |
| 158139 | F | * | T |
| 158140 | F | * | T |
| 158141 | F | * | T |
| 158142 | F | * | T |
| 158143 | F | * | T |
| 158144 | F | * | T |
| 167997 | F | * | T |
| 167998 | F | * | T |
| 167999 | F | * | T |
| 168000 | F | * | T |
| 168001 | F | * | T |
| 168002 | F | * | T |
| 176429 | F | * | T |
| 176430 | F | * | T |
| 176431 | F | * | T |
| 181155 | F | * | T |
| 184474 | F | * | T |
| 187582 | F | * | T |
| 191116 | F | * | T |
| 196380 | F | * | T |
| 196381 | F | * | T |
| 196382 | F | * | T |
| 203243 | F | * | T |
| 207724 | F | * | T |
| 207725 | F | * | T |
| 215598 | F | * | T |
| 224065 | F | * | T |
| 301442 | F | * | T |
| 377038 | F | * | T |
| 379695 | F | * | T |
| 382579 | F | * | T |
Independent-effect pairs
c0(branch3462): GAP view gap →scry_analyze_core::build_function_meta· br_if
inlined: lib.rs:3087 ← lib.rs:3127 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c1(branch3463): GAP view gap →scry_analyze_core::build_function_meta· br_if
inlined: lib.rs:3087 ← lib.rs:3127 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043