kern/152768: Weird check in mfi(4)

Sascha Wildner saw at
Thu Dec 2 08:40:11 UTC 2010

>Number:         152768
>Category:       kern
>Synopsis:       Weird check in mfi(4)
>Confidential:   no
>Severity:       critical
>Priority:       high
>Responsible:    freebsd-bugs
>State:          open
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Thu Dec 02 08:40:10 UTC 2010
>Originator:     Sascha Wildner
>Release:        none :)
Hi there,

I recently ported FreeBSD's mfi(4) driver to DragonFly BSD and when running clang's static analyzer on the kernel, it found:

If device is T_DIRECT (0x00) or T_PROCESSOR (0x03) then (device & 0xe0) can't be true. It kinda smells like the intention was something different here, though I'm not sure which, so I thought I'd report it.

Kind regards,




More information about the freebsd-bugs mailing list