fix(gnovm): check type

gnolang · Dec 26, 2024 · 9dab0d3 · 9dab0d3
1 parent 59a7d85
commit 9dab0d3
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/gnovm/pkg/gnolang/type_check.go b/gnovm/pkg/gnolang/type_check.go
@@ -227,6 +227,19 @@ func assertValidConstExpr(store Store, last BlockNode, n *ValueDecl, expr Expr)
 		}
 	}
 
+	nt := evalStaticTypeOf(store, last, expr)
+	if xnt, ok := nt.(*NativeType); ok {
+		nt = go2GnoBaseType(xnt.Type)
+	}
+
+	if nt == nil {
+		panic(fmt.Sprintf("%s (variable of type nil) is not constant", expr))
+	}
+
+	if _, ok := baseOf(nt).(PrimitiveType); !ok {
+		panic(fmt.Sprintf("%s (variable of type %s) is not constant", expr, nt))
+	}
+
 	assertValidConstValue(store, last, expr, nil)
 }
 

diff --git a/gnovm/tests/files/const44.gno b/gnovm/tests/files/const44.gno
@@ -0,0 +1,10 @@
+package main
+
+const a = interface{}(nil)
+
+func main() {
+	println("ok")
+}
+
+// Error:
+// main/files/const44.gno:3:7: (const (undefined)) (variable of type interface{}) is not constant