From 47356f978764d37457749b7cc0dd7739b20ede6a Mon Sep 17 00:00:00 2001
From: joii <joii@cryptape.com>
Date: Tue, 16 Apr 2024 14:53:21 +0800
Subject: [PATCH] Add tests: about spawn load cells

---
 .../tests/ckb_latest/features_since_v2023.rs  |  13 ++++-
 script/testdata/spawn_cases                   | Bin 15088 -> 15696 bytes
 script/testdata/spawn_cases.c                 |  46 +++++++++++++++++-
 3 files changed, 57 insertions(+), 2 deletions(-)

diff --git a/script/src/verify/tests/ckb_latest/features_since_v2023.rs b/script/src/verify/tests/ckb_latest/features_since_v2023.rs
index fac884e630..9355153830 100644
--- a/script/src/verify/tests/ckb_latest/features_since_v2023.rs
+++ b/script/src/verify/tests/ckb_latest/features_since_v2023.rs
@@ -1158,7 +1158,6 @@ proptest! {
 #[test]
 fn check_spawn_close_invalid_fd() {
     let result = simple_spawn_test("testdata/spawn_cases", &[12]);
-    println!("--- err: {:?}", result);
     assert_eq!(result.is_ok(), SCRIPT_VERSION == ScriptVersion::V2);
 }
 
@@ -1221,3 +1220,15 @@ fn check_spawn_huge_swap() {
         assert!(result.is_err())
     }
 }
