prog: don't fail decoding on non-default out args

We get them in cross-compilation test where an out const
arg has different values in different archs.
No reason to fail deserialization in that case, replace with default
arg instead.

1 files changed, 8 insertions, 1 deletions

diff --git a/prog/encoding.go b/prog/encoding.go
index 1da491186..e4f762756 100644
--- a/prog/encoding.go
+++ b/prog/encoding.go
@@ -382,7 +382,14 @@ func (p *parser) parseArgInt(typ Type) (Arg, error) {
 		return nil, fmt.Errorf("wrong arg value '%v': %v", val, err)
 	}
 	switch typ.(type) {
-	case *ConstType, *IntType, *FlagsType, *ProcType, *LenType, *CsumType:
+	case *ConstType, *IntType, *FlagsType, *ProcType, *CsumType:
+		arg := Arg(MakeConstArg(typ, v))
+		if typ.Dir() == DirOut && !typ.isDefaultArg(arg) {
+			p.strictFailf("out arg %v has non-default value: %v", typ, v)
+			arg = typ.DefaultArg()
+		}
+		return arg, nil
+	case *LenType:
 		return MakeConstArg(typ, v), nil
 	case *ResourceType:
 		return MakeResultArg(typ, nil, v), nil