Decision #425 — library/core/src/ptr/mod.rs:1921

Status: partial

Truth table

rowc0 br 2872c1 br 2895c2 br 2896outcome
17539*F*F
17540*F*F
17541*F*F
17542*TTT
17543*F*F
17544*F*F
17545*F*F
17546*TTT
17547*F*F
17548*F*F
17549*F*F
17550*TTT
17551*F*F
17552*F*F
17553*F*F
17554*TFF
17555*F*F
17556*F*F
17557*F*F
17558*TTT
17559*F*F
17560*F*F
17561*F*F
17562*TTT
17563*F*F
17564*F*F
17565*F*F
17566*TTT
17567*F*F
17568*F*F
17569*F*F
17570*TFF
17571*F*F
17572*F*F
17573*F*F
17574*TTT
17575*F*F
17576*F*F
17577*F*F
17578*TTT
17579*F*F
17580*F*F
17581*F*F
17582*TTT
17583*F*F
17584*F*F
17585*F*F
17586*TFF
17587*F*F
17588*F*F
17589*F*F
17590*TTT
17591*F*F
17592*F*F
17593*F*F
17594*TTT
17595*F*F
17596*F*F
17597*F*F
17598*TTT
17599*F*F
17600*F*F
17601*F*F
17602*TFF
17603*F*F
17604*F*F
17605*F*F
17606*TTT
17607*F*F
17608*F*F
17609*F*F
17610*TTT
17611*F*F
17612*F*F
17613*F*F
17614*TTT
17615*F*F
17616*F*F
17617*F*F
17618*TFF
17619*F*F
17620*F*F
17621*F*F
17622*TTT
17623*F*F
17624*F*F
17625*F*F
17626*TTT
17627*F*F
17628*F*F
17629*F*F
17630*TTT
17631*F*F
17632*F*F
17633*F*F
17634*TFF
25257*F*F
25258*F*F
25259*F*F
25260*TTT
25261*F*F
25262*F*F
25263*F*F
25264*TTT
25265*F*F
25266*F*F
25267*F*F
25268*TTT
25269*F*F
25270*F*F
25271*F*F
25272*TFF
25273*F*F
25274*F*F
25275*F*F
25276*TTT
25277*F*F
25278*F*F
25279*F*F
25280*TTT
25281*F*F
25282*F*F
25283*F*F
25284*TTT
25285*F*F
25286*F*F
25287*F*F
25288*TFF
25289*F*F
25290*F*F
25291*F*F
25292*TTT
25293*F*F
25294*F*F
25295*F*F
25296*TTT
25297*F*F
25298*F*F
25299*F*F
25300*TTT
25301*F*F
25302*F*F
25303*F*F
25304*TFF
25305*F*F
25306*F*F
25307*F*F
25308*TTT
25309*F*F
25310*F*F
25311*F*F
25312*TTT
25313*F*F
25314*F*F
25315*F*F
25316*TTT
25317*F*F
25318*F*F
25319*F*F
25320*TFF
25321*F*F
25322*F*F
25323*F*F
25324*TTT
25325*F*F
25326*F*F
25327*F*F
25328*TTT
25329*F*F
25330*F*F
25331*F*F
25332*TTT
25333*F*F
25334*F*F
25335*F*F
25336*TFF
25337*F*F
25338*F*F
25339*F*F
25340*TTT
25341*F*F
25342*F*F
25343*F*F
25344*TTT
25345*F*F
25346*F*F
25347*F*F
25348*TTT
25349*F*F
25350*F*F
25351*F*F
25352*TFF
30962*F*F
30963*TTT
30964*F*F
30965*TFF
30966*F*F
30967*TTT
30968*F*F
30969*TFF
30970*F*F
30971*TTT
30972*F*F
30973*TFF
30974*F*F
30975*TTT
30976*F*F
30977*TFF
30978*F*F
30979*TTT
30980*F*F
30981*TFF
30982*F*F
30983*TTT
30984*F*F
30985*TFF
30986*F*F
30987*TTT
30988*F*F
30989*TFF
30990*F*F
30991*TTT
30992*F*F
30993*TFF
30994*F*F
30995*TTT
30996*F*F
30997*TFF
30998*F*F
30999*TTT
31000*F*F
31001*TFF
31002*F*F
31003*TTT
31004*F*F
31005*TFF
31006*F*F
31007*TTT
31008*F*F
31009*TFF
31010*F*F
31011*TTT
31012*F*F
31013*TFF
31014*F*F
31015*TTT
31016*F*F
31017*TFF
31018*F*F
31019*TTT
31020*F*F
31021*TFF
31022*F*F
31023*TTT
31024*F*F
31025*TFF
36900*F*F
36901*TTT
36902*F*F
36903*TFF
36904*F*F
36905*TTT
36906*F*F
36907*TFF
36908*F*F
36909*TTT
36910*F*F
36911*TFF
36912*F*F
36913*TTT
36914*F*F
36915*TFF
36916*F*F
36917*TTT
36918*F*F
36919*TFF
36920*F*F
36921*TTT
36922*F*F
36923*TFF
36924*F*F
36925*TTT
36926*F*F
36927*TFF
36928*F*F
36929*TTT
36930*F*F
36931*TFF
36932*F*F
36933*TTT
36934*F*F
36935*TFF
36936*F*F
36937*TTT
36938*F*F
36939*TFF
36940*F*F
36941*TTT
36942*F*F
36943*TFF
36944*F*F
36945*TTT
36946*F*F
36947*TFF
36948*F*F
36949*TTT
36950*F*F
36951*TFF
36952*F*F
36953*TTT
36954*F*F
36955*TFF
36956*F*F
36957*TTT
36958*F*F
36959*TFF
36960*F*F
36961*TTT
36962*F*F
36963*TFF
58778*F*F
58779*F*F
58780*F*F
58781*TTT
58782*F*F
58783*F*F
58784*F*F
58785*TTT
58786*F*F
58787*F*F
58788*F*F
58789*TTT
58790*F*F
58791*F*F
58792*F*F
58793*TFF
58794*F*F
58795*F*F
58796*F*F
58797*TTT
58798*F*F
58799*F*F
58800*F*F
58801*TTT
58802*F*F
58803*F*F
58804*F*F
58805*TTT
58806*F*F
58807*F*F
58808*F*F
58809*TFF
58810*F*F
58811*F*F
58812*F*F
58813*TTT
58814*F*F
58815*F*F
58816*F*F
58817*TTT
58818*F*F
58819*F*F
58820*F*F
58821*TTT
58822*F*F
58823*F*F
58824*F*F
58825*TFF
58826*F*F
58827*F*F
58828*F*F
58829*TTT
58830*F*F
58831*F*F
58832*F*F
58833*TTT
58834*F*F
58835*F*F
58836*F*F
58837*TTT
58838*F*F
58839*F*F
58840*F*F
58841*TFF
58842*F*F
58843*F*F
58844*F*F
58845*TTT
58846*F*F
58847*F*F
58848*F*F
58849*TTT
58850*F*F
58851*F*F
58852*F*F
58853*TTT
58854*F*F
58855*F*F
58856*F*F
58857*TFF
58858*F*F
58859*F*F
58860*F*F
58861*TTT
58862*F*F
58863*F*F
58864*F*F
58865*TTT
58866*F*F
58867*F*F
58868*F*F
58869*TTT
58870*F*F
58871*F*F
58872*F*F
58873*TFF
58874*F*F
58875*F*F
58876*F*F
58877*TTT
58878*F*F
58879*F*F
58880*F*F
58881*TTT
58882*F*F
58883*F*F
58884*F*F
58885*TTT
58886*F*F
58887*F*F
58888*F*F
58889*TFF
58890*F*F
58891*F*F
58892*F*F
58893*TTT
58894*F*F
58895*F*F
58896*F*F
58897*TTT
58898*F*F
58899*F*F
58900*F*F
58901*TTT
58902*F*F
58903*F*F
58904*F*F
58905*TFF
68550*F*F
68551*F*F
68552*F*F
68553*TTT
68554*F*F
68555*F*F
68556*F*F
68557*TTT
68558*F*F
68559*F*F
68560*F*F
68561*TTT
68562*F*F
68563*F*F
68564*F*F
68565*TFF
68566*F*F
68567*F*F
68568*F*F
68569*TTT
68570*F*F
68571*F*F
68572*F*F
68573*TTT
68574*F*F
68575*F*F
68576*F*F
68577*TTT
68578*F*F
68579*F*F
68580*F*F
68581*TFF
68582*F*F
68583*F*F
68584*F*F
68585*TTT
68586*F*F
68587*F*F
68588*F*F
68589*TTT
68590*F*F
68591*F*F
68592*F*F
68593*TTT
68594*F*F
68595*F*F
68596*F*F
68597*TFF
68598*F*F
68599*F*F
68600*F*F
68601*TTT
68602*F*F
68603*F*F
68604*F*F
68605*TTT
68606*F*F
68607*F*F
68608*F*F
68609*TTT
68610*F*F
68611*F*F
68612*F*F
68613*TFF
68614*F*F
68615*F*F
68616*F*F
68617*TTT
68618*F*F
68619*F*F
68620*F*F
68621*TTT
68622*F*F
68623*F*F
68624*F*F
68625*TTT
68626*F*F
68627*F*F
68628*F*F
68629*TFF
68630*F*F
68631*F*F
68632*F*F
68633*TTT
68634*F*F
68635*F*F
68636*F*F
68637*TTT
68638*F*F
68639*F*F
68640*F*F
68641*TTT
68642*F*F
68643*F*F
68644*F*F
68645*TFF
68646*F*F
68647*F*F
68648*F*F
68649*TTT
68650*F*F
68651*F*F
68652*F*F
68653*TTT
68654*F*F
68655*F*F
68656*F*F
68657*TTT
68658*F*F
68659*F*F
68660*F*F
68661*TFF
68662*F*F
68663*F*F
68664*F*F
68665*TTT
68666*F*F
68667*F*F
68668*F*F
68669*TTT
68670*F*F
68671*F*F
68672*F*F
68673*TTT
68674*F*F
68675*F*F
68676*F*F
68677*TFF
105593*F*F
105594*F*F
105595*F*F
105596*TTT
105597*F*F
105598*F*F
105599*F*F
105600*TTT
105601*F*F
105602*F*F
105603*F*F
105604*TTT
105605*F*F
105606*F*F
105607*F*F
105608*TFF
105609*F*F
105610*F*F
105611*F*F
105612*TTT
105613*F*F
105614*F*F
105615*F*F
105616*TTT
105617*F*F
105618*F*F
105619*F*F
105620*TTT
105621*F*F
105622*F*F
105623*F*F
105624*TFF
105625*F*F
105626*F*F
105627*F*F
105628*TTT
105629*F*F
105630*F*F
105631*F*F
105632*TTT
105633*F*F
105634*F*F
105635*F*F
105636*TTT
105637*F*F
105638*F*F
105639*F*F
105640*TFF
105641*F*F
105642*F*F
105643*F*F
105644*TTT
105645*F*F
105646*F*F
105647*F*F
105648*TTT
105649*F*F
105650*F*F
105651*F*F
105652*TTT
105653*F*F
105654*F*F
105655*F*F
105656*TFF
105657*F*F
105658*F*F
105659*F*F
105660*TTT
105661*F*F
105662*F*F
105663*F*F
105664*TTT
105665*F*F
105666*F*F
105667*F*F
105668*TTT
105669*F*F
105670*F*F
105671*F*F
105672*TFF
105673*F*F
105674*F*F
105675*F*F
105676*TTT
105677*F*F
105678*F*F
105679*F*F
105680*TTT
105681*F*F
105682*F*F
105683*F*F
105684*TTT
105685*F*F
105686*F*F
105687*F*F
105688*TFF
105689*F*F
105690*F*F
105691*F*F
105692*TTT
105693*F*F
105694*F*F
105695*F*F
105696*TTT
105697*F*F
105698*F*F
105699*F*F
105700*TTT
105701*F*F
105702*F*F
105703*F*F
105704*TFF
105705*F*F
105706*F*F
105707*F*F
105708*TTT
105709*F*F
105710*F*F
105711*F*F
105712*TTT
105713*F*F
105714*F*F
105715*F*F
105716*TTT
105717*F*F
105718*F*F
105719*F*F
105720*TFF
105721*F*F
105722*F*F
105723*F*F
105724*TTT
105725*F*F
105726*F*F
105727*F*F
105728*TTT
105729*F*F
105730*F*F
105731*F*F
105732*TTT
105733*F*F
105734*F*F
105735*F*F
105736*TFF
105737*F*F
105738*F*F
105739*F*F
105740*TTT
105741*F*F
105742*F*F
105743*F*F
105744*TTT
105745*F*F
105746*F*F
105747*F*F
105748*TTT
105749*F*F
105750*F*F
105751*F*F
105752*TFF
105753*F*F
105754*F*F
105755*F*F
105756*TTT
105757*F*F
105758*F*F
105759*F*F
105760*TTT
105761*F*F
105762*F*F
105763*F*F
105764*TTT
105765*F*F
105766*F*F
105767*F*F
105768*TFF
105769*F*F
105770*F*F
105771*F*F
105772*TTT
105773*F*F
105774*F*F
105775*F*F
105776*TTT
105777*F*F
105778*F*F
105779*F*F
105780*TTT
105781*F*F
105782*F*F
105783*F*F
105784*TFF
105785*F*F
105786*F*F
105787*F*F
105788*TTT
105789*F*F
105790*F*F
105791*F*F
105792*TTT
105793*F*F
105794*F*F
105795*F*F
105796*TTT
105797*F*F
105798*F*F
105799*F*F
105800*TFF
105801*F*F
105802*F*F
105803*F*F
105804*TTT
105805*F*F
105806*F*F
105807*F*F
105808*TTT
105809*F*F
105810*F*F
105811*F*F
105812*TTT
105813*F*F
105814*F*F
105815*F*F
105816*TFF
105817*F*F
105818*F*F
105819*F*F
105820*TTT
105821*F*F
105822*F*F
105823*F*F
105824*TTT
105825*F*F
105826*F*F
105827*F*F
105828*TTT
105829*F*F
105830*F*F
105831*F*F
105832*TFF
105833*F*F
105834*F*F
105835*F*F
105836*TTT
105837*F*F
105838*F*F
105839*F*F
105840*TTT
105841*F*F
105842*F*F
105843*F*F
105844*TTT
105845*F*F
105846*F*F
105847*F*F
105848*TFF
105849*F*F
105850*F*F
105851*F*F
105852*TTT
105853*F*F
105854*F*F
105855*F*F
105856*TTT
105857*F*F
105858*F*F
105859*F*F
105860*TTT
105861*F*F
105862*F*F
105863*F*F
105864*TFF
105865*F*F
105866*F*F
105867*F*F
105868*TTT
105869*F*F
105870*F*F
105871*F*F
105872*TTT
105873*F*F
105874*F*F
105875*F*F
105876*TTT
105877*F*F
105878*F*F
105879*F*F
105880*TFF
124456*F*F
124457*F*F
124458*F*F
124459*TTT
124460*F*F
124461*F*F
124462*F*F
124463*TTT
124464*F*F
124465*F*F
124466*F*F
124467*TTT
124468*F*F
124469*F*F
124470*F*F
124471*TFF
124472*F*F
124473*F*F
124474*F*F
124475*TTT
124476*F*F
124477*F*F
124478*F*F
124479*TTT
124480*F*F
124481*F*F
124482*F*F
124483*TTT
124484*F*F
124485*F*F
124486*F*F
124487*TFF
124488*F*F
124489*F*F
124490*F*F
124491*TTT
124492*F*F
124493*F*F
124494*F*F
124495*TTT
124496*F*F
124497*F*F
124498*F*F
124499*TTT
124500*F*F
124501*F*F
124502*F*F
124503*TFF
124504*F*F
124505*F*F
124506*F*F
124507*TTT
124508*F*F
124509*F*F
124510*F*F
124511*TTT
124512*F*F
124513*F*F
124514*F*F
124515*TTT
124516*F*F
124517*F*F
124518*F*F
124519*TFF
124520*F*F
124521*F*F
124522*F*F
124523*TTT
124524*F*F
124525*F*F
124526*F*F
124527*TTT
124528*F*F
124529*F*F
124530*F*F
124531*TTT
124532*F*F
124533*F*F
124534*F*F
124535*TFF
124536*F*F
124537*F*F
124538*F*F
124539*TTT
124540*F*F
124541*F*F
124542*F*F
124543*TTT
124544*F*F
124545*F*F
124546*F*F
124547*TTT
124548*F*F
124549*F*F
124550*F*F
124551*TFF
124552*F*F
124553*F*F
124554*F*F
124555*TTT
124556*F*F
124557*F*F
124558*F*F
124559*TTT
124560*F*F
124561*F*F
124562*F*F
124563*TTT
124564*F*F
124565*F*F
124566*F*F
124567*TFF
124568*F*F
124569*F*F
124570*F*F
124571*TTT
124572*F*F
124573*F*F
124574*F*F
124575*TTT
124576*F*F
124577*F*F
124578*F*F
124579*TTT
124580*F*F
124581*F*F
124582*F*F
124583*TFF
124584*F*F
124585*F*F
124586*F*F
124587*TTT
124588*F*F
124589*F*F
124590*F*F
124591*TTT
124592*F*F
124593*F*F
124594*F*F
124595*TTT
124596*F*F
124597*F*F
124598*F*F
124599*TFF
124600*F*F
124601*F*F
124602*F*F
124603*TTT
124604*F*F
124605*F*F
124606*F*F
124607*TTT
124608*F*F
124609*F*F
124610*F*F
124611*TTT
124612*F*F
124613*F*F
124614*F*F
124615*TFF
124616*F*F
124617*F*F
124618*F*F
124619*TTT
124620*F*F
124621*F*F
124622*F*F
124623*TTT
124624*F*F
124625*F*F
124626*F*F
124627*TTT
124628*F*F
124629*F*F
124630*F*F
124631*TFF
124632*F*F
124633*F*F
124634*F*F
124635*TTT
124636*F*F
124637*F*F
124638*F*F
124639*TTT
124640*F*F
124641*F*F
124642*F*F
124643*TTT
124644*F*F
124645*F*F
124646*F*F
124647*TFF
124648*F*F
124649*F*F
124650*F*F
124651*TTT
124652*F*F
124653*F*F
124654*F*F
124655*TTT
124656*F*F
124657*F*F
124658*F*F
124659*TTT
124660*F*F
124661*F*F
124662*F*F
124663*TFF
124664*F*F
124665*F*F
124666*F*F
124667*TTT
124668*F*F
124669*F*F
124670*F*F
124671*TTT
124672*F*F
124673*F*F
124674*F*F
124675*TTT
124676*F*F
124677*F*F
124678*F*F
124679*TFF
124680*F*F
124681*F*F
124682*F*F
124683*TTT
124684*F*F
124685*F*F
124686*F*F
124687*TTT
124688*F*F
124689*F*F
124690*F*F
124691*TTT
124692*F*F
124693*F*F
124694*F*F
124695*TFF
124696*F*F
124697*F*F
124698*F*F
124699*TTT
124700*F*F
124701*F*F
124702*F*F
124703*TTT
124704*F*F
124705*F*F
124706*F*F
124707*TTT
124708*F*F
124709*F*F
124710*F*F
124711*TFF
124712*F*F
124713*F*F
124714*F*F
124715*TTT
124716*F*F
124717*F*F
124718*F*F
124719*TTT
124720*F*F
124721*F*F
124722*F*F
124723*TTT
124724*F*F
124725*F*F
124726*F*F
124727*TFF
124728*F*F
124729*F*F
124730*F*F
124731*TTT
124732*F*F
124733*F*F
124734*F*F
124735*TTT
124736*F*F
124737*F*F
124738*F*F
124739*TTT
124740*F*F
124741*F*F
124742*F*F
124743*TFF

Independent-effect pairs

All 3 conditions live in scry_octagon::assign_add_const — 3 br_if