1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
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
#}
|
