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/dev_video4linux.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/dev_video4linux.txt.warn')
| -rw-r--r-- | sys/linux/dev_video4linux.txt.warn | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/sys/linux/dev_video4linux.txt.warn b/sys/linux/dev_video4linux.txt.warn index 573a62cd4..24b233d82 100644 --- a/sys/linux/dev_video4linux.txt.warn +++ b/sys/linux/dev_video4linux.txt.warn @@ -1,13 +1,22 @@ no-such-struct: v4l2_format_fmt bad-struct-size: v4l2_buffer: syz=68 kernel=76 [386] -bad-field-size: v4l2_buffer.timestamp: syz=8 kernel=16 [386] +bad-struct-size: v4l2_buffer: syz=68 kernel=80 [arm] +bad-field-offset: v4l2_buffer.timestamp: syz=20 kernel=24 [arm] +bad-field-size: v4l2_buffer.timestamp: syz=8 kernel=16 [386,arm] bad-field-offset: v4l2_buffer.timecode: syz=28 kernel=36 [386] +bad-field-offset: v4l2_buffer.timecode: syz=28 kernel=40 [arm] bad-field-offset: v4l2_buffer.sequence: syz=44 kernel=52 [386] +bad-field-offset: v4l2_buffer.sequence: syz=44 kernel=56 [arm] bad-field-offset: v4l2_buffer.memory: syz=48 kernel=56 [386] +bad-field-offset: v4l2_buffer.memory: syz=48 kernel=60 [arm] bad-field-offset: v4l2_buffer.m: syz=52 kernel=60 [386] +bad-field-offset: v4l2_buffer.m: syz=52 kernel=64 [arm] bad-field-offset: v4l2_buffer.length: syz=56 kernel=64 [386] +bad-field-offset: v4l2_buffer.length: syz=56 kernel=68 [arm] bad-field-offset: v4l2_buffer.reserved2: syz=60 kernel=68 [386] +bad-field-offset: v4l2_buffer.reserved2: syz=60 kernel=72 [arm] bad-field-offset: v4l2_buffer.request_fd/: syz=64 kernel=72 [386] +bad-field-offset: v4l2_buffer.request_fd/: syz=64 kernel=76 [arm] no-such-struct: v4l2_buffer_union no-such-struct: v4l2_plane_union no-such-struct: v4l2_framebuffer_union @@ -19,9 +28,12 @@ no-such-struct: v4l2_frmivalenum_union no-such-struct: v4l2_dbg_match_union no-such-struct: v4l2_dv_timings_union bad-struct-size: v4l2_event: syz=120 kernel=128 [386] -bad-field-size: v4l2_event.timestamp: syz=8 kernel=16 [386] +bad-struct-size: v4l2_event: syz=128 kernel=136 [arm] +bad-field-size: v4l2_event.timestamp: syz=8 kernel=16 [386,arm] bad-field-offset: v4l2_event.id: syz=84 kernel=92 [386] +bad-field-offset: v4l2_event.id: syz=88 kernel=96 [arm] bad-field-offset: v4l2_event.reserved: syz=88 kernel=96 [386] +bad-field-offset: v4l2_event.reserved: syz=92 kernel=100 [arm] no-such-struct: v4l2_event_union no-such-struct: v4l2_event_ctrl_union no-such-struct: v4l2_decoder_cmd_u |