Decision #965 — library/core/src/ptr/mod.rs:1921
Status: partial
Truth table
| row | c0 br 1355 | c1 br 1356 | c2 br 1357 | c3 br 1358 | c4 br 1359 | c5 br 1360 | c6 br 1361 | c7 br 1362 | c8 br 1363 | c9 br 1364 | c10 br 1365 | c11 br 1366 | c12 br 1367 | outcome |
|---|
Independent-effect pairs
c0(branch1355): PROVEDscry_analyze_core::run_taint_analysis· br_table_target
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch1356): PROVEDscry_analyze_core::run_taint_analysis· br_table_target
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c2(branch1357): DEAD view gap →scry_analyze_core::run_taint_analysis· br_table_target
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c3(branch1358): PROVEDscry_analyze_core::run_taint_analysis· br_table_target
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c4(branch1359): DEAD view gap →scry_analyze_core::run_taint_analysis· br_table_target
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c5(branch1360): DEAD view gap →scry_analyze_core::run_taint_analysis· br_table_target
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c6(branch1361): DEAD view gap →scry_analyze_core::run_taint_analysis· br_table_target
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c7(branch1362): DEAD view gap →scry_analyze_core::run_taint_analysis· br_table_target
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c8(branch1363): DEAD view gap →scry_analyze_core::run_taint_analysis· br_table_target
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c9(branch1364): PROVEDscry_analyze_core::run_taint_analysis· br_table_target
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c10(branch1365): DEAD view gap →scry_analyze_core::run_taint_analysis· br_table_target
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c11(branch1366): PROVEDscry_analyze_core::run_taint_analysis· br_table_target
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c12(branch1367): DEAD view gap →scry_analyze_core::run_taint_analysis· br_table_default
inlined: lib.rs:5072 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045