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