From 64408bf77d96162dfc836c6fdd1879490fe3191c Mon Sep 17 00:00:00 2001 From: hermanventer Date: Wed, 4 Dec 2024 10:43:18 -0800 Subject: [PATCH] nightly-2024-12-04 --- Cargo.lock | 10 +++++----- binaries/summary_store.tar | Bin 3553792 -> 3527168 bytes checker/Cargo.toml | 4 ++-- checker/tests/call_graph/fnptr.rs | 2 +- checker/tests/call_graph/fnptr_clean.rs | 2 +- checker/tests/call_graph/fnptr_deduplicate.rs | 2 +- checker/tests/call_graph/fnptr_dom.rs | 2 +- checker/tests/call_graph/fnptr_dom_loop.rs | 2 +- .../call_graph/fnptr_dom_loop_souffle.rs | 2 +- checker/tests/call_graph/fnptr_fold.rs | 4 ++-- checker/tests/call_graph/fnptr_loop.rs | 2 +- checker/tests/call_graph/fnptr_slice.rs | 2 +- checker/tests/call_graph/generic.rs | 2 +- .../tests/call_graph/static_deduplicate.rs | 6 +++--- checker/tests/call_graph/static_fold.rs | 2 +- checker/tests/call_graph/trait.rs | 2 +- rust-toolchain.toml | 2 +- 17 files changed, 24 insertions(+), 24 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 2a10ec55..2a5b0c9c 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -189,18 +189,18 @@ dependencies = [ [[package]] name = "clap" -version = "4.5.21" +version = "4.5.22" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fb3b4b9e5a7c7514dfa52869339ee98b3156b0bfb4e8a77c4ff4babb64b1604f" +checksum = "69371e34337c4c984bbe322360c2547210bf632eb2814bbe78a6e87a2935bd2b" dependencies = [ "clap_builder", ] [[package]] name = "clap_builder" -version = "4.5.21" +version = "4.5.22" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b17a95aa67cc7b5ebd32aa5370189aa0d79069ef1c64ce893bd30fb24bff20ec" +checksum = "6e24c1b4099818523236a8ca881d2b45db98dadfb4625cf6608c12069fcbbde1" dependencies = [ "anstream", "anstyle", @@ -559,7 +559,7 @@ checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a" [[package]] name = "mirai" -version = "1.1.9" +version = "1.1.10" dependencies = [ "bincode", "cargo_metadata", diff --git a/binaries/summary_store.tar b/binaries/summary_store.tar index f081bf730c0f9af68718368c95ba8e6056b68f38..91e4bb70a2a2404de1392ccda21071fa327ae76c 100644 GIT binary patch delta 10633 zcmeHtcUV+cxAzRpX&Z*#6$ODg!whrIFhjARpx8h`5Csth5m2$AqEWGd6$^sVxK#w~ zs8~aEYgDktmc;hjqhgC1qe!t}O!(FTLwxUhzvupcpX=j#bg#14TED&a+WVY2+4Z;N z*;{VP3zk{?`5N?rfkrpIZ=hc9FLTqca1ULfcQ2RAmzw?~H0b?}Mw#2RzlD^!+{$PS z^zYy=7y>%@ckm1JHI%#387BXj_yz>{fr@onpdXmDIJ0eW<|k!l4Ag(&%)Z4L2o1izz7WZOW)>jm^#Seu^#O)} za#xpBlh#IqZ-8F!=Ia+|Xa=omYTp3x`x&%(a@R$2S2>UgkSUM?hytR47$6pi142M% zK;}S7APXQ%AS)niAR8cCAUhy?AO|2vASWPaAQzxkK&^o!pKXBJV!5kZqh;yQF+Por z4;tam9GUF-BFi>zK<=fMZQ4z7zSQf+3))&CvrJ0L9GjM!l$4q_B6-T#$)?0|WxF9Z z+?0_!TT^m{Tt>!hZRZ@pSuacf$kyLgn5?wu;6-%i-rE#per>yK8}38*uiLN<%pVGp zt@8feiYO?L(0=T4tDo}O`iF{g%gn0^(rbXnW*auzE@&BBe@IcjqGX4H{5Ha)moGOv zW7#XV0ez<^-&wZRmiVsmIBUZO&&_Ph)&(iZ*fridQ}SV_$8t5R8d{vqzCEBQzf`r2 zA`7p1{AR;dr4H1w4N9UQeGT&M4rIcw9;Y;{GBYTbeIKD9`9tMh7-F>cRN8XK&b>@w z8*DZyh^1V!vK0yO^z14sJ+IUTv-KqkrL|1P;QiB0^aOip5)>pS#?#l9eK|*;$kxqL zV2g$FNRktxaWf^~j_@27%uY484`=J56{KrFO*d0wv(0mWE$cYYw2G~pt-xdF$zw^I zbd9qq8FARNpgnuwPKh5|w_8E}nyM)_CGToHr`WQ0K5aP7)(%mSC@haKA!8`7>tV`U z8+`$!IEAg9Oh(~{=O`c2vqa;lAR+y{uq`WmczT+x%U6)f! z+LPoDUhj--ROAnfOd4FwNTG{5&2)v{@BjY(??S*}msD~msIl>8QzOa~?>GHR+JEiy zR?m_4DR0;YGiQnn^HCu?^69qEO@H>r*z=1}?M{kJ3Q-lBu(z^mb~g>}L#5$}?>qHC zwYw;CsE4Y^gblm)U>&O6L6M=oRqISxw@=y`P0EeolJcI*?n|16nSRRx={)ApZPiE8^%#Cg3c#DpF6Db%HD;^bm! z;_H>nye8Xi8zft=_{`9z;qRMZXyMPVGi4jtG-`2Eh9~kgVI*g(inX?QP&D6^Ft)$$0l6wbL{`Q35uDkBfb#35=K#Iu}Y4xM3za8oKR+rYEo$!apv!>~%R7u{p zc%=W>6zP#iQlzODs;H(&O`bxejACZYP&9_ZVb4@!(W^fn*P!{-0$CeuecjCg|K5dX z@x5oNR7TV5`$Z^%!o8oXBAMU9SMNu$6fSzMieuV!`?EXx7lr?LuDZ_LyRf+cEu!$v z7ph!lk=?LlX)xk9Rj#d_Rc$-ekLoMqhL2578Iv?TW7^7xaot(B*v%(U%|nVryi{G4 zTep39l}0_OEEzjIDP>ez${2iQp}aFQ{lm){=qQCJzfv7zGlq(;s0Og^@LCljXHIUL z-v@A9Ge#Fn7Zs6hPt1H>yA;r(bD0GEn%>H!363s5^5UMNv4gMitFu zJ>0fQ8sx)(jhbtcii)WPILU^$$HjH3c>LfGwFiDTycEA(Xf{DD3bN3YO4yd$~R2)fL zTYiw7`BlY?k&v2g$A>cm-LewUL<(QB<0o;iw@^-K27 zn{bx*Fa69m@O2b+z0IbQMT2~^^<3-f&K&_TKz5%yKg-VIVCJL-w!t}>^7N3&JhAmh zE{V+P!oGGle@A4|5cEWtIz6*J zGUqRp1WO#p595xzxnF|8G8w*-z_-Jrm-+^w{2Tj9P#W-foD;`8W91Ou0*@=?gV2+r z1bdVSlGe?V9yO{^X2)MCg(#K6HSxSF4vOb{qvYuJQ@>Ozjpsv|0eyxwd{#?C+TBst zp_rCI)z%F0Zi8nJ=7X37re_2iPT>=S`4pBa)E2RI?J44uz7IHFYC%2czQHQt(y4H3{Qe+OzZ({dT)9Jq2VilZB3R#qQO#aysdiQdfwb6hR3;8~b!_dRG zr8aPME##eV$hv?cDQv!u?`OVp#hoJ{SuUeNw`s3UaO9oMCoP)39dwq<%q8|r-hlJn zc_;JtDd88JJ;BaQUh3O}>G}KiMDT^<3;8JKQ$80ex!G69hq3!Uj!R{0*HT2jo?l|3 z{40C)MYi?{wLJebG)8igkW;7FNjwC%(>6=jA)(jO=?aU=i2j_cCl zp#|H}rU#6V8UuKy7y16M6n^qS2){aWTr7CZ|8H7_`S&J=?}B2!%v@?CQVv}P^G>Mk zR{6Im9?HEHK0)|acm{!TKXvC{UrYP2g7Cx8yt-o#pfHxn93%}}-02V>icUTpfBy46 zYGM{1;=>RfeE-;&nkEjs=AUkZf(MK%`_jf_Chsc+LE~Xo9@ebP^N?!LL2CuVo zGm25|QYue|Q*AJCZc)~G$7aAN*#X%@}&@G}1G%h%#g73z@yjkf7Z6FW3 z#lt~(`33aRsC+ex_f+s9O8au7E&FyIRUmaSEHBWsCXSW-Xi9l1c-+}G;1p;g67<~)^D`*KU0Kc(NJ2TIgR{sdC3Mby~XjIz}j$RZHIqYWfE)TrTcNHHkTre_xb52>>H0P z1$qakSN22xFwLB)aUX*c0O;rZ5T)^JcP0CF4Yi^P1^18YR^;?^KAp12(l4=L8%#!0 z1t79*!UtPgfOyhtzO@9BodbJif!<%rO0jz|HmCkh`+i+H^r)*?ys@sOm!H}o}zZZZU@yY`D&*6pB_dIz$pwdN2@YP~fb9LUB{%^EYV%>$d^ zCJjs#Mb^8hQ~%ezGHA8Bjoyyy`i)M2H(H@IS=L|U=fI3V-)S`(N#ibKHKS1J>u7|Q z&_%Mocz=kG6HX}9_~B1uH9-tL!n`BOfqEaOnaf?jQn?$A1~u%y9!}KBt28`z8Lx5X zP6i1zFc}D}CTdhTC_@v1?gZZrMd`qUW;;>ij(-}j>4_{%e;9<4f!P+I> zLGd(p{zfyHGd=SBHX1}1%W%jVjU!(94dgNC+1xQ`6!27d<6x}|-g8=Gj!jpCB&$Q{ zLx7`Lrf!z3U8AwUQzXeZEBqdyG>~{SOKz{$grPa<$}Rv%F#rM+x#7N8(+k~Nm>q*g z0MoOXc?@g1vqcMMjb`iG(1cr~u{32PO7o_$b)RVBR;YPpYV+d5vqZ>rSWBiwQl@40 z*yXUM2rVfvhJcrnW-l(#*R@JG(IBXYGi0;>i-f_J30fLYIRoN^GmGZ~)+I8p=9qg_ zX!@W-Xoeb+FKJHR9UrOC^gu3Nt5*KUL`i>7#Gn;R69Gg#tx^-uRfe1j0eDNGGEQpj zado98l*7+_qgr^aaolmJvuoet0u)E%b;mV>lutD0#9?YX1Gh(6iue_{9f8A z%o?97c4#QQy06Togm&W4*Nl%r-3@`5s}l5ppncJt)98ParKo>4{mVgaSxw6c~?cF>Z_7 zRcT*yD$U|YXc0(OKh=ig`H!?g=v9d4uV^W-BC!0awj*BfRBMahJp_q`*SZX}5G1|v zoMk@2c*Y}b59P%U{1Em-0==oJu6$E<;l%N=_D_cUlv1*fZIFA@#Py}t1=%EiGj0JO zbEO5D4H7ag4!C1ipAznL*S#qy7iPh;m-+N*iiG>Ma`^!?PU7Xe>h$^^jgHaq^y5=uc6rDRunJd^6X_ABSfHb3^*2 zsDGI7LSUW`!s$6aRqU&&Z^pClooNz1*9S4mfZDg0*$+?XO`E0a08AptfyF-aSR1#1 zXTt%5>n#{;lrU)RfD>-}Y(!H}g?^Og-z>x6RD(m>=*+N_YNNX&=L$kgtlPit zjdr>qgv!sT5e7-TBpHC$+UvS9#}gA3Xg!S|+UttYVq}(%3PEFNv&JtDx*jN_ko|~C zfSD{Y2jXl;U2it~uWOgtxA`==?5NA8EczLK$zdC0Yw68fBouPa2qMXI)x~n$qZjM0 zvJDm{G>MPY)j611Xgvl%XWt_8n1rJ@>)PR$Yjh!I=<3=SI9|5M+BI=qam-p>cjoKU zqa)CG8W*qCWuSSoF3-?GP??4|uGM+r@$H2eoWD*N#N|#;(f|ru0LfxN!Lkr|CBm~E zXr9E=mgsuobrP@t0}~TCq=7fFL>Ga5*6V_p=n7^M%A;|{dfjra?$3MM&~!<`VuNm) z(rB?_G+SRzZ*8h}`A1_cd03$rq{<+SQ7Dc5@3v*%ded9CN$CSFiR56QKomCb7HvEMnGbKte2bL%HV5n# zBWz)AreytuzM=8u7-2ONrHyTiX2Nsh0AUv6y#2*6G?&IT1B7{u`n z(>}BjOjGdwIYL*wVUEDy>;xf>_1$%rX6t9sL>VuPS16+b!mHW(d-S$a>6b?Nbit97 z3>CgraKmrd7eP9cXfk-Xkm862dR*erGP+b2`NfQuSwc5t;$Ec&JWB!3zkONZU0Fg9 zE3ayt4Dpp>-#8%@8)pdJnc`vFXTT1?vu6k+(2n+_U!%=nnTA7V34`&hY{3k_$bpq` zjrEWN4yCZ|nk02Ig-|AAMeZ5cpt$oaVLek|P^LzAxC$Vv-LmH+nd^x6a^r`l7u;sJL~1&eH~l>3r()f6Mjw?rpFW4@%3gXdfjg3-k6?e1s}FuUUYgY^!$`e!)3xQnpv2j?aiLpR$2 zM;b`H@wAIV1nTcuP=+P|)6mSEb4lRvu8*L;I`pOe=P*HCgGaX&?eQuwXm9##nxY;$-XPXNdAVmzTnFhIW( z;&90u2y*(YlM&F3cglJ+OJ=%>wpddGQzjUSYNS3;QzLZ3+iQewOq{B$=rd;)O3;q) zh~|S~&t^j_chL@4)Jlu+>&_}kO-vmBvu$Oh$Ho34ssBKm;*m%9fErkp5q`cLpiylosB8QV4 z#ULbK9GwKomqGIXh<|kyLzvc!2b)WKN9QCiLNljZY=KHHlSRQTM(lz=If;?X;nz0~ zqXZg9JBvfmwL$PWAtl)X%R>RceVs*w54RQvDeFD*oY?vTdRJ5aC+7GKBWqp6)(Ups zllS}C`sXw`)<(Ro;BLkCy9QZT(xk*g+~_Hvh(X-jOhq=D0^-%7VtX7E z44`SBoqC5d0JLCn0=h7je~hv~9weD-@P+ZB4fYQKyh2y~J|4E$E}4I`WNV1n3k@he z_xwwBx2|HO@=TZ`w6>M>?xwWev;73JqpKLLP(J8g^_YFj(7QlFW58oM`KG6srm%T$ z?%x*xc-_+A%A^LTb;5xuVj21szo*bXm~N8f*%?!*;x`Nz*jS9df*+q!#iwl>ABX$PGa)5#yQk=}S*Y z&*oN3#lejAmaF}xTAH|29Kt2ucI%VSMN1`K{nkVMaOkTId z5%5+5H?9;@xt{yGw}lI0Cz_01CHin|@ScnP+4@y9*-#`dP;f5$y~`krwlonoiB`_+ z_{Dzb!FKQJRbn_UI3hYThm6YhC=&8IBKBh*hvXbaeP~P{75j2j;Lu_;klri9k+(!A zoOu+g??Z8I3{)TRvVMT_djmW)ASBrd)mQ^_^;xkmo_kFEjy=>Eei^-+Mw2cTVmi%C z4*0&c$B*&Y}12lWs;6SBZAy*h4X%<2)i3z~@j_9yDqDQnYhs+z#A`L=iOZsL)3; zPUY)eB%tyY`c(ABt>iw`%syEcoI~lIaNl6P3U{LPK}>e&vLdMvXH)vA=%+oML^u%k z!GQp30@l&`5ag3Sd>R@KOi%of2HR{-Z;pRoV+dkKb?xboj??%)tv`W!+-bE3O#(GP zNzE7EVf4XFX7{utG?B(`tbP((Rgss@*8N12b*#R^l)Kn|nH%KwGfk4s^_3jFebpcN zolNWEyUCd_i+$B*WXVC_ADoG=!f?&}U^l~G&g9+-L$Q+Vylj9Uq;9t|_A(=lLySFK z$gppXEFz_kjWNJC`V}BzGsfUk{M+Y{frh}AFZ+mG8_@FAAbc!o@b&YDk0t-}tHI{)A^r4${(i(&AMo$r TDEdoZ8h-v(kjRYzjr9KmGlG}a delta 10386 zcmaKS2UrwW*YNH#!_3@e>AeZkciG*USr!pdP{dBNfLK5j5bUBTV#8h$tXGW%d%=RS zT#XvLv7ut(o2ZF`i5jCKJra$6XTYd${_p#Fo~v_DKj)rv?wz}nzx_vfe*I7KqNP@b zU}Kvgp^XPGwBdzdnFqhzGjciac~~xAV)7X&^2VSbnMdwFNZL$pDH?;?ifwekA-rg4 z+g5CQ*v)jT;xmg79Bc#@<3B9i68UGO$O}T7FO(_&OPLTHWc)vrwQ1WnL4y6bu@MDGUY%3xk7!U?^dj!BD|4hhYK35{4BF zYZx{#Y+=~Ju!rFQ!x4rP3}+ZFFkE3sI^AKk!g4o{4;F_Ka&~<9@aO~l&D4#oSYYAq z0mE~bg?sB9;=i)>AZt>vqqS2s$@{Z)zBPI6>=hYH%*J|cvnE64dvz5^zw2J#S(Erm zuVwzEz{2|vYvSM5`+}MXBfV8N)IlcVEH3KeZAa?XdHd_h;WBT*h79=4dq_B;{CxV_ zkX!A2ib4pT=aU1^g+6z?llotLunnhChjgp#vky%Y|RbHC`)9U zP##4h&iRkD;ob#CyawOeQ^fO~zs{D44=>sTV(^v7fIe*Btdeh0Z7+&=bq;8+V2fuf zU>Z%4%q{^P6l`4Dq#4cA1Kp<f5bA^R&K)H2sZBibl0D6bX$E2v@Le^B*oowXqbL z6&nztV4cePn>0(l8ZSv+waj&WGp~7Hi8n1Xb3pU7ZvsrsC)&?)W}Db_YSCnw%nHv+ z(sw7%`vnQLml_LF*2K2UNg=-=2 zn?*V()S%&sb@tt6>jqP5u+Hc0Ti0gmwwtOW6iiffx6WuJg8Z+=H}sd+N| z+E(2P&*ao;%*aVwHlb(=|G}wan3AalyHNs#!;w0X88+eRVDtlpHzM_2X2aX#i_iiJ zPf@BDGM9a(=1LRR3?}_NpSMG?6vk%iI5u_o@t;slB}HDFsqe^{@^u%=%(t!&@1Zyf-?LW7Gwp7lJ}FHE8+AOgI_xwZZGr%e z!sja0HaNmgorDhr>%DNXqgur}6=-y9{ZfkXw(9AW>V0?bw`}8RYTja*%o&&W;loIy zquR}sdz9IC0<72^inz8?Pqbx(J016+R0>B7R}V#2vsH&c$KnF10N2mvz z4OnHj1$CqBWTsgmxN?+QgJY)zI+;D{Kk33Ju;&xKAFkGUQ@9Xtsb1sE8(D4sXf{v{z~!wevs1aq0qHfTV}P z-;Pq-Go4J|&j1vDFiPEnZGY))8}?5difBixDF)Sgri^E6uTXYN)|@tR#nruoSdubP zy;8vqe(383k%W-{zDqsb7LoZb-N2J2GE>~@i9P@ifq0v{F7B2DSz;$+vjnl(ZxP2m zQd^^ST{P`l5V*84up7JW+T=!5qo>HJM`{l_v+mCIE~p=cf2~j_FiGDxC8GhbMwRM; zs!WrvXV?Y@YN^yD@wo?DJ94^GT}7#W4j*62)?cF*1I840EYSs%s;BCF%KCZfp=n^~ z)=!OfF{#<5eqn=e2kGr_szI}udp>jhGn4`{am~9xTYS4hZ;Da6rZYRsD)c`R0>}Rq zXx9Rto~2>2^L$+xy7{bRK1v5JKU|Zhal(Kx$DovB zC=IfHxW*0d%g}T~9z(pwd`adoTocLIlNS2O9Z0LCdQfR5n9oJNA+;P=#O&H@G zJh(3!3U!gG8OCuX^z-3 zSI%zRAa#-YmzqTOyzP!BRWy8LPFy$*(n?nDn17%tM1IY}F8GgTHyL z>4|9D_!*zcY_azfy|>sd(QWirz*OULY{N$U3~2Eb+j_S~=2Vh=|((_B{QPVu>| zEiC`4Dl@~ep@%+k2~`>a^V0&Im}9-;??~EHCk6IE%rA$#g7#&w-wa%+i$!`v4namb1FVVFnYbOWxQm|(Z72IKKf1}9DDS>wt)=B#^`+)0j zKDl1-+4W4x>m{hLz;ynWVlb!>yY1Hrk_&F=K&MHups(=Dnl*cC*m_=~lbHnv;by~& z)H)|7d6jbsN@`xq0ciG%TT7Y?#uHc8`q<({4T0U6^XGS7mXc$0W1s`BZV2qe%(wK^T>?OF zEaYjOaF1&`C8_^2u%ChnTGI6-(Brtj0*9bI9r+X}#R4eBX1Y!DwI56Is``i)l>o-S z1rzZ$u!wUR;vNHvL6^sTtqbmwq4B{(F6rIay-&Amq4)}LQHI72+I^rYem!5yVaIv$^$r*&j17ti+i2p-D$ zzP}WMY8QecXlnMP_cZNLh4PSfsvBy&0u;8elwJzkq60NI}+akEbvDQq0 zj`W?jwVj#eD{WUuxgwcqP6&p*tFvlO4YvTcf+Cq&4s3H)^L0@w$AtqX!OmYKvz9=E z7wUR)hv!!2p(Yuo$SoV)LXP?FX8Unc9VNTzdN5vlHJMTsA9T~jsoqEKo(7mA86z<_ zs~DR6Fb(iUGF7vR1zMpwpp0FZ`yNHzAoA)jzjPDZcOI#AA3prp{AMAORW$!kcDd^U z9mtt+y0)FD5#q1i@iL<8j`FcSV@U(iRmv&v;<-lB?Wit8j>9e0KU4i2<$VcI zj%t~c|D4dxHK9g@lCdQDw9bdd2af4}CRZADijM>{&gmY@$-=*MhZMVRU)A|hb~l=A z$Pd*z$Nvv)PhY2Hlgg@1t!SA=O3H*$>1in`Y3UiMIin_;kncV8`F31T!XcWL({dT< z6RhW~*tpZ#zq0iYXmX&o^$m&)>Z;#vXMQ4Q5yLhyZ)u8#y>q2-Lr>Zuuj7`-2J5FN zsMN##d*SIR`dn;G(}&?9sR}dc$s7N&NN>bzhUjNe$_d-+h)b&enBsq>Da{QGBL~v- zgko=b{$~waUr8Ufm~e+8=~?jl<2MPxh?%-g4iY%p-Fyg@7?w&`^>mBluECcUf#CpUC7mQ`elgi z)yZ!;`)4#w3J1$OFeLGYp0_uD*HoRyHd$|_&6F}3hdt+-`I77z-kC0B!DIb#R+V1y z+?TE2OslM9G6o--qTosYtKI`C68=Kp)}GxPqv^`lO{cN>e0dBBt@QRVA-QsXt&$CH zZ{CNki>Ht6l6NxUW?z=kU|}Rp+}!yfdp04>v5BplL6ae&K4VSL{`K~!(QtaBEC6q5 z&pYA=?fGaf?esKHv>1Rmbub@|?TvgGx@7dULbCuCiQ``ij`%|eufdxE!`aVXF&~YP zs3Vg30IUk;BanQo$^B-rJ~+ND?}>AR`OcivsK!i`B@xE8<^Az1Amqy8UQB?10c=ZK z-UCmQVCvwiM`)M?JJ*(P-AspMTGgG8c8*Wr-SEp~z8m^=PTYRBZY{k@hC2@CUCEjd zex!-Yty=krt+%H)Zjz39o}r>EQHSwQO;q(S=4#ox{j`;}4BFuGSgS~KaFS1g30D(l z?GG^;OcSRFKE|H?s_f)1Z0#VL#9?`~g2`Rykc`r3JSKrpXP!;2us{hkzMsG+D&wNY zR-q)&?=T7d}s94k%JK^69|2=JePOI5i@xj zyY%O~q7x&=T!ZLsf=%Whj5%J_A7Yqr-l-m?1IFtUhQ@#Qhd`bR^{|6Lg4J0}$T0G8e-6a}wW~O}-n~k*#y5iT?oJ!h~H`U!2U=y`xF^VEz@H z`ij(0L5Vckch9FAWvwo`mII*}LjQA>u<`Q-^cu=TscC-ECqW3Rsdg{>>3ZSADw zO?6gylT$T5i6&h43+^Mqw$079`C~E}7PPg$w%;dMYuq}Q@4~EIv;80}C?1>3XEIZh z5=iL~H5K??*3ZKMGv#A;hQOEgtJRA+C@eFRC$A>X} zkGM|#2p+&#R(^95CDOPukMGa=O?eW<)){HiaVqa?!tU+Nu43yp&}8fkzQ9CTIy%6G zZBpma_Kvt!q#^*vy+!RvQEOk?U_Cr>$Ycn|oKNA{^sjK#;Rl%C#8r=LAI>%f{z7B7 zNJS<&ljWOXWUg)a#ve@tJJ<3#%)puN!qH$Fzgx>EGj{49I21?Y)OCD3!=1_7hWgO> z#5%sOGWDk}N;HZtmgz?0@*jCEj#|%$DW{$4Hw}#hsJ0pEihFM3E%9*)^(15E*Qh2L zaKo^0h3`hXe#KLAq8_`lfVD>g}}rZ-KBH}a8krT5Zd_NZnE z(4@7n25;s~<)}Jq2(ZhG1n#O_T3PgHlHS?T%{VK--{ZBk-yFP+)&v z;vciq=lVRC{3Vr_`6xNtl%jcyYGP=jyTXUd(e$cDglYx>BfiZF!|?s9{O@dv$BEx0 z77Q#s@!6}qDUK_LuxhUJzbW6ar@`M$;K;<~tPoE|-r#9D_hicUt7w5FXGl5U10Q<> zol$4Qm7yg7i^i$td?7iF8KuX}s_&sIXO@p$D0K zi~pP9!uhYiVw>avG@1S*?~J%Mn%H42xm3K~B$GU!8IUU{ZmUe{Oz@ChCXYx=Pd`^Z zxAAhs0f<#OEM_Ht-rn5z;Gzd?lYTwz;vkc`;VmmIQpvStem)@#V?DbYT1expH~b>b z=jFCdXfznHI$q$hrV09Y)`OS_ka7T;CFt>H04eQ4Z(T&E0W>fhN2CY?aKvBy5M{{j~453mkHzs*6lHb93RjDkNI6(HP~Gkq)M{9&B==G7A zH_#fO=#LL+g&6D}D0D$rD}FaY7=TFq|W%Ge>(<5{x>56n&%dZJ2IZZ6c$4p|Qg7=brVhqWzfKYTUX2*8vU zpyh0#749_yeB6w!W}{^^E}S70a`!uqIRVwbLx%Hb3*GU!nGl{n=F{JyLV(4$uomPC zR+z~Lj4JoX>@?JxTY(i`8}A#6m%s_-kc1z3mS@fQu4e|pf%$jw?<3pU9y-KVM~7yI-zsf zWhM~NT@X;v&>e?02`oN!MF?ZhAHI_UR_($acLK zFKsmMtAqvUj{Tg~XcbT-;M5wS4gOFqIOB@fLPyloTOJH6xm%X_1*WPV`cF(PEb5Yw z>eWybIJrg$mALvdDR#f=KSEZZtlP;G(F)-1D{;r*&y4F69+XLGzr0o`ME5)I^+3~s zEF23%MSnc9QRu@OdR(z*>o3w|f1PlYQW>6I?aDSN>D_x|GD}>3P+WejNywl$^|P;9L@d~8XeHX`LYU-wWmdv2IqGX;XrLChB5NS&}V1@jce@0iRh-{NiMnyWJ_>_ zgE${I*oz&R^ZUxw=rWDlJBZ(*`mV#h(RrYlD^bkCg^pr4`uh8M2+agwM?5Yw$R2-i z6*bt&Nen|d<-LwV7uy3}3@`zBp_3SmmQOyNkH!H|YylR!i5x!F4aoahUheSGOdwa| zywRc^e)+W+rdqng65d5#(R-U4xBQYJkSJZm{S;dk**l)Chu!;ZEAc$V<@63&3XY33 zS>i2vIig#7>l`!#*dkhV?HMgP;5T95xOV66y|7#3gY8AQcxo?pV=kIO9G5@^&w z#^d5eP=y7nVTHz~gY)O_Pn!tNmw@x1(T(Y11oP6K?AtZ8%EDlFx zh#j!ma509-JN&ks(oN@sJ|1Ep{}4Q)g!W-+#ab#y;7k7DGspn1pXF z6~nk-kAM=C0~l<%9DX?IRRFR2{Ycd>Xe`94KpclSZ*&Fa0YMnHS}v;b{Zpbfj#>s` z%Kz?M6jaqdnXv_PbeY%{;rb^Rz9i=h#Tb>Tb13w-mGu5*m(Thbb>u{$7*DBOUCOSo z4Gg^xFs2w{v5f3kC8kr>K`D;I!TG9B9j@eG9WLGkU+>3nz~iEVERfH|`#Mw#;R$2Ch?FBzLDi$#J zy;25BhlR1n#5^`{uKOLf9?s`A$3$mJRW<8M30r@N-hV*4v;^0?lhl)9Uy3t(Sps)q zmWU?bo)OnslfZEuGl?_njUC??G(&SnPp|IfD~3b%=)ziUG$s zLoDNAvu_3JNn?9t=*3-58+R1-qYuh(vai7r&q0PTu3g!qT*ya&Ew(j;tWm;Q3)}QE zpc*R)W@%^Wg;yvIN7$+RhQCFPxipC}Gh~@EBptVrlzeLqN>rD|FGf9RY-?la$<_N= zuY^wqeubmyW6_1ou`!&m=1va&s~Wt@p-GglA%io&d1}Qgn9rgQmP&^u`DF;kZM`9Z z<0{;Dn}UO0G|{&;*g7%4K7E^xqG{Ztw;_gkP;p3*BDJ}hHp(ccH|bgIG5d|$@l?=GaP%c;^bS!pSNjJ^_SmI%o=yzmhfqY zlP}FfyY2cJ-k=Yfw)U3pyi%ufvE-FO-OE5;#0712;%*c?e!@2S)tO?qdu$p>nXJy| zNx_I9eVi zos>;(MkjdRePZh8+rnUJsfr@&$7_ZgNv~r;n^fjYUKhaaioem+Un_%9#xJwUBF0mi z<2?D}LXg2(dHN}KZ&n$gktF!w+mDpph^9$1mnUuygSsj?-8Z8@H0vNm9RmMjBx%os zqMXfFJ+jGQo5a?p8b6uL6Cc`Yokc>X2krVXC8k~(aBPF8lh?S%C4 z!zN5j`8Z8Ufgj;<-$cs{yZ;B1BmF!-N^Kd3OS_qEBN4w?)G0}urIxkL_Z1I`?{Z7H zx~Lwmcu05~=`rHE%VT-$GS!dgvO+OALWtWH<9~mw QXB0nw{72;1jUP<^2hkp=RR910 diff --git a/checker/Cargo.toml b/checker/Cargo.toml index fa5bddbc..439a221b 100644 --- a/checker/Cargo.toml +++ b/checker/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "mirai" -version = "1.1.9" +version = "1.1.10" authors = ["Herman Venter "] description = "A static analysis tool for Rust, based on Abstract Interpretation of MIR" repository = "https://github.com/endorlabs/MIRAI" @@ -62,7 +62,7 @@ walkdir = "*" # or similar, and to integration_tests.rs (search for extern_deps there). # We set the dep to a specific revision, so we don't get paths as above no longer working after update of the repo # and the Cargo.lock. -contracts = { version = "0.6.0", features = ["mirai_assertions"] } +contracts = { version = "*", features = ["mirai_assertions"] } [features] default = ["bundled"] diff --git a/checker/tests/call_graph/fnptr.rs b/checker/tests/call_graph/fnptr.rs index 3a887d28..559e3247 100644 --- a/checker/tests/call_graph/fnptr.rs +++ b/checker/tests/call_graph/fnptr.rs @@ -69,7 +69,7 @@ commit; ], "callables": [ { - "name": "/fnptr/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr[bc97]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr[03cc]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 9, "local": true diff --git a/checker/tests/call_graph/fnptr_clean.rs b/checker/tests/call_graph/fnptr_clean.rs index c69da543..8e3419f7 100644 --- a/checker/tests/call_graph/fnptr_clean.rs +++ b/checker/tests/call_graph/fnptr_clean.rs @@ -74,7 +74,7 @@ commit; ], "callables": [ { - "name": "/fnptr_clean/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_clean[21ce]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_clean/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_clean[123f]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 14, "local": true diff --git a/checker/tests/call_graph/fnptr_deduplicate.rs b/checker/tests/call_graph/fnptr_deduplicate.rs index f95ae78c..a2ee779b 100644 --- a/checker/tests/call_graph/fnptr_deduplicate.rs +++ b/checker/tests/call_graph/fnptr_deduplicate.rs @@ -66,7 +66,7 @@ commit; ], "callables": [ { - "name": "/fnptr_deduplicate/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_deduplicate[17a2]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_deduplicate/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_deduplicate[324d]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 10, "local": true diff --git a/checker/tests/call_graph/fnptr_dom.rs b/checker/tests/call_graph/fnptr_dom.rs index 8c1cc969..9bb361bd 100644 --- a/checker/tests/call_graph/fnptr_dom.rs +++ b/checker/tests/call_graph/fnptr_dom.rs @@ -71,7 +71,7 @@ commit; ], "callables": [ { - "name": "/fnptr_dom/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_dom[03de]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:8 ~ fnptr_dom[03de]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_dom/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_dom[e414]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:8 ~ fnptr_dom[e414]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 9, "local": true diff --git a/checker/tests/call_graph/fnptr_dom_loop.rs b/checker/tests/call_graph/fnptr_dom_loop.rs index 06dd06ee..15c10e68 100644 --- a/checker/tests/call_graph/fnptr_dom_loop.rs +++ b/checker/tests/call_graph/fnptr_dom_loop.rs @@ -85,7 +85,7 @@ commit; ], "callables": [ { - "name": "/fnptr_dom_loop/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_dom_loop[7846]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:9 ~ fnptr_dom_loop[7846]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_dom_loop/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_dom_loop[ff13]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:9 ~ fnptr_dom_loop[ff13]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 9, "local": true diff --git a/checker/tests/call_graph/fnptr_dom_loop_souffle.rs b/checker/tests/call_graph/fnptr_dom_loop_souffle.rs index 2c422891..0f8cafc8 100644 --- a/checker/tests/call_graph/fnptr_dom_loop_souffle.rs +++ b/checker/tests/call_graph/fnptr_dom_loop_souffle.rs @@ -82,7 +82,7 @@ digraph { ], "callables": [ { - "name": "/fnptr_dom_loop_souffle/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_dom_loop_souffle[7fd5]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:9 ~ fnptr_dom_loop_souffle[7fd5]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_dom_loop_souffle/fn1(u32,&'^0.Named(DefId(0:8 ~ fnptr_dom_loop_souffle[5b29]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] },&'^1.Named(DefId(0:9 ~ fnptr_dom_loop_souffle[5b29]::fn1::'_#1), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 10, "local": true diff --git a/checker/tests/call_graph/fnptr_fold.rs b/checker/tests/call_graph/fnptr_fold.rs index 3d670860..0d472845 100644 --- a/checker/tests/call_graph/fnptr_fold.rs +++ b/checker/tests/call_graph/fnptr_fold.rs @@ -73,7 +73,7 @@ commit; ], "callables": [ { - "name": "/fnptr_fold/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_fold[da30]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_fold/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_fold[dac1]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 10, "local": true @@ -97,7 +97,7 @@ commit; "local": true }, { - "name": "/std/std::io::_print(std::fmt::Arguments<'^0.Named(DefId(1:14015 ~ std[e023]::io::stdio::_print::'_), \"'_\")>)->()", + "name": "/std/std::io::_print(std::fmt::Arguments<'^0.Named(DefId(1:14015 ~ std[4531]::io::stdio::_print::'_), \"'_\")>)->()", "file_index": 1, "first_line": 1232, "local": false diff --git a/checker/tests/call_graph/fnptr_loop.rs b/checker/tests/call_graph/fnptr_loop.rs index 4761f17c..22a7a416 100644 --- a/checker/tests/call_graph/fnptr_loop.rs +++ b/checker/tests/call_graph/fnptr_loop.rs @@ -82,7 +82,7 @@ commit; "local": true }, { - "name": "/fnptr_loop/fn2(u32,&'^0.Named(DefId(0:7 ~ fnptr_loop[200c]::fn2::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_loop/fn2(u32,&'^0.Named(DefId(0:7 ~ fnptr_loop[3178]::fn2::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 12, "local": true diff --git a/checker/tests/call_graph/fnptr_slice.rs b/checker/tests/call_graph/fnptr_slice.rs index 6ef1e69f..73a2b48b 100644 --- a/checker/tests/call_graph/fnptr_slice.rs +++ b/checker/tests/call_graph/fnptr_slice.rs @@ -62,7 +62,7 @@ commit; ], "callables": [ { - "name": "/fnptr_slice/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_slice[6027]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", + "name": "/fnptr_slice/fn1(u32,&'^0.Named(DefId(0:7 ~ fnptr_slice[c2b5]::fn1::'_), \"'_\") Binder { value: fn(u32) -> u32, bound_vars: [] })->u32", "file_index": 0, "first_line": 10, "local": true diff --git a/checker/tests/call_graph/generic.rs b/checker/tests/call_graph/generic.rs index ca578a9c..cc8c86b3 100644 --- a/checker/tests/call_graph/generic.rs +++ b/checker/tests/call_graph/generic.rs @@ -74,7 +74,7 @@ commit; "local": true }, { - "name": "/generic/Gen::::bar(&'^0.Named(DefId(0:12 ~ generic[70f3]::{impl#0}::bar::'_), \"'_\") Gen,T/#0)->()", + "name": "/generic/Gen::::bar(&'^0.Named(DefId(0:12 ~ generic[4b30]::{impl#0}::bar::'_), \"'_\") Gen,T/#0)->()", "file_index": 0, "first_line": 14, "local": true diff --git a/checker/tests/call_graph/static_deduplicate.rs b/checker/tests/call_graph/static_deduplicate.rs index 1713f380..ed9de824 100644 --- a/checker/tests/call_graph/static_deduplicate.rs +++ b/checker/tests/call_graph/static_deduplicate.rs @@ -66,19 +66,19 @@ commit; ], "callables": [ { - "name": "/static_deduplicate/fn1(u32,&'^0.Named(DefId(0:7 ~ static_deduplicate[479f]::fn1::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:7 ~ static_deduplicate[479f]::fn1::'_), \"'_\") str)", + "name": "/static_deduplicate/fn1(u32,&'^0.Named(DefId(0:7 ~ static_deduplicate[0108]::fn1::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:7 ~ static_deduplicate[0108]::fn1::'_), \"'_\") str)", "file_index": 0, "first_line": 10, "local": true }, { - "name": "/static_deduplicate/fn2(u32,&'^0.Named(DefId(0:8 ~ static_deduplicate[479f]::fn2::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:8 ~ static_deduplicate[479f]::fn2::'_), \"'_\") str)", + "name": "/static_deduplicate/fn2(u32,&'^0.Named(DefId(0:8 ~ static_deduplicate[0108]::fn2::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:8 ~ static_deduplicate[0108]::fn2::'_), \"'_\") str)", "file_index": 0, "first_line": 13, "local": true }, { - "name": "/static_deduplicate/fn3(u32,&'^0.Named(DefId(0:9 ~ static_deduplicate[479f]::fn3::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:9 ~ static_deduplicate[479f]::fn3::'_), \"'_\") str)", + "name": "/static_deduplicate/fn3(u32,&'^0.Named(DefId(0:9 ~ static_deduplicate[0108]::fn3::'_), \"'_\") str)->(u32, &'^0.Named(DefId(0:9 ~ static_deduplicate[0108]::fn3::'_), \"'_\") str)", "file_index": 0, "first_line": 16, "local": true diff --git a/checker/tests/call_graph/static_fold.rs b/checker/tests/call_graph/static_fold.rs index a4856d71..26daf4d7 100644 --- a/checker/tests/call_graph/static_fold.rs +++ b/checker/tests/call_graph/static_fold.rs @@ -93,7 +93,7 @@ commit; "local": true }, { - "name": "/std/std::io::_print(std::fmt::Arguments<'^0.Named(DefId(1:14015 ~ std[e023]::io::stdio::_print::'_), \"'_\")>)->()", + "name": "/std/std::io::_print(std::fmt::Arguments<'^0.Named(DefId(1:14015 ~ std[4531]::io::stdio::_print::'_), \"'_\")>)->()", "file_index": 1, "first_line": 1232, "local": false diff --git a/checker/tests/call_graph/trait.rs b/checker/tests/call_graph/trait.rs index 433683f7..a4a3d50b 100644 --- a/checker/tests/call_graph/trait.rs +++ b/checker/tests/call_graph/trait.rs @@ -74,7 +74,7 @@ commit; "local": true }, { - "name": "/trait/::bar(&'^0.Named(DefId(0:13 ~ trait[ed3e]::{impl#0}::bar::'_), \"'_\") Bar)->i32", + "name": "/trait/::bar(&'^0.Named(DefId(0:13 ~ trait[e5fd]::{impl#0}::bar::'_), \"'_\") Bar)->i32", "file_index": 0, "first_line": 14, "local": true diff --git a/rust-toolchain.toml b/rust-toolchain.toml index a369c709..ee3827f3 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2024-12-03" +channel = "nightly-2024-12-04" components = ["clippy", "rustfmt", "rustc-dev", "rust-src", "rust-std", "llvm-tools-preview"]