From bb5b5ffd232fc00bb77d945faf44fa88f502cc76 Mon Sep 17 00:00:00 2001 From: Herman Venter Date: Tue, 9 May 2023 13:10:53 -0700 Subject: [PATCH] Get rid of actions-rs/grcov@v0.1 (#1217) --- .github/workflows/rust.yml | 5 +++-- Cargo.lock | 2 +- binaries/summary_store.tar | Bin 3275264 -> 3278848 bytes checker/Cargo.toml | 2 +- checker/tests/call_graph/fnptr_fold.rs | 8 ++++---- checker/tests/call_graph/static_fold.rs | 8 ++++---- rust-toolchain.toml | 2 +- 7 files changed, 14 insertions(+), 13 deletions(-) diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index ab07b5cc..3eba341f 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -27,10 +27,11 @@ jobs: cargo test --all -- --test-threads=1 env: CARGO_INCREMENTAL: 0 - RUSTFLAGS: "-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests" + RUSTFLAGS: "-Zprofile -Ccodegen-units=1 -Copt-level=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests" - name: Setup grcov - uses: actions-rs/grcov@v0.1 + run: | + cargo install grcov - name: Run grcov run: | diff --git a/Cargo.lock b/Cargo.lock index 946f0b15..78f5e42d 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -569,7 +569,7 @@ checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a" [[package]] name = "mirai" -version = "1.1.7" +version = "1.1.8" dependencies = [ "bincode", "cargo_metadata", diff --git a/binaries/summary_store.tar b/binaries/summary_store.tar index e9d2631913b3db5d5d33d98841a527c785ba3eea..b60283e373581e898f795f189bb7b41aa073856b 100644 GIT binary patch delta 24714 zcmeHQ349a9_fMKlv)MMi=#fG;$?m3`mZoiba#*lPMU)Cfkh4I`QLX|lcR5?+ELQ>T zQz+1i+#*H9K~#jF3MdFgkRK>Vxe-wctEb8K8(BfU8?E-p4&qK{p`v|M0jHcO>*q~f z4I0J7#6;;M@xS7PCK{P>6OE$GW{KWxYeMe%3UzX3yS~&lKZ#tjX!}(4qNsKq$g!}u zDSUo(KX`xbp@yS>uqLr6cQ0eM=QevMr^|?!U6;PTd3*<@i@p3WE22rRK`mT1x9@T@ zlqyddu#vp^g2Yv^D7OQP%4I<=kJ(bL%Nx0~X5`M2;^cyp3?~97IZm!PDR3fjQsPA6 zMr6!7GmUW1z zxcTEXi1eZLN?Xp=I-IHTbVn##s%Z`-AF-4J?bo(3EsLkeisiXlPESY@J=VeULQMp$ z+l3h<e2Gv-I^vvYp>*t~=$_mSHD$ z{aH~eXj@Nm=~pD@mw0Llv}b9Z(w1|#wy0OL7DZD*X}FdWX%DJx(qoE_ka|JGi65_> z)2Jc26-UY?Q_<2z!YqWrmi?M&^77X)S_!C3Af2G|#|lhSN?Vc2$}qoF(-C%D)R>{X zRHGIvFf$o7m`gQBs}xz;l#I{**2<>$LCmJfz*eUh-a46LWwSpOv#}L9TbQ)!^4rU00&BgPV{{RC zwhw4x7XIcA`K`Ft_C9(*>R}D#KsoKf$l56_s)0wND&eyOgP95?fq3>x2GV?$kHWBeN`k-mWII`@7$_S!Kq3i* z_Lu2)u>6?jq^M9&riE}-Z3u#d(Kc-z}jAi+6LHcXA{QXE?z)uf7UFi3)h0Ri?3?Y>&W^Ga~$bl z%h@D)v=NMQjQIXf6%l$ol}kUD)(Lq1FQgB?q; zt<`(eMMT%pzwffLx#f-7*qnG(mu_M62$vp%R5XWq+3F+g&T%KGvdFg9)-(Na>oyNw z)t_5hugRa6USZr(TSjQzRv%$E9xGM0XcPH8bz`=yKO8J{uMedhT@NnTr)zfT7CzNG zbQ4O*<3>wGD~z4I8l{GEw3NvAiN7SwaUangS6Tel;rX7iARe=TBC9xebWl$(mx}dq zR*mpf;MVu4w&V+A)bG*u+QOnF)C#JaRWb11cNhz{B#}9k9xD}F$_k?&OnK>O-Bv<+ zugDFB2GeUDNUC!Vb-?Ts7&?_RJlbYH!LUL8Ox@T;rSs#_u;x0wlo+yS#(H!&ntr*8 zk*m9<0tq47An=;Nx!JY6E>=lDQLXD@S@abRN!4ABWwfi=<2GIIY+6(P#sKv|94pc24ES5GWRBN%cCS23X+ftHWpEfAFc+PuUuwR4h_RAM` zrPFcF5I|`I1U?pHzbK)BJDh67j)n4zn)(hO({?aMlpL)cCv_}rMo$2*fp|R1XXuKc z-eCHB;`^rQ;qdcdI-8VTD7b&@)SO$8_P*X1yt-+>fCE!#57cG|y+TF|Lq5;Jf_Jb{ zm1ofd$i%{a@pB_G(t+uN$1~wQIvy33(lG?897TWZ;x_$l|9NDkJWrNB7)mBdTCgq$&-)_eX?;oI>V;6O)*ga6#k9xAMFLsEH$4ondIdd^ zoSl2;vc5^ZOOUma_C>gFnFO(LRq={w*{qCu=~d-fEqYN}`mtJ$N~ zr5QChrGuU_&cHq}>S-8cgblJ<3X|is{U4>uulOo%ygmANsv-m)4tj6swq8P2zliy{X^_x~a46vvwHp$8@`Gw)eFKQN`lvf6~h2 zezY+7xM;~ex^4HoPF8v>kPR9xk*I-5(04(dhhxky?sA^e7Ur1+ zeGtZWw}u%~|JDXq*hM@w3mO(cG#xQ%Bx089E=x(t;c+WYhmAZ6!U4_4&6uH5#ib3+ z`cM^ffl1XF!JNVn=+L{m?NYM;s)mw7rty6MM@uZ>d$OPz(*+`;7!}g4)G4LJ{Eu8* zQ0OY%aQR;oBkgm{w(9s>eg79Fx>h=3dj6deF#nJ)0yQqxeJ&-7JC1Deh2iKv5RN`9 z+;d_v_pjm@N-8UU=PbgsSEQu&>#beawq4s8gtH4&(ggQPN$zg$E_Y?$m- z&>W8Om!hIex{)-|X7=EPNbRbhF8$wR;aba4no)m0%0oKam_b&0?IuPI63mx(s}Li4 ztDAlVA;#r|bG~PBiU()2#DkFL!>6(Tfj9*-QlFAY#2sqV1m$kk?|wFCwlnkp;@DE! z_xh67$^#LDwo*5C5+h*KSSCc)_{LjsI)#}86lRe7BmAceuih-P^)1e$-K9s_` zG3(i2(5!NI);;_N%4+xnN@sJ9=H^4`_}h)id~;Y13vM(p;rp7_Ap%azRp z^XCjzrCi^K$#E`6nEnH2M4^Y$7uarMO=(XiJkSO?^tP?2?_HnG8o63gk zY!FA`$o=TC-WRDGM~E>Jh|Fe8U>J(HWbpDNJCSLrC>n|#v*v~w7vafDQAw!OHj zv4!9ur<9?zHq7Pj*nnziMhtarKQRU(rP}&XHjMFv53`tZQQa+9G?GU%W+*v=)xf?C zB5yO{T3b%#*kI?bx@#x#jcNVecKwHkovAvI57(Pd9#xmg!*5#?Fr>MFmlb8=hv-RYbSZu3>2fIa7 z#eY`0MZTponBPSmdz9`e?YajCXJB7oyZf_DRID1*Olem$OHKQYoRSV~Qo%(XC92ZH ziY0#AG>yG0E;D>{s=7rd6114X{weCzqjZg{R@Wl;o1S>@=x6U$-q#!&l7LYVYJhnNC(^wY(5 z9^vEHuj^pt9K8#3ws~Txl_f=)dzd_j2nBZS!GP~;^c35v*}o6ImePW{ae)|X@$alv z2lS^HIVkr&fu~2D6&K+P@iI!wj zqM_I+XW21Kwm5m`@`7zlBEliF7ah@oo{lMKZK%#z1y+j?!ZY4JB}~r|(JbS;9u^2T z3{qP%ZcgPNI^}`|2>@Riv8;{+;cpg9*yiDi*2^P+FORrG$x#dsY~~#Vpb==xIRTB* z775=9qJ_icV|c!7W*scY@|k7K7|8hv%jaBPvWJ^#K^s-dbIx!{f)hyr^F8Krm5=z0 zKV2-c0~XHKv=d-y-m>I3vXUN7WMi-(ft>_vK*=YWI}S_p>8)<19pgjkC1y<(@LiXy z*W5dv zKfJ^o@RUWKYL?DFv7{Wp*{O4QDuk_zlU4gCZC_sC?Yn3m!M^6;VQQt`kGuaA^}OW& zB)}JyeUY?VYdA3j?*?rq9sXaUe5D=b!-DySAS7?VuJ%=p>c37Sml9IR!RaeIKuH99 z#2MZfxU!QWVGed`whgZJ+#)%WU0kK8{1Y5x@LIrFT`#`-H5F3LEMJ96xH<-=y2D7SaS=t$HucI^Orcste#*l}b?1NVEg zI8>I4fv3#}Ky5>;=MU!w!LjCe+idf>0t&a7?b^oeq+Qv+9k*+BYhnUqx5VuK23Qwx zeG&*mVGr3o7>hcI+qK$|_YMTM#?;zn$U6>12MR1ax4ym`|=R@P&PaTwDwko&Hw6|C&UmOpLH7u$cb z&_Nw2y3)4FTp_bNy9Ue?Ffg&HUhOuke@DAT7LSJvtO)pT*gDY;K6ym&aaNDG#&8TU zvLFjvrhMU7gE%VJsdlRGfM9V%&}?a<_EAA`WgN(?MP#q~#d^NvB!M!AKLd>W0bAQA zIPQ1`7^@yZh$snd+h8ao(8ZbTUSE{H#}MdE1ax;#gpZeE`)&hn@Nn$9dQf*Zd;Y5^ zWjQOAiU8|T;c1bovWQ(zC`W$7qcz3sP=_;W<^%SaXhzDKaLvS=5D9hIZkIIU%;2?w zO(n|aZasuNRb;zy?l0h_gEoSXKar^bc0Rn*6LGfEffJpWAE~hp2{dv#&tlVtKY8^RS+P&T)9P z*#M3LEUPW^2mGUMTNwzEbus7Nh+9A%^vwE}su)j<$07AF&JX3>71%h!XZ%|vVL>PV z&US&T@myok(!=Q{Tmann;~G>6z&X7q0vnrg3y3YPE^S7~{$z(Zgtl!D6kuzCUoR;5 z1^3~D`CP2h9@Z8ZL{*6>+0Vxv$Si|~+em_Zg7YQzOf*~&2F)LJlyY4i?j%|R7p=G$ z3sS-8j)1N*E>1)%ISE{IF((AF9WaW83x+rkxQzbkgRWLC+X;b-9jM!0C5W*fakhpp zT)Czqg;asr*y-)jX@^jng_jKrC0M(4YNHyzHz9N@m=qY=J%{ZDf`2J(MV`X!M?0U5 z3Sj~V0)fMWlhg<8XJo2E&;&Pb#6yln7%}0Af<=Y>-C?62XBK^%T?eWhz&lV_`hu%l z#|^G{a9xS!v)t>Ump!?3hx<%VNgd#qrud*h z#Q%yPm=d1f%z6vunz;O@0X6`G4L_LIg2N|if^jd39bn+Kglx94zf|Mwm6)j}>2O5ft%D=6YLpkJr$0?BDy2*O2+ zRY=n>sJ9XgTER81|Jyrt$~B0 zb_UfVRkwH;oW@&o9v^PG(}Ap1k0!DwNhB<^a5p5O*+;kthnU4<9sxbZ#Vv=x#@erwg!H<@qwR%IApQ_J~Ct8se z?FkQjsofLW_m#bjnq*3Ex}XMehRF)zg$WHOp=Hes!=8C4{PO@G_%HTQ$lTU2QHo4W z`7tuIp`BrpANsWeze+~TE4w8JX}Up=+VwN6q|p8T{Od00#xMi;p;bA2GJ$4KGx$)b zd?7zmhCZHe*yM+fz0Z3`qRf?sP9)m(Gk-A}E&kB3&(GuQ&3rSmGT4t$(-MgZ(gtdV zq2)2gg=RGQnBf;MbZnS0A`YGT)o{iS<$Y#UMWXv;&^bTlk6nG-$V$^~0@1F)mts*= zbkIFNH&U%QL{^4%B{YF>@Mk^*GS~Ygq3905hhouBNkJ{t%2%=j84O{M~8#l~k%NF+<`W7Xzm|1Vux6xiJ83I~_ENMJpA2bAJ@Z z@b}eZz0k&eT`Ju#p!hq+uT%@nG5?`|C^}?EgA4cX|NB1vGr48KNy~pdUXlzaD^L9U zl0b3~z7g~>%WhhjmwMz zH4XkLdbpcf*+?$8NYG`9_!f>7#k5SS4=xMpGi-Rj@DXtJ0*$-{T)8IJxqS> z3|}8y%lMv(ev;=BsZ==(F5}ab=R6jyqIwGi4bSon+$!S}6j4h~9iTGh(CjpyrA)n* z*aZ&^CYW@VSHpqRe1dA{?cs4`MWK9-VNp1Z(VhzCM9Y z3~t!T=ySi%3M206c)3g<$GQ?b7*DPG^`*VkKwK6I#lPal+x0iTN=@0MGEzfuVFVn!YHR>=ZyJ3e@G2%B zb@=;osxSV+TfelK6YK^*^v7RPce(^nY4{6g{gN>!n1po$jPYa)dn1Lc2$Q4V1{k$6 zmAdhzwPeL%`JB1J)Z_8dp~e};Vi~$t(QqZJ3@c=j=WbHv;E!bzh82Mtkj>9 z8?>OSq{5&yka`uZ2@mZUq8NSYyLmsRGk zhGc$#r*tmfdsw=daNS74+TV=v%DZA9wC5$%?n+=z|-^=`!R#EVMEf$>W1R@JC;K z7W#Y~a-9{NMWX&Lrag&h>b~Gl{ZT?M(=t!={Mq1ecLWnn{k+hStHJyIk^d@Fgb#Yo zHRP@v`fiu$GZl*U3GoU*o3EJKd!QFXLVlvqd1V;#Li(5xbpY~?4!fs9joXA|Q^+eh z?1T!jGeVvVK2Om5n!nZ5+yl)zY-*^czPfGtlbR!6ENKhZ`b4xw zoqjjX_dtd9!$zr*XNxeYC;GKV*yn0u`z*gmh|CM~htj;T29PQb^FTAFh5hJ(j(-$( zS&bT%hc)y-n*ziA15uA|;iElfT*wVa7jh#;jwAz2=g+y^&XA*KcZ?$y1+HdaWoD1Q zO0rV&zANf;D`Kfq#r)XlK3TEIb=7K#gn-jjq-jeNa|hWBUsp5ob&b68i-U)ZD!3l$ W@V^*n6dM(1|NjFZX+`9H*Z%<;DE*TF delta 24439 zcmeHP30zdw_n%?jFmE0(3_HlYnR#ypm<5JmQPfbeOifY26%`fDCBy}D12u)RKn<5n zPVT6wrDmuY334|nWhyAT3F`)z8PoU%mn6w{r~-c`uSY--h19X=iYnn zIp2HUnU^>FQ(<29LE-Eod0ebHE;e3mj%m~=E?%H+IEQ&|j+xmc6uv3s`w|l38anie z@`a&|8YVO{t7GEhV;fn9Xo!bMh)IYOsLi$^#NO>F;q}dO>Uw}cESS4xP;)+0GCjdKTR=OPTcHS z`72Z$RzyMA0!0it@W4;=ziPC!KcupB0PN0EQ+!j|+uC3GTK=ny4wA|gDNwSN&4AK* z+91Bu$CFlz1=&YuDxqYNB7HgiAD~u4$`VDH zQ&TWXTB^885rIW-e}|&iD5kpc-H$pXRL;>-kXNNJ@p3=@tWov`MQ>lC|HX6R+|*5Q z=MzON*``BV(}I)3W!(JLe63=Z_BXy3v){I&6^V2X-_A6rg8|Q9N)&|jx;N^Y19;Tc zKNjBZ7t-owC~rZlrM8*`ViqfUL&_m$D#({8WRN!m@1m_2gwJX$3!Db>+_G9xu=#UE9JwGZvAAQSE;B(mNfihc;WQ<+HF;UN z&Ms4Qh21|W%urdT2<9JP3YlOqmnpt>X|l3;>$vv~ZmXkUKsjcUqHHkb)|5d;E1S{v~k@aDPRO?gVadbg^ZigUh%cEl|f5><38 zNThUaph0TG5d$iJv%58RN=eP=UVGM0Nmb7f4T17So(-T(L;Jyx4d}XEw}oTv zt~(Osw-^!?Dd-VG-V$S)lY+|C z^im=JD6R%0ylS+N5N3}KU{k{W9ZBC*dm~DeaS!%8GD!785M_VzNU8u^LTQ(~Z zcCU?2fGJAl72;Gt!#H$1j((vwb60-{2$J;5FfcdMc<={+!?^Wvb}rjh+!f$jmg$iX z%Rt`Z@YkG2v{-wd*9>tuA}(OXBIlzYF_hk(ZsALWiMI8CrG4;uumQZ1Z_Md8tE}0pTnd>Wv)tFY*2P}ftkw~46ZE)GS8^A zSmj7eW#w;ancaZaN_V~fOB2qz4YgZ0e>gChZsZIeq&6twYqi)Z@t9p@wz?U}Pb$24 zT44+Ay(LMBQ%(>%b=(t1o{1NyvOrY=ep&P};_eP8fGb&aE_t5b-^nzMoDcoisr^CT zOSucac$Jo+_QUBFBI01$siQDwKDNE$QS?jX>EWe@Q(c=z0`nqX+@yEuL{w5n#}lY# zEWO3eBfn3hZDfsjx@d3~lul8^qH8&HtfpiUVvS8g_tA7oxZVx|c6u zp7EboIEf~bS^JHLdKGne9elo~{h@Rbmi)t$Sn`_-ILTM#w#m0j{^1fVdG4>9d*?he zYb7iTR(=U@E~8~zN;op@R_!EMy@Gy)^t;k|(2aN37+};&+8^P$WfR1AA9NcJ|9Ov| zLLTpZq>pmc;oGq1!o8Ve1g3lq$=1-@X`(u0iyu02ke)88Z5Y@(kse&fDl8!GKM(HN zNJwfxd%~ZmXj5JDc#x%h|2w=6_nF5A5n6nio)Ju}T^Se)kwWD>=ej~x5wUWKkoY=jAy}VSEWuCwb>C10saz){CV#eh5l091 zSt7h!Q{1E-RtyQEs*L!w$Oo$Md0wcJzy&X5rt@NR`nU^Ddt<&|Bw)T?t>fF|Vs%_3 z8ZHnBAeB%?A`c(se}uJcg{#caIzTzNPD#1m+BSs~_o7>Es|HCEX-9V!;Pc@fG)$#@ z^~w9`%e;lG?KbxW&1?p5JGsjpUwa~U)!dX0dvcIuXN)qIx2s&Vpq`C0!p1pR2vZs< zhulxC+xbi8ReZjbs)~XQJ(NahpR62S%b`ZtIJNgAa+9n5pS2I9*7Y`@nMS2P<}2VhOWq8goFc?XNd=(hNa&qT`W7Y@Px0AM~}85x(kYS zq2Mz{`BRnab*xyl8&rDu;}FkOWg_HlRc4`|UQ>Do6A8B`UxQA|u*r*D zz7%g}^_c#);Auk+tR z-RvV80n8*E$K1V2DF^L3<*-`hwYVQpug4qYc^*HD+H6oZ^dZ(7+bYk7XJ7Fj)OVzAa!Fj7L z8!>fO7+E8mBO3a$KoAT}k~$6bcv+=>YDuA<5bFN}OBxkK-1yn23u2b4eiV{XEy{*p z`uXlT;NIhGX~v8YO0u&Hk5E-bz+|W*z?{wy=*#7*okFras@v|iJCoZ14!c-l{A6)6 zCJmxv884(kpuL{`&NJ}~P`RWxc` zrutY&UOKzDLqc!iIcp3CzcR53lh+Unv#$|@h54=PYo8(f#5E!5{w1_EE#BM}aQsA# zN}J$WN^kc5YCBbxCmLLVdJf1mK!uuk)KK>kHK3)+9JlA+Z}+=xHz zA0LTke#0%>@Ndp+8~01wrN9LjGBRz+7GH!f5Qx2BfmHiR)riKX=qLRz1F*FgdE&mD%c2~b4{5M&?wqn#jLVY(@ zwz>PfYO+RtkQh7EV%CZ@5olg7^=N_*_}SkKK8<($<+bkr$#@4dMxEY@cvUuI8Oq

Rh>PV<;O{-pp)XWSGtvD_V3}K;rW$(gj!>aIU^WV2 z+d%eRp6L^icH+_R15pPPGoSc-&j_V0nH0!Kq|;&c0=frGX~=B-JAb#&?XONwC*r4c z&%1|<>hNy(`TKe*t4ugrcu%Gy7gSsS)>{n-Ai{f`XbCZc855jMXWrxIe!VY#0bbF9 zo#4`>ev!!o^T!NjZ%3GPy)*c*2J~R|Af~M|EeQKErVtxW5o0~Et4r_ArO#LeS<)X1 zVuuf@m#`ptt*{`@O<0iWPEE#U+xgBMXWoJ5|8(Y2y3F^sM z5c?QRH;qYUt4SOMIlj?+oT@%Sj2A#mE)xmbEW9@M^eX%oNDUP?n5iyJSe&dsD{_Fyc_Kai{jvy&=VN|lOiEkL z%W+JP^{xMK7_%go@qvk>nV)&>$H^R>`5GQc3-Y@RrL=)Lnd5M81iZM{VK|G3Nn^2y zb{uC(*1#e*<(uX-)S6T_0&mCRZubgFrLNmHFaq4iGdIcazmxv_>E=I5z>=MjSI8#v zO`{sK<`5f!uj5c_M;s1D@8vKi2UGH-wUXD-(#gz5-dsJF1?GooDPuSDI`@RtnP*g1 z!2Hgu*8NmYYF9ZZFTh5h%LXc*&h+KgsSf4h36iF=zw??>hw|_QUj(tY`J;rBtXvKj z-`6jMy~FEG9jc_MRh3r0`}$(CM*0>pK8FMB`Aed^AoXmfw;M0VUvDc9;;MVN+5G}M zK^MX^*|3<|#9Q@4hzQ1j(XT7dLeQIo4wbvcp4K`IT%W3^&9h?v#9g5T$y0LE3x zkaUcDIiAmSEpD%E%l+ql{$ZS!@j73t8)?0`_m{PhdWwmHIUnKYZSM6UHh?2d-g1E% z?CQsH?#5t#z`DJ6a9pH^RfGY1un0D%3J|rd2+qtA>nr+GH*bGaclIm>*pR!%47~e2>0-d)+?U&wa2DReg!bvG{D(sut>R z88Ju?Kce@x2#3A*7*My@;;hRN%sSqhVY6vT5=rNqIPa~j)q4x3q<`hCvhHy43w#x@ z`D^Ik6muxaVMjt<8TP==?PX20)9g(MlWuTC0ctuPei6A^tPtA}PEcThXR}|q%`?IJ z<9JnUb{259hz{iLn0>}`jE7VEMyHytcstVyaMDRSV7QmW{jV!z$Fa#S$ibF=GMImw z0}~-Oj!s}AUNP`lPO1~U{kFWbFEeB0#DNBvb_?*!`vU_%8<+qKy=B8JXx#iK)+Xmp zi#Fi|08jYrpcZdkKQ1NCX>2=2(b%4J!YHp5wlR`5^vgsp#s>n}L$F$ua*p}U;q*SZ z@qLK1&szeft@dHf?%$ts{>*=I8C&&#{yg(6hyC<`Xy;L^xYT}MhO>#<)h@q{cnB2q zC}u%wHw#d9nOXhUQ}&OXJ_lT7ks|LjKI=AJw;rMYts^J3i6MjGKj8(c#R@)o>o{i8 zyec%4U^~0s9v{-JJ3_a(!aP{?k`dbxCFcVwqHwG6jQ(Y?@K)f}d!;<$qidc$7> z3AMxWQOymWVC;e;3lC&2Ye&&Rjoc4Hc~?A$&6h$QVUiFVffK$xvb$g~8sD8wdUQbh znEKBjl}8RRSPtMrsylzKlo{;fBH+ing?AZV%HMa5+@iCLM;A~lkIj4dwOV2Ioy?J56}d`t^=A- zsC*R%V(esGVAO#uDO`hJ9(C7b5F=Ebrz3g?o9*C6tf^6{ns_kpVP{Hh@JbAL^jI)2 z#Me+;o8@Jt1BGSavTF+b9&IPxrP zAL;#jk~fx}W&=Wy={NS0KT$aP>n+7VbA?}if@SP41Guqm*w&Jf2Pym5NXQG)%#_;NCDsFz{T2R6x2+Ah zn79Llg#(7y_c*jLCp`nr4OskUA(}qU02im|ac2?-w!6+vI!!=iWHbpKLp5gJICBhx zU`eRPxw66|_VU@bB^WI^X~-UYtwlnTs{1Gr{8eZ`r zl&{gGIiwciFAIFb1Ls)-G|l;%Juu8SwFt*DMpENqEMr{_=f<)bXRGzbg2vlFEO1q) zX)3k#dvl8#SNwyD;veDe>kb5*(DxorvdW$E zOIC9U@*W!ebFoA^1JncX`z5;>e@tV~v$9)eD=S>>3bXw*IM(2l;KZe5Kdu9)XH0`W z=*d|*+nWr)0hao3AP75 zh)J&q1RBWCF?L6O`!s9o0Ym+R-qw6n(`v4KUt|1p56v*xy+)$|^%`Xwm``f-_I8A+ zZh4}@?=;N=P*|9DhbQ&>Hc2J^@X>K%GOW*G!V%8nY44B;^<-X&IGor|v>SQIS?}o= z{Lp6-wVQe5^$)*V5gygnz~pDOW?BD^n>&&Xea1%IP+FFDOaStGLwlBx`IPu4kTq_1h$)!@ zfji{yjcA18XJ|#WeU*myT$^>W1`-wW9*i#m(A02{F2$O*wk$ zW9`VNE<^|Q`F0**7c$Nb{d`P2Ie?s5aZ60~CGud-jWB$5I>Ja%<7?U#6f)OnApiyW zh51q-4rN2o26fnm0H3i#)+ogIdsc!;YX3u2TjEuiG9khUm6>4@^udrY{PR%hH1;@w zN>_v(2|({HXG46@j32|U%F&i;Hb;b3#)Mx8p!TKDyox_COFZ@mX3^U@;THqYmBE@$ z{wQ-__@4o&-E7TT5!x<~Xc>&cztIekB646va3DJHo2FkRQcs8|#lPYmsBJAlWd#wj zf#^t{wvCvi>2?`ZN1_0BWroER-w2~o+LDN|EZQ_*J5Gd-?v7|4h!$+rwi6+blM#1= z(fBX4<3-X=<3h7A-b*16?XGJXh=yI(t`bRdstil0R|puS&`p+fEFFK5>P*0o3SAdz z3$(p8HH?@h03oYu02#C{RT^}?$r)-p*A~j^65u+mdzBh9C7q>S!)>WBYq`z@YnAxn z7;S)=dV?dJxm?!`N@KK|xutyxxVu6prB)~ko~M@JPCd+7tP6qAIK zYvTw;=MFv9y8ePbNJ5?wFJ`qh4eII^WB9GO?v+f+9K?v&`dlL<_) zk-DxWQ14~B0Q?!N2A*+b)l~xJEZ3b8ktav{|3TiwA1g{u0DFf=Pm^BsIC-9|(FGBp>?j_OZf^_A6r%Qx!*tQqg2K|zs9a)(;2Bs< z>zhJ%THj1Ux7)cLFFGus_4!n_pVymM6=n!pa1@bnXsO;01}gQ5lI15RWKu5@uv)1f zC~5xrX%9RQ_^R|1B-$8tA1Z@@xhj2s$;uYfcTocf_+6!cQ8IeXz7te7RxGuCl!Q6h zuO+u0XVv;%WZr?yXtHV%fm$&7B9T`$b#M_`ttV!@$$6;MTLuQ**6OQ8=+MZpAL67t zJ8x}{Cp?ir9a8ke0@0*xVcs#4RfRrMsy6{e@90C|xp(x>Np8fy_uRdfbV+7Rs}58z z0xI9p_m-TFT-b`Mbe^y8Egk+&^BU?U;!Oc0Ez%p|7!{dF{ctAz7?p|JjIc~$}u6Y?etUXL+h>YrwdoB#cmL-E8536#5EpBsn@+Jt+>Pzk4YeM^lXim+B%Wc@{K=qw?w>D%B*fm&jq;jXt) z4jm+hMC$eQEQB|w2m@{l?N{!GR+1fuwj|x7&6Kn@q%EO_5-?k0$f7Ro@H~JIe38J! zk?WzN*dT^D5)TydlW8a4V}KQ;AxW~~RQqjI3N{v`A=TfF`J@Z36bWQ6j(mBLY3%6C z34`GJW^DwNyb(@&ZqHRuAgekOGx5O#Mq*Gv%BLndIxIDKi@ZKQbY4zY%_E9%uNack z4GBo;WoRdoj{9w1fm;pn5rM8?n!V52+;70fW6rclUgV{j0PK4Q$J&}Wgl zQ8DQCi^gYyP|+COZ5`@OMfwDy{I$BY2y`havUw0{dPVnj9GW*FQldaV>-60t(6tSb z(}K{p!TO;w$m4qC;UIK)xqc;!t}szWK^_g(m7XAL)ZdD=N>J5MQBW2_bwK0K=)3Br zJA3`Hi@F{zE{5`7BaLWHlc+O+=q0(KrXhMGC2D&R^6q13(Fi5I6qV_Xb}ck~+6uit zKFTLp=D(srGFjvPu2^Rf2-Hx%-ZvF>Jm=BE8*QHzwM~X(e#Sv^GW(sl%b(%#*e&E!2T#hFlzLQF;#|IoQ*m!Lj#J9NRHIkqQ(ZJn4QKyy{P@mUp+xh z7cUefLyXw;JjlO~5~C}G=>r*h?}YKJ7b^BMeH@H-|886;BX&*;h=CR{ra&CcGKWIS z+$e7Zk)~5JG)x^iL5;GXG5r{fv}uu}Sk$Yl$sj|EiX&4((bNH^zz~nB1KYnLYm|$` z2@T;q8KnbtPw%Ga!l6ig1X?iBG){(2kWqdi1@h@8B%dBVW{h-`>;;yr5v&tqpJ!ey z^|~;v!Ev%`u6WgIfq;NHk>*HL"] description = "A static analysis tool for Rust, based on Abstract Interpretation of MIR" repository = "https://github.com/facebookexperimental/MIRAI" diff --git a/checker/tests/call_graph/fnptr_fold.rs b/checker/tests/call_graph/fnptr_fold.rs index 928839e8..67304dae 100644 --- a/checker/tests/call_graph/fnptr_fold.rs +++ b/checker/tests/call_graph/fnptr_fold.rs @@ -68,10 +68,10 @@ commit; /* EXPECTED:CALL_SITES{ "files": [ "tests/call_graph/fnptr_fold.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/std/src/io/stdio.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/core/src/fmt/mod.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/core/src/slice/mod.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/core/src/ptr/metadata.rs" + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/std/src/io/stdio.rs", + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/core/src/fmt/mod.rs", + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/core/src/slice/mod.rs", + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/core/src/ptr/metadata.rs" ], "callables": [ { diff --git a/checker/tests/call_graph/static_fold.rs b/checker/tests/call_graph/static_fold.rs index b5f860ac..544535b1 100644 --- a/checker/tests/call_graph/static_fold.rs +++ b/checker/tests/call_graph/static_fold.rs @@ -64,10 +64,10 @@ commit; /* EXPECTED:CALL_SITES{ "files": [ "tests/call_graph/static_fold.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/std/src/io/stdio.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/core/src/fmt/mod.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/core/src/slice/mod.rs", - "/rustc/c4190f2d3a46a59f435f7b42f58bc22b2f4d6917/library/core/src/ptr/metadata.rs" + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/std/src/io/stdio.rs", + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/core/src/fmt/mod.rs", + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/core/src/slice/mod.rs", + "/rustc/2f2c438dce75d8cc532c3baa849eeddc0901802c/library/core/src/ptr/metadata.rs" ], "callables": [ { diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 528260a4..16570262 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2023-05-08" +channel = "nightly-2023-05-09" components = [ "clippy", "rustfmt", "rustc-dev", "rust-src", "rust-std", "llvm-tools-preview" ]