pkg/compiler: more static error checking

Update #217

1 files changed, 63 insertions, 0 deletions

diff --git a/pkg/compiler/testdata/errors.txt b/pkg/compiler/testdata/errors.txt
new file mode 100644
index 000000000..7af998316
--- /dev/null
+++ b/pkg/compiler/testdata/errors.txt
@@ -0,0 +1,63 @@
+# Copyright 2017 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.
+
+foo$0(x fileoff, y int8, z buffer[in])
+foo$1(x "bar")				### unexpected string "bar", expecting type
+foo$2(x 123, y "bar")			### unexpected integer 123, expecting type	### unexpected string "bar", expecting type
+foo$3(x string)				### string can't be syscall argument/return
+
+resource r0[int32]: 0, 0x1
+resource r1[string["foo"]]		### string can't be resource base (int types can)
+resource r1[int32]			### type r1 redeclared, previously declared as resource at errors.txt:10:1
+resource int32[int32]			### resource name int32 conflicts with builtin type
+resource fileoff[intptr]		### resource name fileoff conflicts with builtin type
+
+s1 {
+	f1	int32
+}
+
+s1 {					### type s1 redeclared, previously declared as struct at errors.txt:15:1
+	f1	int32
+	f1	intptr			### duplicate field f1 in struct s1
+	parent	int8			### reserved field name parent in struct s1
+}
+
+s2 {					### struct s2 has no fields, need at least 1 field
+}
+
+int32 {					### struct name int32 conflicts with builtin type
+	f1	int32
+}
+
+r0 {					### type r0 redeclared, previously declared as resource at errors.txt:9:1
+	f1	int32
+}
+
+u0 [
+	f1	int32
+	f2	fileoff
+]
+
+u1 [					### union u1 has only 1 field, need at least 2 fields
+	f1	int32
+]
+
+u2 [
+	f1	int8
+	f1	int16			### duplicate field f1 in union u2
+	parent	int32			### reserved field name parent in union u2
+]
+
+foo$4(a int8, a int16)			### duplicate argument a in syscall foo$4
+foo$4()					### syscall foo$4 redeclared, previously declared at errors.txt:51:1
+foo()
+foo()					### syscall foo redeclared, previously declared at errors.txt:53:1
+foo$5(a0 int8, a1 int8, a2 int8, a3 int8, a4 int8, a5 int8, a6 int8, a7 int8, a8 int8, a9 int8)	### syscall foo$5 has 10 arguments, allowed maximum is 9
+foo$6(parent int8)			### reserved argument name parent in syscall foo$6
+
+#s1 {
+#	f1	int32:8
+#	f2	int32:12
+#}
+
+