save

gnovm/pkg/gnolang/alloc.go

@@ -259,7 +259,8 @@ func (alloc *Allocator) NewSliceFromData(data []byte) *SliceValue {
 func (alloc *Allocator) NewStruct(fields []TypedValue) *StructValue {
 	alloc.AllocateStruct()
 	return &StructValue{
-		Fields: fields,
+		Fields:         fields,
+		NotAddressible: true,
 	}
 }
 

gnovm/pkg/gnolang/op_expressions.go

@@ -93,6 +93,11 @@ func (m *Machine) doOpSelector() {
 		m.Printf("-v[S] %v\n", xv)
 		m.Printf("+v[S] %v\n", res)
 	}
+
+	if xv.NotAddressable {
+		panic(fmt.Sprintf("expr not addressable: %+v\n", xv))
+	}
+
 	*xv = res // reuse as result
 }
 
@@ -758,9 +763,11 @@ func (m *Machine) doOpStructLit() {
 	// construct and push value.
 	m.PopValue() // baseOf() is st
 	sv := m.Alloc.NewStruct(fs)
+
 	m.PushValue(TypedValue{
-		T: xt,
-		V: sv,
+		T:              xt,
+		V:              sv,
+		NotAddressable: sv.NotAddressible,
 	})
 }
 

gnovm/pkg/gnolang/values.go

@@ -453,7 +453,8 @@ func (sv *SliceValue) GetPointerAtIndexInt2(store Store, ii int, et Type) Pointe
 
 type StructValue struct {
 	ObjectInfo
-	Fields []TypedValue
+	Fields         []TypedValue
+	NotAddressible bool
 }
 
 // TODO handle unexported fields in debug, and also ensure in the preprocessor.
@@ -519,7 +520,10 @@ func (sv *StructValue) Copy(alloc *Allocator) *StructValue {
 		fields[i] = field.Copy(alloc)
 	}
 
-	return alloc.NewStruct(fields)
+	strct := alloc.NewStruct(fields)
+
+	strct.NotAddressible = sv.NotAddressible
+	return strct
 }
 
 // ----------------------------------------