fix: missing length check in value declaration

gnovm/pkg/gnolang/preprocess.go

@@ -224,8 +224,10 @@ func Preprocess(store Store, ctx BlockNode, n Node) Node {
 					// skip declarations already predefined
 					// (e.g. through recursion for a dependent)
 				} else {
+					d := n.(Decl)
+					checkAssignmentMismatch(d)
 					// recursively predefine dependencies.
-					d2, ppd := predefineNow(store, last, n.(Decl))
+					d2, ppd := predefineNow(store, last, d)
 					if ppd {
 						return d2, TRANS_SKIP
 					} else {
@@ -1865,8 +1867,9 @@ func Preprocess(store Store, ctx BlockNode, n Node) Node {
 					// special case if `var a, b, c T? = f()` form.
 					cx := n.Values[0].(*CallExpr)
 					tt := evalStaticTypeOfRaw(store, last, cx).(*tupleType)
-					if len(tt.Elts) != numNames {
-						panic("should not happen")
+					rLen := len(tt.Elts)
+					if rLen != numNames {
+						panic(fmt.Sprintf("assignment mismatch: %d variable(s) but %s returns %d value(s)", numNames, cx.Func.String(), rLen))
 					}
 					if n.Type != nil {
 						// only a single type can be specified.
@@ -1887,6 +1890,14 @@ func Preprocess(store Store, ctx BlockNode, n Node) Node {
 				} else if len(n.Values) != 0 && numNames != len(n.Values) {
 					panic("should not happen")
 				} else { // general case
+					for _, v := range n.Values {
+						if cx, ok := v.(*CallExpr); ok {
+							tt, ok := evalStaticTypeOfRaw(store, last, cx).(*tupleType)
+							if ok && len(tt.Elts) != 1 {
+								panic(fmt.Sprintf("multiple-value %s (value of type %s) in single-value context", cx.Func.String(), tt.Elts))
+							}
+						}
+					}
 					// evaluate types and convert consts.
 					if n.Type != nil {
 						// only a single type can be specified.
@@ -3039,6 +3050,18 @@ func checkIntegerType(xt Type) {
 	}
 }
 
+func checkAssignmentMismatch(d Decl) {
+	if cd, ok := d.(*ValueDecl); ok {
+		numNames := len(cd.NameExprs)
+		numValues := len(cd.Values)
+		if numValues > 0 && numValues != numNames {
+			if _, ok := cd.Values[0].(*CallExpr); !ok {
+				panic(fmt.Sprintf("assignment mismatch: %d variable(s) but %d value(s)", numNames, numValues))
+			}
+		}
+	}
+}
+
 // predefineNow() pre-defines (with empty placeholders) all
 // declaration names, and then preprocesses all type/value decls, and
 // partially processes func decls.

gnovm/tests/files/var18.gno

@@ -1,8 +1,8 @@
 package main
 
 func main() {
-	a, b, c := 1, 2
+	var a,b,c = 1,2
 }
 
 // Error:
-// main/files/var18.gno:4: should not happen
+// main/files/var18.gno:4: assignment mismatch: 3 variable(s) but 2 value(s)

gnovm/tests/files/var19.gno

@@ -0,0 +1,11 @@
+package main
+
+func main() {
+	var a, b, c = 1, a+1
+	println(a)
+	println(b)
+	println(c)
+}
+
+// Error:
+// main/files/var19.gno:4: assignment mismatch: 3 variable(s) but 2 value(s)

gnovm/tests/files/var20.gno

@@ -0,0 +1,15 @@
+package main
+
+func r() int {
+	return 1
+}
+
+func main() {
+	var a, b, c = r()
+}
+
+// Error:
+// main/files/var20.gno:8: assignment mismatch: 3 variable(s) but r<VPBlock(3,0)> returns 1 value(s):
+// --- preprocess stack ---
+// stack 0: func main() { var a<VPBlock(1,0)>, b<VPBlock(1,1)>, c<VPBlock(1,2)> = r<VPBlock(3,0)>() }
+// ------------------------

gnovm/tests/files/var21.gno

@@ -0,0 +1,17 @@
+package main
+
+func foo() (int, bool) {
+	return 1, true
+}
+
+func main() {
+	var a, b = 2, foo()
+
+	println(a, b)
+}
+
+// Error:
+// main/files/var21.gno:8: multiple-value foo<VPBlock(3,0)> (value of type [int bool]) in single-value context:
+// --- preprocess stack ---
+// stack 0: func main() { var a<VPBlock(1,0)>, b<VPBlock(1,1)> = (const (2 <untyped> bigint)), foo<VPBlock(3,0)>(); println<VPUverse(0)>(a<VPUverse(0)>, b<VPUverse(0)>) }
+// ------------------------