:art: Allow null $ Object in vararg

diff --git a/src/lib/vararg.c b/src/lib/vararg.c
index 41177b4832ea6bc157e3a6db5e99e43fce97a2b5..653c6e09353889935c1e9e1313cd78c0eb128783 100644 (file)
--- a/src/lib/vararg.c
+++ b/src/lib/vararg.c
@@ -115,11 +115,15 @@ static INSTR(VarargCast) {
   if(!*(m_uint*)(o->data + SZ_INT))
          Except(shred, "Using Vararg outside varloop");
   struct Vararg_* arg = *(struct Vararg_**)o->data;
-  const Type t = (Type)instr->m_val;
-  if(isa((Type)vector_at(&arg->t, arg->i), t) < 0)
+  const Type t = (Type)instr->m_val,
+             u = (Type)vector_at(&arg->t, arg->i);
+  if(isa(u, t) > 0 ||
+      (u == shred->info->vm->gwion->type[et_null] &&
+       isa(t, shred->info->vm->gwion->type[et_object]) > 0)) {
+    for(m_uint i = 0; i < t->size; i += SZ_INT)
+      *(m_uint*)REG(i - SZ_INT) = *(m_uint*)(arg->d + arg->o + i);
+  } else
          Except(shred, "InvalidVariadicAccess");
-  for(m_uint i = 0; i < t->size; i += SZ_INT)
-    *(m_uint*)REG(i - SZ_INT) = *(m_uint*)(arg->d + arg->o + i);
 }
 
 static OP_EMIT(opem_vararg_cast) {