aboutsummaryrefslogtreecommitdiffstats
path: root/sys/linux/socket_rds.txt.warn
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2019-12-22 19:34:12 +0100
committerDmitry Vyukov <dvyukov@google.com>2019-12-22 19:34:12 +0100
commit61f4e7ee54a1a1ae938c8ab2ee18bf16da1abab4 (patch)
tree9d6a6d895a2f54481ae996074efcbc1e90d46405 /sys/linux/socket_rds.txt.warn
parent8b96726707a5846209f943c978ccd7eeb1dd6f5e (diff)
tools/syz-check: check amd64 and 386 at the same time
Update #590
Diffstat (limited to 'sys/linux/socket_rds.txt.warn')
-rw-r--r--sys/linux/socket_rds.txt.warn18
1 files changed, 11 insertions, 7 deletions
diff --git a/sys/linux/socket_rds.txt.warn b/sys/linux/socket_rds.txt.warn
index 6dc509e3f..d70be9f00 100644
--- a/sys/linux/socket_rds.txt.warn
+++ b/sys/linux/socket_rds.txt.warn
@@ -1,7 +1,11 @@
-struct msghdr_rds: no corresponding struct in kernel
-struct cmsghdr_rds_t: no corresponding struct in kernel
-struct rds_atomic_args: bad number of fields: syz=9 kernel=6
-field rds_atomic_args.arg1/: bad size: syz=8 kernel=32
-field rds_atomic_args.arg2/flags: bad offset: syz=32 kernel=56
-field rds_atomic_args.mask1/user_token: bad offset: syz=40 kernel=64
-struct rds_rdma_cookie_t: no corresponding struct in kernel
+no-such-struct: msghdr_rds
+no-such-struct: cmsghdr_rds_t
+bad-field-number: rds_atomic_args: syz=9 kernel=6
+bad-field-size: rds_atomic_args.arg1/: syz=8 kernel=32
+bad-field-offset: rds_atomic_args.arg2/flags: syz=32 kernel=56
+bad-field-offset: rds_atomic_args.mask1/user_token: syz=40 kernel=64
+bad-field-size: rds_get_mr_args.cookie_addr: syz=4 kernel=8 [386]
+bad-struct-size: rds_get_mr_for_dest_args: syz=156 kernel=160 [386]
+bad-field-size: rds_get_mr_for_dest_args.cookie_addr: syz=4 kernel=8 [386]
+bad-field-offset: rds_get_mr_for_dest_args.flags: syz=148 kernel=152 [386]
+no-such-struct: rds_rdma_cookie_t