From be5c2c81971442d623dd1b265dabf4644ceeb35b Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Mon, 23 Dec 2019 10:56:16 +0100 Subject: sys/linux: fix 32-bit warnings Lots of interesting findings... Especially 2 byte uid/gid/pid. Update #590 --- sys/linux/uffd.txt.warn | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 sys/linux/uffd.txt.warn (limited to 'sys/linux/uffd.txt.warn') diff --git a/sys/linux/uffd.txt.warn b/sys/linux/uffd.txt.warn deleted file mode 100644 index 573bd87bd..000000000 --- a/sys/linux/uffd.txt.warn +++ /dev/null @@ -1,17 +0,0 @@ -bad-struct-size: uffdio_range: syz=12 kernel=16 [386] -bad-field-size: uffdio_range.start: syz=4 kernel=8 [386] -bad-field-offset: uffdio_range.len: syz=4 kernel=8 [386] -bad-struct-size: uffdio_register: syz=28 kernel=32 [386] -bad-field-size: uffdio_register.range: syz=12 kernel=16 [386] -bad-field-offset: uffdio_register.mode: syz=12 kernel=16 [386] -bad-field-offset: uffdio_register.ioctls: syz=20 kernel=24 [386] -bad-struct-size: uffdio_copy: syz=32 kernel=40 [386] -bad-field-size: uffdio_copy.dst: syz=4 kernel=8 [386] -bad-field-offset: uffdio_copy.src: syz=4 kernel=8 [386] -bad-field-offset: uffdio_copy.len: syz=8 kernel=16 [386] -bad-field-offset: uffdio_copy.mode: syz=16 kernel=24 [386] -bad-field-offset: uffdio_copy.copy: syz=24 kernel=32 [386] -bad-struct-size: uffdio_zeropage: syz=28 kernel=32 [386] -bad-field-size: uffdio_zeropage.range: syz=12 kernel=16 [386] -bad-field-offset: uffdio_zeropage.mode: syz=12 kernel=16 [386] -bad-field-offset: uffdio_zeropage.zeropg/zeropage: syz=20 kernel=24 [386] -- cgit mrf-deployment