+
+#[test]
+fn check_spawn_invaild_index() {
+    let result = simple_spawn_test("testdata/spawn_cases", &[17]);
+    assert_eq!(result.is_ok(), SCRIPT_VERSION == ScriptVersion::V2);
+}
+
+#[test]
+fn check_spawn_index_out_of_bound() {
+    let result = simple_spawn_test("testdata/spawn_cases", &[18]);
+    assert_eq!(result.is_ok(), SCRIPT_VERSION == ScriptVersion::V2);
+}
diff --git a/script/testdata/spawn_cases b/script/testdata/spawn_cases
index e26caac38c43ca1daf52ec9b40162a4548aaed40..7d4a305ff39ed5214bf6daae7087b27dc536fc5f 100755
GIT binary patch
delta 3181
zcma)8e^6A%9e?lOp2vaS(?jlu$8j7SKb{r=VLYzRC1C``nW)KJorx0%C`VE|5yXO1
z?T|Ze-W`!iD`ZV4$+Y6o7AbLr^lAukoWp4}jgjf4f27s6`a&Ixl+JsmkP&O7yKi^z
z4%0vSX1?t1_vh#PW0zC9;>Y_-H2k**gsl~ojQUArWq5pM;le?ZH25slA`U#)4!q%A
zqa2!Ps`YD|LqXZ0RKIuYW|~HCi+-5Cky}+}?FEsD1I+95*fNlnIhB3FX$*@FS&7L*
z5un8<AZ0qau+yjwJAf|B&S7qJQ`UiW_E*t9Uepv}sjQs*&v277%=w#PwCUDoTZbY>
zuABp5VqIl?xHF-8@5TgDS=?vj9IL5{tQck&eO;<#2}-1_q@?}slCL55LdW#WptrXm
zdNkY3+MqYCKNDl#^Vu{C2=Uj{gRr&`Tw8DDw1q0}x%F06m)Buk`BSR<f~p&J<UGwf
z!cGL3>KNWvb+|Jc<PF(@pvmUN9%W_hH(kEFFxz_nu-}F9^&@o^ZUR#KI1OXu_NJ+z
zZklWq)FYEw(^~+(?{tIR=HMn;`;&tR#S};DFDvb*lWzEQ)y+e*ow~7G>~?B9_Etj-
z12J+6E<D1$-|`C8zHa#~3>pntvsjvnH2Cj1n8+^w>XfzxSE*UUrpwac{VQrm5U!>K
zA6(y%sPFuSL{@8TWhg7J?X*3mJ5u0QGKal-oP#Z4WXt_M1vr=MrQ0&Qc|Y<&IwIZv
zIO!vpiF`n8S4R&!!}`uS|FZ-=nwx%AidrvAfsc;)-kdl9=VnL}dId3?=XGd;z!`g+
zhjddKyg1y%`HR9copg4Q8wL(0)d);3`3}XVU#{-Zwy5Si^FAa%qdG@6TS66M?;P`u
z!g}ic4G<Bk*%<?xbm|Ih&)<eB6v{tC6D@H%>2|M^48{3!(o{))_{2a+e^^Qu;_y0L
zh?5V%V{^`$e)Whm-}4oC?96fYrzJ*7GA#Vh0r_QtNCA`;Ca~-)JWsiLmq523mjl6n
z(e?f|n)04c@x3S2OSuWOb(=p)B38@@G1y)7SWg{{O@N;io2{_f==qUOUO*W;tkbRP
zwL{vk72DAxgr@miaTNkEQ+yZRSZpAxcZRnm4P<HT^pFV7msks_(w?8G18lo7F&aS)
zF>>P@5=|*8O<bs5rRQj_k4kOZskz*jOrbv)7k%u+keE6+Xy3CvF-EDwvMo?OJHq?`
zzRLziF>FZJGS$+EF7;e7JHoFxOC#pg^ZHpgquuRMy1(N#dmbE_uU+Wq`Ei|F2XtVF
z>angC)0MPuUgxJBpoWfeeEH!@g|FeLk2`27<oNP~ZeRDxQGYdnW7EhPb^mYVV1Cl^
z?SFnVu#zgjhXUtzMCONPhwo_agm<)LEi#|%Xpzq5RiSr(l}oSnzG-_V)LX*HQeKZB
zrt|8kxIjcG(d>1Balu^I<VwA7ay;*g)Q1{cDue$J#CsEH7yFYSUY@}JQ@pd`9bV;9
zy-nv`7zInhrUGX10V+-~Z>7V*8{P0p!A4-`#+p*i;+Kb1cY$9Bq9ukLw?7iZ3YBO0
zmmp>k?da&ndNyFVD2R0zu|3a+>)1N4qFI1*KPiaK7gg&Ef;fP8!-DwhDB>AHg4lz0
zQs65=%tcbEF)oPJ(R3dBax=pbUZ?t-)y!*<&v@XHApTvijnkQr>p&ne3AZm?nM7`4
zFv#EDQ+KZk;{8dKuKEDFlFiGD9`h|uqG}&rZ;7&Nxq0X8<sB_EXB{Z`$ECD0?DiS>
z`r)4(wf>nVZF9Rc_*VFP1q{oub$wyB9-I<#p1(Iih0C9jogxS6&M=8H(nr*6B+VUo
zp@$E=jqc4ef2Q!pvs2)WME8|>*h+ai;p1x>!Eg;(An4^eNsHJ(#-(mw%?0q$=2L;b
z%`Af`2<a#!52SKPMUZTe)<M!iQp#B7^tV{%6r?^#K}g#mNt;;ab4b@AeNe$NKZW#1
zsDBmGUm-E&c&{gGHeBtHeE4i&LeSuKNXX#oW^k+gxOEC1pZwC8H2A|VdZc0%Yaze$
zm~^c4Be?L){bgwvc%$+xTMIl}Ud>-14vs-r>tF}m5Fh$F)36`{E^jeeeomyv^Re_U
z7BW-dK9qh=q;?0EzK9oQ4&+yv8hH4#6L}8tm~ADt%kan}wDm-t@H3&l%BS!N-voM~
zHyiQRWWiP;BCRC+bEuZ^Ls8M^CHxPHF@KZ<YXDzVnJoLElxH-sVuX#2n1f(#wW&F*
zN>M#mN?#{F>o;Qlm&9tA>OYauyF~w`LaaYe^nV9Bs!i-)q9>|D?COJUN1G46;%_|I
z=5PIBG;M1(YdPF}q_wRRa~j*bIvd+xYW!|{SDPQ?xNid4oxeJ(g1ABpsPGs;c@4jo
z&czgwI>2)^<ryRisS@<nJjGUmYwBOU=PBJ5>|`7~=h>PO--=HP7=WiK4?Z=3wVu5H
E0^95l7XSbN

delta 2793
zcmZuzeN0nV6o0QDk5Vf<ElR1S)F+?MBH%#zN=2ghu_*ncGttZlvChTJ0gJlm)FOE;
z&Mc#Nb=iy)B#N6e6z!BToM<-DP07&2M9k*i7$Hb7uS_wbPIvFS@3zeBC8zJ+bAIRC
z-}$&N?b{XF?oU^>=Qr{TbFwM<5tTQ^;yn#t3=|P>DX|1;;J&2spd-e)dZ41zt*xx9
zm2Cd_v-j_*RR>-Kzt_xVqGHVTz{k*FRG&o00K=5aanWj{S3^soZmGoww0H-^DIB9!
z8?{;*=nPf{YlC*fdJXLj9$*DkDz-|YhUcvnoR@J|!qa*;t=iP$Gcwr>@G9Q9#%IgJ
z&<Fh;2r|CL$k?V5h!lz)9(Qe*Efdfp8X}gep$XTD?zJ_&n?Ze)Cb%OmpSHkgjDHH|
zTz;z;9SHdslmV|-1AdudX1p4i_s9&hjAeBgE8QU2wK6tnn^{8Jv}#0{U}7)G7^Yc;
zq9H#}8*g#oh*BtUZo6v;W?SZNb*G?w-3Ttz4O6OWC&w5Wr&=a;FWy2(y@)rdqBLL&
zmk(B(YVD-<4NZu}WroyW3RNA8gkd#um}e#{31dyLT8VGq^A+8gh>;25!Xw`665b=|
zn+e~-LxXi@15Hv9n;wn8L{_?|PHJ0il$<qex+FG@U6nh6cvXb;;O4AweMe`7vx>3I
zLs>a2$E=gOBYN&fa&YQ#4wkT!CGk2TIFjff%XwDQIut|ci1^2~NQ~MkC<f%#bGn-I
z>bH%!S1Ih#-1ucHYP}?Se%k3e+_4_cO^e9a^FkcU>d*v%X6yTfN;k!(uGR|1o$4Lf
zMrId<q2OQ=gr{@DwY9r<b6$;hqwMaSyBG8%6)R+eI$Io_PQcwqcDhc(n(EyvAS+b2
z=2$fCBpg^WyBJleZgw+CHl5?h(#a`<(Uz?=R+OH-HWcEo6Om$6Pshb*cnV&cX2$sC
zEzZ9D33$oP<oxRJIEk^3|941E%n=BIdC6feYm(cDR-eL?Wnqd9(SJMTLNQ6X{06@J
zN(Cp~2GYK)pCgPzCd3%5PJO8-0RkQ1(=?MAHXMC|#D?=IW1G2mlYI3MdViV~eTdLR
zpGnI_1P0QE;H||Dl6-GiOT<AE1IJnf(3WmaCZO`8@(^44J5KvhLyS!OtZ-9OGs2f@
zWyTqj>x&GFhqy}zA}RP2anS=Gw+NGm2d(!lA)}O7;~Q-mZXHw&dY5f9j8j*ZZ5%o^
zAAQ5>wR)}Nuw`*weL4lFw22oqtW1u}5xwtno90los?|%E?JJ|f9((+oelB`ct)W#3
zgOfiy$fKE?JX=zq=hb8c{$4tUy~`Y-FUu@C$Ky8e$ZnsbAAkA}oblSE|2i+4*yB10
z=Ukrg(#(Pk!}#A@J0QhS(vQ55iC0H?K`XDiKjDQ01syz*Sw?#T_jut}5c{*NcPYKp
z5mG&t#H@Z^*d9c2V(;+6NxbUeh0ZRd3moT#MtK$c883W|tl}$)7xo1;ERK~=wfb0{
z9B)`PszNdQl78ofzckw0q?dg<@D{nSeV#kh<S-lHArCuIzztvV!qrZcF1p+$9BI7N
z*L{1Zi|#_Tte%n4MNeZ!xnbC;fm1eg__b(oDa)c-^d0yu%f7s6tkgYFp{=Y6H8hh|
z;4UVq_sIlB)u1Gn_pJY7mPSi0zDrJQkDGMjwV*S*kj`y*NMdv!RaRo)0rEg>vS&s-
zHk^(AVUMfeJVk+vIfp#{OqxRCgR&b+36up;>`*u;CMYpbp4e&X#9W#>0>ux-2c;Cs
z5KmK=vS{ikl)Dgj6UqP-W*%O%%G(Uz$xzlQ`~47qFpG|o9d2fV`}231uS4DIkD5}$
ze;~mR-iV?Tls_bt27^9=FP0j6B`yaCb5GGFpfGRm><TqD*1%BHDVnO_aLkoT=>1?U
zFFxTL#d>-UR$o+(y#i)0i1*x4td1mX6&34qMPJ8ay;;$Zz%7e-F2Q<5O+6ucLR>MZ
zRG3>k<cA*eM=T2KLC1n=35g2k9IPdJShz<|2KW;)%vG#~Mr_T+FKQ{&vy>|Q-wpdv
zluN-UCt~0h1z#=WQH2$S;_xBSzn0N%9A`T9PBL~FRU8h1;|t^IGr`V<b#%~KV4%T{
z!hYZ^vQ3?yMM%ImXe>4Ye-S&4wEDVYHG#85+0hCMF&m5&EuymlUyOdY6fe@{;2^c&
ZZ1KYA<~+Q+0><F3G9T|&fSTf@e*sA{Mb`iT

diff --git a/script/testdata/spawn_cases.c b/script/testdata/spawn_cases.c
index 0af3f62769..ded149dacf 100644
--- a/script/testdata/spawn_cases.c
+++ b/script/testdata/spawn_cases.c
@@ -496,7 +496,7 @@ int parent_spawn_length_out_of_bound(uint64_t* pid) {
 
     const char* argv[] = {"", 0};
     spawn_args_t spgs = {.argc = 1, .argv = argv, .process_id = pid, .inherited_fds = NULL};
-    uint64_t offset = 1024 * 14;
+    uint64_t offset = 1024 * 15;
     uint64_t length = 1024;
     uint64_t bounds = (offset << 32) + length;
 
@@ -507,6 +507,46 @@ int parent_spawn_length_out_of_bound(uint64_t* pid) {
     return err;
 }
 
+int parent_invaild_index(uint64_t* pid) {
+    int err = 0;
+    const char* argv[] = {"", 0};
+    uint64_t inherited_fds[11] = {0};
+    for (size_t i = 0; i < 5; i++) {
+        err = ckb_pipe(&inherited_fds[i * 2]);
+        CHECK(err);
+    }
+    spawn_args_t spgs = {.argc = 1,
+                         .argv = argv,
+                         .process_id = pid,
+                         .inherited_fds = inherited_fds};
+    err = ckb_spawn(0xFFFFFFFFF, CKB_SOURCE_CELL_DEP, 0, 0, &spgs);
+    CHECK2(err == 1, -1);  // INDEX_OUT_OF_BOUND
+    err = 0;
+
+exit:
+    return err;
+}
+
+int parent_index_out_of_bound(uint64_t* pid) {
+    int err = 0;
+    const char* argv[] = {"", 0};
+    uint64_t inherited_fds[11] = {0};
+    for (size_t i = 0; i < 5; i++) {
+        err = ckb_pipe(&inherited_fds[i * 2]);
+        CHECK(err);
+    }
+    spawn_args_t spgs = {.argc = 1,
+                         .argv = argv,
+                         .process_id = pid,
+                         .inherited_fds = inherited_fds};
+    err = ckb_spawn(2, CKB_SOURCE_CELL_DEP, 0, 0, &spgs);
+    CHECK2(err == 1, -1);  // INDEX_OUT_OF_BOUND
+    err = 0;
+
+exit:
+    return err;
+}
+
 int parent_entry(int case_id) {
     int err = 0;
     uint64_t pid = 0;
@@ -544,6 +584,10 @@ int parent_entry(int case_id) {
         return parent_spawn_offset_out_of_bound(&pid);
     } else if (case_id == 16) {
         return parent_spawn_length_out_of_bound(&pid);
+    } else if (case_id == 17) {
+        return parent_invaild_index(&pid);
+    } else if (case_id == 18) {
+        return parent_index_out_of_bound(&pid);
     } else {
         CHECK2(false, -2);
     }