svn commit: r316851 - head/sys/x86/iommu

Conrad Meyer cem at freebsd.org
Fri Apr 14 15:49:15 UTC 2017


On Fri, Apr 14, 2017 at 8:16 AM, Konstantin Belousov <kib at freebsd.org> wrote:
> Author: kib
> Date: Fri Apr 14 15:16:41 2017
> New Revision: 316851
> URL: https://svnweb.freebsd.org/changeset/base/316851
>
> Log:
>   Correct calculation of the entry->free_down in the invariants-checking
>   code.
>
>   Reported by:  maxim
>   Found by:     PVS studio scan


This was also reported by Coverity in CID 1304880 as an unused value.

Coverity also reports a NULL check (l. 547) after all paths have
dereferenced the pointer ("next") already in dmar_gas_alloc_region()
of the same file (CID 1199386).

Best,
Conrad


More information about the svn-src-head mailing list