From bb463c8f879b15b54e2de16cad34bf8cd9e0f14c Mon Sep 17 00:00:00 2001 From: dzaima Date: Mon, 12 Jul 2021 01:06:39 +0300 Subject: [PATCH] fix rtverify failing on usz==u64 --- src/builtins/fns.c | 4 ++-- src/builtins/sfns.c | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/builtins/fns.c b/src/builtins/fns.c index f709a22e..888ccc60 100644 --- a/src/builtins/fns.c +++ b/src/builtins/fns.c @@ -13,7 +13,7 @@ B funBI_identity(B x) { return inc(c(BFn,x)->ident); } -void ud_rec(B** p, usz d, usz r, usz* pos, usz* sh) { +void ud_rec(B** p, usz d, usz r, i32* pos, usz* sh) { if (d==r) { i32* rp; *(*p)++ = m_i32arrv(&rp, r); @@ -61,7 +61,7 @@ B ud_c1(B t, B x) { usz* rsh = arr_shAllocI(r, ria, xia); if (rsh) memcpy(rsh, sh, sizeof(usz)*xia); - usz pos[xia]; B* crp = rp; + i32 pos[xia]; B* crp = rp; ud_rec(&crp, 0, xia, pos, sh); if (ria) fillarr_setFill(r, inc(rp[0])); diff --git a/src/builtins/sfns.c b/src/builtins/sfns.c index bc91526c..de599c7e 100644 --- a/src/builtins/sfns.c +++ b/src/builtins/sfns.c @@ -742,7 +742,7 @@ B reverse_c2(B t, B w, B x) { usz cam = a(x)->sh[0]; usz csz = arr_csz(x); i64 am = o2i64(w); - if ((usz)am >= cam) { am%= cam; if(am<0) am+= cam; } + if ((u64)am >= (u64)cam) { am%= (i64)cam; if(am<0) am+= cam; } am*= csz; MAKE_MUT(r, xia); mut_to(r, TI(x,elType)); mut_copy(r, 0, x, am, xia-am);