Decision #40 — library/core/src/ptr/mod.rs:1933

Status: no_witness

Truth table

rowc0 br 235c1 br 236c2 br 237outcome
102227T**T
102228T**T
102229T**T
102230T**T
102231T**T
102232T**T
102233T**T
102234T**T
102235T**T
102236T**T
104754T**T
104755T**T
104756T**T
104757T**T
104758T**T
104759T**T
104760T**T
104761T**T
104762T**T
104763T**T
104764T**T
104765T**T
104766T**T
104767T**T
104768T**T
104769T**T
104770T**T
104771T**T
104772T**T
104773T**T
104774T**T
104775T**T
104776T**T
104777T**T
104778T**T
104779T**T
104780T**T
104781T**T
104782T**T
104783T**T
108704T**T
108705T**T
108706T**T
108707T**T
108708T**T
108709T**T
110706T**T
110707T**T
110708T**T
110709T**T
110710T**T
110711T**T
110712T**T
110713T**T
110714T**T
110715T**T
110716T**T
110717T**T
110718T**T
110719T**T
110720T**T
110721T**T
110722T**T
110723T**T
110724T**T
110725T**T
110726T**T
110727T**T
110728T**T
110729T**T
110730T**T
110731T**T
110732T**T
110733T**T
110734T**T
110735T**T
110736T**T
110737T**T
110738T**T
110739T**T
114000T**T
114001T**T
114002T**T
114003T**T
114004T**T
114005T**T
114006T**T
114007T**T
114008T**T
114009T**T
114010T**T
114011T**T
114012T**T
114013T**T
114014T**T
114015T**T
114016T**T
114017T**T
114018T**T
114019T**T

Independent-effect pairs

All 3 conditions live in <core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}> — 3 br_if

← back to scry-mcdc