From 77f435b4f716cca71ebd55ae083fcfa4b220ebdc Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Sat, 3 Sep 2016 16:11:39 +0200 Subject: prog: more checks during program validation --- prog/validation.go | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/prog/validation.go b/prog/validation.go index ac874c49e..efd178a41 100644 --- a/prog/validation.go +++ b/prog/validation.go @@ -85,6 +85,18 @@ func (c *Call) validate(ctx *validCtx) error { default: return fmt.Errorf("syscall %v: filename arg '%v' has bad kind %v", c.Meta.Name, typ.Name(), arg.Kind) } + case *sys.StructType, *sys.ArrayType: + switch arg.Kind { + case ArgGroup: + default: + return fmt.Errorf("syscall %v: struct/array arg '%v' has bad kind %v", c.Meta.Name, typ.Name(), arg.Kind) + } + case *sys.UnionType: + switch arg.Kind { + case ArgUnion: + default: + return fmt.Errorf("syscall %v: union arg '%v' has bad kind %v", c.Meta.Name, typ.Name(), arg.Kind) + } } switch arg.Kind { case ArgConst: -- cgit mrf-deployment