diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-01-17 16:59:20 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-01-18 21:02:24 +0100 |
| commit | 773117bf811a6e7f9d13bb966dc4956774e88207 (patch) | |
| tree | ac62d3fb1612ab43cedf7e79725f36793eec3270 /sys/linux/devio.txt.warn | |
| parent | 2ec9a3ad9a10a5e5653d65b3d7f430c978ce4d69 (diff) | |
tools/syz-check: also check arm/arm64
They mostly duplicate the warnings we already have for amd64/386.
But uncovered few very interesting local things (e.g. epoll_event
is packed only on amd64, so arm/arm64 layout is wrong, but 386
is correct because int64 alignment is different).
Update #590
Diffstat (limited to 'sys/linux/devio.txt.warn')
| -rw-r--r-- | sys/linux/devio.txt.warn | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/sys/linux/devio.txt.warn b/sys/linux/devio.txt.warn index fd4e0a564..511437781 100644 --- a/sys/linux/devio.txt.warn +++ b/sys/linux/devio.txt.warn @@ -2,14 +2,14 @@ no-such-struct: usbdevfs_ep no-such-struct: usbdevfs_urb_control no-such-struct: usbdevfs_urb_bulk no-such-struct: usbdevfs_urb_interrupt -bad-field-size: usbdevfs_ioctl.usbdevfs_disconnect/ifno: syz=12 kernel=4 [386] -bad-field-size: usbdevfs_ioctl.usbdevfs_disconnect/ifno: syz=16 kernel=4 [amd64] -bad-field-size: usbdevfs_ioctl.usbdevfs_connect/ioctl_code: syz=12 kernel=4 [386] -bad-field-offset: usbdevfs_ioctl.usbdevfs_connect/ioctl_code: syz=16 kernel=4 [amd64] -bad-field-size: usbdevfs_ioctl.usbdevfs_driver/data: syz=12 kernel=4 [386] -bad-field-size: usbdevfs_ioctl.usbdevfs_driver/data: syz=16 kernel=8 [amd64] -bad-field-offset: usbdevfs_ioctl.usbdevfs_driver/data: syz=24 kernel=8 [386] -bad-field-offset: usbdevfs_ioctl.usbdevfs_driver/data: syz=32 kernel=8 [amd64] +bad-field-size: usbdevfs_ioctl.usbdevfs_disconnect/ifno: syz=12 kernel=4 [386,arm] +bad-field-size: usbdevfs_ioctl.usbdevfs_disconnect/ifno: syz=16 kernel=4 [amd64,arm64] +bad-field-offset: usbdevfs_ioctl.usbdevfs_connect/ioctl_code: syz=12 kernel=4 [386,arm] +bad-field-size: usbdevfs_ioctl.usbdevfs_connect/ioctl_code: syz=16 kernel=4 [amd64,arm64] +bad-field-size: usbdevfs_ioctl.usbdevfs_driver/data: syz=12 kernel=4 [386,arm] +bad-field-size: usbdevfs_ioctl.usbdevfs_driver/data: syz=16 kernel=8 [amd64,arm64] +bad-field-offset: usbdevfs_ioctl.usbdevfs_driver/data: syz=24 kernel=8 [386,arm] +bad-field-offset: usbdevfs_ioctl.usbdevfs_driver/data: syz=32 kernel=8 [amd64,arm64] no-such-struct: usbdevfs_ioctl_disconnect no-such-struct: usbdevfs_ioctl_connect no-such-struct: usbdevfs_ioctl_driver |