pkg/compiler: add tests for generation phase

Add errors3.txt with tests for errors that are produced during generation phase.
Refactor tests to reduce duplication.
Tidy struct/union size errors: better locations and make testable.

1 files changed, 20 insertions, 0 deletions

diff --git a/pkg/compiler/testdata/errors3.txt b/pkg/compiler/testdata/errors3.txt
new file mode 100644
index 000000000..65bd20092
--- /dev/null
+++ b/pkg/compiler/testdata/errors3.txt
@@ -0,0 +1,20 @@
+# Copyright 2020 syzkaller project authors. All rights reserved.
+# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
+
+# Errors that happen during description generation phase.
+
+discrimination(a int32)
+discrimination$1(a int16)	### discrimination$1 arg a is redeclared with size 2, previously declared with size 4 at LOCATION
+
+bad_size_attr_struct {
+	a	int64
+} [size[4]]			### struct bad_size_attr_struct has size attribute 4 which is less than struct size 8
+
+bad_size_attr_union [
+	a	int8
+	b	int16
+	c	int32		### union bad_size_attr_union has size attribute 2 which is less than field int32 size 4
+	d	int64		### union bad_size_attr_union has size attribute 2 which is less than field int64 size 8
+] [size[2]]
+
+bad_size_call(a ptr[in, bad_size_attr_struct], b ptr[in, bad_size_attr_union])