kernel: Disable few nonnull attributes.
authorzrj <rimvydas.jasinskas@gmail.com>
Sun, 21 Jan 2018 18:31:01 +0000 (20:31 +0200)
committerzrj <zrj@dragonflybsd.org>
Sun, 21 Jan 2018 19:10:00 +0000 (21:10 +0200)
commit5400db7fdeb785bcf4d25e1bf5ef45ded01af27c
tree174d08ff7a0084952adb659218b58103306e06f1
parentc669d212c00adac759a0b97aa633f792e3daf20b
kernel: Disable few nonnull attributes.

To avoid -Wnonnull-compare, similarly as in:
0f037c78525bfb7df49de8338826e15137859b1d

devfs_core.c:   devfs_find_device_by_name()
1st arg checked (NULL == return)
kern_slaballoc.c: kfree()
1st arg checked (NULL == panic)
2nd arg not checked
kern_synch.c:   tsleep()
1st arg checked (NULL == KASSERT)
subr_prf.c: kvcprintf()
1st arg checked (NULL == "(fmt null)")
subr_sbuf.c: sbuf_vprintf()
2nd arg checked (NULL == KASSERT)
sys/sys/devfs.h
sys/sys/malloc.h
sys/sys/sbuf.h
sys/sys/systm.h