Correct calculation of the entry->free_down in the invariants-checking

code.

Reported by:	maxim
Found by:	PVS studio scan
Sponsored by:	The FreeBSD Foundation
MFC after:	1 week
This commit is contained in:
Konstantin Belousov 2017-04-14 15:16:41 +00:00
parent 5d70641052
commit 366bb48985

View File

@ -198,7 +198,7 @@ dmar_gas_check_free(struct dmar_domain *domain)
l->free_down));
} else {
v = MAX(entry->free_after, l->free_down);
v = MAX(entry->free_down, r->free_down);
v = MAX(v, r->free_down);
MPASS(entry->free_down == v);
}
}